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
remove_all_equalities: keep removing parameter equalities until none left
2008-03-24
Sv
e
n Verdoolaege
remove_all_e
q
ualities: keep removing para
m
eter e
q
ualit
i
e
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
Ver
d
o
o
laege
upda
t
e
polylib
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoo
l
aege
d
o
c
: consistent
use of Kevin's initials
commit
|
commitdiff
|
tree
2008-03-24
Sven
V
e
r
d
o
o
l
aege
d
o
c: update now p
u
blish
e
d
p
apers
commit
|
commitdiff
|
tree
2008-03-24
Sven
Verdoolae
g
e
for_each_lower_upper_
b
ound
:
allow absenc
e
of low
e
r
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n Ver
d
oolae
g
e
Revert "ea
d
d_parti
t
i
ons: try to
c
ombine multipl
e
domains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdo
o
laege
evalue_read_partitio
n
:
put partitions b
a
c
k
in the s
a
m
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoo
l
aege
e
v
a
l
ue: reduce
_
evalue: add note on some missed
o
pportunities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoola
e
ge
bernstein
.
cc: handl
e
in
p
ut w
i
th unions
+
r
e
lation vio
l
ated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
Ver
d
oolaege
maximize
.
cc: deal with
union
s
in input d
u
ring verific
a
tion
commit
|
commitdiff
|
tree
2008-03-10
Sven Verd
o
olaege
e
value_
s
u
b
stitute: prop
e
rly h
a
ndle re
l
ations
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n Verdoolaege
eval
u
e
.
c:
clea
n
up emul and eadd
commit
|
commitdiff
|
tree
2008-03-10
Sven
V
erdoola
e
ge
e
va
l
ue_read:
cor
r
ectl
y
read
v
ariable
nam
e
s
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoola
e
ge
e
v
a
lue_re
a
d: acce
p
t
t
op level "re
l
a
t
ion"
commit
|
commitdiff
|
tree
2008-03-10
Sven Ve
r
doolaege
update polyl
i
b
commit
|
commitdiff
|
tree
2008-02-29
Sven Verdool
a
ege
e
v
a
lue_ba
c
k
s
u
bstit
u
te
:
add required
m
od
u
lo
c
onstraints
commit
|
commitdiff
|
tree
2008-02-26
Sven Verdoolaege
evalue
.
c: *_partit
i
o
n
s: simplify co
n
straints before
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sve
n
V
erdoolaege
doc: more specific
i
nformat
i
on o
n
bug
g
y cddlib
v
ersions
commit
|
commitdiff
|
tree
2008-01-28
Sven Ve
r
do
o
laege
confi
g
u
r
e
.
in: require
c
d
d
l
i
b 0
.
94e by tes
t
ing for bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven Ver
d
o
o
laege
c
onfigure
.
in: only compil
e
occ if co
d
e_gen library
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
e
n Ver
d
ool
a
e
g
e
barvinok 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verdoolae
g
e
add some
tes
t
s for implementatio
n
of projection theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erdoolaeg
e
doc: document
n
ew optio
n
s an
d
n
e
w applications
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verdoolaeg
e
AU
T
HORS: up
d
a
te sup
p
ort informa
t
ion
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoo
l
aege
ge
n
fun
.
c
c: sho
r
t_rat::print
:
correctly
print poly
n
o
mials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
Export
s
eries
as
b
arvi
n
ok_enumer
a
t
e
_series and
u
se
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoola
e
g
e
remove_pa
r
am
e
ter_eq
u
alities: s
t
o
p
"removing"
eq
u
a
lities
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
ve
n
Verdool
a
ege
s
eries: l
e
ave freeing of
P
ar
g
ument to calling f
u
nc
t
ion
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Ver
d
o
o
l
aege
doc: documen
t
implementati
o
n
o
f the projectio
n
theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
r
doolaege
add
b
a
rvinok_en
u
mera
t
e
_e_se
r
ies
i
m
p
le
m
enti
n
g the
pro
j
ec
t
ion
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
Verdoolaeg
e
g
e
n
fu
n
.
cc: fix a
n
d documen
t
p
a
ralle
l
polytopes class
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaeg
e
Only compile
z
s
olve if gcc
3
.
4 or
later is available
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rdoolaege
Move GiNaC-indepen
d
ent part of library
to barvinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdoolae
g
e
po
l
yli
b
: update
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdo
o
laege
doc: how
to coun
t
the
n
um
b
e
r of e
l
em
e
nts in po
s
sibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
S
v
e
n
Verdo
o
lae
g
e
doc/im
p
lementation
.
tex: avoid
multi
p
l
y defin
e
d
l
a
b
e
l
commit
|
commitdiff
|
tree
2007-11-21
S
ven Ve
r
doolaege
latt
i
ce_width
.
c: try
v
e
rt
i
ces
of
previo
u
s
i
n
te
g
er h
u
ll
s
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolae
g
e
doc: document int
e
ger hull computation
commit
|
commitdiff
|
tree
2007-11-21
Sven Ve
r
doolaege
hull
.
c: a
d
d all points
found by sampling di
r
ectly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sve
n
V
erdoolaege
Possible opt
i
mi
z
ations for general
i
zed ba
s
is reduction
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
Support use
o
f generalized
b
asis red
u
ction to com
p
u
t
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
add Polyhedron_Integer
_
Min
i
mu
m
f
or
c
omputi
n
g the
integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
en Verdoolaege
doc: document generalize
d
b
a
s
is r
e
duction base
d
i
n
teg
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sve
n
Ver
d
oolaege
doc/barvinok
.
b
i
b
:
add missing strin
g
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdo
o
laege
a
dd more miss
i
ng assert
.
h #includes
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdo
o
la
e
g
e
ev
a
l
ue
.
c: add mi
s
sing include of alloca
.
h
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoolaege
c
o
nf
i
gure
.
in: pass path of
G
MP
i
nstallation to PolyLib
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven
V
e
rdoolaeg
e
configure
.
in: only compil
e
libba
r
vi
n
ok as a static
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
Polyhe
d
ron
_
Reduced_B
a
si
s
: don't stop too ea
r
ly when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
v
en Verdoo
l
ae
g
e
c
omp
u
te_width
_
directions: only ke
e
p list of
d
istin
c
t
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sve
n
V
e
r
d
oolaege
zso
l
ve: don't install library
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdool
a
eg
e
v
e
rs
i
on
.
c
: show us
e
of TOPCOM
commit
|
commitdiff
|
tree
2007-11-08
Sve
n
V
erdoolaege
c
onfigure
.
in:
d
on't
s
et with
_
{
p
oly,pip}lib_p
r
efix from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Ver
d
oolaege
Polyhedro
n
_Sample:
be satisfied with a
r
easonab
l
e ch
o
i
c
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Ver
d
oola
e
ge
cone_i
n
teger_
h
ul
l
: optionally print
s
tats
commit
|
commitdiff
|
tree
2007-11-08
S
v
en Verdool
a
ege
basis_re
d
uction: ke
e
p track of number of LPs
s
olv
e
d
commit
|
commitdiff
|
tree
2007-11-08
S
v
e
n
Verdoolaeg
e
opt
i
o
n
s
:
move
-
-
p
rint-
s
tats t
o
library
commit
|
commitdiff
|
tree
2007-11-07
Sven
Verdoolaege
bern
s
tei
n
: rework
testing framewo
r
k
t
o
not de
p
end on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven
V
erdoolaeg
e
be
r
nstein: ad
d
pi
e
cewise_lst::is_equa
l
commit
|
commitdiff
|
tree
2007-11-07
Sven V
e
rdoolaege
supp
o
rt newer versions of G
i
N
aC (>= 1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
standard_constraints: move
f
rom topco
m
.
c to
p
olys
i
gn
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sv
e
n Ve
r
doolaege
polysign
.
h:
r
emove depende
n
cy on lex
m
in
.
h
commit
|
commitdiff
|
tree
2007-11-07
S
v
en
Verdoolae
g
e
zsol
v
e: a
d
d banner
.
h to dis
t
ribution
commit
|
commitdiff
|
tree
2007-11-06
S
ven Verdoolaege
Polyhedron_Lattice_Width_D
i
rections: print progre
s
s
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sve
n
Verdoolaege
basis_redu
c
tion_pi
p
: abo
r
t o
n
invalid (e
m
pty) inp
u
t
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
S
v
en Verdoolaeg
e
README: explain how to get submod
u
le
s
commit
|
commitdiff
|
tree
2007-11-02
S
v
en
Verdo
o
l
a
eg
e
doc:
document la
t
t
ic
e
wid
t
h
computati
o
n
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoola
e
g
e
s
o
me lattice
w
idth tests fro
m
Jon
Y
aggie
commit
|
commitdiff
|
tree
2007-11-01
Sven Ve
r
d
o
olaege
Polyh
e
d
ron_
L
attice_Width: decide
o
n
facets
t
o close
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven
V
e
r
d
oo
l
ae
g
e
add Polyhedron_Lattice_W
i
dth for computing latti
c
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoolaege
hilbert
.
c: add
C
one_Inte
g
er
_
Hull for comp
u
tin
g
v
erti
c
es
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
ve
n
Verdoolae
g
e
polysign:
a
d
d
pip-
b
a
cked
v
ersion
commit
|
commitdiff
|
tree
2007-10-31
S
v
en
Verdoo
l
aege
polysign: add c
o
n
s
traints_
o
pt t
o
compute optimu
m
ove
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verd
o
olaege
polysign
_
cdd: switch
t
o
use
o
f Matrix representation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdoolaege
polysign_glpk: sw
i
tch to use of
Matrix representation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven
Verdoolaege
doc:
d
ocument
computation of H
i
lbert b
a
s
is of a cone
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
C
one_Hilbert_Ba
s
is
:
u
se standa
r
d
_
con
s
traints to avoid
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdoolaege
Use z
s
olve to com
p
ute Hilbert b
a
s
i
s of a
c
o
ne
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdoolaege
compile zsolve
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdoo
l
aege
z
solve:
d
on't
i
n
sta
l
l
headers and execu
t
able
s
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdool
a
ege
zsol
v
e
:
initialize
Bac
k
upTime
in ZSolveCont
e
xt
commit
|
commitdiff
|
tree
2007-10-31
S
ve
n
Ve
r
doolaege
zsolve: zsol
v
e
S
ystem: a
d
d missing v
e
rb
o
sity check
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
doo
l
aege
zsolve: overri
d
e LIBS fro
m
top level
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verdo
o
laege
a
dd
4
ti
2
-1
.
3
.
1+autoconf-0
.
1 banne
r
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
add z
s
olve f
r
o
m
4ti2-1
.
3
.
1+autoco
n
f-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verdoolaege
param_util
.
c: export bit_v
e
ctor_cou
n
t
commit
|
commitdiff
|
tree
2007-10-31
S
ven Ver
d
oolaege
topcom
.
c: ex
t
r
act part
o
f c
o
de for setting up standard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sven Verdoolaege
gen
_
f
un
:
:Hadamard_p
r
oduct: print prog
r
e
s
s
i
ndic
a
tor
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sven Verdoolaege
move --ve
r
bose option to library
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Verd
o
o
l
aeg
e
gen
_
fun
:
:summate: handle full specialization
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Replace inc
r
ement
a
l
infinite set c
o
unter b
y
"regular
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
make
c
ounter::add_falling_po
w
ers
s
tat
i
c
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
merge (most of)
common part of coun
t
er and tco
u
nter
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
icounte
r
: handle s
p
e
cializa
t
io
n
of p
o
l
y
nom
i
a
l
s
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
i
c
ounter
:
don't
b
ot
h
e
r
"
normalizing" the
e
x
ponents
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
export
neg_left_hermi
t
e
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
basis_
r
ed
u
ction_c
d
d: check fo
r
p
o
ssibly incorrect o
u
tpu
t
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven
Verdoolaege
Polyhedron_S
a
mple: handle polyhedron becoming emp
t
y
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen_fun::
o
perator eva
l
ue *:
a
l
wa
y
s return a val
i
d
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
gen_fun::opera
t
or ev
a
lue *: remove commented out debuggin
g
.
.
.
commit
|
commitdiff
|
tree
next