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
Use zsolve to compute Hilbert basis of a cone
2007-10-31
Sven
V
e
rdool
a
ege
U
se zsol
v
e to compute Hilbert bas
i
s of a c
o
ne
commit
|
commitdiff
|
tree
2007-10-31
Sven
Verdool
a
ege
compile zso
l
ve
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
zsol
v
e: don't install
h
ea
d
ers
a
n
d
e
xecut
a
bles
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Ver
d
oolae
g
e
z
s
olve:
initial
i
z
e
Bac
k
u
p
Time in ZSolveContext
commit
|
commitdiff
|
tree
2007-10-31
S
v
e
n
Verdoo
l
aege
zsolve: zsolv
e
System:
a
dd m
i
ssing verbosity check
commit
|
commitdiff
|
tree
2007-10-31
Sven Ver
d
oolaege
zsolve: overri
d
e LIBS from top
lev
e
l
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoola
e
ge
add 4ti2-1
.
3
.
1
+
autoconf-0
.
1
ban
n
er
commit
|
commitdiff
|
tree
2007-10-31
Sven Verd
o
olaege
add zsolve from
4
t
i2-1
.
3
.
1
+
a
u
toconf-
0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sven Verd
o
olaege
pa
r
am_util
.
c
:
export
bit_vector_
c
ou
n
t
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdool
a
e
ge
t
opcom
.
c: extract p
a
rt of c
o
d
e
for setting up s
t
andard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sven Verdo
o
laege
gen_fun:
:
Hadamard_p
r
oduct: print progress indicator
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sven Verdool
a
ege
move --verbose
o
p
t
i
on to l
i
brary
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen_fun::summ
a
te: handle full
specializati
o
n
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
Replace incre
m
ental infinite set counter b
y
"regular
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
make cou
n
ter::add_falling_powers static
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
d
o
olae
g
e
merge (most
o
f) common part of counter and tcounter
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolae
g
e
ic
o
unter: handle sp
e
cializatio
n
of
p
olynomials
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
i
c
ounter: don't bothe
r
"nor
m
ali
z
ing"
the exponents
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oola
e
ge
ex
p
or
t
n
e
g_left_h
e
rmite
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
ba
s
is_re
d
uction_cd
d
: check for
possibly inc
o
rr
e
ct
ou
t
put
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdo
o
laege
Polyhedron_S
a
m
p
le: handle
po
l
yhedron beco
m
ing empty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
ola
e
ge
gen_fun::operat
o
r
evalue *: always ret
u
rn
a vali
d
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
gen_fun:
:
operator evalue *:
r
emove commente
d
out
d
e
bugging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoo
l
aege
barv
i
nok_enu
m
erat
e
_e
.
cc: han
d
le verifica
t
ion of p
r
ob
l
em
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n
Ver
d
oolaege
b
a
rvinok_enumerate_e: optionally print stat
s
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvino
k
_enumerate_e: s
u
p
por
t
verification of
g
enerating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
b
a
r
v
i
n
ok_en
u
merate_e
:
suppo
r
t
co
n
v
e
rsion of g
e
nerating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
lat
t
ice_points
:
a
n
other
m
icro-op
t
imizati
o
n
commit
|
commitdiff
|
tree
2007-10-25
S
ven Ve
r
dool
a
e
ge
lattice_p
o
ints_fixed:
nan
o
-optim
i
zatio
n
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n
Verdoolaege
gen
_
fun::add: c
o
n
text of sum
s
h
o
u
ld b
e
union of contexts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n
V
e
rdoolaege
barvi
n
ok_enumera
t
e
:
use verify infrastruc
t
ure
for verifying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
genf
u
n
.
cc: prin
t
_power: drop spac
e
s
around "/" when
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdool
a
ege
count_points_e: fall back to count_po
i
nts if
the
r
e
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
r
d
o
olaege
Make
f
ile
.
am:
c
h
e
c
k-evalue: p
r
i
nt name of
e
a
ch
t
es
t
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verd
o
olaege
veri
f
y: add check
_
poly_print h
e
lper function
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen_fun: make
sure c
o
ntex
t
is a
l
ways set
commit
|
commitdiff
|
tree
2007-10-25
Sven
Ve
r
d
oolaege
reducer::re
d
u
ce
:
canon
i
ca
l
ize coe
f
ficients i
n
each
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
sh
o
rt
_
rat::pr
i
nt
:
co
r
rect
l
y p
r
int out terms with a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
barvinok_
s
er
i
es: reche
c
k for
e
qualities after c
o
mputing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
export Matrix_
R
ead for reading Matri
x
from a stream
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oola
e
ge
param_util
.
c
:
add Param_Vertex_Domain
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Ver
d
oolaege
util
.
c: support
i
n
g
_
c
onstr
a
i
nts: return
b
i
t v
e
ctor
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
poly
l
ib: update for Matrix_Exten
d
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaeg
e
options
.
c:
u
se Pol
y
hedro
n
_Sample fo
r
coun
t
ing i
n
finit
e
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
keep
track o
f
a
nd use saturat
i
ng co
n
straints
in Param_Polyhedro
n
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
Verdool
a
ege
move va
l
ue_gcd a
n
d value_lcm t
o
polylib
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Verd
o
olaeg
e
Be
r
n
o
ulli_sum_eva
l
u
e: only co
m
pu
t
e exact sum
if
approxima
t
io
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n
V
erdool
a
ege
Be
r
noul
l
i_sum_evalue: sum over
vari
a
bles with int
e
g
er
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Ve
r
doolaeg
e
e
va
l
u
e
.
c: export evalue_var
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Poly
h
e
dron_Exc
h
a
n
geColumn
s
: normalize const
r
aints after
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
exp
o
rt Polyhe
d
ron
_
ExchangeColu
m
ns
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdo
o
laege
evalue_polynomia
l
: optimize evaluation
i
n
zer
o
commit
|
commitdiff
|
tree
2007-10-25
S
ven Ver
d
oolaege
eva
l
u
e
.
c: emul: handle
a
nother specia
l
case
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Ve
r
doolaege
evalue
.
c:
e
a
d
d
: handle some specia
l
cases
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
i
n
troduce and u
s
e e
v
alue_free
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
evalue
.
c
:
eadd: micro-opt
i
mize addition
o
f
t
w
o
r
a
t
ionals
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
set
t
i
ng
an appr
o
ximation
method now
implies poly
n
omia
l
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Verdool
a
ege
barvinok_summate
:
opti
o
nally use
B
ernoulli/Fa
u
lhaber
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Bern
o
ulli_
s
um_evalue: use e
v
alue_from_section_
a
rray
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
bar
v
i
n
ok/p
o
lylib
.
h:
remove compatibility wi
t
h o
l
der
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
move
Vector_Op
p
ose
t
o PolyLib
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolae
g
e
polytope_scan:
r
e
e
n
able
-
-direct option
commit
|
commitdiff
|
tree
2007-10-20
Sve
n
Ver
d
oolaege
remove_all_equalities: keep removing e
q
ual
i
ties until
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
S
ven Verdo
o
l
aege
remove_a
l
l_equali
t
ies:
handle
empty p
o
lyhedro
n
de
t
ected
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven
Verdo
o
laege
remove
_
all_equal
i
ties: mi
n
or code
c
lean-up
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaege
export P
o
l
y
hedro
n
_Matrix_View
commit
|
commitdiff
|
tree
2007-10-16
Sven Verdool
a
ege
polar_si
g
ned_
c
o
ne_
c
onsumer: clean up m
e
mory o
n
inappropriate
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
Sven Verdoolaege
P
aram_Inn
e
r_Product
:
f
ix use of v
a
lue_lcm
commit
|
commitdiff
|
tree
2007-09-28
S
v
e
n
V
erdoo
l
aege
doc: fix typo in Mic
h
ele Verg
n
e's
name
commit
|
commitdiff
|
tree
2007-09-21
Sv
e
n
Verdoolaege
Ad
d
missing files from pol
y
make client to
d
istribu
t
ion
commit
|
commitdiff
|
tree
2007-09-21
S
v
e
n
Verdo
o
laege
Use gmp's gcd rather than Pol
y
Lib's
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdo
o
laege
polymake/README: mention --with-ba
r
vinok configure
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
Sven Ve
r
doolaege
po
l
ymake/M
a
kefile
.
in:
add work-around for polyma
k
e 2
.
3
commit
|
commitdiff
|
tree
2007-09-21
Sven
V
erd
o
o
l
a
e
ge
ev
a
lue
.
c
:
prin
t
_evalue
:
always prin
t
new
l
ine a
t
the
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
Sven Verdool
a
ege
options
.
c: fix typ
o
i
n --approximati
o
n-method description
commit
|
commitdiff
|
tree
2007-09-15
Sven
V
erd
o
olaege
t
opcom: fix heuristic for selecting r
o
ws
to use as
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdo
o
laege
barvi
n
ok 0
.
25
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoo
l
aege
Merge
b
r
a
nch 'to
p
com'
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolae
g
e
Document TOPCOM based chamber decom
p
o
sit
i
on
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaeg
e
test
TOPCO
M
chamber de
c
omposi
t
ion
commit
|
commitdiff
|
tree
2007-09-11
Sv
e
n
Verdoolaege
Optionall
y
use
TOPCOM
t
o compute
chamber decompositions
.
commit
|
commitdiff
|
tree
2007-09-11
Sve
n
Verdoolaege
lexmi
n
:
add (p
r
otecte
d
)
missing
alg
o
rithm
i
nclude
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoo
l
a
e
ge
M
akefile
.
a
m: a
d
d target for creating dist with gi
t
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
Sven Ve
r
d
oolaege
doc: update voting t
h
e
o
ry r
e
feren
c
e
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoola
e
ge
document
b
arvino
k
_summate and b
a
rvinok_maximize
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
d
o
c: consistent use of Barvinok's initials
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
b
a
rvin
o
k_summate:
c
or
r
ect op
t
ion
s
d
e
scription
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
erdoolaege
Docu
m
ent Eul
e
r-Maclaur
i
n based summation
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc: c
h
an
g
e example environment
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc: a
d
d some
hidden sections
t
o
table of cont
e
nts
commit
|
commitdiff
|
tree
2007-09-10
S
ven
Ve
r
doo
l
a
ege
doc: ano
t
her document r
e
fering to the library
commit
|
commitdiff
|
tree
2007-09-10
Sven Verd
o
olaege
add some
t
ests for Euler-Maclaur
i
n based su
m
m
ation
commit
|
commitdiff
|
tree
2007-09-10
Sven
Verdool
a
ege
Euler-
M
aclaurin bas
e
d summ
a
tion
for 1D problems
commit
|
commitdiff
|
tree
2007-09-10
S
v
en Verdoolaege
Euler-Macla
u
rin based sum
m
a
tion for 2D pro
b
l
e
m
s
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdoolae
g
e
decomposer
.
c
c:
avoid use of
h
a
lf-open co
n
es
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
barvinok_summate: verify s
o
lution over
w
hole parameter
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n V
e
rdoolae
g
e
intro
d
uce bar
v
inok_
s
ummate as a wra
p
per for
e
value_sum
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
add eval
u
e
_mul_div
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
do
o
laege
e
v
a
lue_{
d
iv,mul}: handl
e
s
o
me trivia
l
c
a
s
es
m
ore efficien
t
ly
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verdoolaege
lattice_poin
t
: export frac
t
io
n
al_part
commit
|
commitdiff
|
tree
next