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_read: accept top level "relation"
2008-03-10
Sv
e
n Verdoo
l
a
e
ge
evalue_read: accept top l
e
v
el "r
e
latio
n
"
commit
|
commitdiff
|
tree
2008-03-10
S
v
en Verdoolaege
up
d
a
te poly
l
ib
commit
|
commitdiff
|
tree
2008-02-29
S
v
e
n Verdoo
l
aege
evalue_backsubstit
u
te: add required modulo constraints
commit
|
commitdiff
|
tree
2008-02-26
Sven Ve
r
doolaege
evalue
.
c: *_pa
r
titions: si
m
plify co
n
straints bef
o
re
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
S
v
en Verdoolaege
d
oc: m
o
re
specific in
f
ormation on
b
uggy cddlib ve
r
sions
commit
|
commitdiff
|
tree
2008-01-28
S
ven
V
erdoolae
g
e
co
n
figure
.
in: require cddlib 0
.
94
e
by
testing
for bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven Ver
d
o
o
laege
co
n
fi
g
ure
.
i
n
: only compil
e
occ if code_gen
l
ibrary
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
barvinok 0
.
2
6
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erdoola
e
ge
add some tests
f
or
implementation o
f
proje
c
t
ion theo
r
em
commit
|
commitdiff
|
tree
2008-01-16
Sven Verd
o
olaege
doc: document
new optio
n
s and new applica
t
ions
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Ve
r
doolaege
AUTHORS: upda
t
e support i
n
format
i
on
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
genfun
.
c
c: short
_
rat::
p
rint
:
correc
t
l
y pri
n
t
p
olynomials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erdoolaege
Export seri
e
s as barvinok_enume
r
ate_
s
er
i
es and use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdoolaege
remove_para
m
eter_
e
qualitie
s
: stop "removing" equ
a
lit
i
e
s
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verdoolaege
series: leave
f
reeing
of P argument to call
i
ng funct
i
on
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
doolaege
doc
:
do
c
u
ment imple
m
entatio
n
of the projecti
o
n t
h
eorem
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdoolaege
ad
d
barvi
n
ok_enu
m
e
r
ate_e
_
series implem
e
nting the proj
e
ct
i
on
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdoolaege
genfun
.
cc: fi
x
and do
c
ument
parallel polytopes class
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoola
e
ge
Onl
y
compi
l
e zs
o
lve if gcc 3
.
4
or later
i
s availab
l
e
commit
|
commitdiff
|
tree
2008-01-16
S
v
e
n Verdool
a
ege
M
o
ve GiNaC-independe
n
t pa
r
t of libra
r
y to ba
r
v
i
nok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolae
g
e
p
o
lyli
b
: update
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoolaege
d
oc: h
o
w
t
o
count
the number
o
f elemen
t
s in po
s
s
ibl
y
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoolae
g
e
doc/implementati
o
n
.
tex: avoid
multiply defined label
commit
|
commitdiff
|
tree
2007-11-21
S
v
en Verdo
o
laege
latt
i
ce_width
.
c: try vertices
o
f
previous integer hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n Verdoolaeg
e
doc: document integer hul
l
computation
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
erdoolaege
hull
.
c: add all po
i
nts foun
d
by
s
a
mplin
g
directly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdool
a
e
g
e
Possible opti
m
izations for generaliz
e
d basis r
e
du
c
tion
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
Support
u
s
e
of generalized basis reduction to comp
u
te
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
ven Ve
r
doolaege
add Polyhedron_Integ
e
r_Minimum for
c
ompu
t
ing the integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
en V
e
rdoolaege
doc: document gen
e
ralized basis r
e
duction
based integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Ver
d
oolaege
doc/barvinok
.
bib: add missing str
i
n
g
commit
|
commitdiff
|
tree
2007-11-17
Sven Verd
o
olaege
add more
missing assert
.
h #
i
nclude
s
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoolaege
evalue
.
c: ad
d
missing
i
nclude of alloca
.
h
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoolae
g
e
c
o
nfigure
.
in: pas
s
path o
f
GMP in
s
tallation to PolyLib
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
ven Verdoo
l
aege
c
o
nfigure
.
i
n
:
only compile libbarvino
k
a
s
a st
a
tic
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sv
e
n Ve
r
doolae
g
e
Polyhedron_Red
u
c
e
d
_
Basis: don't stop too early wh
e
n
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sv
e
n Verdoolaege
com
p
ute
_
width_directions: only keep list
of
d
istinct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven V
e
r
doolaege
zso
l
ve: don't insta
l
l library
commit
|
commitdiff
|
tree
2007-11-08
Sve
n
Verdoola
e
ge
v
e
rsi
o
n
.
c: show
u
se of T
O
PCOM
commit
|
commitdiff
|
tree
2007-11-08
Sven Ve
r
d
oo
l
aeg
e
co
n
figure
.
in: don't se
t
wi
t
h_{poly,pip}lib_
p
refix fr
o
m
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Ve
r
doolaege
Pol
y
hedro
n
_
Sample: b
e
s
atisfied with a reaso
n
able
c
hoice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdo
o
la
e
g
e
con
e
_in
t
eger_hu
l
l: optiona
l
l
y
prin
t
stats
commit
|
commitdiff
|
tree
2007-11-08
S
ven Verdoo
l
aeg
e
basis_
r
eduction: k
e
e
p
tr
a
ck of number of
LPs solved
commit
|
commitdiff
|
tree
2007-11-08
S
ven Verdoolaege
o
ptions: move -
-
print-sta
t
s to librar
y
commit
|
commitdiff
|
tree
2007-11-07
S
v
en Ver
d
oola
e
ge
ber
n
stein: rework te
s
ting fra
m
ework t
o
not
d
epend on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
b
e
rnstein
:
add piecewise_lst::is_equ
a
l
commit
|
commitdiff
|
tree
2007-11-07
Sven
Verdoolae
g
e
support newer versi
o
ns
of GiNaC
(
>= 1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
standard_cons
t
rai
n
ts:
m
ove from
t
opcom
.
c to polysign
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sven Verd
o
olaege
polysign
.
h: re
m
ove dep
e
nd
e
ncy o
n
lexmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sv
e
n Verdoolaeg
e
zsolv
e
: ad
d
b
an
n
e
r
.
h to distrib
u
tion
commit
|
commitdiff
|
tree
2007-11-06
Sven Verd
o
olaege
P
o
ly
h
edr
o
n_Latt
i
ce_Width_
D
i
r
ections: print progress
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sven Verd
o
o
laege
basis_re
d
uct
i
on
_
pip: abort on invalid (empt
y
) input
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolae
g
e
README: explain
h
ow to get sub
m
o
d
ules
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdo
o
laege
doc: d
o
c
ument l
a
t
tice width computation
commit
|
commitdiff
|
tree
2007-11-02
S
ve
n
V
erdoolaege
some
latt
i
ce width tests from Jon Yaggie
commit
|
commitdiff
|
tree
2007-11-01
Sven V
e
rdo
o
laege
Pol
y
h
e
dron_L
a
t
tice_Width:
decide
on
facets to close
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Ver
d
oolaege
add Polyhedro
n
_L
a
tti
c
e_Width for computing lattice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoolaege
hilbert
.
c
:
a
dd Cone_Inte
g
er_Hu
l
l for computing
v
ertices
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
polysign: add pip-b
a
cked
version
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdo
o
laege
polysign: add constrain
t
s_o
p
t
to comput
e
optimum over
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven
Verdoolaeg
e
polys
i
g
n
_c
d
d: switch to
u
se of
Matrix represent
a
tion
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Verdoo
l
a
e
ge
polysign_g
l
p
k: switc
h
to use
o
f
Matrix rep
r
esentati
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdoolaege
d
o
c
:
d
o
c
ument computation of
H
i
l
be
r
t bas
i
s of a cone
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Verdoolaege
Cone_Hi
l
bert_Basis: use standard_constraints to
a
void
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoola
e
ge
Use zsolve to compute Hilbert basis of
a
cone
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verd
o
o
laege
compile zsolve
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
zsolve:
d
o
n't
in
s
ta
l
l
h
eader
s
and execu
t
ables
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaeg
e
zsolve: initial
i
ze BackupTime
in ZSolveC
o
ntext
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n
Verdool
a
e
g
e
zsolve: zsolv
e
System: add missi
n
g verbosity che
c
k
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n
V
erdo
o
laege
zsolve: override
L
I
BS fr
o
m
t
op level
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
add 4ti
2
-1
.
3
.
1
+autoconf-0
.
1 banne
r
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
e
r
d
oolaege
add
zsolve from 4ti2-1
.
3
.
1+autoconf
-
0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolae
g
e
para
m
_
util
.
c: export bit_vector_c
o
unt
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
do
o
laege
top
c
om
.
c
:
e
xtr
a
ct p
a
rt of
cod
e
for setting u
p
standard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sven Verdoolaege
gen_fun::Had
a
mard
_
pr
o
duct: prin
t
progre
s
s
indicator
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sven Verdoolaege
move --verbose opt
i
on t
o
library
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
rdoolaege
gen_fun::s
u
m
m
ate: handle full speci
a
lizati
o
n
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdo
o
laege
Replace in
c
remental
i
nfinit
e
set count
e
r
b
y
"regular
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven V
e
rdoolaege
make
counter::add_falling_powers static
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
m
e
rge (most of) common part of counter and t
c
o
unt
e
r
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
eg
e
icoun
t
er: handle specialization of
p
o
lyno
m
ia
l
s
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
i
counte
r
: don't bother "norm
a
lizing" t
h
e exponents
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
V
e
r
doolaege
expor
t
neg_
l
e
f
t_hermite
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
r
dool
a
ege
basis_reduction_cdd: check
f
or
possibly incorr
e
ct output
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdo
o
laege
Polyhedron_Sa
m
ple: handle polyhedron
b
ec
o
ming empt
y
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Ve
r
doolaege
g
e
n_fun::opera
t
or eval
u
e
*: alwa
y
s return a valid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n
Verdoolaege
gen_fun::operator
e
v
alue *:
r
emove com
m
ented o
u
t debugging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
barvinok_enumerate_e
.
cc: hand
l
e veri
f
ic
a
tion
o
f problems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
barvi
n
ok
_
enume
r
a
t
e
_e:
o
p
ti
o
nally print stats
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
d
oo
l
aeg
e
barvin
o
k_
e
nume
r
ate_e
:
support verificati
o
n of ge
n
e
r
a
t
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
e
ge
barvinok_
e
numerate_e: suppo
r
t conve
r
sion of generating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
V
erdoola
e
ge
lattice
_
p
oints: a
n
o
t
her
m
icr
o
-
optimization
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoola
e
g
e
l
a
t
tice_points_fix
e
d
: nan
o
-optimiza
t
ion
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
ae
g
e
gen
_
fun::add: context
of sum should be uni
o
n
o
f c
o
n
texts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvinok_enumerate: use v
e
rify infrastructure for verifyi
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Ver
d
ool
a
e
ge
genfun
.
cc: pr
i
nt_powe
r
: drop spac
e
s
aro
u
n
d
"
/
"
w
hen
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
co
u
n
t
_points
_
e: fall
back to c
o
u
n
t
_poin
t
s
if there
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
V
erdoolaege
M
ake
f
ile
.
a
m
:
c
heck-evalue:
print name
of e
a
ch
t
e
s
t
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven V
e
rdoolaeg
e
verify: add check_poly_pri
n
t helper func
t
ion
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdo
o
l
aege
gen_fun: make sure context is always s
e
t
commit
|
commitdiff
|
tree
next