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 allow terms to cross newlines inside grouping
2008-03-31
Sv
e
n
V
e
rdool
a
e
g
e
evalue_read: only all
o
w
t
erms to cross newlines
inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
do
o
lae
g
e
evalue_re
a
d:
only acc
e
pt im
p
licit
multiplication on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
V
er
d
oola
e
ge
e
v
alue_read: ac
c
ept constraint
s
containin
g
"'-' space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
evalue_bernstein
_
coeffi
c
ients:
e
n
sure
r
esult partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
bernstein: p
i
e
c
ewi
s
e_lst: cor
r
ectly prin
t
and
e
valuate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
V
erdoolaege
r
emov
e
_all_equalities: k
e
ep removing paramet
e
r e
q
ualities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
u
p
date p
o
l
y
lib
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdool
a
ege
doc: co
n
sistent use of
Kevin's initials
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
doc: up
d
ate now publishe
d
papers
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
for_each_lower_u
p
per
_
bound: allow absence of lowe
r
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
ven
Verdoolaege
Revert "eadd
_
partition
s
: try to combine mul
t
iple domains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
evalue_
r
ead_partition: p
u
t partitions back in the
s
ame
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verd
o
olae
g
e
e
value: reduce_evalue: add note on som
e
m
i
ss
e
d
o
pportuni
t
ies
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoo
l
a
e
g
e
bernstein
.
cc: handle inpu
t
w
i
t
h unions + r
e
l
a
tion violated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
m
aximize
.
cc: deal with unions
in input during verification
commit
|
commitdiff
|
tree
2008-03-10
Sven
Verdo
o
laege
eval
u
e
_su
b
stitute: proper
l
y
h
an
d
le relation
s
commit
|
commitdiff
|
tree
2008-03-10
Sven
V
er
d
oola
e
ge
evalue
.
c: clean up emul and eadd
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
Verdoolaege
evalue_r
e
ad:
c
orrectly
r
ead
v
ariable names
commit
|
commitdiff
|
tree
2008-03-10
Sven
V
e
rdoolaege
ev
a
lue_read:
a
ccept
top level "
r
ela
t
ion"
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n Verdo
o
laege
upd
a
t
e
p
o
lylib
commit
|
commitdiff
|
tree
2008-02-29
Sven V
e
rd
o
olaege
evalue
_
b
a
cksubs
t
itu
t
e:
a
dd
required modulo c
o
ns
t
raints
commit
|
commitdiff
|
tree
2008-02-26
Sven Verdoo
l
aege
evalue
.
c: *
_
pa
r
titions: s
i
mplify constrai
n
ts before
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven Ve
r
d
o
olaege
doc: mo
r
e sp
e
ci
f
i
c
infor
m
ation on b
u
gg
y
cddlib versions
commit
|
commitdiff
|
tree
2008-01-28
Sven Verd
o
o
laege
con
f
i
gure
.
in: require cddl
i
b
0
.
94e by testing for
bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven Verdoolaege
confi
g
ure
.
in: only compi
l
e o
c
c if code_gen li
b
rary
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
Verdoo
l
aege
barvinok 0
.
2
6
commit
|
commitdiff
|
tree
2008-01-16
S
v
e
n Ver
d
ool
a
ege
ad
d
some te
s
ts for implem
e
ntation of pro
j
ectio
n
theor
e
m
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verdo
o
lae
g
e
doc: docume
n
t new o
p
ti
o
ns and new appl
i
cations
commit
|
commitdiff
|
tree
2008-01-16
S
v
e
n Verdoolaege
AUTHORS: up
d
a
te
suppo
r
t
information
commit
|
commitdiff
|
tree
2008-01-16
Sven Verd
o
olaege
genfun
.
cc: short_r
a
t::print:
corr
e
ctly print
polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
Export ser
i
es as barvinok_enumerate_se
r
ies an
d
use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
doolaege
remove_parameter_
e
qualities: stop "removing" equal
i
ties
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdool
a
ege
s
e
ries: leave freeing
o
f P ar
g
u
m
ent to
calling function
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdoolaege
doc
:
d
ocument
i
m
plementa
t
ion of the
projection theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erdoolaege
add
ba
r
vino
k
_enumerate_
e
_ser
i
es implementing the
projection
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
ven
V
erdo
o
la
e
g
e
g
enfun
.
cc:
f
ix a
n
d
document p
a
rallel
p
o
lytopes clas
s
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
e
rdoolae
g
e
Move GiNaC-independent p
a
rt of li
b
r
a
r
y
to
b
a
rv
i
nok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
Ve
r
doolaege
p
o
lylib: upd
a
te
commit
|
commitdiff
|
tree
2007-11-22
Sven Ver
d
oolaege
doc: how to
c
ount the number of elements in p
o
ssibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sv
e
n Verdoo
l
ae
g
e
doc/implementation
.
tex: avo
i
d mult
i
ply def
i
ned label
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaeg
e
lattice_width
.
c: try vertices of pr
e
vious
i
n
t
e
ge
r
hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
doc: docum
e
nt integer h
u
ll computation
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n V
e
r
doolaege
hull
.
c: add a
l
l
points fou
n
d by sampl
i
ng direc
t
ly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
Po
s
s
ible optimizat
i
ons for
generali
z
ed basis reduc
t
ion
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
ve
n
V
e
r
do
o
laege
Support use of gene
r
alize
d
b
a
sis
r
eduction
t
o compute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdo
o
laege
ad
d
P
olyh
e
dron_In
t
eger_
M
inimum for comput
i
ng the integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdool
a
ege
doc
:
d
o
cument g
e
neralized bas
i
s reduc
t
ion based integ
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoola
e
ge
doc/barvin
o
k
.
bib: add m
i
ssing string
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoolaeg
e
a
dd more missi
n
g assert
.
h #includ
e
s
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdo
o
laege
c
o
nfi
g
ure
.
in: only com
p
ile libbarv
i
nok as a static
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verd
o
o
laege
Polyh
e
d
r
o
n_Reduced
_
Basi
s
: don't stop too early
w
h
e
n
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdo
o
laege
compute_width_directions:
o
nly keep list
o
f distinct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Ver
d
oolaege
zsolve: d
o
n't
i
nstall
l
ibrary
commit
|
commitdiff
|
tree
2007-11-08
Sven Ver
d
oolaege
ver
s
ion
.
c: show us
e
of TOPCO
M
commit
|
commitdiff
|
tree
2007-11-08
Sven
V
erd
o
olaege
configure
.
i
n
: do
n
't
set with
_
{
po
l
y,pip}lib_p
r
efix from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sv
e
n
V
erdoo
l
aege
P
oly
h
e
dron_Sample: be
s
atisfied with a reasona
b
le cho
i
ce
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoola
e
g
e
c
o
ne_integer_hull: o
p
tio
n
ally print stats
commit
|
commitdiff
|
tree
2007-11-08
Sven
V
erdoolaege
basis_reduct
i
on: keep trac
k
of n
u
mber o
f
L
Ps solved
commit
|
commitdiff
|
tree
2007-11-08
Sven Ver
d
oolae
g
e
options: mov
e
-
-print-sta
t
s
t
o
l
i
brary
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolae
g
e
b
ernstein:
rework testin
g
framework to not depend
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven V
e
rdoolaege
bernstein:
a
d
d
pi
e
cewi
s
e_lst::is_equal
commit
|
commitdiff
|
tree
2007-11-07
Sve
n
Verd
o
olae
g
e
su
p
port newer versions of G
i
N
a
C (>= 1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
Sven V
e
rdoolaege
st
a
ndard
_
constraints: move
f
ro
m
topcom
.
c
to
p
olysign
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sven Ve
r
doolaege
polysig
n
.
h: remove
d
epen
d
ency on l
e
xmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sven V
e
rdool
a
ege
zsol
v
e: add bann
e
r
.
h
t
o
distributio
n
commit
|
commitdiff
|
tree
2007-11-06
Sven Verdoolaege
Polyhedro
n
_
Latti
c
e_Width_
D
irections: pri
n
t progress
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sven Verdoolaege
basis
_
r
e
duction_pip: abort on
invalid (e
m
pty) input
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sv
e
n
V
erdoolae
g
e
README
:
explain how to get submo
d
ules
commit
|
commitdiff
|
tree
2007-11-02
S
ve
n
Verdoolaege
doc:
d
ocumen
t
lat
t
ice width c
o
mp
u
tation
commit
|
commitdiff
|
tree
2007-11-02
S
v
e
n Ve
r
doolaege
s
o
m
e lattice
w
id
t
h te
s
t
s
f
r
om Jon Yaggie
commit
|
commitdiff
|
tree
2007-11-01
Sv
e
n
V
erdoolaege
Polyhedron_Lattice_W
i
dth: deci
d
e
on facets to c
l
ose
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sve
n
Verdoola
e
ge
add Po
l
y
hedr
o
n_Lattice_
W
id
t
h for comp
u
ting lat
t
i
ce
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
S
v
en V
e
rdoolaege
hil
b
ert
.
c: add Cone
_
Int
e
ger_H
u
ll for
c
o
m
pu
t
ing vertice
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
doolaege
pol
y
si
g
n: add pip-backed version
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
e
r
doolaege
polysign: a
d
d constrai
n
t
s_opt to
c
ompute optimum over
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verdoolaege
p
o
l
ysign_c
d
d: switch to use
of Matrix representation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
polys
i
gn_glpk: sw
i
tch to use
o
f Matrix repre
s
entatio
n
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
doc: document compu
t
ation of
Hi
l
b
ert ba
s
is
o
f a cone
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdoola
e
ge
Co
n
e_Hilbert_Ba
s
is: use
s
ta
n
dard_
c
onstr
a
ints to avoid
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
d
oolaeg
e
Use zsolve to
c
o
m
p
u
te Hilbert basis
o
f a cone
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdoolaege
compile zsolve
commit
|
commitdiff
|
tree
2007-10-31
Sven Verd
o
olaege
zsolve: don't install
h
eaders and execut
a
ble
s
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
r
d
o
olaeg
e
z
s
olv
e
: initialize Backu
p
Time in ZSolveContext
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
z
s
olve: zsolveS
y
s
t
em: a
d
d missing
ve
r
bosity ch
e
c
k
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n V
e
r
d
oolaege
zsolve: override
L
IBS fr
o
m top
l
evel
commit
|
commitdiff
|
tree
2007-10-31
Sven Verd
o
olae
g
e
a
dd 4ti2-1
.
3
.
1+autoco
n
f-0
.
1
banner
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verdoola
e
ge
add z
s
olve from 4ti2-1
.
3
.
1
+au
t
oconf-
0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
param_
u
til
.
c: export bit_vector_count
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdo
o
laege
topcom
.
c
: ex
t
ract part of code for settin
g
up s
t
and
a
rd
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sven
V
erd
o
o
laege
g
en_fun::Hadamard_product: print progr
e
ss indicator
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sven
V
erdoolaeg
e
move --verbose
o
pti
o
n to library
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
ge
n
_fu
n
::summat
e
: handle full s
p
ecialization
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
R
e
place incremental infinite se
t
co
u
nter
by
"
r
egular
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n V
e
rdo
o
laege
m
a
ke counter::
a
dd_falling_pow
e
rs static
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verd
o
olaege
merge
(most of) common par
t
of
c
ounter and tc
o
unter
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaeg
e
ico
u
nt
e
r:
h
a
n
d
l
e
s
p
eci
a
li
z
ation of polynomials
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
icounter: don'
t
bother "n
o
rmalizin
g
"
the
e
xponents
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
Verdoolaege
export neg_
l
e
ft_hermite
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
basis
_
re
d
ucti
o
n_cdd: check
f
or possibly i
n
c
o
rrect
o
utput
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolae
g
e
Polyhedr
o
n_Sample:
h
a
ndle poly
h
ed
r
on beco
m
ing empt
y
.
.
.
commit
|
commitdiff
|
tree
next