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
scale.c: enumerate_narrow_flated: don't simplify constraints in polyhedron
2007-06-30
Sven Ve
r
do
o
laege
scale
.
c:
e
numer
a
te_narrow_flate
d
:
don't simplify constraints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
declare
v
ariables at start of cod
e
block
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
doc: update docume
n
t
at
i
on of optio
n
s
a
n
d
some
f
u
n
ctions
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdool
a
ege
Po
l
y
hedron_Sam
p
le: fa
c
tor polyhedr
o
n
if
possible
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
Ve
r
d
o
olaege
Polyhedron_Sample: compute vert
i
ces o
f
1D polyhedra
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
erdoolaege
Polyhedron_Sample: re
m
o
v
e a
l
l e
q
ua
l
it
i
es from poly
h
edron
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
erdool
a
ege
a
d
d
possibilit
y
to u
s
e
GLPK as LP solver
commit
|
commitdiff
|
tree
2007-06-30
S
ven Verdoolaeg
e
Po
l
y
h
edron_Samp
l
e
:
postpone removal of rays un
t
il we
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
Poly
h
ed
r
on
_
Sample: use lp solver
f
or
finding range
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoo
l
a
e
ge
lexmin: move choice of lp s
o
l
ver
to us
e
outside
b
asis
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
e
rdoolae
g
e
polysign
.
h: use cor
r
ect nam
e
of
P
L_polyhedro
n
_
a
f
f
ine_sign
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolae
g
e
b
arvinok_e
n
u
merate: plug mem
o
ry le
a
k
in B
e
r
n
oulli
a
p
proximatio
n
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n V
e
r
d
o
olaege
barvi
n
ok_
e
nume
r
ate_e_r: don't assume AddCon
s
train
t
s
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
evalue_frac2poly
n
omial:
r
e
chec
k
evalue after evalue_spl
i
t_do
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Ver
d
oolaege
util
.
c: Line_Len
g
th:
d
o
n'
t
get
con
f
used by positivit
y
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoo
l
aege
M
akefile
.
am: sto
p
after f
i
rs
t
failed test
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdoo
l
a
e
ge
bernst
e
in:
c
arry thro
u
gh v
a
riable
rena
m
ing t
o
debugging
.
.
.
commit
|
commitdiff
|
tree
2007-06-27
S
v
en Verdoolaeg
e
be
r
nstein: d
o
n't assume input pol
y
nomial has b
e
e
n expanded
commit
|
commitdiff
|
tree
2007-06-27
Sv
e
n Ve
r
doolaege
evalu
e
_read
.
c: correct constne
s
s of name in par
a
meter_new
commit
|
commitdiff
|
tree
2007-06-27
S
ven
V
erdoolaege
evalu
e
_r
e
ad:
a
ccept
c
o
n
s
t
a
nt multiple
of variable without
.
.
.
commit
|
commitdiff
|
tree
2007-06-16
Sven
V
erdoolaege
evalue
.
c
: evalue_sum: bet
t
e
r
handling o
f
negative val
u
es
commit
|
commitdiff
|
tree
2007-06-15
Sven Ve
r
doola
e
ge
evalue
.
c: r
e
order_terms: fix typo
commit
|
commitdiff
|
tree
2007-06-14
S
ven V
e
rdoolaege
evalue: dec
l
a
r
e fi
r
st
a
r
g
ument
o
f emul const
commit
|
commitdiff
|
tree
2007-06-14
Sven Verdo
o
laege
evalue
.
c: e
m
ul: do
n
't
use explicit_compleme
n
t on arguments
commit
|
commitdiff
|
tree
2007-06-14
Sven Verdoolaege
a
d
d
a test for ev
a
lue_split_periods
commit
|
commitdiff
|
tree
2007-06-13
Harald
.
Devos@el
i
s
.
.
.
f
ind_fractional_wit
h
_
m
ax_
p
eriod
s
: initi
a
l
ize
local
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
S
v
en Verdoolaege
eva
l
ue
.
c: eval
u
e
_split_perio
d
s: make sure sel
e
cted
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sven Verd
o
olaege
ev
a
l
u
e
.
c: polynomial_projection: u
s
e evalue
_
ex
t
ract
_
affine
commit
|
commitdiff
|
tree
2007-06-10
Sv
e
n Verdool
a
ege
add a tes
t
for
b
arvinok_max
i
miz
e
and bar
v
inok_summ
a
te
commit
|
commitdiff
|
tree
2007-06-10
S
v
en Verdo
o
laege
barvinok
_
s
u
mmat
e
: suppo
r
t ver
i
fication
o
f results
commit
|
commitdiff
|
tree
2007-06-10
Sven Verdoolaege
e
v
alu
e
.
c
:
ev
a
lue_
s
u
m: split into ortha
n
ts +
some ref
a
ctori
n
g
commit
|
commitdiff
|
tree
2007-06-10
Sve
n
Verdoolae
g
e
barvinok_uni
o
n: us
e
a
r
gp
for
a
r
g
ume
n
t
parsing
commit
|
commitdiff
|
tree
2007-06-09
Sve
n
Ve
r
do
o
laege
barvi
n
ok_enume
r
ate_u
n
ion_se
r
ies_with_
o
ptions: fix
typo
commit
|
commitdiff
|
tree
2007-06-07
S
ven Verd
o
olaege
basis
_
reduction_cdd
.
cc: get correct dual s
o
lutio
n
in
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
S
ven Verd
o
o
laege
bas
i
s_reduction_glpk
.
c: co
r
rectly set type
o
f r
o
ws
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sven Verdoolaege
basis_reduction_glpk
.
c: check f
o
r sanity of so
l
utio
n
commit
|
commitdiff
|
tree
2007-06-06
Sven
V
erdoolaege
options: me
n
tion default and available sol
v
ers
for
.
.
.
commit
|
commitdiff
|
tree
2007-06-06
Sven Verdoolaege
polyh
e
d
ron_sa
m
ple: take options
commit
|
commitdiff
|
tree
2007-06-06
S
v
en Verdoolaege
d
oc: more abo
u
t power sums
commit
|
commitdiff
|
tree
2007-06-04
Sven Verdoolaege
do
c
:
ty
p
o
commit
|
commitdiff
|
tree
2007-05-30
S
ve
n
Verdo
o
laege
d
o
c: repeat Matthia
s
' st
o
p
p
ed Barvinok experiments
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sven Ve
r
do
o
laege
a
d
d
b
arvinok_summate to sum a quasi-pol
y
nomial over
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
S
ven Ver
d
oolaege
e
value_read: fix for top-level f
r
ac
t
i
o
nal p
a
r
t
commit
|
commitdiff
|
tree
2007-05-14
S
ven Ve
r
doolae
g
e
be
r
no
u
lli
.
c
:
Be
r
noulli_sum_e
v
a
lu
e
: re
d
u
ce r
e
su
l
t
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-05-14
Sven Ver
d
ool
a
e
g
e
bernoulli
.
c:
perform nested s
u
ms
approxi
m
atio
n
depth
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
S
ve
n
Ver
d
o
olaege
add
p
o
lynomial
a
pproximation ba
s
ed on ne
s
ted
sums
commit
|
commitdiff
|
tree
2007-05-13
S
ven
Verdoolaege
util
.
c: extract fo
r
_each_
l
ower_upp
e
r_bound
f
rom
Par
a
mLine_Length
commit
|
commitdiff
|
tree
2007-05-13
Sv
e
n
Verdoolaege
decompo
s
er:
u
se NTL t
o
invert matrix rather tha
n
convering
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven V
e
rdo
o
laege
l
a
ttice_poi
n
t
.
cc: allow rays an
d
ver
t
ex to have been
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sve
n
V
erdoolaege
counter:
o
ptimi
z
e
s
umming over poi
n
ts in fundapi
p
e
d
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdool
a
ege
latti
c
e_poi
n
t
.
c
c
: avoid conversion between
NTL
a
nd
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
conversi
o
n
.
cc
:
remove rays2
m
atrix
commit
|
commitdiff
|
tree
2007-05-13
Sven
Verdoolaege
ev
a
lu
e
.
c: evalue_po
l
ynomial extracted from
b
a
r
vino
k
.
c
c
commit
|
commitdiff
|
tree
2007-05-13
S
ven Verdool
a
ege
evalue
.
c: add
e
va
l
ue_negate
commit
|
commitdiff
|
tree
2007-05-13
Sve
n
Verd
o
o
laege
do
c
: a note on the connec
t
ion b
e
t
wee
n
Todd polyno
m
i
al
s
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoo
l
aege
doc
:
points in fundapiped:
f
ix
t
ypo
commit
|
commitdiff
|
tree
2007-05-10
Sve
n
V
e
r
doolae
g
e
barvinok
.
cc:
simplify
d
p
ol
y
_n co
n
st
r
uctor
commit
|
commitdiff
|
tree
2007-05-10
S
ve
n
V
erdo
o
laege
Re
m
ove
"n
o
r
m
al
i
za
t
i
on" o
r
powers in
d
enominator
on
.
.
.
commit
|
commitdiff
|
tree
2007-05-09
Sven Verdoolaege
deco
m
poser
.
cc: pa
s
s options to triangulate_cone
commit
|
commitdiff
|
tree
2007-05-08
Sven
Ve
r
doolaege
bar
v
ino
k
_count: opti
o
nally use e
x
ponential s
u
b
s
t
i
tution
commit
|
commitdiff
|
tree
2007-05-08
S
ven Ve
r
doolaege
c
o
unter
.
cc
:
extracted
f
rom barvinok
.
cc
commit
|
commitdiff
|
tree
2007-05-08
Sve
n
Verdoolaege
dpoly::div: a
v
o
i
d com
p
uta
t
ion with rati
o
nal numb
e
rs
.
.
.
commit
|
commitdiff
|
tree
2007-05-08
Sven
Ve
r
do
o
laeg
e
d
p
oly: use Value instead
of ZZ
commit
|
commitdiff
|
tree
2007-05-08
Sven V
e
rdoo
l
aege
doc:
fix typo
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
a
dd test for lattice point
c
omputatio
n
commit
|
commitdiff
|
tree
2007-05-02
S
v
en Verd
o
ola
e
ge
evalue_read
.
c:
a
dd e
v
alue_read_
f
r
o
m_str for reading
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
S
v
en Verdool
a
ege
evalu
e
_read_from_file
:
don't
m
odify var_l
i
st argu
m
ent
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
ev
a
lue_read:
read
more general e
v
alues
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
erdoolaege
e
v
a
l
ue
_
c
onvert
.
cc:
a
dd missing inc
l
ude
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
conversion
.
h: g
e
nerali
z
e rays2matr
i
x2
t
o
zz2mat
r
ix
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n Verdoolaege
latt
i
ce_point
.
h:
m
ake self
-
contained
commit
|
commitdiff
|
tree
2007-05-02
Sven Ver
d
oola
e
ge
evalue_read: extract from
maximize
.
cc
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoo
l
aege
enumerato
r
: support prima
l
(half-op
e
n)
decomp
o
si
t
i
ons
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
enumera
t
or: handle (dual)
s
topped Barvinok decomp
o
si
t
ion
commit
|
commitdiff
|
tree
2007-05-02
Sven Verd
o
olaege
lattice_point
.
cc: r
e
move un
u
sed PD argument
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
la
t
tice_po
i
nt
.
cc: ex
t
ract
co
s
e
t gen
e
rati
o
n
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n V
e
rdoolaege
latt
i
ce_po
i
nt
.
c
c
: rename ceil_
m
od to fr
a
ctional_part
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
erdoo
l
a
ege
lattice_point
.
cc
:
use some helper functions to
s
impl
i
fy
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
la
t
ti
c
e_
p
oint
.
c
c
: implement lookup-table versio
n
in
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven V
e
rdoolaege
m
o
ve more lattice point computations to lattice_poi
n
t
.
cc
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdool
a
ege
barvinok
.
cc: lat
t
ice_poin
t
: remo
v
e a special
case
commit
|
commitdiff
|
tree
2007-05-02
Sven Verd
o
ola
e
ge
doc: integer points in
f
undamental
p
arallelepi
p
ed:
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
S
v
en Verd
o
olaege
util
.
c: e
x
po
r
t
M
atrix_Transposition
commit
|
commitdiff
|
tree
2007-05-02
S
ven Verdo
o
laeg
e
util
.
c: exp
o
rt Vector_
O
p
p
o
s
e
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolae
g
e
scale
.
c: move Param_Ver
t
ex_Common_Denomina
t
or to param_
u
til
.
c
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n
Verdoolae
g
e
eva
l
ue
.
c
:
a
d
d evalue
_
add_constan
t
commit
|
commitdiff
|
tree
2007-05-02
S
ven V
e
rdoolaege
evalue
.
c: affine2
e
va
l
ue:
skip zero coeffic
i
e
n
t
s
commit
|
commitdiff
|
tree
2007-05-02
Sve
n
V
erdoolae
g
e
evalue
.
c:
e
mu
l
_poly: efficiently
h
andl
e
c
a
s
e
of multip
l
icati
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
S
ven Verdoolaege
bum
p
version
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
doc: update options and
some fu
n
ction
commit
|
commitdiff
|
tree
2007-04-28
S
v
en
Verd
o
olaege
doc: docu
m
ent
volume computation
commit
|
commitdiff
|
tree
2007-04-28
Sven Ver
d
o
o
laege
doc: m
o
r
e reports exp
l
aining parts of barvinok
commit
|
commitdiff
|
tree
2007-04-28
S
v
en
Verd
o
olaege
bernst
e
i
n: bump versi
o
n
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdo
o
laege
doc: transf
o
rmation of parameter domain t
o
have r
e
vlex
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdo
o
laeg
e
ba
r
vinok
.
cc: barv
i
nok
_
c
oun
t
_f:
a
v
oid warni
n
g on recursive
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Ver
d
oolaege
u
t
i
l
.
c
:
unimodular
_
complete: han
d
l
e compl
e
t
ion o
f
more
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
S
v
e
n Ver
d
oolaege
barvinok_enumerate
.
cc:
h
a
ndle
a
ll lines in --series
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sven Ve
r
doolaege
barvinok_enumer
a
t
e
.
cc: s
e
rie
s
: p
l
ug memory leak
commit
|
commitdiff
|
tree
2007-04-26
Sve
n
Verdoola
e
ge
d
oc: documen
t
left_inverse
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoolaege
doc: remove refer
e
nce
t
o o
l
d
barvi
n
ok_
s
eri
e
s applic
a
t
i
on
commit
|
commitdiff
|
tree
next