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
Sv
e
n Verdoolaeg
e
Document TOPCOM
b
a
sed
chambe
r
decompositi
o
n
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoo
l
a
e
g
e
tes
t
TOP
C
OM
c
hamber decomposi
t
ion
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoo
l
ae
g
e
Op
t
ional
l
y use TOPCOM to co
m
pute chamber decomp
o
s
i
tions
.
commit
|
commitdiff
|
tree
2007-07-30
Sve
n
Verd
o
olaege
Param_Polyh
e
d
r
on_Pr
i
nt: print eve
r
ything to gi
v
en fi
l
e
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoola
e
ge
barvinok
_
enumerate_with_options: don't
a
dd context
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoolaege
barvi
n
ok
.
cc: don't
free
P argument in enum
e
rat
e
commit
|
commitdiff
|
tree
2007-07-29
Sven Ver
d
oolaege
r
emo
v
e_all_eq
u
alities: also remo
v
e equalities in con
t
ext
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoolaege
volume
.
c:
a
void warnings
commit
|
commitdiff
|
tree
2007-07-27
Sven Verdoolaege
export Param_Inn
e
r_Produc
t
commit
|
commitdiff
|
tree
2007-07-25
Sven Verd
o
olaege
b
arvinok_enumera
t
e
.
cc: add minimal check
o
n i
n
put
commit
|
commitdiff
|
tree
2007-07-19
Sven Verdoolae
g
e
more protot
y
pe changes t
o
const char *
commit
|
commitdiff
|
tree
2007-07-19
Sven Verd
o
olaege
evalue: prin
t
_evalue: make parameter names const ch
a
r*s
commit
|
commitdiff
|
tree
2007-07-11
S
v
en Verdoolaege
A
lway
s
compile polytope_
s
can
commit
|
commitdiff
|
tree
2007-07-11
Sven Verd
o
o
laeg
e
polytope_scan: use arg
p
for argument parsing
commit
|
commitdiff
|
tree
2007-07-05
Sven Verdoolaege
doc
:
fix typo
commit
|
commitdiff
|
tree
2007-07-04
Sven Verdoola
e
ge
configure
.
in: allow spe
c
i
f
ication
o
f
d
efa
u
lt prefix
.
.
.
commit
|
commitdiff
|
tree
2007-07-03
Sv
e
n
V
e
rdoolaege
consolidate calls to
Polyhedron2
P
aram
_
Domain
commit
|
commitdiff
|
tree
2007-07-03
Sven Verdoolaege
v
o
lu
m
e
.
c
:
f
i
x typo in comment
commit
|
commitdiff
|
tree
2007-07-01
Sven
Verdoola
e
ge
Makefile
.
am: add $(EXEEXT) for cygwin
commit
|
commitdiff
|
tree
2007-07-01
Sven Verdoolaege
Makefile
.
am: force rebuild
libraries in subdirs if
.
.
.
commit
|
commitdiff
|
tree
2007-07-01
S
v
e
n Verdo
o
laege
o
n
ly test b
a
rvino
k
_maximize if i
t
has b
e
en/can be cr
e
a
ted
commit
|
commitdiff
|
tree
2007-06-30
S
ven Verdoolaege
ba
r
v
i
n
ok 0
.
2
4
commit
|
commitdiff
|
tree
2007-06-30
Sven Ver
d
oolaege
t
estlib
.
cc: work around incomplete
namespace support
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
scale
.
c: enumerate_narrow_flat
e
d:
don't simplify constraint
s
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
declare
v
ariab
l
es
a
t
start of code
b
lock
commit
|
commitdiff
|
tree
2007-06-30
Sven
Ve
r
doolaege
doc: update doc
u
ment
a
ti
o
n of options and
some fun
c
tions
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolae
g
e
Polyhedron_S
a
m
p
le: fac
t
or polyhedron if possible
commit
|
commitdiff
|
tree
2007-06-30
S
v
en Verdoolae
g
e
Po
l
yhedron_Sample: compute verti
c
es of 1D po
l
yhedra
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
Polyhedron_
S
ample: r
e
move all equaliti
e
s
f
r
om polyh
e
d
ron
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Ve
r
doolaege
add pos
s
i
bili
t
y to
u
se GLPK as LP sol
v
e
r
commit
|
commitdiff
|
tree
2007-06-30
Sven Verd
o
olaege
Polyh
e
dron_Sample:
p
o
stp
o
ne
remo
v
a
l of rays until we
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verd
o
olae
g
e
Polyhedron_Sampl
e
: use
l
p
solver
for finding range
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
ven
V
erdoolaeg
e
l
exmin: move
c
h
oice of
lp so
l
ve
r
to use
out
s
ide basis
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
e
n Verd
o
o
laege
p
olysign
.
h:
use c
o
rrect name of PL_
p
olyh
e
dro
n
_a
f
fi
n
e_
s
ign
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
barvinok_enumerate: plug memory
l
e
a
k
in Berno
u
lli approxi
m
ation
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
V
e
rdo
o
la
e
g
e
barvinok_enumer
a
te_e_r: don't assume Ad
d
Constr
a
i
n
ts
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
ve
n
Ver
d
o
olaege
evalue_fr
a
c
2
polynomial:
recheck evalue
a
f
ter evalue_split_do
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
util
.
c:
L
ine_Length
:
do
n
't get
c
o
nfu
s
ed by p
o
sitivity
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
en
Verd
o
olae
g
e
M
akefile
.
am: stop aft
e
r fir
s
t failed test
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdoo
l
aege
b
e
rnst
e
i
n: carry through va
r
i
able r
e
n
aming to debugging
.
.
.
commit
|
commitdiff
|
tree
2007-06-27
S
ven Verdoolaege
bernstein: do
n
'
t a
s
sume inp
u
t p
o
lynomial has been expanded
commit
|
commitdiff
|
tree
2007-06-27
Sven
Verdoolaege
e
valu
e
_read
.
c:
correct const
n
ess
of name
i
n parameter_
n
ew
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdoolaege
e
value_read: accept c
o
n
s
t
ant m
u
ltiple
of vari
a
ble without
.
.
.
commit
|
commitdiff
|
tree
2007-06-16
Sven Ve
r
doo
l
aege
evalue
.
c: evalue_sum: bet
t
er h
a
ndlin
g
of
negat
i
v
e
values
commit
|
commitdiff
|
tree
2007-06-15
S
v
en Verdoolaege
evalue
.
c: reorder_terms: fix typo
commit
|
commitdiff
|
tree
2007-06-14
Sv
e
n Verdoolaege
evalue: declar
e
firs
t
argu
m
ent of em
u
l const
commit
|
commitdiff
|
tree
2007-06-14
Sven Verd
o
ola
e
ge
e
v
a
l
ue
.
c: emul: don't use e
x
p
lic
i
t_complemen
t
on argum
e
n
t
s
commit
|
commitdiff
|
tree
2007-06-14
Sven V
e
rdoo
l
a
e
ge
a
d
d a test for evalu
e
_split
_
per
i
o
d
s
commit
|
commitdiff
|
tree
2007-06-13
Haral
d
.
Devos@elis
.
.
.
find_
f
ractional_with
_
max_periods
:
in
i
t
iali
z
e loca
l
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
S
ven Verdoolae
g
e
evalue
.
c:
e
value
_
split_pe
r
iods: make sure selected
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sven Verdoola
e
ge
evalue
.
c:
p
olynomial_
p
r
ojection: use
e
value_ext
r
act
_
affine
commit
|
commitdiff
|
tree
2007-06-10
Sv
e
n Verdoo
l
aege
add a te
s
t
for
b
ar
v
inok_maximize and b
a
rvino
k
_
s
u
mma
t
e
commit
|
commitdiff
|
tree
2007-06-10
Sven Verdoolae
g
e
ba
r
v
ino
k
_summate: support verifi
c
a
tion o
f
r
e
sults
commit
|
commitdiff
|
tree
2007-06-10
Sven Ve
r
doo
l
aege
evalue
.
c
: eva
l
ue
_
sum: s
p
l
i
t
i
n
to
ort
h
ants + some refactoring
commit
|
commitdiff
|
tree
2007-06-10
S
v
en Verdoolaege
barv
i
nok_
u
nion: u
s
e argp for argume
n
t parsing
commit
|
commitdiff
|
tree
2007-06-09
S
v
en Ve
r
d
o
olaege
barvinok
_
e
n
u
m
e
r
ate_union_seri
e
s
_w
i
th_opti
o
n
s:
f
i
x typo
commit
|
commitdiff
|
tree
2007-06-07
Sve
n
Verdoolaeg
e
basis_r
e
duction
_
cd
d
.
cc:
get correct d
u
al
s
o
l
ution in
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sven Verdoolaege
basis_redu
c
tion_
g
lpk
.
c:
c
o
rr
e
c
t
ly
s
e
t type of
r
ows
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sven
V
erdoolaege
basis_r
e
d
uction_gl
p
k
.
c: check for sa
n
i
t
y of solu
t
io
n
commit
|
commitdiff
|
tree
2007-06-06
S
v
e
n
Verdool
a
e
g
e
options: mention defaul
t
a
nd available s
o
lvers for
.
.
.
commit
|
commitdiff
|
tree
2007-06-06
Sven Verdool
a
ege
polyhedron_sampl
e
:
t
ake opt
i
on
s
commit
|
commitdiff
|
tree
2007-06-06
Sven Verdoolaege
d
o
c: more
a
b
out powe
r
sums
commit
|
commitdiff
|
tree
2007-06-04
Sven Verdo
o
laege
doc:
t
ypo
commit
|
commitdiff
|
tree
2007-05-30
Sven Verdoolaege
doc: repe
a
t
M
atthias' stopped Barvinok exper
i
me
n
t
s
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
S
ven V
e
rdoola
e
g
e
add ba
r
vin
o
k_summ
a
te to sum a quasi
-
polyno
m
ia
l
over
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sven Verdoolaege
evalue_
r
e
a
d: fix for t
o
p-l
e
vel fractional part
commit
|
commitdiff
|
tree
2007-05-14
Sven
V
erdoolaege
b
ernoulli
.
c: B
e
rnoulli_sum_evalue:
r
educe result
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-05-14
Sven Verdoolaege
bernoulli
.
c: perform nested su
m
s ap
p
roximati
o
n dep
t
h
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
add pol
y
n
om
i
a
l approxi
m
ation
ba
s
ed
o
n
n
e
st
e
d sums
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
uti
l
.
c: extract f
o
r_each_lower_u
p
per_bo
u
nd
f
rom ParamLine_Len
g
t
h
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdo
o
l
a
ege
decompose
r
: us
e
NTL to invert matr
i
x r
a
ther than convering
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Ver
d
oolaege
l
atti
c
e_point
.
cc
:
allo
w
r
ays a
n
d v
e
rtex to have been
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
c
o
unte
r
: optimize summ
i
n
g over points in
f
undapiped
commit
|
commitdiff
|
tree
2007-05-13
Sven Verd
o
olaege
lattice_poi
n
t
.
c
c:
av
o
i
d con
v
ersion betwee
n
NTL
and
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Ve
r
doolaeg
e
conversion
.
cc: r
e
move rays2m
a
trix
commit
|
commitdiff
|
tree
2007-05-13
Sve
n
Verdoo
l
aege
e
v
a
l
ue
.
c: evalue_p
o
lyno
m
ial ext
r
a
c
ted fr
o
m
b
arvi
n
ok
.
cc
commit
|
commitdiff
|
tree
2007-05-13
Sven Ver
d
oolaege
evalue
.
c: add evalue
_
negate
commit
|
commitdiff
|
tree
2007-05-13
Sven
V
e
r
doolaege
do
c
: a note on the connection
between To
d
d
p
olynomials
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolae
g
e
doc: points in fun
d
apip
e
d: fix typo
commit
|
commitdiff
|
tree
2007-05-10
Sven Ve
r
d
o
ola
e
ge
barvinok
.
cc: simplify dpoly_n constructor
commit
|
commitdiff
|
tree
2007-05-10
Sven Verdoo
l
aege
R
emove "normalizati
o
n
" or powers in denomi
n
ator
on
.
.
.
commit
|
commitdiff
|
tree
2007-05-09
Sven V
e
rdoola
e
ge
deco
m
poser
.
c
c
:
pass
o
ptions
t
o triangulate_cone
commit
|
commitdiff
|
tree
2007-05-08
S
v
en Ve
r
doolaege
barvinok_count: o
p
t
ionally use exponent
i
al
s
ubstitu
t
ion
commit
|
commitdiff
|
tree
2007-05-08
S
v
en Verdoo
l
aege
counter
.
c
c
: e
x
tracted from barvinok
.
cc
commit
|
commitdiff
|
tree
2007-05-08
S
v
en Ver
d
oolaege
dpoly:
:
div: avoid compu
t
a
t
io
n
w
i
t
h rational number
s
.
.
.
commit
|
commitdiff
|
tree
2007-05-08
Sven Verdoola
e
ge
dpoly:
use Value i
n
stead of ZZ
commit
|
commitdiff
|
tree
2007-05-08
Sven Verdoolaege
d
oc: fix
t
ypo
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n Verdoolaege
ad
d
test for lattice poin
t
computation
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
e
rd
o
olaege
e
value_read
.
c
:
a
d
d
evalue_read_f
r
om_str for reading
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
e
v
a
lue_
r
ead_from_
f
ile: don't modify var_list argument
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdo
o
laege
ev
a
lu
e
_read: rea
d
more g
e
neral
e
values
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n
Verdool
a
eg
e
evalue_conve
r
t
.
cc: a
d
d missin
g
include
commit
|
commitdiff
|
tree
2007-05-02
S
ven Verdoolaege
c
o
nversion
.
h: ge
n
er
a
lize ray
s
2
matri
x
2
to zz2ma
t
r
ix
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
lat
t
i
ce_p
o
int
.
h:
m
ake
self-contain
e
d
commit
|
commitdiff
|
tree
2007-05-02
Sven Ve
r
dool
a
ege
e
v
alue_rea
d
: ext
r
a
c
t from maximi
z
e
.
cc
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
enumer
a
t
or: suppo
r
t
p
rimal (half-ope
n
)
d
ec
o
m
positions
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
enumerator: h
a
ndle (dua
l
)
sto
p
pe
d
Barvinok d
e
c
o
m
p
o
s
i
t
ion
commit
|
commitdiff
|
tree
2007-05-02
S
v
en Verdoolaege
lat
t
ice_point
.
cc: re
m
ove unused P
D
a
r
g
ument
commit
|
commitdiff
|
tree
2007-05-02
Sve
n
Verdoolaege
la
t
ti
c
e_p
o
int
.
cc: extr
a
ct coset generat
i
on
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaeg
e
l
at
t
ice_poin
t
.
cc: rename
ceil_mod to fra
c
tional_p
a
r
t
commit
|
commitdiff
|
tree
next