repo.or.cz
/
barvinok.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
gen_fun::add: context of sum should be union of contexts of the terms
2007-10-25
Sven
V
e
rd
o
olaege
ge
n
_fun
:
:a
d
d: context of sum should b
e
un
i
on of contexts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n
Verdoolaege
barvinok_enumer
a
t
e: us
e
ver
i
fy inf
r
astru
c
ture for
v
erifying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven
V
erdoola
e
ge
g
enfun
.
cc: print_power: drop spaces
around "
/
" whe
n
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Ve
r
doolaege
c
o
unt_points_e: fall back to cou
n
t
_
points if ther
e
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n
Verdoo
l
ae
g
e
Make
f
i
l
e
.
am: check-e
v
alue:
p
rint
n
ame
of each test
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
verify: add check_poly_pri
n
t
h
e
lper fu
n
c
tion
commit
|
commitdiff
|
tree
2007-10-25
S
ven
Verdoolaeg
e
gen_fun:
m
ake sure context is
alway
s
set
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaeg
e
reducer::reduce: canonicaliz
e
coefficients in ea
c
h
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
s
ho
r
t_
r
at::p
r
int:
corr
e
c
t
ly p
r
i
n
t out te
r
ms with a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
barvinok_
s
e
ries
:
re
c
h
e
ck
for equalities after computing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
export Matrix_Read f
o
r reading Matrix from
a
s
tre
a
m
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdool
a
e
g
e
p
a
ram_util
.
c
:
a
dd Param
_
Vertex_Domain
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdool
a
ege
util
.
c:
sup
p
orting_constraints: r
e
turn bit vector
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
polylib: upda
t
e for Matrix_Extend
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
o
p
tions
.
c:
u
se P
o
lyhedron_Samp
l
e for co
u
nting infinite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
r
doolaege
k
e
e
p
trac
k
o
f and use s
a
turating constraints in Param_Polyhedron
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
V
erdoolaege
move value_gcd and value_lcm t
o
polyl
i
b
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Ver
d
oola
e
g
e
Bernou
l
li_
s
um
_
eva
l
ue: only co
m
p
u
te e
x
act sum if
a
ppr
o
xim
a
tio
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
Bernoulli_su
m
_eva
l
ue: sum over va
r
i
ables w
i
th
i
nt
e
ger
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erd
o
olaeg
e
ev
a
lue
.
c
:
e
x
p
o
rt ev
a
lue_var
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Polyhedron_Exch
a
n
g
eColum
n
s: norm
a
lize
c
o
n
straints after
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en V
e
rdool
a
e
ge
e
xport Po
l
yhedron_
E
x
c
ha
n
geColumns
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
eval
u
e_polynomial
:
optimize evalua
t
ion i
n
zero
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
evalue
.
c
:
emul: h
a
ndle another s
p
ecial cas
e
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Ve
r
doolaege
e
value
.
c: eadd: handle some speci
a
l
c
ases
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoo
l
a
ege
introduc
e
and
u
se evalue_free
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
ev
a
l
u
e
.
c: eadd:
m
i
cro-o
p
tim
i
ze additi
o
n of
t
wo rationals
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
setting an approximation method
n
o
w impl
i
es po
l
ynomial
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
d
o
olaege
barvinok_summ
a
t
e
: optionally us
e
Be
r
no
u
lli/Faulhaber
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven
V
erdoolaege
Bernoulli_sum_evalue: us
e
evalue_from_se
c
ti
o
n
_ar
r
ay
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oo
l
aege
barvinok/polylib
.
h: remov
e
compatibil
i
ty with older
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
m
ove Vector_Oppose
to P
o
lyLi
b
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verd
o
olaege
p
olytope_sc
a
n:
r
eenable --direc
t
option
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoo
l
a
ege
remove_
a
ll_equali
t
ies
:
keep
r
emoving equ
a
l
iti
e
s until
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaege
re
m
ove_all_equ
a
l
i
t
i
e
s:
h
a
n
dle empty polyhedron
d
e
t
ected
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
S
ven
V
erdoolaeg
e
remove_all_e
q
u
a
l
ities:
minor code clean-up
commit
|
commitdiff
|
tree
2007-10-20
Sven V
e
rdoolaege
export Poly
h
edron_Matrix
_
View
commit
|
commitdiff
|
tree
2007-10-16
S
v
en Verdoolaege
polar_signed_cone_consumer: clean up memory on inappropriate
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
S
v
en Verdoolae
g
e
Param_
I
nner_Product: fix
u
s
e of v
a
lue_lcm
commit
|
commitdiff
|
tree
2007-09-28
Sven Verdool
a
ege
doc: fix typo in M
i
chele Vergne's na
m
e
commit
|
commitdiff
|
tree
2007-09-21
Sven V
e
rdoolaege
Add mi
s
sing f
i
les f
r
om polymake client t
o
distribut
i
on
commit
|
commitdiff
|
tree
2007-09-21
Sven Ve
r
doolaege
Use gmp
'
s gcd rather than Poly
L
ib's
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolae
g
e
poly
m
ake/README:
m
ention -
-
with-barvinok configure
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
Sve
n
V
e
rdoolaege
polymake/Make
f
i
l
e
.
in: add work-around for po
l
yma
k
e 2
.
3
commit
|
commitdiff
|
tree
2007-09-21
Sven Ver
d
oolaege
evalue
.
c: pr
i
nt_evalue: al
w
a
ys print newl
i
ne at the
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
Sven Verdoolaege
options
.
c
: fix ty
p
o in -
-
approximati
o
n
-metho
d
descrip
t
ion
commit
|
commitdiff
|
tree
2007-09-15
Sve
n
Verdoolaege
top
c
o
m
: fi
x
heuristic for selecting
rows to
u
se as
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
barvinok 0
.
25
commit
|
commitdiff
|
tree
2007-09-11
S
ven Verdoolaege
Merge branch 'topcom'
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
Document TOPCOM ba
s
e
d
ch
a
mber decomposition
commit
|
commitdiff
|
tree
2007-09-11
Sven
Verdoolaege
te
s
t TO
P
CO
M
c
h
am
b
er decomposition
commit
|
commitdiff
|
tree
2007-09-11
Sven
Verdo
o
l
aege
Opti
o
nally use TOPC
O
M to compu
t
e cha
m
ber
d
ecomposit
i
ons
.
commit
|
commitdiff
|
tree
2007-09-11
Sven V
e
rdoolaege
lexmin: ad
d
(protected) missing algorithm incl
u
d
e
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoola
e
ge
M
a
kefile
.
am: add
t
arge
t
for creating dist wit
h
git
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
erdool
a
ege
do
c
:
update
v
oting theory r
e
f
er
e
nc
e
commit
|
commitdiff
|
tree
2007-09-10
S
v
en Verdoolaeg
e
docu
m
e
nt barvinok
_
summate and bar
v
inok_max
i
mize
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoo
l
aege
doc: c
o
nsistent use of Ba
r
vinok'
s
initia
l
s
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
Verdoo
l
aege
barvinok_su
m
m
a
te: co
r
rect options d
e
scripti
o
n
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
e
r
doolaege
Docu
m
ent Euler-Maclaurin b
a
s
e
d summation
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdo
o
laege
doc: chan
g
e e
x
a
mple en
v
i
r
onment
commit
|
commitdiff
|
tree
2007-09-10
Sven
Verdo
o
laege
doc: add som
e
hidden s
e
ctio
n
s to table of
contents
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoola
e
g
e
d
oc: another document refe
r
ing to the
library
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
add some tests for
E
ule
r
-
M
aclauri
n
base
d
summation
commit
|
commitdiff
|
tree
2007-09-10
S
ven
Verdoolaege
Euler-Maclaurin based s
u
mmation for 1D
p
r
oblems
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdo
o
l
aege
Eul
e
r-Maclaurin based s
u
mm
a
tio
n
for 2D problems
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
decompo
s
er
.
cc: avoid us
e
of hal
f
-open c
o
nes
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
barvinok_summate: v
e
rify sol
u
ti
o
n over wh
o
le parameter
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdoolaege
introduc
e
ba
r
vinok_s
u
mmate as a wrapper for ev
a
lue_sum
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdoolaege
add evalue_
m
ul_d
i
v
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
e
v
al
u
e_{div,mul
}
: handle some tr
i
vial cas
e
s mor
e
effic
i
ently
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
laege
l
a
ttice_point: export frac
t
io
n
al_part
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaeg
e
evalue
.
c: extract
co
m
mon code for construction
b
ased
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdoolae
g
e
volu
m
e
.
c: export Param_Polyhedron
_
Facet
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdoolaege
ad
d
e
v
alue_m
u
l
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Ve
r
doola
e
ge
fix t
y
pe of
e
value_polynomial argument
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verd
o
o
l
aege
support co
m
p
utatio
n
of Bernoul
l
i
polynomials
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
o
l
aege
s
eparate comput
a
tion of Bernoulli coefficien
t
s and
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven
Ver
d
oolaege
l
a
t
t
ice_point: use Param_Vertex_Com
m
on_
D
en
o
minator
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdo
o
laege
make
deco
m
po
s
er
.
h sel
f
-contai
n
ed
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
re
d
uce_domai
n
: a
v
oi
d
use
of m
a
cro parameter wi
t
h na
m
e
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
olaege
export
evalue_dup
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdoolaege
Us
e
piplib d
u
r
i
ng basis reducti
o
n if
no other LP solve
r
s
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven
Ve
r
doola
e
ge
U
s
e
b
undled
pi
p
lib by de
f
ault
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
laege
add pipl
i
b module
commit
|
commitdiff
|
tree
2007-09-08
S
v
en V
e
rdo
o
laege
U
s
e
bundled PolyLib by default
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
doo
l
a
ege
add polyl
i
b s
u
b
m
o
d
ule
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
bernstein:
a
llow
l
inking against uninst
a
lle
d
,
b
ut built
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
Sven Verd
o
olae
g
e
add more mis
s
i
n
g
assert
.
h #includes
commit
|
commitdiff
|
tree
2007-08-29
S
v
en Ver
d
oolae
g
e
add dummy imple
m
e
n
tatio
n
s
o
f func
t
ions
t
hat depe
n
d
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
S
ven Ve
r
d
oolaege
up
d
ate "Count
i
ng with rational ge
n
er
a
ting functions
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Ve
r
doolaege
barvinok
.
c
c
: split off par
t
con
s
truc
t
ing generat
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verd
o
olaege
barvinok
.
c
c:
split off
part
dealing with existent
i
al
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sv
e
n Verdoolae
g
e
*
c
ounter: av
o
i
d
recomputation
o
f denominat
o
rs when
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
S
v
en
V
e
rdoola
e
ge
cou
n
ter: r
e
move
r
ed
u
ndant
member
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoolaege
change ty
p
e of some "sign"s to int as
t
hey
c
an
o
n
ly
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoola
e
g
e
doc: upda
t
e A
l
gorithmica pu
b
lica
t
ion
commit
|
commitdiff
|
tree
2007-08-10
Sv
e
n Verdoolaege
e
v
a
l
u
e
.
c: make parameter
names of ty
p
e const c
h
ar
.
.
.
commit
|
commitdiff
|
tree
2007-08-05
S
v
e
n Verdoo
l
aege
sampl
e
.
c:
P
olyh
e
dron_RemoveFixedCol
u
mns: correctl
y
.
.
.
commit
|
commitdiff
|
tree
2007-07-31
Sven V
e
r
d
o
o
laege
u
t
il
.
c:
remove_equali
t
ies: fi
x
ty
p
o
commit
|
commitdiff
|
tree
2007-07-30
Sven Verdo
o
laeg
e
Param
_
Polyhedron_P
r
i
nt: print
everythin
g
t
o giv
e
n file
.
.
.
commit
|
commitdiff
|
tree
next