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
evalue_bernstein_coefficients: ensure result partitions the domain
2008-03-31
Sven Verdoolae
g
e
e
valu
e
_bernstein_
c
oeff
i
cien
t
s: ensure
result partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
en Verdoolaege
bernstein
:
p
iecewis
e
_
lst: cor
r
ect
l
y pri
n
t and eva
l
uate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
remove_all_equal
i
ties: keep r
e
moving param
e
ter equali
t
ies
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdool
a
ege
upd
a
te polyl
i
b
commit
|
commitdiff
|
tree
2008-03-24
Sven V
e
rdoolaege
doc: co
n
sist
e
nt
u
s
e
of Kevin's initials
commit
|
commitdiff
|
tree
2008-03-24
Sven Verd
o
olaeg
e
doc: update now published pa
p
ers
commit
|
commitdiff
|
tree
2008-03-24
Sven Ver
d
oolaeg
e
for_e
a
ch_lower_upper_b
o
und: allow ab
s
e
n
c
e
o
f
l
o
wer
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
en
Verdo
o
laege
R
evert "eadd_partitions: try to
c
o
m
b
ine
m
ulti
p
le domains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
en
Verdoolaege
ev
a
lue_read_pa
r
ti
t
i
o
n
: put part
i
tions back in the same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
Verdoolaege
e
value: reduce_evalue: add note on some miss
e
d opportun
i
t
ies
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven V
e
rdo
o
la
e
ge
bernstein
.
cc
:
han
d
le
input with uni
o
n
s +
re
l
ation vi
o
lated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
S
v
en Verdoolaege
m
aximize
.
cc: d
e
al with u
n
i
o
ns
i
n input during
v
e
r
i
fica
t
ion
commit
|
commitdiff
|
tree
2008-03-10
S
v
en
Verdoola
e
ge
evalue_substitute: p
r
op
e
r
ly handle relatio
n
s
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
evalue
.
c: clean
up emul an
d
eadd
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
Verdoolaege
evalue_read: correc
t
ly r
e
ad v
a
riable names
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n
V
erdoolaege
evalue_read: accept top
l
ev
e
l "relation
"
commit
|
commitdiff
|
tree
2008-03-10
Sven Ve
r
doo
l
aege
update po
l
ylib
commit
|
commitdiff
|
tree
2008-02-29
Sven Ver
d
o
o
l
a
eg
e
evalue_backsubstitute: add required modulo cons
t
r
a
ints
commit
|
commitdiff
|
tree
2008-02-26
Sven Verd
o
olaege
e
v
alue
.
c: *
_
partitions
:
simplify constraints before
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven
Verdoo
l
aege
d
oc: more specific informa
t
ion on buggy
cddlib ver
s
ions
commit
|
commitdiff
|
tree
2008-01-28
Sven
V
erdoo
l
aege
c
o
nfigure
.
in: require cddlib 0
.
94e
b
y t
e
s
t
ing for b
u
g
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
S
ven Verdoolaege
configure
.
in:
only
c
ompile occ if
c
ode_gen library
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
barvinok 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
d
oolae
g
e
add some t
e
sts f
o
r im
p
lementa
t
ion
of projec
t
ion theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
e
rdoolaege
doc: d
o
cument new opt
i
on
s
and new applicatio
n
s
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
AUTHORS
:
u
pdate support information
commit
|
commitdiff
|
tree
2008-01-16
S
v
e
n Verdoolaege
ge
n
fun
.
cc
:
short_rat::print: correctly
print polynomia
l
s
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
en
V
erd
o
olaege
Expo
r
t series
as barvinok_enumerate_series and use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaeg
e
r
emove
_
p
ar
a
m
eter
_
equal
i
ties: stop "removing" equ
a
lities
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verdoolaege
series: leave freeing
o
f
P argu
m
ent to c
a
lling function
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
doc: docume
n
t implementat
i
on of
t
he
p
rojecti
o
n the
o
rem
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoola
e
ge
a
dd barvino
k
_enumerate
_
e_series implementin
g
the pr
o
j
e
ction
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
genfun
.
cc:
f
ix
a
nd
d
ocumen
t
parallel polytopes clas
s
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdool
a
ege
Move
G
iNaC-independ
e
n
t
p
ar
t
of lib
r
ary to barvinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdo
o
laege
poly
l
ib:
up
d
a
te
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoolaege
d
oc:
h
ow to
c
ount the number of elements i
n
possibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoolaeg
e
doc/
i
mple
m
en
t
ation
.
tex: a
v
oid multipl
y
defined label
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoo
l
aege
lattice_
w
idth
.
c:
try vertices of prev
i
ou
s
i
ntege
r
hu
l
ls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
doc: docum
e
nt int
e
g
e
r
h
u
l
l computation
commit
|
commitdiff
|
tree
2007-11-21
Sven V
e
rdoolaege
hull
.
c
: ad
d
all points found by sampling directly
to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
ven Ver
d
oolaege
P
o
ssible optimi
z
ation
s
for g
e
ne
r
alized basis reduction
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
ve
n
Ver
d
o
o
l
aege
S
u
pport use of
g
en
e
rali
z
ed
b
asis r
e
d
u
c
tion to compute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sve
n
Verdoolaege
a
d
d Polyhedron_
I
nteger_Minimum for com
p
uting the integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven V
e
r
d
oolaege
do
c
: do
c
ument
g
eneralized basis reduct
i
o
n
based int
e
ger
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sve
n
Verdoolaege
doc/barvinok
.
bib: add m
i
ssing s
t
ring
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdo
o
laege
add more
missing assert
.
h
#includes
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
configure
.
in: on
l
y compile
l
ibbar
v
inok
a
s
a sta
t
ic
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
P
o
lyhedro
n
_Reduce
d
_Basis: don'
t
st
o
p to
o
early
w
hen
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
compute_width_directions: only keep l
i
st of di
s
tinct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdool
a
ege
zsolve: don't i
n
stall libr
a
ry
commit
|
commitdiff
|
tree
2007-11-08
Sven
V
erdo
o
laege
vers
i
o
n
.
c: show use o
f
TOPCOM
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolae
g
e
configure
.
in
:
don't
s
et
with_{poly,pip}lib_
p
r
e
fix f
r
o
m
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verd
o
ola
e
ge
Po
l
yhed
r
on_Sample: be satisfied with a reasona
b
l
e
c
hoice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verd
o
olaege
c
o
ne_intege
r
_hu
l
l: optionally print st
a
ts
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
basis_reduction: keep tra
c
k of nu
m
ber of LPs so
l
ve
d
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoola
e
ge
o
p
tio
n
s:
m
ove --print-stats to library
commit
|
commitdiff
|
tree
2007-11-07
Sven
V
erdoolaege
be
r
nste
i
n: rework
t
esting framewor
k
to
not depe
n
d
on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
b
ernstein: add p
i
ec
e
wise_lst::i
s
_
equal
commit
|
commitdiff
|
tree
2007-11-07
S
ven
Verdool
a
ege
support newe
r
versions of Gi
N
aC (>= 1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
Sven V
e
rdoolaege
standard_constraints:
m
ove fro
m
topcom
.
c to polys
i
gn
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sven Ve
r
d
o
olaege
p
o
lysig
n
.
h: remove dependency on lexmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sve
n
Verdoolaege
zsolve: add banner
.
h t
o
distribu
t
io
n
commit
|
commitdiff
|
tree
2007-11-06
Sven Ver
d
oolaege
Polyhe
d
r
o
n
_Latt
i
ce_W
i
d
t
h
_
D
i
r
e
c
t
ions: print prog
r
ess
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
S
v
en Verdoola
e
g
e
basis_r
e
duc
t
ion_pip: abort on
invalid (em
p
ty) inp
u
t
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven
V
erdool
a
ege
README:
explain how to
g
et s
u
b
m
o
d
u
l
es
commit
|
commitdiff
|
tree
2007-11-02
Sve
n
Verdoolaeg
e
doc: document lattice width computatio
n
commit
|
commitdiff
|
tree
2007-11-02
S
v
en Ver
d
oolaege
some
lattic
e
wid
t
h tests fro
m
J
on Yaggie
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoolaege
Polyhedron_Lat
t
ice_
W
id
t
h: decide on f
a
cets to c
l
o
s
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven
V
erdoo
l
a
e
ge
add Polyhedron_Latti
c
e_Width fo
r
com
p
uting lattice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sve
n
Verdoolaege
h
ilbert
.
c: add Cone_In
t
eger_Hul
l
for computing vertic
e
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdoolaeg
e
polysign
:
add pip-b
a
cke
d
version
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verdool
a
ege
p
olysign: add constraints_opt
t
o
compute
o
ptimum over
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Ver
d
oolaege
polysign_cdd:
s
w
i
t
ch to use of
Mat
r
ix
repres
e
ntation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verd
o
olaege
polysign_glpk: switch to use of Matrix representation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven
Verdoolaege
doc:
d
ocument comput
a
tion
o
f
H
i
lbert b
a
sis of a cone
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Verdoolaege
Cone_Hilbert_Basi
s
:
use
standard_con
s
traints to avoid
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven
Verdoolaege
U
s
e zsolve to compute Hilbert basis
o
f a cone
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
rd
o
o
la
e
ge
comp
i
le zsolve
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoola
e
ge
zsolve: don'
t
insta
l
l headers and executabl
e
s
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
zs
o
lve
:
initialize Bac
k
u
pTime in ZSolveCo
n
te
x
t
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdoolaege
zsolve: zsol
v
eSystem: add missing ver
b
os
i
ty check
commit
|
commitdiff
|
tree
2007-10-31
S
v
e
n Verdoolaege
zsolve: overr
i
de LI
B
S from top l
e
vel
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Verdoolaege
add
4ti2-
1
.
3
.
1+autoc
o
n
f
-
0
.
1 banner
commit
|
commitdiff
|
tree
2007-10-31
S
ven
V
erdoo
l
a
e
g
e
add
z
solve fro
m
4ti2
-
1
.
3
.
1+autocon
f
-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoola
e
ge
param_util
.
c: export
b
it_vector_count
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verd
o
ol
a
ege
topcom
.
c: ex
t
ract part
o
f c
o
de for set
t
i
ng up s
t
andard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sv
e
n Verdoolaege
ge
n
_fun
:
:Hadamard_product: pr
i
nt progres
s
indicator
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sven V
e
rdoolaeg
e
mov
e
--v
e
rbo
s
e option to
librar
y
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
ge
n
_fu
n
:
:
summ
a
te: handle
f
ull speciali
z
ati
o
n
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
Replace incremental infinite
set counter
by "re
g
ul
a
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verd
o
olaege
m
a
ke c
o
u
nter::add_falling_po
w
er
s
st
a
tic
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
merge (most of)
c
o
m
mon pa
r
t of counter
a
n
d tco
u
nte
r
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
icounter: handl
e
special
i
zation of polyno
m
i
als
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdo
o
laege
i
counter
:
don't bother "normalizing" th
e
exponen
t
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
export neg_l
e
ft_herm
i
t
e
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
bas
i
s_reduc
t
ion_cd
d
:
che
c
k for
p
ossibly incorrect output
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Po
l
yhed
r
on_Sample:
h
a
nd
l
e polyh
e
dr
o
n becoming empty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
gen_fun::oper
a
tor evalue *: always ret
u
rn a
valid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaeg
e
gen_fun:
:
op
e
rat
o
r eval
u
e
*
:
r
emove comment
e
d out debu
g
ging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
r
d
oolaege
b
a
r
vinok_enumerate_
e
.
cc: handle verifica
t
ion
o
f problems
.
.
.
commit
|
commitdiff
|
tree
next