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: only accept implicit multiplication on a single line
2008-03-31
Sven
Verdoolaege
e
v
alue_read: only accept i
m
plicit multiplic
a
t
i
on o
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdool
a
ege
evalue_read: accept constr
a
ints c
o
ntaining "'-'
s
pace
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
e
v
alue
_
bern
s
tein_c
o
efficient
s
: ensure
res
u
lt partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Ve
r
d
oolaege
bernstein: piecewise
_
ls
t
: correc
t
ly print and evaluate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
remov
e
_all_equalit
i
es: keep removing parameter equali
t
i
e
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoola
e
ge
updat
e
po
l
y
lib
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
do
c
: consistent us
e
of
K
ev
i
n's
i
n
itials
commit
|
commitdiff
|
tree
2008-03-24
Sven Verd
o
olae
g
e
do
c
:
u
p
date now published p
a
pers
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
for_each_lower_upper_bo
u
nd
:
allow a
b
sen
c
e
o
f
lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
Revert "ea
d
d_p
a
rtit
i
ons:
try to combine
multi
p
le domain
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoola
e
ge
evalue_re
a
d_par
t
it
i
o
n
: put partitio
n
s back in the same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven V
e
rdoolaege
evalue:
reduce
_
evalue: ad
d
n
ote
on some misse
d
opp
o
r
t
unities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
S
v
e
n Verdoolaege
b
e
rnst
e
in
.
cc: handle inpu
t
with unions + relat
i
on violated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
maximiz
e
.
c
c:
deal with unions in in
p
ut during v
e
rification
commit
|
commitdiff
|
tree
2008-03-10
Sven Ve
r
do
o
laege
e
value_substitute: properly handle relations
commit
|
commitdiff
|
tree
2008-03-10
Sven Ver
d
oolaege
ev
a
lue
.
c:
c
l
e
a
n u
p
emul
a
nd eadd
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
Verdoolaege
evalue_read: correctly read variable nam
e
s
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n Verdoolaege
evalue_
r
e
ad: ac
c
ept top l
e
vel "re
l
ation
"
commit
|
commitdiff
|
tree
2008-03-10
S
v
e
n
Verdoolaege
update
pol
y
lib
commit
|
commitdiff
|
tree
2008-02-29
Sven Verdoolaeg
e
evalue_backsubstitute: ad
d
r
equired mo
d
u
l
o constra
i
nts
commit
|
commitdiff
|
tree
2008-02-26
Sv
e
n
Verdoolaege
e
val
u
e
.
c
:
*
_
par
t
itio
n
s: simplify
constraints befor
e
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven Verdo
o
laege
doc: more specific informatio
n
on buggy c
d
dl
i
b v
e
rsions
commit
|
commitdiff
|
tree
2008-01-28
S
v
e
n Ve
r
d
o
o
l
aege
configur
e
.
in:
r
e
quire cdd
l
ib 0
.
94e by testing
for bu
g
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven Verdoolaege
configure
.
in: only compile
occ i
f
code_gen libra
r
y
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
barvinok 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erdoolaege
ad
d
some tests fo
r
imple
m
en
t
ation of projection the
o
rem
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdo
o
l
aege
do
c
: document new
options and new app
l
ications
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rdo
o
laege
AUTH
O
R
S
:
updat
e
support inform
a
ti
o
n
commit
|
commitdiff
|
tree
2008-01-16
Sven
Verdoolaege
genfun
.
cc: sh
o
rt_rat::
p
r
int: correc
t
ly print po
l
ynomi
a
ls
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
Verdoola
e
ge
Expo
r
t serie
s
a
s barvinok
_
enume
r
ate_series and
use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verdoolaege
re
m
ove_parameter_equ
a
lities: stop "r
e
m
o
ving"
e
qualities
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
ve
n
V
e
rdo
o
lae
g
e
series:
leave free
i
ng
o
f
P argument to cal
l
ing
f
unction
commit
|
commitdiff
|
tree
2008-01-16
S
ven V
e
r
d
oolaeg
e
doc
:
docum
e
nt
implementation
of t
h
e projection the
o
rem
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verdoolaege
ad
d
barvinok_enumerate_e_s
e
ries im
p
le
m
enting the projec
t
ion
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verdoolaege
genfu
n
.
cc: fix and document paral
l
el polytopes cl
a
ss
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verdo
o
l
a
ege
Mo
v
e GiNa
C
-independent pa
r
t of
l
i
brary to b
a
r
v
inok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
doolaeg
e
polylib: update
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoolaege
doc: how
to c
o
unt
t
he nu
m
be
r
o
f elem
e
nt
s
in po
s
si
b
ly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoolaeg
e
do
c
/i
m
ple
m
entation
.
tex:
avoid multiply defined label
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
erd
o
olaege
lattice_width
.
c: try verti
c
es of previous integer hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
doc: docume
n
t integer hull
computation
commit
|
commitdiff
|
tree
2007-11-21
S
v
e
n Ver
d
o
olaege
hu
l
l
.
c:
add
a
l
l
points found by sampli
n
g d
i
r
e
c
t
ly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoola
e
ge
Possi
b
l
e
o
ptimizations for gen
e
ralized bas
i
s redu
c
tion
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verd
o
o
l
aege
Support use of ge
n
eralized basis r
e
d
uction
t
o
compute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sve
n
Verdoolae
g
e
a
dd
P
o
l
y
hed
r
on_Integer_
M
inimum for c
o
mputing the integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
erdo
o
laege
doc: document generaliz
e
d
b
asis reduction based i
n
teger
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoo
l
a
e
ge
doc
/
b
a
rvinok
.
bib
:
add missing string
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoolaeg
e
a
dd more missing
a
ssert
.
h
#inclu
d
es
commit
|
commitdiff
|
tree
2007-11-15
Sven Ver
d
o
o
laege
confi
g
ure
.
in: on
l
y compile l
i
bb
a
rvinok as a sta
t
ic
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven V
e
rdoolaege
Polyhedron_
R
educed_Basis: do
n
'
t
s
top too early when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sve
n
Verd
o
olaege
compute_wid
t
h_d
i
recti
o
ns: only keep li
s
t of distinct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdool
a
ege
z
s
olve:
d
on't
i
nstal
l
library
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
version
.
c:
s
how use of TOP
C
OM
commit
|
commitdiff
|
tree
2007-11-08
S
v
e
n Verdoolaege
configure
.
in: don't se
t
wit
h
_{poly,
p
ip}li
b
_prefi
x
from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
Polyh
e
dron_Sample: be
satisfied
with a
reasonable
choice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
S
ven Ver
d
o
olae
g
e
co
n
e_integer_hull:
optiona
l
ly p
r
int stats
commit
|
commitdiff
|
tree
2007-11-08
S
v
en
V
erdoo
l
aege
basis_reduc
t
i
o
n: keep track o
f
number of LP
s
s
o
lved
commit
|
commitdiff
|
tree
2007-11-08
S
v
en Ve
r
dool
a
e
ge
o
p
tions
:
move --prin
t
-stats to libra
r
y
commit
|
commitdiff
|
tree
2007-11-07
Sve
n
Verdo
o
l
a
e
g
e
b
e
rn
s
tein: re
w
ork t
e
sting f
r
amework to not
depe
n
d on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
S
v
en
V
e
rd
o
olaege
b
e
r
n
stein: add piecewise_ls
t
::i
s
_equal
commit
|
commitdiff
|
tree
2007-11-07
Sve
n
Verdoolae
g
e
support newer versions of GiNaC (>= 1
.
3
.
8
)
commit
|
commitdiff
|
tree
2007-11-07
S
v
en Verdoolaege
stand
a
rd_co
n
straints: move
f
rom
t
opco
m
.
c
to p
o
lysign
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sve
n
Verdoolaege
polysi
g
n
.
h
:
remov
e
d
epen
d
e
n
cy on lexmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
S
ven Ve
r
doolaeg
e
zsolv
e
:
a
d
d banner
.
h t
o
dist
r
ibution
commit
|
commitdiff
|
tree
2007-11-06
S
ven Verdool
a
ege
P
ol
y
hedron_
L
a
t
tice_Width_Direc
t
ions: print progres
s
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sven Ve
r
doolaeg
e
basis_reduction_pip:
a
bo
r
t on invalid (empty)
i
nput
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
S
ven Verdoolaege
README: expl
a
in how to get submodu
l
e
s
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdool
a
ege
do
c
: docu
m
ent latti
c
e width com
p
utation
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolae
g
e
s
ome lattice wi
d
th
t
es
t
s from
J
on Yaggi
e
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdo
o
laege
Polyhedron_La
t
tice
_
W
idth: de
c
ide o
n
fa
c
et
s
t
o
c
l
ose
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
S
v
e
n
V
e
rdoolaege
a
dd
Polyhedr
o
n_Latt
i
ce_Width for computing
l
attice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Ver
d
oolaeg
e
hilb
e
rt
.
c
: add Cone
_
I
n
teger_Hull
for computing vertices
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdo
o
l
a
ege
poly
s
ig
n
:
add pip-bac
k
ed vers
i
on
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdool
a
ege
po
l
ys
i
g
n
: add constraints_opt to compute optimum o
v
er
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
rdoolaeg
e
polysign
_
cdd
:
swi
t
ch to
use of Matrix representa
t
ion
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
ven Ver
d
o
olaege
polysign_glpk:
switch to use
of
Matrix repres
e
ntat
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
er
d
oo
l
aege
d
o
c: docume
n
t computati
o
n
of Hilbert basis of
a
cone
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verdoola
e
g
e
Cone_
H
ilbert_Basis:
use standard_constraints to avoid
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdoolaege
Use zsolve to compute Hilbert basi
s
o
f
a cone
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
rdoolaege
c
o
mpil
e
zsolve
commit
|
commitdiff
|
tree
2007-10-31
S
v
en
Verdoolaege
zsolve: don't i
n
stall headers and
e
xecutabl
e
s
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaeg
e
zsolve: i
n
itialize BackupTi
m
e
in ZSolveCon
t
ext
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoo
l
a
e
ge
zsolve:
z
solveSystem: add missing verbo
s
i
t
y check
commit
|
commitdiff
|
tree
2007-10-31
S
v
e
n
Verdoolaege
zsolv
e
: over
r
ide
LIBS from
to
p
level
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
add
4
ti2-1
.
3
.
1+autoc
o
nf
-
0
.
1 banner
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
add zso
l
v
e
from 4
t
i
2-1
.
3
.
1+autocon
f
-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdoolaege
pa
r
am_util
.
c
:
export
b
i
t_vector_cou
n
t
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verdo
o
l
aege
topcom
.
c:
e
x
tract part of
c
ode for sett
i
n
g
up standard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sve
n
Ver
d
oolae
g
e
g
e
n_fun::Hadamard_pro
d
uct: print progr
e
ss indicator
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sven V
e
rdoolaege
m
o
ve
--v
e
rb
o
se
o
ption to lib
r
ary
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
g
en_fu
n
::summate:
h
andle full specialization
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdo
o
laege
Replace incremental infi
n
it
e
se
t
counter by "regul
a
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
ma
k
e
cou
n
ter::add_
f
allin
g
_pow
e
rs static
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
rdoolae
g
e
mer
g
e (most of) common part of coun
t
er
a
nd tcoun
t
er
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdo
o
laege
icounte
r
:
h
a
ndle
s
peci
a
lization of p
o
l
ynom
i
als
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdo
o
laege
i
c
o
u
nte
r
: don
'
t bother "normalizing
"
the exponents
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
exp
o
rt ne
g
_
l
e
ft_h
e
r
m
ite
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Verdoolaege
ba
s
i
s_re
d
uction_cdd
:
check for possi
b
ly incorrect output
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Po
l
yhed
r
o
n_S
a
mpl
e
: ha
n
dle p
o
lyhedron becoming em
p
ty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaeg
e
gen_fun::operator evalue *: alwa
y
s r
e
t
urn a valid
.
.
.
commit
|
commitdiff
|
tree
next