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
Sve
n
Verdoolaege
evalue: r
e
d
u
ce_evalue: ad
d
note on some mi
s
sed opportunities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
bernst
e
in
.
c
c: handle
input
w
ith unions
+
relatio
n
violate
d
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
S
ven V
e
rdoolae
g
e
maximize
.
cc: deal with
u
nions in
i
nput
d
uring verification
commit
|
commitdiff
|
tree
2008-03-10
Sven Ve
r
doolaeg
e
evalue_substitute: prop
e
rly h
a
ndle relation
s
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
Verdoolaeg
e
evalue
.
c: cl
e
an up emul and eadd
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoo
l
aege
e
v
alue
_
read: correctly
read variable nam
e
s
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
ev
a
lu
e
_read: accept to
p
level "rel
a
t
i
on"
commit
|
commitdiff
|
tree
2008-03-10
S
v
en
Verdo
o
l
a
ege
update pol
y
lib
commit
|
commitdiff
|
tree
2008-02-29
Sven Verd
o
olaege
e
v
alue_backsubstitu
t
e
:
add required modulo c
o
nstraints
commit
|
commitdiff
|
tree
2008-02-26
Sven Verdoo
l
aege
ev
a
lu
e
.
c: *_p
a
rtitions: simplify
constra
i
nts befor
e
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven Verdoolaege
doc: mo
r
e specific
i
nformation on bugg
y
c
d
dlib version
s
commit
|
commitdiff
|
tree
2008-01-28
Sven Verdoolaege
c
onfigure
.
i
n
:
require cddlib 0
.
94e
by testin
g
for bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven Verdoolaege
configu
r
e
.
in: onl
y
comp
i
le occ if c
o
d
e
_gen library
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
barvinok 0
.
2
6
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Ver
d
o
o
laeg
e
add
s
ome te
s
ts f
o
r implementation of projection th
e
orem
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
do
o
laege
doc: do
c
ument new opt
i
o
ns and new applications
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
AUTHORS: update
s
u
p
port information
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verdoolaege
genfun
.
cc
:
short_rat::print: correct
l
y
prin
t
poly
n
omials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
ve
n
Verdoolaege
Export
s
eries
as barvinok
_
enumerate_s
e
ries
a
nd use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
remove_parameter
_
equalit
i
es: stop "r
e
moving" equ
a
lities
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
en V
e
r
d
oolaege
ser
i
es: leave freei
n
g of P argum
e
n
t to c
a
ll
i
ng functi
o
n
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verd
o
olaege
doc:
d
ocument imp
l
ementation
of the pr
o
je
c
tio
n
theorem
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Ve
r
doolaege
a
d
d barvinok_e
n
ume
r
at
e
_e_serie
s
implem
e
n
ting the p
r
ojectio
n
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rdoolaege
genf
u
n
.
cc: fix and document
parallel
polytopes c
l
as
s
commit
|
commitdiff
|
tree
2008-01-16
S
v
e
n V
e
rdool
a
eg
e
Only com
p
il
e
zsol
v
e
i
f
gcc 3
.
4
o
r late
r
is av
a
ilable
commit
|
commitdiff
|
tree
2008-01-16
S
v
en
Verdo
o
l
aege
Move
G
iNaC-indep
e
ndent part of libr
a
ry to barvinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
doolaege
polylib: update
commit
|
commitdiff
|
tree
2007-11-22
Sven Ver
d
oolaege
doc: h
o
w
t
o
cou
n
t the
num
b
er of e
l
ements
in
po
s
sib
l
y
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoo
l
a
ege
doc
/
impleme
n
tation
.
tex:
avo
i
d multi
p
l
y
d
e
fin
e
d label
commit
|
commitdiff
|
tree
2007-11-21
S
ven Verdo
o
laege
lattice_width
.
c: try
vertic
e
s of
previous i
n
teger hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
doc: document i
n
teg
e
r h
u
l
l co
m
putat
i
on
commit
|
commitdiff
|
tree
2007-11-21
Sven Ver
d
oolaege
h
ull
.
c: add all p
o
ints found b
y
sam
p
ling di
r
ectly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
en Verdoolaege
P
o
s
sib
l
e optimizations for generalize
d
basis redu
c
tion
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sve
n
Verdoolaege
Supp
o
rt use
o
f generalized
basis re
d
uction to compute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
en Verdoolaeg
e
add Pol
y
hedr
o
n_Inte
g
er_Minimum for computing the inte
g
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
e
n
V
erdoolaege
doc:
doc
u
m
en
t
genera
l
ized basis reducti
o
n based int
e
g
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
en Ver
d
oolaege
doc/barvinok
.
b
ib: add missi
n
g string
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoolaege
ad
d
more mi
s
sing
a
ss
e
rt
.
h #i
n
clud
e
s
commit
|
commitdiff
|
tree
2007-11-17
S
v
en Ve
r
doola
e
ge
evalue
.
c
: add missing include
of
alloca
.
h
commit
|
commitdiff
|
tree
2007-11-17
Sven
V
e
r
d
oolaege
configure
.
in:
pass path of G
M
P
i
nstallation to PolyLib
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Ve
r
doolaege
confi
g
ure
.
in: only
c
ompile li
b
barvino
k
as
a
st
a
tic
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
v
en Ver
d
o
olaeg
e
Poly
h
edr
o
n_Reduced_Basis: don't stop t
o
o early when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaeg
e
c
o
m
p
u
t
e
_width_direction
s
: only keep
l
ist of dist
i
nct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sve
n
Verdoolaege
z
s
olve: don'
t
i
n
s
tall
l
ib
r
ary
commit
|
commitdiff
|
tree
2007-11-08
Sven Ver
d
oo
l
aege
v
e
rsi
o
n
.
c: show use of TOPCOM
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaeg
e
configure
.
in:
don't set with_
{
p
oly
,
pip
}
lib_prefi
x
f
rom
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
S
v
e
n
Ve
r
doo
l
aege
Pol
y
hedron_Sample:
b
e sa
t
i
sfie
d
with a
r
e
aso
n
a
ble choice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven V
e
rdoolaege
cone
_
integer_hull: optionally print
s
tats
commit
|
commitdiff
|
tree
2007-11-08
S
v
e
n
Ve
r
doolaege
basis_reduction: keep
track
of
number of
L
Ps so
l
v
e
d
commit
|
commitdiff
|
tree
2007-11-08
S
v
en
Verdoolaege
options: move --prin
t
-stats to library
commit
|
commitdiff
|
tree
2007-11-07
S
ven Verdoolaege
bern
s
tein: rework te
s
ting fram
e
work to not depend
on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven V
e
rdoolaege
be
r
ns
t
e
i
n
:
add piecew
i
s
e_lst::is
_
equal
commit
|
commitdiff
|
tree
2007-11-07
Sven V
e
rdoo
l
aege
support newer versions o
f
GiNaC (>= 1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaeg
e
standard_co
n
s
train
t
s:
move fro
m
t
opcom
.
c
to po
l
ysign
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sven Verd
o
o
laeg
e
polys
i
gn
.
h: remove d
e
pendency on
lexmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sven
V
er
d
o
o
l
a
eg
e
zsolve: add banner
.
h
to
d
i
stribution
commit
|
commitdiff
|
tree
2007-11-06
S
v
en Verdoolaege
Pol
y
h
e
dron
_
Latt
i
ce_Width_Directions: print progress
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sven Verdoolaege
ba
s
is_reduction_pip: abort
o
n
inv
a
lid (
e
m
pty) input
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdo
o
laege
README
:
explain how to ge
t
su
b
modules
commit
|
commitdiff
|
tree
2007-11-02
S
ven Verdoolaege
doc: document lattice width
c
ompu
t
ati
o
n
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdool
a
ege
some la
t
t
ice width t
e
sts f
r
o
m
J
on Yag
g
ie
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoolae
g
e
Polyh
e
dron_Lattice_Width: decide on facets to close
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdool
a
e
g
e
a
dd Pol
y
hed
r
on_Latti
c
e_Wi
d
th for
c
ompu
t
ing latti
c
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
S
v
en Verdoolaege
hilbert
.
c: add C
o
ne_Inte
g
er_Hull for computing ve
r
tices
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Ver
d
oolaege
polysign: add pip-backed versio
n
commit
|
commitdiff
|
tree
2007-10-31
S
ven
V
er
d
o
olaege
polysign: ad
d
constraints_
o
pt
to compute opti
m
u
m
over
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n
V
erdo
o
lae
g
e
poly
s
i
g
n_cdd: switch to use of Matri
x
repre
s
entation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
pol
y
s
i
gn_
g
l
p
k: switc
h
t
o
us
e
of Matrix represe
n
tation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
v
e
n Verdoolaege
doc: doc
u
ment comp
u
tation of Hi
l
b
ert
b
a
sis of a cone
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdool
a
ege
C
one_Hilbert_Basis: use standard_const
r
aints to avoid
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Verd
o
olaege
U
se
zsolve to compu
t
e
Hilb
e
rt ba
s
is of a cone
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdoolaege
c
ompile zsolve
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
dool
a
ege
zsolve:
d
on't
i
nst
a
ll hea
d
ers and e
x
ecuta
b
l
e
s
commit
|
commitdiff
|
tree
2007-10-31
Sven
Ver
d
oolaege
zsolve: initializ
e
Backu
p
Time i
n
ZSol
v
eContex
t
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
doolaege
zsolve:
z
so
l
veSystem: add missing verbosity check
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdo
o
laege
zsolve: o
v
e
rride
LIBS from top level
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n
V
erdoolaege
add 4ti2
-
1
.
3
.
1+aut
o
conf-0
.
1 banner
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoo
l
aege
a
d
d zsolve
f
r
om 4ti2-1
.
3
.
1+auto
c
onf-
0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
rdoolaege
param_util
.
c
:
export bit_vector_count
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verdoolaege
topcom
.
c: extract pa
r
t of code for setting up st
a
n
d
ard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sven Verdoola
e
g
e
gen_fun::Hadamard
_
product:
print progress indicator
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sven
V
erdoola
e
ge
move --verbo
s
e option
to library
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoo
l
a
ege
gen_fun:
:
summate: handle full special
i
zation
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
R
e
p
lace i
n
cremental infinite s
e
t cou
n
ter by "regular
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
m
ake
c
ounter::add_falling_p
o
w
e
r
s stat
i
c
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
m
er
g
e
(most of) common part of cou
n
ter and tco
u
nter
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
icounter: hand
l
e speciali
z
a
t
ion of p
o
lynomials
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
i
cou
n
ter:
don't both
e
r
"nor
m
a
l
izing" the exponents
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
ex
p
ort
n
eg_left_hermit
e
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n
Verdoolaege
basi
s
_reduction_c
d
d: chec
k
fo
r
pos
s
ibly i
n
c
o
rr
e
ct output
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Po
l
y
h
e
d
ron
_
Sampl
e
: handle polyhedron becoming
empty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
g
en_fun::op
e
rator evalue
*
:
always
r
etu
r
n a valid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdool
a
ege
gen_fun::o
p
erator evalue *:
remove comme
n
ted o
u
t d
e
b
u
g
g
ing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdo
o
l
a
e
ge
barvi
n
ok_enume
r
a
te_e
.
cc: handle verification of problems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaeg
e
b
a
rvin
o
k_enumerate_e: opti
o
nally print stats
commit
|
commitdiff
|
tree
2007-10-25
Sven
Ve
r
doolaege
barvinok_enumer
a
t
e_e:
support verification of gene
r
ating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doo
l
aege
bar
v
inok_enum
e
rate_e: support
conver
s
i
on of ge
n
erating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
V
erdool
a
e
ge
latt
i
ce_points: ano
t
her
m
icro-opti
m
ization
commit
|
commitdiff
|
tree
2007-10-25
S
ven
Verdoolaege
lat
t
ic
e
_points_fixed: nano-opti
m
iz
a
tion
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Ver
d
oolae
g
e
gen_f
u
n::a
d
d:
c
o
n
te
x
t of
sum
sh
o
u
l
d be union of contexts
.
.
.
commit
|
commitdiff
|
tree
next