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
Document TOPCOM based chamber decomposition
2007-09-11
Sven Verdoolaege
Document
T
OPCOM
bas
e
d c
h
amber d
e
composition
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
test TOPCOM cham
b
er de
c
omposition
commit
|
commitdiff
|
tree
2007-09-11
S
v
e
n
Verdoolaege
O
ptionally use TOPCO
M
to
c
o
mpute chamber d
e
compo
s
iti
o
ns
.
commit
|
commitdiff
|
tree
2007-07-30
Sven Ver
d
o
olaege
Para
m
_
P
olyhedron_
P
rint: print everything t
o
giv
e
n file
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
S
v
en Verdoolaege
bar
v
inok_enumerate_with_options: don't add context
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven V
e
rdo
o
laege
barvinok
.
cc: don't
f
ree P
a
rg
u
ment in enumerat
e
commit
|
commitdiff
|
tree
2007-07-29
S
ven
V
erdo
o
laege
remo
v
e_
a
l
l_equalities: also remove equalities in
context
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoolae
g
e
volume
.
c: av
o
id
warni
n
gs
commit
|
commitdiff
|
tree
2007-07-27
Sv
e
n Verdoo
l
a
ege
expo
r
t Par
a
m_Inne
r
_Product
commit
|
commitdiff
|
tree
2007-07-25
S
v
en Ver
d
oolaege
barvinok_en
u
merate
.
cc:
a
dd minimal check
on inp
u
t
commit
|
commitdiff
|
tree
2007-07-19
Sven Verdoolaege
m
ore pr
o
totype cha
n
ges to const ch
a
r *
commit
|
commitdiff
|
tree
2007-07-19
S
v
en
V
erd
o
olaege
eval
u
e: print_evalue: make parameter names
c
onst cha
r
*s
commit
|
commitdiff
|
tree
2007-07-11
S
ven Verdoolaege
A
l
w
ays compil
e
polytope_s
c
an
commit
|
commitdiff
|
tree
2007-07-11
Sven Verdoolaege
polytope_sc
a
n:
us
e
argp
for argument parsing
commit
|
commitdiff
|
tree
2007-07-05
Sven Verdoolaege
doc:
fix typ
o
commit
|
commitdiff
|
tree
2007-07-04
Sven V
e
rdoolaege
configure
.
in
:
a
llow specificat
i
o
n
of
d
e
fault prefi
x
.
.
.
commit
|
commitdiff
|
tree
2007-07-03
Sven Verd
o
olaege
c
onsolidate calls to Po
l
yh
e
dron2Param_
D
om
a
in
commit
|
commitdiff
|
tree
2007-07-03
Sven Verdoolae
g
e
volume
.
c
:
f
i
x typo i
n
comment
commit
|
commitdiff
|
tree
2007-07-01
S
v
e
n Ve
r
doolae
g
e
Makefile
.
am:
add $(EX
E
EXT
)
for cygwin
commit
|
commitdiff
|
tree
2007-07-01
Sven Ver
d
o
o
l
a
ege
Makefil
e
.
am: force rebui
l
d
l
ibra
r
ie
s
i
n
subdirs i
f
.
.
.
commit
|
commitdiff
|
tree
2007-07-01
Sven V
e
rdool
a
e
g
e
only test barvinok_
m
a
x
imize if i
t
has been/can
b
e crea
t
ed
commit
|
commitdiff
|
tree
2007-06-30
Sven Ver
d
oolaege
barvinok 0
.
2
4
commit
|
commitdiff
|
tree
2007-06-30
Sven Verd
o
olaege
testlib
.
cc: wo
r
k arou
n
d incomplet
e
namespace support
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolae
g
e
scale
.
c: enumer
a
te_
n
arrow_flat
e
d:
d
on't simp
l
i
f
y constraints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
d
eclare v
a
riables at start of c
o
de block
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
V
e
rdool
a
ege
do
c
: update do
c
ument
a
tion o
f
options and
s
ome functions
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
erdoolaege
Pol
y
he
d
ron
_
S
a
mple: factor
p
olyh
e
dron
i
f possible
commit
|
commitdiff
|
tree
2007-06-30
Sven Verd
o
ola
e
ge
Pol
y
h
edron_Sampl
e
: c
o
mpute vert
i
ces o
f
1D polyhedra
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
Polyhedr
o
n_Sample: remove al
l
eq
u
alities from polyhedron
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
e
n V
e
rdoolaege
add
p
ossibilit
y
t
o use GLPK as
L
P solver
commit
|
commitdiff
|
tree
2007-06-30
Sven V
e
rdool
a
ege
Polyhe
d
ron_Sample: po
s
tpone removal of
r
ay
s
until we
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
erdoolaege
Polyhedro
n
_
S
ample: use lp
s
olver for
f
indi
n
g range
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
lexmin: mov
e
choice o
f
lp solver to us
e
ou
t
side
b
asis
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
polysig
n
.
h: use correct name of PL_polyhedron_affi
n
e
_
sign
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven V
e
rdo
o
laege
barvinok_
e
numerate:
p
lug mem
o
ry leak in Bernoulli
ap
p
roximatio
n
commit
|
commitdiff
|
tree
2007-06-30
Sven Ver
d
oolaege
b
arv
i
nok_enumerat
e
_e_r: don't assume Ad
d
Constraints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n Verdoolaege
evalue_frac2po
l
ynomial: rech
e
ck evalue
a
fter evalue_split_do
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
uti
l
.
c: Li
n
e_
L
ength: don't get
confused by po
s
itiv
i
ty
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
Verdoolaege
Makef
i
le
.
am:
stop after first failed test
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdoolaeg
e
berns
t
ei
n
: carry through variable
renaming to debugging
.
.
.
commit
|
commitdiff
|
tree
2007-06-27
S
ven Ve
r
doolae
g
e
bernstein: don't a
s
sum
e
inp
u
t polynomial has been
e
x
p
a
n
ded
commit
|
commitdiff
|
tree
2007-06-27
S
v
e
n Ve
r
doolae
g
e
e
value_rea
d
.
c: correct constness of name in pa
r
ame
t
er_new
commit
|
commitdiff
|
tree
2007-06-27
Sven Verd
o
o
laege
e
v
alue_
r
e
ad: a
c
ce
p
t constan
t
multi
p
le of
variable without
.
.
.
commit
|
commitdiff
|
tree
2007-06-16
Sven Verdool
a
ege
e
v
a
lu
e
.
c: eval
u
e_sum: better handling of ne
g
ati
v
e v
a
lues
commit
|
commitdiff
|
tree
2007-06-15
Sven
V
erdoolaege
evalue
.
c
: reorder_terms: fix typo
commit
|
commitdiff
|
tree
2007-06-14
Sven V
e
rdoolaege
evalue: d
e
clare firs
t
argument of emul const
commit
|
commitdiff
|
tree
2007-06-14
Sven Ver
d
oolaeg
e
evalue
.
c: emul: don't use
e
x
plicit_
c
o
m
ple
m
ent on a
r
gume
n
ts
commit
|
commitdiff
|
tree
2007-06-14
Sven Verdoolaege
a
d
d
a tes
t
for evalue_split_periods
commit
|
commitdiff
|
tree
2007-06-12
S
ven Verdoolaege
e
val
u
e
.
c: evalue_spl
i
t_periods: make su
r
e selected
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sven Verd
o
olaege
e
v
a
lue
.
c: polynomial_proje
c
t
ion:
u
se e
v
alue_
e
xtract_affine
commit
|
commitdiff
|
tree
2007-06-10
Sve
n
Verdoolaege
ad
d
a
test
for barvinok
_
maximize and bar
v
ino
k
_s
u
mmate
commit
|
commitdiff
|
tree
2007-06-10
S
ven
Verdoolae
g
e
ba
r
vinok_summate:
s
upport verif
i
c
a
tion of results
commit
|
commitdiff
|
tree
2007-06-10
Sven Verdoolae
g
e
evalue
.
c: evalue_sum: split in
t
o orthants + s
o
me r
e
factoring
commit
|
commitdiff
|
tree
2007-06-10
Sve
n
Verdoo
l
aege
barvinok_union
:
u
s
e
ar
g
p for argument pa
r
sing
commit
|
commitdiff
|
tree
2007-06-09
Sve
n
V
e
rdo
o
lae
g
e
b
arvin
o
k_enumer
a
t
e
_u
n
ion_series_
w
i
t
h_
o
pt
i
ons: fix typo
commit
|
commitdiff
|
tree
2007-06-07
Sven
Verdoolaege
b
asis_reduct
i
on_cdd
.
cc
:
get c
o
r
rect dual
s
olution in
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sven Verdoolaeg
e
basis_reduction_glpk
.
c:
c
o
rrectly set type
of rows
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
S
v
en Verdool
a
ege
basis_re
d
uction_glp
k
.
c: check
f
o
r
sanity
o
f
s
olution
commit
|
commitdiff
|
tree
2007-06-06
Sven Verdoolaege
options: mention defa
u
lt and available solvers
for
.
.
.
commit
|
commitdiff
|
tree
2007-06-06
Sven
Ver
d
oolaeg
e
polyhe
d
r
o
n_sam
p
le
:
take o
p
tion
s
commit
|
commitdiff
|
tree
2007-06-06
Sven Verdoolaege
do
c
: mo
r
e about power sums
commit
|
commitdiff
|
tree
2007-06-04
Sven V
e
rdoolaege
d
o
c: typo
commit
|
commitdiff
|
tree
2007-05-30
S
v
en V
e
rdoolaeg
e
do
c
: re
p
eat Matthias'
s
t
opp
e
d Barvinok experiments
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sven Verdo
o
laege
add
b
arvinok_summate
to sum a qua
s
i-polynomia
l
ov
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
S
v
en Verdoolaege
evalue_read: fix fo
r
top-level
f
ractional part
commit
|
commitdiff
|
tree
2007-05-14
Sven Ver
d
oolaege
bernoulli
.
c: Bernoulli_su
m
_
e
value:
reduce resulting
.
.
.
commit
|
commitdiff
|
tree
2007-05-14
Sven Verdoolaeg
e
bernoulli
.
c: perform neste
d
sum
s
approxi
m
ation depth
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
S
ven Verdoolaege
add
p
olynomial app
r
o
x
i
m
at
i
on based on
n
ested sums
commit
|
commitdiff
|
tree
2007-05-13
S
ve
n
Ve
r
d
ool
a
ege
u
t
i
l
.
c
:
e
xtract for_each_lower_up
p
er
_
bound from
ParamLine_Length
commit
|
commitdiff
|
tree
2007-05-13
Sv
e
n
Ve
r
doolaege
deco
m
poser:
u
se NTL
t
o
in
v
e
r
t m
a
t
r
ix rather than converi
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
S
ve
n
Verd
o
olae
g
e
l
a
ttice_point
.
cc: allow r
a
ys
a
n
d
vertex to have been
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Ver
d
oola
e
ge
counter:
o
p
timize summing o
v
er
po
i
nts
i
n fundapiped
commit
|
commitdiff
|
tree
2007-05-13
Sven Verd
o
olaege
l
a
tt
i
ce_point
.
cc: avoid conv
e
r
sion b
e
tween NTL and
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Ve
r
doolaege
conversion
.
cc: remove rays2m
a
t
rix
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolae
g
e
evalue
.
c: eval
u
e_po
l
yno
m
i
al
extracted
f
r
o
m barvi
n
ok
.
cc
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
e
v
alue
.
c: add e
v
alue_n
e
gat
e
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
d
o
c: a note on the connect
i
on between Todd polynomials
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sv
e
n Ve
r
d
o
olaege
doc:
p
oints in
fundapiped: fix typ
o
commit
|
commitdiff
|
tree
2007-05-10
S
v
en
V
erdoolaege
b
a
rvi
n
ok
.
cc: simplif
y
dpoly_n const
r
uc
t
or
commit
|
commitdiff
|
tree
2007-05-10
Sven Verdoolaege
Rem
o
ve
"normalization" or powers
in denominat
o
r on
.
.
.
commit
|
commitdiff
|
tree
2007-05-09
Sven Ver
d
oolae
g
e
decomposer
.
cc:
p
ass options to triangulate_
c
o
ne
commit
|
commitdiff
|
tree
2007-05-08
S
v
e
n
Verdoolae
g
e
barvinok_c
o
unt:
opt
i
onally use exponential s
u
bsti
t
ution
commit
|
commitdiff
|
tree
2007-05-08
Sven V
e
r
d
ool
a
ege
counter
.
cc: extracted fr
o
m
barvinok
.
c
c
commit
|
commitdiff
|
tree
2007-05-08
S
ven Verdoolaege
dpoly::d
i
v: a
v
oid co
m
putation
w
ith ratio
n
al numbers
.
.
.
commit
|
commitdiff
|
tree
2007-05-08
Sven Verd
o
olaeg
e
dpo
l
y: use Value ins
t
ead of ZZ
commit
|
commitdiff
|
tree
2007-05-08
Sven
V
e
r
d
oola
e
ge
doc: fix typo
commit
|
commitdiff
|
tree
2007-05-02
S
v
en Verdoolaege
add test for l
a
t
tice point computation
commit
|
commitdiff
|
tree
2007-05-02
Sven Ver
d
oolaege
evalue_re
a
d
.
c
: add evalue_read
_
f
r
om_str
f
or reading
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdo
o
lae
g
e
evalue
_
r
e
ad_from_file: don't modify var_l
i
st
argument
commit
|
commitdiff
|
tree
2007-05-02
Sven
Verdoola
e
ge
eval
u
e
_
read: r
e
ad more genera
l
evalues
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
ev
a
lue_convert
.
cc: add missing in
c
lude
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n Ve
r
doolaege
conver
s
ion
.
h: generalize rays2matrix2 t
o
zz2mat
r
ix
commit
|
commitdiff
|
tree
2007-05-02
S
v
en Verdool
a
ege
lattice_point
.
h
:
make self
-
c
o
ntain
e
d
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n Verdool
a
ege
evalue_read: extract from
m
aximize
.
cc
commit
|
commitdiff
|
tree
2007-05-02
Sven Ver
d
o
olaege
en
u
merator: su
p
port
pr
i
mal (half-open)
decompo
s
itio
n
s
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
er
d
oolaege
enu
m
erator: handle (dual) stopped Barvino
k
decompos
i
t
ion
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n Ve
r
d
oolaege
lattice
_
p
o
int
.
cc
:
remove unused PD a
r
gum
e
n
t
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
lat
t
i
c
e_point
.
cc
:
extr
a
ct
coset
g
enerati
o
n
commit
|
commitdiff
|
tree
2007-05-02
Sven Ver
d
oolaege
lattice_p
o
int
.
cc: rename cei
l
_mo
d
to fractional_pa
r
t
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
lattic
e
_point
.
cc: use
s
ome helper fu
n
c
t
i
ons to simp
l
i
fy
.
.
.
commit
|
commitdiff
|
tree
next