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
count_points_e: fall back to count_points if there are no existentials
2007-07-29
Sv
e
n Verdoolaege
volume
.
c
: a
v
oid w
a
r
n
ings
commit
|
commitdiff
|
tree
2007-07-27
Sven Verdoo
l
aege
export Para
m
_Inn
e
r_Product
commit
|
commitdiff
|
tree
2007-07-25
Sven Verdoolaege
b
a
rvinok_e
n
umerate
.
cc: add minimal ch
e
ck on
input
commit
|
commitdiff
|
tree
2007-07-19
Sven Verdoolaege
more prot
o
type changes
t
o
c
onst ch
a
r *
commit
|
commitdiff
|
tree
2007-07-19
Sven V
e
r
dool
a
ege
evalue: pr
i
nt_eval
u
e: make par
a
meter names const char*s
commit
|
commitdiff
|
tree
2007-07-11
S
ven Verdo
o
laege
A
l
w
a
y
s
c
o
mpil
e
polytope_sc
a
n
commit
|
commitdiff
|
tree
2007-07-11
Sven
Ve
r
doola
e
ge
polytope_scan: use argp
f
or ar
g
ument parsing
commit
|
commitdiff
|
tree
2007-07-05
Sven
Verdoolaege
doc: fix typo
commit
|
commitdiff
|
tree
2007-07-04
S
v
en Ve
r
doola
e
ge
configu
r
e
.
i
n
: allow
s
pecific
a
tion
of default prefix
.
.
.
commit
|
commitdiff
|
tree
2007-07-03
S
ven Verdoolaege
c
onsolidate calls to Poly
h
edro
n
2
Param_Domai
n
commit
|
commitdiff
|
tree
2007-07-03
S
ven
V
erdoolaege
volum
e
.
c:
f
ix typo in comment
commit
|
commitdiff
|
tree
2007-07-01
Sve
n
V
e
rdoolaege
M
akefile
.
am
:
a
dd $(EXEEXT)
f
or cyg
w
in
commit
|
commitdiff
|
tree
2007-07-01
Sven
Verd
o
olaege
Mak
e
file
.
am: force
rebuild
l
ibra
r
ies in subdirs if
.
.
.
commit
|
commitdiff
|
tree
2007-07-01
Sv
e
n
Verdoolaege
only test barvinok_maximize if it has been
/
can be created
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
e
r
d
oolaege
barvinok 0
.
24
commit
|
commitdiff
|
tree
2007-06-30
Sven Ve
r
doo
l
a
e
ge
testlib
.
cc:
w
ork
arou
n
d
i
ncomplete na
m
espace sup
p
ort
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n
Verdool
a
ege
scale
.
c:
enumerate_narro
w
_fla
t
ed:
d
on
'
t simplify constraints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
erdoolaege
d
e
clare var
i
a
b
les at start of co
d
e
b
lo
c
k
commit
|
commitdiff
|
tree
2007-06-30
S
ven Ver
d
oolaege
doc: up
d
a
t
e documentation of options and some func
t
ions
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
Polyhedron_Samp
l
e
: fa
c
t
o
r polyhedron if pos
s
ible
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoola
e
ge
P
olyhedron_Sample: compu
t
e ver
t
ices of
1
D polyhedra
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdool
a
ege
Poly
h
edron_Sam
p
le: remove
all
e
qua
l
ities
from
p
olyhedron
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoo
l
aege
add possibility to use
GLPK a
s
LP solver
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
Po
l
yhedr
o
n_Sample: post
p
one removal
of rays until we
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
Po
l
yhedro
n
_
Sample: use lp solve
r
for finding rang
e
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
lexmin: move choice
o
f lp
s
o
lv
e
r to use o
u
tside
b
a
sis
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
ven
Verdoolaege
p
olysign
.
h: use
corr
e
ct name o
f
PL_
p
oly
h
edron_affine_si
g
n
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
barvinok_enum
e
rate
:
plug memory l
e
a
k i
n
Bernoulli approxima
t
ion
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
e
rdoola
e
ge
barvinok
_
enumerate_e_r:
d
o
n't assume
AddConstrai
n
ts
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven V
e
r
d
oola
e
ge
eva
l
u
e_frac2polynomial: reche
c
k
e
valu
e
after evalu
e
_sp
l
it_do
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolae
g
e
util
.
c: Line_Len
g
t
h
: don'
t
ge
t
con
f
used by positiv
i
ty
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n
V
erd
o
olaege
Make
f
ile
.
am: stop
after
f
irs
t
failed test
commit
|
commitdiff
|
tree
2007-06-27
Sven V
e
rdoolae
g
e
bernstein: carry through variable renaming
t
o debu
g
ging
.
.
.
commit
|
commitdiff
|
tree
2007-06-27
S
ven Ver
d
o
olaege
bernste
i
n: don't assume input polynomial has been
e
x
panded
commit
|
commitdiff
|
tree
2007-06-27
S
ven
V
e
r
doolaege
evalue_rea
d
.
c: corr
e
c
t
co
n
stness of name in p
a
rameter_new
commit
|
commitdiff
|
tree
2007-06-27
Sven Ve
r
d
oolaege
ev
a
lue_
r
ead: ac
c
ept const
a
nt mul
t
iple
of
v
a
r
iable without
.
.
.
commit
|
commitdiff
|
tree
2007-06-16
Sven Verdoolaege
evalue
.
c: eva
l
ue_sum: better handling of
negative values
commit
|
commitdiff
|
tree
2007-06-15
S
v
e
n Verdoo
l
aege
e
v
a
lue
.
c
:
r
e
o
r
de
r
_
t
e
r
ms: fix typo
commit
|
commitdiff
|
tree
2007-06-14
Sven
V
erd
o
o
l
a
ege
evalu
e
: de
c
lare fir
s
t argum
e
n
t
of
emul const
commit
|
commitdiff
|
tree
2007-06-14
Sven Verdoola
e
ge
evalu
e
.
c
:
emul: don't use explicit_complement
o
n
a
rguments
commit
|
commitdiff
|
tree
2007-06-14
Sven Verdo
o
laege
add a t
e
st for evalue_split_periods
commit
|
commitdiff
|
tree
2007-06-13
Ha
r
ald
.
Dev
o
s@elis
.
.
.
f
ind_frac
t
ional_with_max_periods: initialize loc
a
l
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sven Ve
r
dool
a
eg
e
evalue
.
c: evalue_split_perio
d
s:
make
sure selected
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
S
v
en Ve
r
doolaege
evalue
.
c
:
p
o
ly
n
o
m
i
al_projecti
o
n: use eva
l
ue_extract_affine
commit
|
commitdiff
|
tree
2007-06-10
Sve
n
V
erdoolaege
add a test for barvi
n
ok_max
i
m
ize and barv
i
nok_summate
commit
|
commitdiff
|
tree
2007-06-10
Sven Ver
d
o
ol
a
e
ge
b
ar
v
inok_summate:
s
uppor
t
veri
f
ication
o
f results
commit
|
commitdiff
|
tree
2007-06-10
Sven Verd
o
ol
a
ege
e
value
.
c: evalue
_
sum: split
in
t
o
o
rthants + s
o
me refactoring
commit
|
commitdiff
|
tree
2007-06-10
Sven Verdoolaege
barvinok_union: use argp for a
r
g
ument parsing
commit
|
commitdiff
|
tree
2007-06-09
Sv
e
n Verdool
a
ege
barvinok_enum
e
r
ate_union_
s
e
ries_with_options: fix typo
commit
|
commitdiff
|
tree
2007-06-07
Sven Ve
r
doolaege
basis_red
u
ction_cdd
.
cc:
g
et c
o
rrect dual solution i
n
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sven Verdoolaege
bas
i
s_
r
educt
i
on_g
l
pk
.
c: correctl
y
set ty
p
e
of ro
w
s
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sven
V
erdoolaege
basis
_
reduction_glpk
.
c: c
h
e
c
k
for
s
ani
t
y
of
s
olutio
n
commit
|
commitdiff
|
tree
2007-06-06
Sven Verdoolaege
o
ption
s
: mention d
e
fault and ava
i
l
abl
e
so
l
vers f
o
r
.
.
.
commit
|
commitdiff
|
tree
2007-06-06
Sven
V
erdoolaege
polyhed
r
on_sample
:
ta
k
e
options
commit
|
commitdiff
|
tree
2007-06-06
Sven
V
e
rdoolaege
do
c
:
more abo
u
t p
o
wer sums
commit
|
commitdiff
|
tree
2007-06-04
Sven Verdoolaege
doc: typ
o
commit
|
commitdiff
|
tree
2007-05-30
Sven Verdoolaege
doc: repea
t
Matthias' st
o
pped
B
arvin
o
k
exper
i
ment
s
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sven Ver
d
oolaege
add barv
i
n
o
k_summate
t
o
sum a quasi-
p
olynomial ov
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sven Verdoolaege
eva
l
u
e
_
r
e
ad: fi
x
fo
r
t
o
p
-
level
f
ractional part
commit
|
commitdiff
|
tree
2007-05-14
Sven
Verd
o
olaege
ber
n
ou
l
li
.
c: Be
r
noulli_su
m
_
evalue:
reduce
resulting
.
.
.
commit
|
commitdiff
|
tree
2007-05-14
S
ven Verdoolaege
bernoulli
.
c
:
pe
r
form
n
ested sums appr
o
x
i
mation depth
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Ver
d
oola
e
ge
a
d
d polynomial appr
o
ximatio
n
b
a
sed o
n
nested s
u
m
s
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaeg
e
util
.
c: extract fo
r
_each_l
o
w
e
r
_
u
pper_bound from
P
aram
L
ine_Leng
t
h
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolae
g
e
d
ecomposer: use NTL to invert matrix rather
than con
v
ering
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoola
e
ge
l
attice_point
.
c
c
: allow rays and vertex to have
b
een
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
counter
:
optimize summing over points in fundap
i
ped
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
l
a
ttice
_
p
oint
.
c
c
: avoid conversion betw
e
e
n
NTL and
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
S
v
en V
e
rdoolaege
convers
i
on
.
c
c:
remo
v
e rays2matrix
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
eval
u
e
.
c: evalue_polyn
o
mial extracted from barv
i
n
o
k
.
cc
commit
|
commitdiff
|
tree
2007-05-13
S
v
en V
e
rdoolaege
evalue
.
c: add
evalue_negat
e
commit
|
commitdiff
|
tree
2007-05-13
S
ven Ve
r
doolaege
doc: a note on the connection between Tod
d
polynomials
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
S
v
en Verdoolaege
doc: points in fun
d
apiped
:
f
i
x typ
o
commit
|
commitdiff
|
tree
2007-05-10
S
ven
Verdoolaege
barvinok
.
cc: simpli
f
y dpoly_n
constructor
commit
|
commitdiff
|
tree
2007-05-10
Sven Verd
o
olaege
Remove "
n
ormalization" or powers in denominator on
.
.
.
commit
|
commitdiff
|
tree
2007-05-09
S
v
en Ver
d
oolaege
decompos
e
r
.
cc: pass options
t
o triangul
a
te_cone
commit
|
commitdiff
|
tree
2007-05-08
S
ven Ver
d
oolaege
barv
i
nok_cou
n
t: optionally use exponential substitution
commit
|
commitdiff
|
tree
2007-05-08
Sv
e
n
Verdoola
e
ge
coun
t
e
r
.
cc:
extracted from barvinok
.
cc
commit
|
commitdiff
|
tree
2007-05-08
Sven
Verd
o
ola
e
g
e
dpol
y
::div: avoid computation wi
t
h
rat
i
onal numbers
.
.
.
commit
|
commitdiff
|
tree
2007-05-08
Sven Verdoolaeg
e
dp
o
l
y
:
use
V
a
lue inste
a
d of ZZ
commit
|
commitdiff
|
tree
2007-05-08
S
ven Verdoolaege
doc: fix typo
commit
|
commitdiff
|
tree
2007-05-02
S
ven Verdoolaege
a
d
d test for lat
t
ice point computati
o
n
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoola
e
g
e
evalue_rea
d
.
c: add
eval
u
e_read_from_str f
o
r readin
g
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n
Ve
r
doo
l
aege
evalue_read_fr
o
m_
f
ile: don
'
t modify var_list argument
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
eval
u
e_read:
r
ead more gene
r
al eva
l
ues
commit
|
commitdiff
|
tree
2007-05-02
Sven
Ve
r
d
o
olae
g
e
evalue_convert
.
cc
:
add
m
issing include
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolae
g
e
conversion
.
h:
g
eneralize rays2m
a
trix2 to zz2matrix
commit
|
commitdiff
|
tree
2007-05-02
Sven Ver
d
oolaege
l
atti
c
e
_
poi
n
t
.
h:
make self-con
t
a
i
ned
commit
|
commitdiff
|
tree
2007-05-02
S
v
en
V
erd
o
o
lae
g
e
evalue_read
:
ext
r
act
f
rom maximize
.
c
c
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdo
o
laege
e
n
u
merator: support primal (half-open
)
decomposi
t
i
ons
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdool
a
ege
enumerator: hand
l
e (dual) sto
p
ped Barv
i
n
ok de
c
omposition
commit
|
commitdiff
|
tree
2007-05-02
Sven Ver
d
oolaege
latti
c
e_po
i
nt
.
cc: remove
unus
e
d
PD argument
commit
|
commitdiff
|
tree
2007-05-02
S
v
en Ve
r
doolaege
l
a
tti
c
e_point
.
cc
:
extract coset g
e
neration
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoo
l
aege
latt
i
ce_p
o
int
.
cc: rename
c
eil_mod to f
r
actional_part
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
e
rdoolaege
lattice_point
.
cc: use some
helper functio
n
s
to simpli
f
y
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven
Verdoolaege
lattice_poin
t
.
cc
:
implement l
o
okup-table
version in
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Ve
r
d
oolaege
mo
v
e
more lattice p
o
int computa
t
ions to lat
t
ice_poin
t
.
c
c
commit
|
commitdiff
|
tree
2007-05-02
S
v
en
V
erdoolaege
barvinok
.
cc: lattice_point: remove
a
sp
e
cial cas
e
commit
|
commitdiff
|
tree
2007-05-02
S
v
en Verdo
o
laege
d
o
c: i
n
teger points in fundamental pa
r
al
l
elepiped:
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sve
n
Verdoolaege
u
t
il
.
c: export Matrix_Tr
a
nsposition
commit
|
commitdiff
|
tree
2007-05-02
Sve
n
Verd
o
ol
a
ege
uti
l
.
c: expor
t
Vec
t
or_Oppos
e
commit
|
commitdiff
|
tree
next