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
barvinok 0.24
2007-06-30
Sven Verdo
o
laege
barvin
o
k 0
.
24
commit
|
commitdiff
|
tree
2007-06-30
S
ven Verdoolaege
testlib
.
cc: work around
i
ncomplete
n
amespace support
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
erdoo
l
aege
sc
a
l
e
.
c: en
u
merate_narrow_fla
t
ed
:
don't simpl
i
fy con
s
traints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
declare varia
b
les at
s
tart of code block
commit
|
commitdiff
|
tree
2007-06-30
Sven V
e
rdoolaege
doc: update documen
t
a
tion of
o
ptions and some functions
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
erdoolaege
P
ol
y
hed
r
on_Sample: fact
o
r polyhedron if possible
commit
|
commitdiff
|
tree
2007-06-30
S
ven V
e
r
d
ool
a
ege
Po
l
yhedron_Sample: co
m
pute vertices of 1D polyhedra
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
Polyhedron
_
S
ample: remo
v
e al
l
e
qua
l
it
i
es from p
o
lyhedron
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven V
e
rdoolaege
add pos
s
ib
i
l
i
ty to use GLPK
a
s LP sol
v
er
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
erdool
a
ege
Pol
y
hedron_Sample
:
p
o
stpone
r
emova
l
of r
a
ys until we
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
e
rd
o
ol
a
ege
Po
l
yhe
d
r
on_Sample:
use lp
s
olver fo
r
finding rang
e
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verd
o
olaege
lexmin: move choice of
lp solver to us
e
ou
t
sid
e
basi
s
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
polysig
n
.
h: use correct
na
m
e of
P
L
_
pol
y
hedron_af
f
i
n
e_sig
n
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
barvinok_enumerate: plug memo
r
y leak in Bernoulli approximation
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
barvinok_enumera
t
e_e_r: don't assume A
d
dConstraints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolae
g
e
eval
u
e
_frac2polynomial: recheck ev
a
lu
e
af
t
er evalue_sp
l
it_do
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
ven Ve
r
d
oolaege
util
.
c: Line
_
Length: don't get conf
u
s
ed by p
o
sitivity
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
e
n
Ve
r
doolaege
Makefile
.
am: stop after
f
irst fai
l
ed test
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdool
a
ege
b
ernstein
:
carry thr
o
u
gh variable renaming to debugging
.
.
.
commit
|
commitdiff
|
tree
2007-06-27
Sven V
e
rdoo
l
aege
bernstein:
don't assume
in
p
ut polynomial has been expa
n
ded
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdo
o
laege
evalu
e
_read
.
c
:
co
r
rect constness o
f
name
in parameter_ne
w
commit
|
commitdiff
|
tree
2007-06-27
Sven Ve
r
doo
l
aege
evalue_read: a
c
cept
con
s
tant mu
l
tiple of variable without
.
.
.
commit
|
commitdiff
|
tree
2007-06-16
Sven Verdoolaege
evalue
.
c: eval
u
e_sum:
b
etter h
a
n
dling of n
e
gative valu
e
s
commit
|
commitdiff
|
tree
2007-06-15
Sven Verdo
o
la
e
ge
evalue
.
c: reorder_terms: fix
t
y
po
commit
|
commitdiff
|
tree
2007-06-14
Sven Verdo
o
laege
eval
u
e: declare first argument o
f
emul c
o
nst
commit
|
commitdiff
|
tree
2007-06-14
Sven Verdoo
l
aege
e
value
.
c: emul: don't us
e
e
x
p
licit
_
compl
e
ment on arguments
commit
|
commitdiff
|
tree
2007-06-14
S
ven Verdool
a
ege
add a test for eva
l
ue_s
p
l
i
t_periods
commit
|
commitdiff
|
tree
2007-06-12
Sven Verdoo
l
aege
ev
a
lue
.
c
:
evalue_split_periods: ma
k
e
s
ure
s
elected
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sven Verdoolaege
eval
u
e
.
c:
p
olyn
o
m
i
al_projection: use evalue_extra
c
t_affi
n
e
commit
|
commitdiff
|
tree
2007-06-10
Sven Verdoolaege
a
d
d a test for barvinok_maximize and
b
a
rvin
o
k_summate
commit
|
commitdiff
|
tree
2007-06-10
Sven
Verdoolae
g
e
barv
i
n
ok_summate
:
supp
o
rt verification of
re
s
ult
s
commit
|
commitdiff
|
tree
2007-06-10
Sven Verdo
o
laege
evalue
.
c: evalue_su
m
: split i
n
to
o
rthan
t
s +
some
r
ef
a
ctoring
commit
|
commitdiff
|
tree
2007-06-10
Sve
n
Ver
d
oo
l
a
ege
ba
r
vin
o
k
_
union: use argp for argumen
t
parsing
commit
|
commitdiff
|
tree
2007-06-09
Sven Verdoolaege
barvinok_enume
r
a
te_union_series_wit
h
_
option
s
: fi
x
typo
commit
|
commitdiff
|
tree
2007-06-07
Sven V
e
rdoo
l
aege
basis_reduction_cdd
.
cc: get
cor
r
ect dual solu
t
ion in
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sve
n
Verdoolae
g
e
basis_redu
c
tion_glpk
.
c: correctly set ty
p
e o
f
rows
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sven Verdoolaege
basis_r
e
ducti
o
n_
g
l
p
k
.
c: ch
e
ck
f
or sanity o
f
solution
commit
|
commitdiff
|
tree
2007-06-06
Sv
e
n Verd
o
ola
e
ge
op
t
i
ons: mention d
e
fau
l
t
an
d
available solvers for
.
.
.
commit
|
commitdiff
|
tree
2007-06-06
Sven
Verdoolaege
p
olyhedron_sample: take o
p
ti
o
ns
commit
|
commitdiff
|
tree
2007-06-06
S
v
e
n
Verd
o
olae
g
e
doc: more
about
p
ower sums
commit
|
commitdiff
|
tree
2007-06-04
Sven Verdo
o
laege
d
o
c
:
t
ypo
commit
|
commitdiff
|
tree
2007-05-30
Sv
e
n V
e
rdoolae
g
e
doc: r
e
pe
a
t
M
a
tthias' stop
p
ed B
a
rvin
o
k
e
x
pe
r
iments
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sven Verdoo
l
a
ege
a
d
d barvinok_s
u
mmate
to sum a quasi-polynomial o
v
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sven Verdoolaege
evalue_r
e
ad:
f
ix for top-le
v
el fractional p
a
rt
commit
|
commitdiff
|
tree
2007-05-14
Sv
e
n
Verdo
o
lae
g
e
bernoulli
.
c: Bernoul
l
i_s
u
m_evalue: reduce resulti
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-05-14
Sven V
e
rdoolaege
bernoulli
.
c:
p
erf
o
rm nested
s
u
ms approximation depth
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
add polynomial approximation base
d
on
n
est
e
d
sums
commit
|
commitdiff
|
tree
2007-05-13
Sven Verd
o
olaege
util
.
c
:
extract for_each_l
o
wer
_
u
p
per_
b
ound from
P
a
ramLine_Lengt
h
commit
|
commitdiff
|
tree
2007-05-13
Sven
Verdoolaege
d
ecomposer: use NT
L
to invert matrix
rather than convering
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sv
e
n Ve
r
do
o
laeg
e
lattice_point
.
cc: allow ray
s
an
d
ver
t
ex to h
a
ve been
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
counter
:
optimize summing over points in fundapiped
commit
|
commitdiff
|
tree
2007-05-13
S
v
e
n
Verdoolaege
lattice_point
.
cc: avoid conversion between NTL and
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven
V
erdoolaege
conve
r
s
ion
.
cc:
r
emove rays2m
a
tr
i
x
commit
|
commitdiff
|
tree
2007-05-13
Sven
V
er
d
oolaege
evalue
.
c: e
v
alue_polynomia
l
extracte
d
f
r
o
m
barvinok
.
c
c
commit
|
commitdiff
|
tree
2007-05-13
Sven V
e
rd
o
olaege
evalue
.
c:
a
dd eval
u
e_negate
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
doc:
a note on the con
n
ection b
e
tween Todd polynomia
l
s
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sve
n
Verdoolaege
doc: poin
t
s in
fundapiped: f
i
x
typo
commit
|
commitdiff
|
tree
2007-05-10
S
v
e
n
Verd
o
ol
a
ege
barvinok
.
cc: simplify dpoly_n constructor
commit
|
commitdiff
|
tree
2007-05-10
Sven
V
erdool
a
ege
Re
m
ove "normalization
"
or powers in denominator on
.
.
.
commit
|
commitdiff
|
tree
2007-05-09
Sven Verd
o
ol
a
ege
d
e
comp
o
s
e
r
.
cc: pass options to t
r
iangulate_cone
commit
|
commitdiff
|
tree
2007-05-08
Sven Verdoola
e
g
e
barv
i
nok_count: option
a
lly use exponential substitutio
n
commit
|
commitdiff
|
tree
2007-05-08
Sven Verd
o
ol
a
ege
counter
.
cc: extracte
d
from barvinok
.
cc
commit
|
commitdiff
|
tree
2007-05-08
Sve
n
Verdoolaege
dpoly::
d
iv: avoid
comp
u
t
a
tion wi
t
h rati
o
nal numb
e
rs
.
.
.
commit
|
commitdiff
|
tree
2007-05-08
Sve
n
Ve
r
doolaege
dpol
y
: use Value
i
n
stead of ZZ
commit
|
commitdiff
|
tree
2007-05-08
Sven Ve
r
d
oolaege
doc: fix
t
y
p
o
commit
|
commitdiff
|
tree
2007-05-02
S
v
en Ve
r
doolaege
add tes
t
for lattice poi
n
t computation
commit
|
commitdiff
|
tree
2007-05-02
Sve
n
V
e
rdoola
e
ge
ev
a
l
u
e_read
.
c: add evalue_read_from_str for
r
eading
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n
Verdoolaege
evalue_read_from_file: do
n
't modify var_lis
t
argume
n
t
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
evalue_read: read mor
e
general evalues
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdo
o
laege
ev
a
l
ue_convert
.
cc:
a
dd missing includ
e
commit
|
commitdiff
|
tree
2007-05-02
Sven Ve
r
doolaege
conversion
.
h: ge
n
e
ralize rays2
m
a
trix2
to zz2matrix
commit
|
commitdiff
|
tree
2007-05-02
Sven Ve
r
d
o
olaeg
e
la
t
t
ice_point
.
h
:
make
sel
f
-
contained
commit
|
commitdiff
|
tree
2007-05-02
S
ve
n
Verdoolaege
evalue_r
e
ad: extr
a
ct from maximize
.
cc
commit
|
commitdiff
|
tree
2007-05-02
S
v
en Verdoolaege
enum
e
rat
o
r: support pr
i
mal
(
ha
l
f-op
e
n
)
d
e
compositions
commit
|
commitdiff
|
tree
2007-05-02
Sven
Verdoolaege
e
numerator
:
h
andle
(
dual) stopped Barvinok d
e
compo
s
ition
commit
|
commitdiff
|
tree
2007-05-02
Sven Ver
d
o
o
laeg
e
lattice_point
.
cc: remove unused PD argu
m
ent
commit
|
commitdiff
|
tree
2007-05-02
S
v
en Ver
d
oolaege
lattic
e
_po
i
n
t
.
cc:
extra
c
t
co
s
e
t gen
e
ration
commit
|
commitdiff
|
tree
2007-05-02
Sven Ver
d
ool
a
ege
la
t
tice_point
.
cc:
r
ename ceil_
m
o
d to frac
t
ional_p
a
rt
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
latti
c
e_
p
oint
.
cc: use
som
e
helper funct
i
ons to simplify
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sve
n
V
e
rd
o
o
l
aeg
e
lattice_poi
n
t
.
c
c
: implement
l
o
okup-table
v
e
rsion in
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
S
ven Verdoolaege
m
o
ve more lattice point
c
o
m
p
utations
t
o lattice_point
.
cc
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaeg
e
barv
i
nok
.
cc
:
latti
c
e_point:
r
emove
a
speci
a
l case
commit
|
commitdiff
|
tree
2007-05-02
Sve
n
Verdoola
e
ge
doc
:
i
n
teger points in
fund
a
mental parallelepip
e
d:
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Ve
r
doola
e
ge
util
.
c: exp
o
rt Matrix_Tr
a
n
sposition
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
util
.
c: export Vector_Op
p
os
e
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
scale
.
c
:
mo
v
e Param_Vertex_Common_Denominator to param_util
.
c
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
evalu
e
.
c:
a
dd
eval
u
e_a
d
d_
c
onstant
commit
|
commitdiff
|
tree
2007-05-02
S
ven
V
erd
o
o
l
a
eg
e
evalue
.
c: affine2
e
value: skip ze
r
o coefficien
t
s
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
e
v
a
lue
.
c: em
u
l_po
l
y: effi
c
iently handl
e
c
a
se of multiplicati
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
bump version
commit
|
commitdiff
|
tree
2007-04-28
Sven Ver
d
oolaege
d
oc: update
options
a
nd
so
m
e fun
c
t
i
on
commit
|
commitdiff
|
tree
2007-04-28
S
v
e
n Verdoolaege
d
oc: d
o
cu
m
ent volume computat
i
on
commit
|
commitdiff
|
tree
2007-04-28
Sve
n
Verdoolaege
doc: more
r
eports
explaining par
t
s of barvino
k
commit
|
commitdiff
|
tree
2007-04-28
Sven Ve
r
doolaege
bernstein: bump vers
i
o
n
commit
|
commitdiff
|
tree
2007-04-28
S
ven
Verdoolaege
doc: transformat
i
on of parameter domain to have revlex
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
b
a
rvinok
.
cc: bar
v
i
nok_count_f: avo
i
d warning on
r
ecursive
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
S
ve
n
Verdoolaege
util
.
c
:
unimodular_complete: hand
l
e compl
e
tion of more
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sven
V
erdo
o
l
a
ege
barvinok
_
e
n
u
merate
.
cc: handle
all lines in --series
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sve
n
Verdoolaege
barvino
k
_enu
m
e
rate
.
c
c:
s
eries: plug memory leak
commit
|
commitdiff
|
tree
2007-04-26
Sve
n
Ve
r
doolaeg
e
doc: do
c
u
m
e
nt left
_
i
n
v
er
s
e
commit
|
commitdiff
|
tree
next