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
barvinok_maximize: optionally use (basic) range propagation
2007-11-01
Sven Verdoo
l
aege
add
Po
l
yhedr
o
n_Lattice_Width f
o
r c
o
m
puti
n
g lattice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoolaege
h
ilbert
.
c
:
add Cone_Integer
_
Hull for comp
u
ting verti
c
es
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
polysign: ad
d
pip-backed v
e
rsion
commit
|
commitdiff
|
tree
2007-10-31
S
v
en
V
er
d
ool
a
e
ge
pol
y
sign: add const
r
ai
n
ts
_
o
p
t to
c
ompu
t
e optimum over
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven
Verd
o
olaege
po
l
y
s
i
gn_cdd: switc
h
to use of
Matrix
r
epre
s
e
n
tation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdo
o
laeg
e
p
o
lysign_glpk
:
swit
c
h t
o
use of
Matrix represe
n
tation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n
V
erdoolaeg
e
doc: document computation of
H
i
lbert b
a
sis of
a cone
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaeg
e
Con
e
_
H
i
l
bert_Basis: use standard_
c
onstraints to
avoid
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verd
o
olaege
U
s
e zsolve to
c
om
p
ute Hi
l
bert
basis
of
a
c
one
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verdo
o
l
aege
compil
e
zsolve
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaeg
e
zsolve: don'
t
install head
e
rs
and executables
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
V
erdoolaege
zsolve: ini
t
ialize BackupT
i
me in ZSolveC
o
n
text
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verdoola
e
ge
z
solve: zsolveSystem: add m
i
ssing verbosity check
commit
|
commitdiff
|
tree
2007-10-31
S
v
e
n Verdool
a
ege
zsolve: over
r
i
de LIBS from to
p
level
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
ad
d
4ti2-1
.
3
.
1+autoco
n
f-0
.
1 b
a
nn
e
r
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verdoolaege
add zsol
v
e
f
r
om 4ti2-1
.
3
.
1+autoconf-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
S
v
e
n
Verdoolaeg
e
param_util
.
c: export bit_ve
c
t
o
r
_
co
u
nt
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoola
e
ge
topcom
.
c: extract part of c
o
d
e for
s
etting up stand
a
rd
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sven Verdoola
e
ge
gen_fun::Had
a
mard_product: p
r
i
n
t
progr
e
ss indicat
o
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sven Verd
o
olaege
mo
v
e --verbose option
t
o
li
b
r
a
ry
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
do
o
laege
gen_fun::summate: han
d
le full specia
l
ization
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
R
eplace
i
ncrement
a
l infinite set
coun
t
er by
"
r
e
g
ular
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
make c
o
unter::add_falling_powers static
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
r
d
o
o
la
e
ge
mer
g
e
(most
of) common
part of c
o
u
n
ter and tcounter
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoo
l
aege
icounter: handl
e
spec
i
alization o
f
po
l
ynomials
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
icounter: don't bother "normal
i
zing" the
e
xponents
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdool
a
ege
e
xpor
t
neg_left_h
e
rmite
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
basis_reduct
i
on_cdd: check for p
o
ssibly incorrect outpu
t
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doo
l
a
eg
e
Polyhedr
o
n_Sample: handle polyhedron becoming empty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaeg
e
ge
n
_fun::
o
pe
r
ator evalue *:
always ret
u
rn a
valid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoo
l
aeg
e
gen_fun::op
e
rator evalue *
:
re
m
ove commented out debu
g
ging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
b
arvinok_enumerate_e
.
cc: handle verification of pro
b
lem
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven
Verdoolaege
barvinok_enumerate
_
e: optionally print st
a
ts
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
b
a
rvinok_enume
r
ate_
e
:
support ver
i
f
icat
i
on
o
f generating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvinok_enumera
t
e_e: support
c
onversion of
g
enerating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaeg
e
lattice_points: another micro-optimiz
a
tion
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
r
doola
e
ge
lattice_
p
o
i
n
t
s_fixed: nano-opti
m
ization
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Ve
r
doolaege
gen_
f
u
n::add
:
con
t
ex
t
o
f sum sho
u
ld b
e
un
i
on of con
t
exts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
Ver
d
oolaege
barvinok_enumerate: us
e
veri
f
y infrastruct
u
re for verifyin
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Ve
r
doolaege
genfun
.
cc:
print_power: drop sp
a
ces
a
round "/" when
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
c
ount_p
o
ints_e: fall back to
cou
n
t_points if there
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
Makefile
.
a
m:
check-eva
l
u
e
: print name of each
t
e
s
t
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
v
erify:
add che
c
k_poly_
p
r
in
t
helper functi
o
n
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
gen_fun: make s
u
r
e
context
i
s always set
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
red
u
cer::r
e
duce
:
c
a
n
onicalize coeffi
c
ients in each
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
short_
r
a
t
::print: correctl
y
print
o
u
t terms with a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
barvin
o
k_series: rec
h
eck for equalities aft
e
r computing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Ver
d
oolae
g
e
export Matrix_
R
e
a
d fo
r
reading Matrix from a stream
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
param_util
.
c: add Para
m
_
Ve
r
tex_Domain
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
uti
l
.
c: supportin
g
_co
n
straints:
r
e
turn bit
vector
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
polylib:
u
p
date for Matrix_Extend
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
options
.
c
:
us
e
P
o
lyhedron_Sam
p
le for c
o
u
n
ting inf
i
ni
t
e
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verd
o
olaege
keep track o
f
and use saturat
i
ng co
n
straints
in Param_Polyhedr
o
n
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
la
e
ge
move value_gcd an
d
value
_
l
cm to polyl
i
b
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoola
e
ge
Bernoulli_sum_evalue: onl
y
c
ompu
t
e exact sum
if
approxim
a
tio
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oola
e
ge
Berno
u
lli_sum_
e
value: sum over
va
r
iables
with
integer
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verd
o
olaege
evalue
.
c: export eval
u
e_var
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Polyhedron_ExchangeColumns: normaliz
e
c
o
nstrain
t
s after
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
g
e
export
P
olyhedron_Ex
c
h
a
ngeColumns
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
rdoolaege
eval
u
e_polynomial
:
optimize ev
a
luation in zero
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
e
v
alue
.
c: emu
l
: hand
l
e a
n
o
t
her specia
l
case
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
evalue
.
c: e
a
dd: h
a
ndle some
s
pe
c
i
a
l cases
commit
|
commitdiff
|
tree
2007-10-25
S
ven Ver
d
ool
a
ege
introduce an
d
use evalue_free
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
evalue
.
c:
e
add: micro-optimiz
e
ad
d
i
t
ion of two rationals
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Ver
d
oolaege
settin
g
an approximation method no
w
i
mplies polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Ver
d
o
o
l
aege
barv
i
nok_summate: optional
l
y
u
se Bernoulli/Fau
l
h
aber
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
do
o
laege
Bernoulli_sum_
e
value:
use evalue_from_sectio
n
_array
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
d
oolaeg
e
ba
r
vino
k
/
p
olylib
.
h: r
e
move comp
a
tibility with o
l
de
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolae
g
e
m
o
ve Ve
c
tor_Oppose
t
o P
o
l
yLib
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
la
e
ge
p
o
lytope_s
c
an: r
e
enab
l
e --dire
c
t option
commit
|
commitdiff
|
tree
2007-10-20
S
v
en Verdoolaege
r
e
move
_
all_equalities
:
keep
r
e
mov
i
ng equalities until
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaege
remove
_
a
ll_equ
a
lities
:
h
a
ndle empty poly
h
edron detected
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdool
a
ege
r
emove_a
l
l_equa
l
itie
s
:
minor code clean-up
commit
|
commitdiff
|
tree
2007-10-20
S
ven
V
erdoolaege
export Polyh
e
dron_Matrix_V
i
e
w
commit
|
commitdiff
|
tree
2007-10-16
Sven Verdool
a
ege
p
olar
_
signed_cone_consumer: clean
up memory on
i
na
p
p
r
opria
t
e
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
S
v
e
n Verdoolaege
Pa
r
am_Inn
e
r_Produ
c
t:
f
ix use of
value_lcm
commit
|
commitdiff
|
tree
2007-09-28
Sv
e
n V
e
r
do
o
lae
g
e
do
c
:
f
ix typo in Miche
l
e
V
ergne's
n
ame
commit
|
commitdiff
|
tree
2007-09-21
Sven Verd
o
olaege
Add mis
s
ing
f
i
l
es fro
m
polymake
client
to
d
istribu
t
ion
commit
|
commitdiff
|
tree
2007-09-21
Sven Verd
o
ola
e
ge
Use
gmp's gc
d
rathe
r
than Po
l
yLib's
commit
|
commitdiff
|
tree
2007-09-21
Sve
n
Ver
d
oolaeg
e
polymake
/
README: mention --with-
b
ar
v
inok config
u
r
e
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
Sve
n
Verdoolaege
p
oly
m
ake/Makefile
.
in: add work-around for polymake 2
.
3
commit
|
commitdiff
|
tree
2007-09-21
Sven Ver
d
oolae
g
e
evalue
.
c: prin
t
_e
v
alue: a
l
ways print newlin
e
a
t
t
he
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
Sve
n
V
erdoolaege
options
.
c: fix t
y
po in -
-
approximation-m
e
thod descr
i
ption
commit
|
commitdiff
|
tree
2007-09-15
Sven Verdo
o
laege
topc
o
m: fix heu
r
istic
f
or sel
e
ctin
g
rows
t
o use as
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaeg
e
barvin
o
k 0
.
2
5
commit
|
commitdiff
|
tree
2007-09-11
S
ven
V
erdoolaege
Merge
b
ranch 'top
c
om'
commit
|
commitdiff
|
tree
2007-09-11
S
v
en Verdoolaege
Document TOPCOM based chamb
e
r decomposi
t
ion
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
test T
O
PCOM chamb
e
r deco
m
p
o
sit
i
on
commit
|
commitdiff
|
tree
2007-09-11
Sven Verd
o
olaege
Optionally us
e
TOPCOM
to com
p
ute
c
hamber decompositions
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdool
a
e
g
e
lexmin: a
d
d (pro
t
e
cted) missing algorithm include
commit
|
commitdiff
|
tree
2007-09-11
Sv
e
n Verdool
a
ege
Makefile
.
am: ad
d
targe
t
for creating
dist with g
i
t
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdo
o
l
a
e
g
e
d
o
c
: upd
a
t
e
vot
i
n
g
theor
y
ref
e
r
e
nce
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
document bar
v
inok_summate and
b
arvinok
_
max
i
mi
z
e
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
Verdo
o
laege
d
o
c: co
n
sistent use of Barvinok's initia
l
s
commit
|
commitdiff
|
tree
2007-09-10
Sven V
e
rdo
o
laege
barv
i
no
k
_summate:
c
orrect options description
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
Document Euler-
M
aclau
r
in ba
s
ed su
m
mation
commit
|
commitdiff
|
tree
2007-09-10
S
v
e
n Verdoolaege
doc: chang
e
e
xampl
e
e
n
vironme
n
t
commit
|
commitdiff
|
tree
2007-09-10
S
ven Verdoolaege
doc: ad
d
some hidden sections
t
o table of contents
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc: anot
h
er document
referi
n
g to the library
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
V
e
r
d
o
olaeg
e
add s
o
m
e tes
t
s
for Euler
-
Maclau
r
i
n
based summation
commit
|
commitdiff
|
tree
next