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
Revert "eadd_partitions: try to combine multiple domains with the same steppolynomial."
2008-03-24
Sven Verdoolaege
Revert "e
a
dd_partitio
n
s: try to c
o
mbin
e
multi
p
le d
o
mains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven V
e
rdoolaege
eval
u
e_re
a
d_par
t
ition:
p
ut partitions back in the
same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven V
e
rdoolaege
evalue: r
e
duce_evalue: add note on
s
ome m
i
ssed oppo
r
t
u
nities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven
V
erdoolaege
bernste
i
n
.
cc:
h
andle i
n
put with unions + relation violate
d
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven
Verdoolaege
maximize
.
cc: deal with uni
o
ns in inp
u
t during verification
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolae
g
e
e
v
alue_s
u
bstitute: prop
e
rly
handle relations
commit
|
commitdiff
|
tree
2008-03-10
Sven Verd
o
ol
a
e
g
e
evalue
.
c: clean up emu
l
and eadd
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdo
o
laege
evalue_read: correctly
r
e
ad va
r
i
a
b
le
n
ames
commit
|
commitdiff
|
tree
2008-03-10
Sven Ver
d
oo
l
aege
evalue_read: accept
t
op level "re
l
ation"
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n Ver
d
oolaeg
e
upd
a
te po
l
ylib
commit
|
commitdiff
|
tree
2008-02-29
Sven
V
e
rdoolaege
eva
l
ue_backsubstitute: add required modulo constraints
commit
|
commitdiff
|
tree
2008-02-26
Sven
Verdo
o
laege
e
v
al
u
e
.
c: *_par
t
iti
o
ns: s
i
mpli
f
y constraints bef
o
r
e
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven Ve
r
doolaege
d
o
c: more
spe
c
ific inf
o
rmation on buggy cddlib
versio
n
s
commit
|
commitdiff
|
tree
2008-01-28
Sven Verdoolaege
configure
.
in: require cdd
l
ib
0
.
94
e
by testing for bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
S
v
en Verdoolaege
c
o
n
figure
.
i
n: only co
m
pi
l
e o
c
c if co
d
e_gen
l
i
b
rary
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdo
o
laege
barvinok 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
add some tests for i
m
plementat
i
on of projection theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
d
oc
:
doc
u
ment
new
o
ptions an
d
new applic
a
t
i
ons
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erdool
a
ege
AUTHORS: upd
a
te support information
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verdoolaeg
e
ge
n
fun
.
cc: shor
t
_rat
:
:pri
n
t: correctly pri
n
t polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erdoolaege
Expo
r
t series as ba
r
vinok_enumerate_se
r
ies and use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
remove_parameter_
e
qualities:
s
top "removi
n
g"
equalitie
s
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
dool
a
ege
series: leave freeing o
f
P argum
e
nt to calling f
u
nction
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdo
o
l
aege
doc: document imp
l
ement
a
ti
o
n of the p
r
o
jection theore
m
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Ve
r
doolaege
a
d
d ba
r
vinok_
e
numerate_e_serie
s
implemen
t
i
n
g the projection
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
oola
e
ge
genfun
.
cc: fix a
n
d docu
m
ent parallel polytop
e
s class
commit
|
commitdiff
|
tree
2008-01-16
S
v
e
n
V
erd
o
olaege
Only compile z
s
olv
e
if
g
c
c 3
.
4 o
r
later is
ava
i
lable
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
Mov
e
GiNaC-indepen
d
ent part
of library to ba
r
vinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verdoolaege
polylib: update
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoolaege
doc: how to count the
n
umber of
e
lements in poss
i
bly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoolaege
d
o
c
/implementation
.
tex: avoid mult
i
ply defined label
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
lat
t
i
ce
_
w
i
dth
.
c: try v
e
rtice
s
o
f previo
u
s i
n
teger hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven V
e
rdo
o
laege
doc: docume
n
t integer
hull computation
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaeg
e
hull
.
c: a
d
d all poi
n
t
s
f
ound by
s
a
m
pling
directly
t
o
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n Verdool
a
ege
P
ossible optimization
s
f
o
r genera
l
ized
b
asi
s
red
u
c
tion
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
en Verdoo
l
aeg
e
Sup
p
o
r
t
use of genera
l
iz
e
d
b
a
sis reduction to compute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
a
d
d Polyhedro
n
_Integer_Minimum for com
p
u
t
ing the intege
r
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
e
r
doolae
g
e
do
c
:
d
ocument gene
r
a
lized
basis reduction based int
e
ge
r
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sve
n
Ver
d
oolaege
doc/bar
v
inok
.
bib: add missing
string
commit
|
commitdiff
|
tree
2007-11-17
S
v
en
V
erdoolaege
a
dd mo
r
e missing asser
t
.
h #includes
commit
|
commitdiff
|
tree
2007-11-15
S
v
e
n
Verdoolaege
c
o
nf
i
gure
.
in: only
c
ompile
li
b
b
arvin
o
k as a s
t
a
tic
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sve
n
V
erdool
a
ege
Polyhedron_Reduc
e
d_Basis: don't stop to
o
ea
r
ly when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sve
n
Verdo
o
laege
compute_w
i
d
th_d
i
rections:
o
nly keep list
o
f
distinct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
v
e
n Ver
d
oolaege
zsolve: don't install library
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolae
g
e
ver
s
i
o
n
.
c: show
u
se of TOPC
O
M
commit
|
commitdiff
|
tree
2007-11-08
S
v
en
Verd
o
o
l
aege
configu
r
e
.
in: don'
t
set wit
h
_{poly,pip}lib_pr
e
fix from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
S
v
en Verdoolaege
P
o
lyhe
d
r
o
n_Sample: be satis
f
ied with a reasonable choice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdo
o
laege
cone_integer_hull: opti
o
nally print stats
commit
|
commitdiff
|
tree
2007-11-08
Sven Verd
o
olaege
basis_red
u
ction
:
ke
e
p
t
r
ack of number of LPs
s
ol
v
ed
commit
|
commitdiff
|
tree
2007-11-08
Sven V
e
rdoolaege
o
p
tions: move --
p
rin
t
-stats to l
i
brary
commit
|
commitdiff
|
tree
2007-11-07
S
ven
V
erdoolaeg
e
bernstein
:
rework testing framewor
k
to not
de
p
end
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
bernstein: a
d
d
piece
w
ise_lst::i
s
_
equal
commit
|
commitdiff
|
tree
2007-11-07
Sve
n
V
e
r
d
o
olae
g
e
support
newer versions of G
i
NaC (
>
=
1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdo
o
la
e
ge
standard_constraints: move
f
ro
m
topcom
.
c to
p
olysig
n
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoo
l
aege
polysign
.
h: remove dependency on lexmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoola
e
ge
zsolve: add banner
.
h to d
i
stribution
commit
|
commitdiff
|
tree
2007-11-06
Sven Verdo
o
laege
Polyhedron_Latt
i
c
e
_
W
idth_Directions: print progr
e
s
s
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sven V
e
rdoola
e
ge
basis_reducti
o
n_pip: abor
t
on i
n
v
a
lid (e
m
pty) input
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven
Verdoolaege
README: expl
a
in h
o
w to get submodules
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoola
e
ge
doc: docu
m
ent lattice width c
o
m
putation
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolaeg
e
some la
t
tice width tests from Jon Yaggie
commit
|
commitdiff
|
tree
2007-11-01
Sv
e
n Ver
d
oo
l
aege
Poly
h
edron
_
Lattice_Width: deci
d
e
on facets to c
l
ose
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Ve
r
do
o
lae
g
e
add
Polyhedron_Lattice_
W
i
dth for
computing lattice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sv
e
n Verdoo
l
aege
h
ilbert
.
c
: a
d
d Con
e
_Integ
e
r_Hull for comp
u
ting vertices
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdoolae
g
e
polysign: add pip-backed version
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
p
o
lys
i
gn:
add constrain
t
s_opt to co
m
pu
t
e optimum over
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
v
e
n Verdo
o
laege
polysign_cdd:
switch to use of Matrix r
e
p
re
s
en
t
ation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verdoolaege
polysi
g
n_g
l
pk: switch to
u
se
of M
a
trix repres
e
ntation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoo
l
a
e
ge
doc: docu
m
ent computation
of Hilbert basis of
a
cone
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n
Ve
r
doola
e
ge
Cone
_
Hilbert_Basis:
u
se s
t
a
n
dard_constrain
t
s to a
v
oid
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdoolaege
Use zso
l
ve
to com
p
ute Hil
b
ert basis of a cone
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
compile
zsolve
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoo
l
ae
g
e
zsolve: don't i
n
s
t
all he
a
der
s
and exec
u
tables
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdo
o
laege
zsol
v
e: initia
l
ize
B
ackupTime
i
n ZSolveContex
t
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verdool
a
e
g
e
zsolve: zsolveSy
s
tem:
a
dd missing verbo
s
ity check
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Verdoolaege
zsolve: overri
d
e LI
B
S from top le
v
el
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verdoolaege
a
dd 4t
i
2-1
.
3
.
1+auto
c
onf-
0
.
1 banner
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
e
rdo
o
laeg
e
add zsolve from
4
ti2-1
.
3
.
1+autoconf-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
param_util
.
c
: expor
t
b
i
t
_
vecto
r
_count
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
r
d
oolaege
topcom
.
c:
e
xtr
a
ct part of code for setting up standard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sven Verdoola
e
ge
g
e
n
_fu
n
::Ha
d
amar
d
_product: print pro
g
ress indicat
o
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sven Verdoolaege
move --verbose o
p
tion to library
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
gen_fun::summate: hand
l
e full special
i
zation
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
Replace incremental
i
nfinite se
t
counter by "
r
egular
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
m
a
ke counter::add_fall
i
ng_powers static
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
me
r
ge (most
of) com
m
on part of co
u
nter and tcoun
t
er
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
ic
o
u
nte
r
: handl
e
speciali
z
ation of po
l
ynom
i
als
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Verd
o
olaege
i
c
ounter: don't
b
othe
r
"norma
l
izin
g
" the
e
xpo
n
ent
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
export neg_left_hermite
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
l
a
ege
ba
s
is_re
d
uction_cdd: check for possibly inco
r
r
ec
t
out
p
u
t
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Ver
d
oolaege
Polyhe
d
ron_Sa
m
pl
e
: handle
poly
h
e
d
ron be
c
om
i
ng empty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen_fun::oper
a
tor evalue *
:
always retur
n
a
v
al
i
d
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
g
en
_
fun::opera
t
or evalue *: re
m
ove com
m
ented ou
t
deb
u
gging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
barvinok_enum
e
rate_e
.
cc: ha
n
dle verific
a
tion of problems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvinok_en
u
mer
a
te_e: optionally print
stats
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
barvinok_enumerate_e: suppo
r
t verificati
o
n
o
f
g
enerating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
barvinok_en
u
merate_e: support conversio
n
o
f
gener
a
t
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
latt
i
c
e
_
p
oints
:
another micr
o
-optimization
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
latt
i
ce_po
i
nts_fixed: nano-opt
i
mi
z
ation
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
er
d
o
o
laeg
e
gen_fun::add: cont
e
xt of sum
s
h
ould be union
of cont
e
xts
.
.
.
commit
|
commitdiff
|
tree
next