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: reduce_evalue: add note on some missed opportunities for reduction
2008-03-10
Sven Verdo
o
laege
evalue
:
r
e
duce_evalue: add note on
s
o
m
e m
i
ssed o
p
portunities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven V
e
rdoolae
g
e
bernstein
.
cc: h
a
ndle input
w
ith
u
nions +
r
e
lation violated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n Verdoolaege
maximize
.
cc:
d
e
al w
i
th unions in inp
u
t
during verificat
i
on
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
evalue_substitute: pr
o
per
l
y handl
e
r
e
lations
commit
|
commitdiff
|
tree
2008-03-10
Sven Verd
o
olaeg
e
evalue
.
c: cl
e
an up
e
mul a
n
d
e
a
dd
commit
|
commitdiff
|
tree
2008-03-10
Sven
V
e
rdoolaege
evalue
_
read
:
corre
c
tly read variable nam
e
s
commit
|
commitdiff
|
tree
2008-03-10
Sven
V
erdoo
l
aege
evalue_read
:
ac
c
e
pt top level "relation"
commit
|
commitdiff
|
tree
2008-03-10
Sven
V
erd
o
olaege
up
d
ate
p
olylib
commit
|
commitdiff
|
tree
2008-02-29
Sven Verdoolaege
evalue_backsubstitute: a
d
d
re
q
uired mod
u
lo constraints
commit
|
commitdiff
|
tree
2008-02-26
Sven
Verdoolaege
evalue
.
c: *_
p
a
r
tit
i
on
s
: simplify c
o
nstr
a
ints be
f
ore
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
S
v
e
n Verdoolaege
doc:
m
ore spe
c
ific inform
a
tion on buggy cddlib versions
commit
|
commitdiff
|
tree
2008-01-28
S
v
en
Verdoo
l
a
e
ge
con
f
igur
e
.
in: require
c
ddlib 0
.
94e
b
y testing for bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven Verdoolaege
configure
.
in:
only compile
o
cc
if
c
ode_gen
library
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
oolaege
barvinok 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Ve
r
doola
e
ge
add so
m
e
t
ests for i
m
ple
m
entatio
n
of pr
o
jection theorem
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verdoolaege
doc: document n
e
w opt
i
ons and n
e
w applicat
i
ons
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verdool
a
ege
AUTHOR
S
:
update support inf
o
rmation
commit
|
commitdiff
|
tree
2008-01-16
S
ven Ve
r
doolaeg
e
g
enfun
.
cc: short_ra
t
::p
r
int: co
r
rectly print po
l
y
nomi
a
ls
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verdoolaege
Exp
o
rt series
as
b
a
r
vinok
_
enume
r
ate
_
series
a
nd use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rdoolaege
remove_parameter_equ
a
lities
:
stop "rem
o
ving" equ
a
lities
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
series: lea
v
e
fre
e
i
n
g of P argument to calling function
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erdoola
e
ge
doc:
docu
m
ent implementati
o
n of the pro
j
ection theore
m
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoo
l
aege
add barvinok_enumerate
_
e_s
e
ries imple
m
enti
n
g th
e
p
r
o
jection
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rdoolaege
genfun
.
cc
:
f
i
x
and document pa
r
all
e
l poly
t
opes cl
a
ss
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
M
o
ve GiNaC-i
n
dependent p
a
rt
o
f l
i
b
rary to barvinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdool
a
eg
e
polylib: up
d
ate
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoolae
g
e
doc: how to c
o
unt the n
u
m
b
er
o
f
e
le
m
ents in
p
o
s
sibl
y
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven V
e
r
doolaege
doc/implem
e
ntation
.
tex: avoid multipl
y
d
e
fined label
commit
|
commitdiff
|
tree
2007-11-21
Sve
n
Verdoolae
g
e
lattice
_
widt
h
.
c:
t
ry
v
ertic
e
s of pr
e
vio
u
s intege
r
hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
doc: document integer hull compu
t
a
t
ion
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
hul
l
.
c: add all po
i
nts found b
y
s
a
m
p
l
ing d
i
rectly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sve
n
Ver
d
o
olaege
Possible
optimi
z
a
t
i
ons
for
generalized basis reduction
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n Ver
d
o
o
l
a
ege
Support us
e
of
general
i
zed basis redu
c
t
i
on to co
m
pute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n V
e
rdoolaege
ad
d
P
olyhedron_Integer_Minimum for c
o
mputing the
i
n
t
eger
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
doc: docume
n
t ge
n
e
r
alized b
a
sis
r
e
d
u
c
tion bas
e
d integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdo
o
la
e
ge
doc/barv
i
no
k
.
b
i
b: add m
i
s
s
ing string
commit
|
commitdiff
|
tree
2007-11-17
S
ven
V
erdoolaege
add more
missing assert
.
h #includes
commit
|
commitdiff
|
tree
2007-11-15
Sv
e
n
V
e
rdoolaege
con
f
igure
.
in: o
n
ly c
o
mpile libbarvinok as a stati
c
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
ven Verdo
o
la
e
g
e
P
olyhedron_Reduced_Basi
s
: don't stop t
o
o earl
y
when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sve
n
V
er
d
oolaege
compute_width
_
directions: only k
e
e
p
list of di
s
tinct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verd
o
olaege
zsolve: d
o
n't i
n
stall library
commit
|
commitdiff
|
tree
2007-11-08
Sven
V
e
r
d
oolaege
versi
o
n
.
c:
show use of TOPCOM
commit
|
commitdiff
|
tree
2007-11-08
S
ven Verdoola
e
ge
configure
.
in: don't set wi
t
h
_
{
p
oly
,
pip}lib_prefi
x
f
r
o
m
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
S
ven Verd
o
olaege
Polyhe
d
r
on_Sample: be sati
s
fied w
i
th a
reasonable choic
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Ver
d
o
olaege
cone
_
integer_hull: o
p
tionally print stats
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoola
e
ge
basis_red
u
ction:
keep
t
rack of
number o
f
LPs s
o
lved
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
options: move --print-stats to li
b
r
a
ry
commit
|
commitdiff
|
tree
2007-11-07
S
v
en Verdoolaege
bernstein:
r
ework test
i
ng frame
w
o
r
k
to not depend on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
b
ern
s
tein: a
d
d pi
e
cew
i
se_lst:
:
is_equal
commit
|
commitdiff
|
tree
2007-11-07
Sven
Verdoo
l
aege
support ne
w
e
r versi
o
ns of GiNaC (>=
1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
Sv
e
n
V
e
r
doolaege
st
a
n
dard_c
o
n
s
traints: move from topcom
.
c
t
o
polysign
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sven Ver
d
oolaege
polysign
.
h
: remove depe
n
d
e
ncy on l
e
x
min
.
h
commit
|
commitdiff
|
tree
2007-11-07
S
ven Verdoolaege
zsolve: add ban
n
er
.
h to distribut
i
on
commit
|
commitdiff
|
tree
2007-11-06
Sven V
e
rdoolaege
P
o
ly
h
edron_Lattic
e
_
Width_Directions: print progress
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sven Verdoolaege
basis_reduction_pip: abort on
i
nvalid (empty) i
n
p
ut
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven Ve
r
doola
e
ge
README
:
expl
a
in how to get
su
b
modu
l
es
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolaege
d
o
c
:
document
lat
t
ice
w
i
dth
c
omputation
commit
|
commitdiff
|
tree
2007-11-02
Sve
n
Verdoolaege
s
o
me lattice width te
s
t
s from Jo
n
Yaggi
e
commit
|
commitdiff
|
tree
2007-11-01
S
v
en Verdoolaege
P
o
l
yhedron_Lattice_Width: decid
e
o
n
facets to close
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
S
ven Verdoolaege
add Po
l
yhedron_Lattice_Width for compu
t
i
ng l
a
t
tice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven V
e
r
doolaege
hilbert
.
c
:
add Cone_I
n
teger_Hull for computing vertices
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdool
a
ege
p
o
lysign: add pip
-
backe
d
vers
i
on
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
po
l
ys
i
gn:
ad
d
constraints_op
t
t
o
compute
o
p
t
i
m
um over
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoo
l
a
e
ge
polysign_cdd: switch
to use of Matr
i
x
repre
s
e
ntat
i
on
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
polysign_
g
lpk: switch
t
o use
o
f
M
a
t
rix r
e
pre
s
entation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdool
a
e
ge
doc: document
comput
a
tion of Hilber
t
basis of a cone
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
C
o
n
e_Hilb
e
rt_Basis
:
us
e
standard_const
r
a
ints to avoid
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaeg
e
Use zsol
v
e to compute Hilbe
r
t basis of a cone
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
c
o
mpile zs
o
lve
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdoolaege
zsolve: don't instal
l
he
a
ders and
e
x
e
cut
a
bles
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Verdoolaege
zs
o
lve: ini
t
ializ
e
B
a
c
kupTime i
n
ZSolveCo
n
text
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n
Verdoolae
g
e
zsolve:
zsolveSystem: add missing verbosity
check
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdo
o
laege
zsolve: override
L
I
BS from t
o
p level
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
doo
l
aege
add
4
ti2-1
.
3
.
1+au
t
oconf
-
0
.
1 banner
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
add
z
s
o
lv
e
from 4ti2-1
.
3
.
1+autoconf-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
rdoolaege
param
_
util
.
c: ex
p
o
r
t
b
i
t_vector_count
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdo
o
laege
t
opcom
.
c: extra
c
t
p
a
rt
o
f cod
e
for se
t
t
i
ng up s
t
andard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
S
v
en Verdool
a
ege
gen_fun::Had
a
mard_produc
t
:
p
rint progress
indi
c
ator
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sven Verdoo
l
aege
m
o
v
e
--verbose o
p
tion to li
b
r
ary
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
Verdoolaeg
e
gen_fun::summ
a
te: handle full s
p
ecialization
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erd
o
olaege
Replace incr
e
m
e
n
t
al infinite s
e
t co
u
nter by
"
regular
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aeg
e
make counter::
a
dd_falling
_
powers stati
c
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
merge
(most
o
f) com
m
on p
a
rt of cou
n
te
r
and tcoun
t
e
r
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
icou
n
ter:
h
and
l
e specializa
t
ion of po
l
yn
o
mials
commit
|
commitdiff
|
tree
2007-10-25
S
v
en V
e
rdool
a
e
ge
icou
n
ter: don't both
e
r "nor
m
a
lizing" the
e
xponents
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
export neg_l
e
ft
_
h
ermi
t
e
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
Ver
d
oolaege
basis_reduc
t
ion
_
c
d
d: ch
e
ck for
possibly incorr
e
ct o
u
tp
u
t
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
P
o
l
y
hedron_
S
ample: ha
n
d
le polyh
e
dron
b
e
c
om
i
ng empty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
g
en_fun::operator evalu
e
*: always return a valid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen_fun:
:
operat
o
r
eva
l
ue
*
: remove commented o
u
t debugging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven V
e
rdo
o
laege
b
ar
v
ino
k
_enumerate_e
.
c
c
: handle verif
i
cation of prob
l
e
m
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdo
o
laege
barvinok_enumerate_e:
optiona
l
l
y print stats
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvinok_enumerate_e: support verification of ge
n
erati
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
barvinok_enumerate_e: support
c
onversion of generating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Ve
r
d
o
olaege
l
attice
_
points: anoth
e
r micro-optimiz
a
t
i
on
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
l
a
ttic
e
_po
i
nts_fixed: nano-
o
ptimizati
o
n
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
gen_fu
n
::add:
c
ontext o
f
su
m
s
h
ould be unio
n
o
f
co
n
texts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verd
o
olae
g
e
barvinok_enumerate: use verify infrastructure for verifying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoo
l
a
e
ge
g
e
nfun
.
cc: pri
n
t_power
:
drop spac
e
s
around "/" when
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
cou
n
t_points_e: fall back to
c
ount_points if t
h
e
re
.
.
.
commit
|
commitdiff
|
tree
next