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
Sven Verdoolaege
evalue_rea
d
:
a
c
cept top level "relation"
commit
|
commitdiff
|
tree
2008-03-10
Sven
V
erdo
o
laege
update polylib
commit
|
commitdiff
|
tree
2008-02-29
Sve
n
Ve
r
doolaege
evalue_backs
u
bstitute: add r
e
qui
r
ed modu
l
o const
r
a
i
nts
commit
|
commitdiff
|
tree
2008-02-26
Sven Ve
r
d
oolaege
evalu
e
.
c: *_pa
r
titions: sim
p
l
ify const
r
a
int
s
before
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven Verdoolaege
doc: more specifi
c
info
r
mat
i
on on bugg
y
cddlib versio
n
s
commit
|
commitdiff
|
tree
2008-01-28
Sven Verdoolaege
configure
.
i
n
: requi
r
e cdd
l
ib
0
.
9
4
e by
testing for bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven Ve
r
doolaege
config
u
re
.
i
n
:
only compile occ if code_g
e
n library
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
e
rdoo
l
a
e
ge
barv
i
nok 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rdoolaege
add some tes
t
s for implementation of projec
t
ion theorem
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verdool
a
ege
doc: docu
m
ent n
e
w o
p
t
i
ons and new appli
c
ations
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
ool
a
ege
A
U
T
HORS: update supp
o
rt
infor
m
ation
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erdoo
l
aege
genf
u
n
.
cc: short_rat::pr
i
nt: cor
r
ect
l
y print
p
olynomials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
Ve
r
doolaege
Export series
a
s
barvino
k
_e
n
u
merate_
s
eries
a
nd use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoola
e
ge
remove_parameter
_
equalities: stop
"remo
v
ing
"
equalities
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Ve
r
doolaege
s
eries:
l
e
ave
f
r
e
eing of
P
argum
e
nt to call
i
ng fu
n
ction
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdoolaege
doc: docume
n
t im
p
lementat
i
on o
f
the pro
j
ec
t
ion theorem
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verd
o
olaege
add b
a
r
v
inok_enumerate_e_series impleme
n
ting the p
r
ojection
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
genfun
.
cc:
f
i
x
a
n
d document parall
e
l polytopes
c
las
s
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoola
e
ge
Only compile zsolve if g
c
c
3
.
4 or later is available
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
Move
G
i
NaC-in
d
ependent
p
art
o
f
l
ib
r
ar
y
t
o barv
i
nok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
Verdoolae
g
e
polyli
b
:
update
commit
|
commitdiff
|
tree
2007-11-22
S
ven Verdoolaege
doc: how to count the numbe
r
of elements i
n
p
o
ss
i
b
l
y
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sve
n
Verdool
a
ege
doc/im
p
lementation
.
t
e
x: avoid multiply d
e
fined l
a
bel
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
lattice_wid
t
h
.
c: try ve
r
tice
s
of
p
rev
i
ous integer hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
doc:
d
ocument i
n
teger hul
l
computation
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
erdoolaege
hull
.
c: add al
l
points found by samp
l
ing di
r
ect
l
y to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoo
l
ae
g
e
Pos
s
ible o
p
timizati
o
ns
for generalized basis reduct
i
on
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
Verdoolaege
Support use
of ge
n
eralized basis reduction to compute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sve
n
Verdoolaege
add Polyhedro
n
_Integer_Minimum
f
or comput
i
ng the int
e
ger
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sve
n
V
e
r
doolaege
doc
:
docu
m
ent generalized bas
i
s r
e
duction based integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
en
V
e
r
doolaege
doc/barvinok
.
bib: add missing string
commit
|
commitdiff
|
tree
2007-11-17
S
v
en Verdoolae
g
e
ad
d
more
m
iss
i
ng assert
.
h #incl
u
des
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdool
a
ege
configure
.
in: on
l
y c
o
m
p
ile
lib
b
ar
v
inok as
a
s
t
atic
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
v
en V
e
r
doolaege
Polyh
e
dr
o
n_Reduced_Ba
s
is: don't
s
t
o
p too ear
l
y when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
c
ompute_width_directions:
only keep list of distinct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolae
g
e
zsolve:
d
on't i
n
s
tall libra
r
y
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdo
o
laege
vers
i
on
.
c: show us
e
o
f
TOPCOM
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoo
l
aege
c
o
n
figu
r
e
.
in: don't set with_{po
l
y,pip}lib_prefix fr
o
m
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
S
v
en Verdoolae
g
e
Polyhed
r
on_Sample: be satisfied with a
reasonable choice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
con
e
_integer_hull: optionally prin
t
s
tats
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
basis_reducti
o
n:
k
eep t
r
ack
o
f
n
umber of LPs
solved
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
options: move
--pr
i
nt-stats to library
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdo
o
laege
bern
s
t
ein: rew
o
rk test
i
n
g
f
rame
w
ork
to not depend on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaeg
e
bernstein:
a
dd piecew
i
se
_
lst::is
_
equal
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
support newer versions of GiNaC (>= 1
.
3
.
8
)
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
s
tandard_
c
on
s
traints: move
f
rom topcom
.
c
to polysig
n
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sven Verd
o
o
l
aege
p
o
lysig
n
.
h: remove dependen
c
y on lexmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaeg
e
zsolve:
a
dd banner
.
h
to
distributio
n
commit
|
commitdiff
|
tree
2007-11-06
Sven Verdo
o
laege
P
olyhe
d
r
on_Latti
c
e
_
Width_Directions: pr
i
nt progress
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sven Verdoolaege
basi
s
_r
e
du
c
tion_pip: abor
t
on invali
d
(em
p
ty)
i
nput
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
S
v
en
Ve
r
d
o
ol
a
ege
README:
expla
i
n how to get submodules
commit
|
commitdiff
|
tree
2007-11-02
S
ven Ve
r
doo
l
aege
doc: docum
e
nt lattic
e
width computa
t
i
on
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolaege
some lattice wid
t
h
t
ests from Jon Yaggie
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoolaeg
e
Polyhedron_Lattic
e
_Width: decide on facets to close
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Ver
d
oolae
g
e
ad
d
Polyhedron_L
a
t
t
i
ce_Width for comp
u
ting lattice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Ver
d
oolaege
hilber
t
.
c: a
d
d Co
n
e_Integer_Hull for computing
vertices
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
v
en
V
e
rdoolaeg
e
p
olysig
n
: add pip-backed versio
n
commit
|
commitdiff
|
tree
2007-10-31
S
ven Ver
d
o
o
laege
polysign: add constraints_o
p
t to compute optimum ov
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven
Ve
r
doolaege
p
oly
s
ign_cdd: switch to u
s
e of M
a
t
r
ix representation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoola
e
g
e
polysign
_
gl
p
k:
s
witch to use of
M
atr
i
x re
p
resentation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdool
a
ege
doc: docu
m
ent c
o
mputation
o
f Hilbe
r
t ba
s
i
s
of
a
cone
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
d
o
olaege
Cone_Hilbert_Basis
:
use stan
d
ard
_
constr
a
i
nts
t
o avoid
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
v
en V
e
rdoola
e
ge
U
s
e
z
solve
t
o
compute Hilbert ba
s
is
o
f a cone
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
compile zsolve
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Verdo
o
laege
zsolve: don't
install head
e
rs and execu
t
a
bles
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoo
l
aege
zsolve: initializ
e
BackupTime in ZSolveContext
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoo
l
aeg
e
zsolve: zso
l
veSy
s
tem: add miss
i
ng verbosity
c
h
eck
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verdoo
l
aege
zsolve: over
r
i
d
e LIBS fr
o
m top level
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
e
r
dool
a
ege
add 4ti2
-
1
.
3
.
1+autoc
o
n
f-0
.
1 banner
commit
|
commitdiff
|
tree
2007-10-31
Sven
Verd
o
olaege
add zsolve f
r
o
m 4ti2-1
.
3
.
1+autoco
n
f-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
pa
r
am_u
t
i
l
.
c:
expor
t
bit_vect
o
r
_
count
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verdoolaege
topcom
.
c: ext
r
act part of code
for
s
etting up standar
d
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sven Verd
o
olaege
gen_fun::Hadamard
_
product: print
p
r
o
g
r
ess in
d
icator
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
S
ven V
e
rdoolaege
mov
e
--verbo
s
e
opt
i
on to lib
r
ary
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
dool
a
ege
gen_fun::summate: ha
n
dle full specialization
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
Re
p
lace incremental infinite set c
o
u
n
t
er by "reg
u
lar
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaeg
e
make cou
n
ter::add
_
fa
l
ling_p
o
wers static
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
m
e
rge (most of) commo
n
part
of co
u
nter and tcounter
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Ve
r
dool
a
e
g
e
icoun
t
e
r
: h
a
ndle specialization of poly
n
o
m
ials
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
icounter: don't b
o
ther "normalizin
g
" t
h
e exponents
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
e
x
po
r
t
neg_left_hermite
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
ba
s
i
s
_redu
c
tion_cdd
:
ch
e
c
k for possibly
incorre
c
t
out
p
ut
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
Polyhedron_Sampl
e
:
h
andle po
l
yhedron becoming empty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
g
e
n
_
fun::operat
o
r evalue *: a
l
ways
r
eturn a valid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
l
aege
gen_fun::o
p
erat
o
r eva
l
ue *
:
remove commented
o
ut de
b
ug
g
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvinok_enumerate_
e
.
c
c: h
a
n
dle verification of p
r
oblems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
barvinok_en
u
m
erate_e: optionally prin
t
stats
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
rdoolaege
bar
v
i
nok_en
u
merate_e: support veri
f
icati
o
n of genera
t
ing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
ba
r
vinok_en
u
merate_e
:
support c
o
nver
s
ion
o
f
gener
a
t
ing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
V
erd
o
olaege
lattic
e
_poi
n
t
s
:
another micro
-
op
t
imizati
o
n
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
lattic
e
_points_f
i
xed:
n
ano
-
o
ptimization
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
dool
a
ege
gen_fun::add: context of
sum sho
u
ld
b
e union o
f
c
ontext
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaeg
e
b
a
rvinok_
e
numerate: use ve
r
ify infrastructure for
v
eri
f
y
ing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
genfun
.
cc:
print
_
power: drop spaces ar
o
und "
/
" when
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
d
oolaege
count_points_e: fall back to
c
o
unt_
p
oints if ther
e
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
r
doo
l
aege
Mak
e
file
.
a
m: check-evalue: print name of each
t
e
s
t
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
verify: add che
c
k_poly_print helper function
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
g
e
n
_fun: make sure context is always set
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
reducer::r
e
duc
e
:
canonicali
z
e
co
e
ff
i
c
ien
t
s in each
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven V
e
rdoo
l
aege
short_rat::print: corre
c
tly pr
i
nt out terms with a
.
.
.
commit
|
commitdiff
|
tree
next