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
options.c: rename "barvinok" summation method to "box"
2008-03-24
S
v
e
n Verd
o
o
l
aege
doc
:
up
d
ate now published papers
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
fo
r
_
e
ach_lower_
u
p
p
er_bound: a
l
l
ow
absence of lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Ver
d
oolae
g
e
Revert "e
a
dd_pa
r
t
i
tions: try to comb
i
ne multiple domains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdool
a
ege
eva
l
u
e_re
a
d_p
a
rtit
i
o
n
: put
p
artition
s
back in the same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Ver
d
oolaege
evalue
:
reduce
_
evalue: add
n
ote on
some
m
issed opportunities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
S
ven Verdoolaege
ber
n
stein
.
cc: handle
i
nput with u
n
i
ons + re
l
ation violated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n Verdoolaege
maximize
.
cc: deal with unio
n
s in input duri
n
g verificatio
n
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
ev
a
lue_substitu
t
e:
p
rope
r
ly h
a
ndle rela
t
ion
s
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
ev
a
lue
.
c:
c
le
a
n up
e
m
ul and eadd
commit
|
commitdiff
|
tree
2008-03-10
Sven Ve
r
do
o
laege
eva
l
ue_read: correctly read variable n
a
mes
commit
|
commitdiff
|
tree
2008-03-10
S
v
en Verdoo
l
aege
evalue_read:
a
ccept top l
e
vel "
r
elation
"
commit
|
commitdiff
|
tree
2008-03-10
S
v
en Verdoolaege
update polylib
commit
|
commitdiff
|
tree
2008-02-29
Sve
n
Verd
o
olaege
evalue_
b
a
cksubs
t
i
t
ute:
add
required
m
o
dulo const
r
aints
commit
|
commitdiff
|
tree
2008-02-26
S
v
en
Verdoolaege
eva
l
ue
.
c
: *_partitions: s
i
mplify constrain
t
s before
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sv
e
n Verdoolaege
doc: more specific info
r
ma
t
ion on bugg
y
c
d
dlib vers
i
ons
commit
|
commitdiff
|
tree
2008-01-28
Sv
e
n Ve
r
doola
e
ge
conf
i
gure
.
in
:
requ
i
r
e
c
ddl
i
b 0
.
94e
by t
e
sting for
bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven Verdoolaege
configure
.
i
n: onl
y
compile
occ if code_g
e
n library
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
barvinok 0
.
2
6
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdoo
l
aege
add some tests f
o
r imple
m
e
ntation of projection th
e
orem
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
r
doolaege
do
c
: d
o
cument new options and
new applications
commit
|
commitdiff
|
tree
2008-01-16
Sven
Verdoo
l
aeg
e
AUTH
O
RS: update support information
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verdo
o
laege
genfun
.
c
c
: short_rat::
p
ri
n
t: c
o
rrectl
y
print polynom
i
als
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
oolaege
Export series
as barvinok_enumer
a
t
e
_
series and use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
r
d
o
olaege
remove_parameter_equ
a
lities: s
t
op "removing"
eq
u
alit
i
es
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
series: l
e
ave freeing of P
argument to calling function
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erd
o
olae
g
e
doc: document implementation of the project
i
o
n
theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rdool
a
ege
add barvinok_enumerate_e
_
s
e
ries impleme
n
tin
g
the projection
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdool
a
ege
gen
f
u
n
.
c
c: fix
a
n
d
document p
a
r
a
llel
p
olytope
s
clas
s
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolae
g
e
Only compile zsolve if gcc 3
.
4
or late
r
is availa
b
l
e
commit
|
commitdiff
|
tree
2008-01-16
Sven
Verdoolaege
Mo
v
e GiNaC-independent part of
l
ibra
r
y
to barvinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoo
l
aege
polylib: update
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdool
a
ege
d
o
c: how to count
t
he
num
b
e
r of
e
lements in pos
s
ibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoolaege
doc/imp
l
ementat
i
on
.
tex:
a
void multip
l
y de
f
ined label
commit
|
commitdiff
|
tree
2007-11-21
S
ven Verdoolaege
lattice_wid
t
h
.
c: try vert
i
ces of pr
e
v
ious in
t
eger hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
en Ver
d
oolaege
doc: document integer hull computation
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdool
a
ege
hull
.
c
:
a
dd all point
s
foun
d
by sampling directly
t
o
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
Verdoolaeg
e
Possible opti
m
izations for generalized bas
i
s
r
educti
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
e
n Verdoolaege
Support use
of gener
a
lized basis re
d
uction to com
p
ute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdo
o
laege
add Polyhe
d
ro
n
_
Inte
g
er_Mini
m
um for compu
t
i
ng the integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoola
e
ge
doc
:
d
o
cume
n
t
g
ener
a
l
i
zed
basis reductio
n
base
d
integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
do
c
/barvinok
.
bib: add missing str
i
ng
commit
|
commitdiff
|
tree
2007-11-17
Sve
n
V
e
rdoolaeg
e
add more missing assert
.
h #includ
e
s
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoolaege
evalue
.
c: ad
d
missing
i
nclude
o
f allo
c
a
.
h
commit
|
commitdiff
|
tree
2007-11-17
Sven Ver
d
oolaege
co
n
figu
r
e
.
in: pass
p
at
h
of
GMP installation t
o
P
o
l
y
Lib
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven V
e
rdoolaege
con
f
igure
.
in
:
only co
m
pi
l
e
l
ibbarvinok as a static
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verd
o
olaege
P
o
lyh
e
dron_Reduced_Basis: don't stop
t
oo early
w
hen
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
v
en Ver
d
oolaeg
e
c
ompute
_
width_di
r
ections:
o
nly
k
e
e
p list
o
f dist
i
nct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven
Verdool
a
ege
z
solve: don
'
t
install lib
r
ary
commit
|
commitdiff
|
tree
2007-11-08
Sven Ve
r
d
o
olaege
version
.
c:
show
u
s
e of T
O
PCOM
commit
|
commitdiff
|
tree
2007-11-08
Sven
Ver
d
oolaeg
e
configure
.
in: don't s
e
t with_{poly,pip}lib_pr
e
fix from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verd
o
olae
g
e
Polyh
e
dron_Sample: be satisfied with a reasonab
l
e choice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verd
o
olaege
cone_intege
r
_hull: optiona
l
ly
p
rint stats
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoo
l
aege
bas
i
s_
r
eduction:
keep tra
c
k of number
of LPs solved
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
op
t
i
ons: move --print
-
stats to l
i
bra
r
y
commit
|
commitdiff
|
tree
2007-11-07
Sv
e
n Verdool
a
ege
bernstein:
rework
testing fr
a
me
w
or
k
t
o not depe
n
d
on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven
V
e
r
do
o
laege
b
e
rnstei
n
: add p
i
ecewise_lst::is_equ
a
l
commit
|
commitdiff
|
tree
2007-11-07
S
ven V
e
rdoola
e
g
e
suppor
t
newe
r
versi
o
n
s
of GiNaC (>= 1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
Sven
Ver
d
o
olaege
s
t
andard
_
co
n
strai
n
ts: move from
t
o
pcom
.
c to polysig
n
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sve
n
Verdo
o
l
aege
polysign
.
h
:
r
emove
dependency
on lexmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaeg
e
zsol
v
e
:
add
bann
e
r
.
h to di
s
t
r
i
b
ution
commit
|
commitdiff
|
tree
2007-11-06
Sven Verdoolaege
Pol
y
h
e
dron_Latt
i
ce_Widt
h
_Di
r
ections:
pr
i
nt
p
rogress
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sven Verdoolaege
b
a
s
i
s_re
d
uctio
n
_pi
p
: a
b
ort on in
v
al
i
d
(
empty) input
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven Verd
o
olae
g
e
README: ex
p
l
a
in h
o
w
t
o g
e
t submodules
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolaege
doc: doc
u
m
e
nt lattic
e
width computation
commit
|
commitdiff
|
tree
2007-11-02
Sven
Verdoolaege
s
om
e
lattice w
i
dth tests from Jon
Yaggie
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdool
a
ege
Poly
h
edr
o
n_La
t
tice_Wi
d
th: decide
o
n
fac
e
t
s t
o
c
l
o
s
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sve
n
Ve
r
d
oolaege
add Polyhedro
n
_Lattice_Width
f
or
computing lattice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
S
v
en Verdoo
l
aege
hilbert
.
c
:
a
d
d Cone_Integ
e
r_Hull for computing
vertices
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verdo
o
la
e
g
e
polysign
:
add pip-b
a
c
k
ed version
commit
|
commitdiff
|
tree
2007-10-31
S
v
e
n Verdoolaege
p
o
l
y
s
ign: add constraints_opt to compute optimum o
v
er
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erd
o
o
l
aege
polysign_cdd: switch to use of Matrix
representation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
rdoolaege
polysig
n
_glpk:
swit
c
h to use
of Matr
i
x repr
e
sentati
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
v
en
V
erdoolae
g
e
doc: document computation of Hilbert
ba
s
is of a
con
e
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
rdoo
l
aege
Co
n
e_Hilb
e
rt
_
Basis: use standard
_
constraints to avoid
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
ven V
e
rdoolaeg
e
Use zsolve to compu
t
e Hilbert b
a
sis of
a cone
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verd
o
olaege
compi
l
e zsol
v
e
commit
|
commitdiff
|
tree
2007-10-31
Sven
Verdoolaege
zsolve: don't install headers an
d
exe
c
utables
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdo
o
lae
g
e
z
s
olv
e
: initi
a
lize BackupTim
e
in ZSolv
e
Context
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdo
o
laege
zs
o
lve
:
zs
o
lveS
y
stem: add
m
issing
v
erbosit
y
check
commit
|
commitdiff
|
tree
2007-10-31
S
v
e
n
V
er
d
ool
a
e
ge
zsolve: override L
I
B
S
from
t
op level
commit
|
commitdiff
|
tree
2007-10-31
Sven Ver
d
oolae
g
e
add 4ti2
-
1
.
3
.
1+a
u
toco
n
f-0
.
1
b
anne
r
commit
|
commitdiff
|
tree
2007-10-31
S
ven V
e
rdo
o
laeg
e
a
dd zs
o
lve f
r
om
4
t
i
2-1
.
3
.
1+
a
utoconf-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdoola
e
ge
param
_
ut
i
l
.
c: export
b
it_vector_count
commit
|
commitdiff
|
tree
2007-10-31
Sven
Verdoola
e
ge
topcom
.
c: e
x
tract
p
art
o
f code for set
t
ing up standard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sven Verdool
a
e
ge
gen_fun::Hadamard_product: print progress i
n
d
i
c
ator
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sve
n
Verdoo
l
a
ege
move --ve
r
bose
o
p
t
ion to
library
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
gen_fun
:
:summate: h
a
ndle
full specia
l
izatio
n
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
o
o
l
aege
Replac
e
i
n
c
remental
i
nfinite
set c
o
unt
e
r
b
y "regular
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
a
e
ge
m
a
ke counter:
:
a
dd
_
f
alling
_
powe
r
s s
t
atic
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
V
e
rdoolaege
m
e
rge (mos
t
of) common part of counter and tc
o
unter
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
icounter: h
a
ndle specialization of polynom
i
als
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdo
o
laeg
e
ico
u
nt
e
r:
don
'
t
b
o
ther "normalizing" the
e
x
ponents
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
e
x
port neg_lef
t
_hermite
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
la
e
ge
basis_r
e
ducti
o
n_cd
d
: c
h
ec
k
f
o
r possibly
i
ncorrect output
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaeg
e
Polyh
e
dron_Sample:
h
andle polyhedron becoming em
p
ty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen_fun::
o
perator
e
v
a
lue *: always return a valid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
gen_fun::o
p
era
t
or evalue *:
remove commente
d
o
u
t d
e
bugging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Ve
r
doolaege
barvinok_en
u
m
erate_e
.
cc:
h
an
d
le veri
f
i
ca
t
ion
o
f problems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvi
n
ok_enumerate_
e
: optiona
l
ly print stats
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
b
a
rvinok_enum
e
rate_e: support verificatio
n
of
generatin
g
.
.
.
commit
|
commitdiff
|
tree
next