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 Ver
d
o
olaege
barvinok 0
.
2
4
commit
|
commitdiff
|
tree
2007-06-30
Sven
Verdoolaege
te
s
tl
i
b
.
cc: work around incomplete name
s
pa
c
e su
p
port
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
scale
.
c: enume
r
ate_narro
w
_flated: don't simpli
f
y constra
i
nts
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n Verdo
o
laege
declare
variables at
s
t
ar
t
of code block
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
d
oc: update d
o
cumentation of options a
n
d some functio
n
s
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdo
o
laeg
e
Polyhedr
o
n_Sample:
factor pol
y
hedron if pos
s
ible
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
Polyhedr
o
n_Sa
m
pl
e
: comp
u
te
v
ertices
o
f
1
D polyhed
r
a
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
Polyhedron_
S
ample: remove all
e
qu
a
l
i
ties from polyhedron
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Ver
d
oolaege
add possibility to use GLPK a
s
LP
s
o
lver
commit
|
commitdiff
|
tree
2007-06-30
Sven Ve
r
d
o
olaege
Polyhedr
o
n
_
S
a
mple:
p
ostpone removal
of rays
unti
l
we
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven V
e
rdoolaege
Po
l
y
h
e
d
ron_Sample: use lp
solve
r
for fin
d
ing rang
e
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Ver
d
o
olaege
l
exmin: move cho
i
ce of lp solv
e
r to use outsi
d
e basis
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
Verdoolae
g
e
poly
s
ign
.
h: use c
o
r
r
ect name of
P
L
_p
o
ly
h
e
d
ron_affin
e
_sign
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
e
r
doolaege
b
a
r
vino
k
_enumerate:
p
lug memor
y
leak in Bernoulli approxima
t
ion
commit
|
commitdiff
|
tree
2007-06-30
S
v
en Verd
o
ol
a
ege
barvinok_enu
m
erate_e_r: do
n
't assu
m
e A
d
d
C
onstraints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n Verdool
a
ege
evalue_frac2po
l
ynomial:
r
echeck evalue aft
e
r evalue_split_do
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
u
t
i
l
.
c: Line_Length: don't get co
n
fused
b
y positivity
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verd
o
olaege
Mak
e
file
.
am: stop after fi
r
st failed
test
commit
|
commitdiff
|
tree
2007-06-27
S
v
en Verdoolaege
b
ernstein:
carry
t
h
r
ough va
r
iable
r
e
naming to debugg
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-06-27
Sven
Verd
o
olaege
ber
n
stein
:
d
on't assume input p
o
lyn
o
m
i
al has been expanded
commit
|
commitdiff
|
tree
2007-06-27
Sven
Ver
d
o
o
lae
g
e
evalue_read
.
c
: correct const
n
ess of name
i
n
p
arameter_new
commit
|
commitdiff
|
tree
2007-06-27
Sven Ve
r
doolaege
evalue_read: accep
t
const
a
nt multiple of variable without
.
.
.
commit
|
commitdiff
|
tree
2007-06-16
Sven Verdool
a
ege
evalue
.
c: eva
l
ue
_
sum: better han
d
ling of n
e
g
ative values
commit
|
commitdiff
|
tree
2007-06-15
Sven Verdoolae
g
e
evalue
.
c: re
o
rder_terms: fix
typo
commit
|
commitdiff
|
tree
2007-06-14
Sven V
e
rdoolaege
eva
l
u
e: declare first argu
m
ent of
e
mul const
commit
|
commitdiff
|
tree
2007-06-14
S
v
e
n
Verdoolaege
evalue
.
c: emu
l
: don't use explici
t
_complement on arguments
commit
|
commitdiff
|
tree
2007-06-14
Sven
Verdoolae
g
e
add a
test for evalu
e
_split_peri
o
ds
commit
|
commitdiff
|
tree
2007-06-12
Sven
Ver
d
oola
e
g
e
evalue
.
c:
e
value_split_pe
r
iods: mak
e
sure sel
e
cte
d
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sven Verdoo
l
aeg
e
evalue
.
c: polynomial
_
proje
c
t
i
on
:
u
se evalue_extra
c
t_aff
i
ne
commit
|
commitdiff
|
tree
2007-06-10
Sven
V
erdoola
e
ge
add a tes
t
for b
a
rvi
n
o
k
_
maximize
and ba
r
v
ino
k
_summate
commit
|
commitdiff
|
tree
2007-06-10
Sven Verdoolae
g
e
bar
v
inok_summa
t
e: support verification
o
f resu
l
t
s
commit
|
commitdiff
|
tree
2007-06-10
Sven V
e
rdoo
l
aege
evalue
.
c: ev
a
lue_sum: sp
l
it into ort
h
ants + some refa
c
toring
commit
|
commitdiff
|
tree
2007-06-10
Sve
n
Verdoolaege
barvinok_uni
o
n
: use
a
r
g
p
f
o
r
argumen
t
parsing
commit
|
commitdiff
|
tree
2007-06-09
S
ven Ve
r
doolaege
b
arvinok_en
u
mer
a
te_unio
n
_series_with_
o
p
tions: fix typo
commit
|
commitdiff
|
tree
2007-06-07
Sven
Ver
d
oo
l
aege
basis_reduction_cdd
.
cc: get co
r
rect
dual so
l
u
tion in
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sven Verdoolaege
basi
s
_
r
e
duction_glpk
.
c:
correctly set type
of rows
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
S
v
en Verdoo
l
aege
basis_reduc
t
ion_glpk
.
c: ch
e
c
k for sa
n
ity of solution
commit
|
commitdiff
|
tree
2007-06-06
Sven Ve
r
doolaege
options:
ment
i
on defau
l
t a
n
d av
a
ilable
so
l
vers for
.
.
.
commit
|
commitdiff
|
tree
2007-06-06
Sven
Ver
d
oolaege
pol
y
h
edron
_
sample:
take options
commit
|
commitdiff
|
tree
2007-06-06
Sven Ver
d
oolaege
d
oc: more
about power sums
commit
|
commitdiff
|
tree
2007-06-04
S
v
en
V
er
d
oolaege
doc:
t
ypo
commit
|
commitdiff
|
tree
2007-05-30
S
ven
Ve
r
doolaege
do
c
: repeat Matthi
a
s' stopped
B
a
rvinok experiments
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sven Verdoolaege
add barvin
o
k_s
u
mmate to sum a quasi-polynomi
a
l over
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sven Verdoolaege
ev
a
lue_read
:
fix for top-level fractional part
commit
|
commitdiff
|
tree
2007-05-14
Sven Verdool
a
ege
bernoulli
.
c: B
e
rnoulli_sum_eva
l
ue
:
re
d
uce resultin
g
.
.
.
commit
|
commitdiff
|
tree
2007-05-14
Sv
e
n
Verdoolaege
berno
u
ll
i
.
c: perform nested sums approxi
m
ation depth
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sve
n
V
e
rdoolaege
add po
l
ynomial approximation based on
n
es
t
ed s
u
ms
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
util
.
c
:
extr
a
c
t for_each_low
e
r_upper_b
o
und
from ParamL
i
n
e_Le
n
g
th
commit
|
commitdiff
|
tree
2007-05-13
Sv
e
n
Verdoolaege
decompo
s
er:
u
s
e N
T
L
t
o
invert matr
i
x rather t
h
an convering
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
lattice_point
.
c
c: allow rays and
vertex t
o
have be
e
n
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sv
e
n Verdoolaege
counter: o
p
t
imize summi
n
g over
po
i
nts in fun
d
api
p
ed
commit
|
commitdiff
|
tree
2007-05-13
Sven Ver
d
oolaege
lattic
e
_poin
t
.
cc: av
o
i
d
c
onversion between
NTL an
d
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoo
l
aeg
e
conversi
o
n
.
cc: remove rays2matrix
commit
|
commitdiff
|
tree
2007-05-13
Sven V
e
rdoolaege
evalue
.
c: evalue_po
l
ynomial extracted from barvi
n
ok
.
cc
commit
|
commitdiff
|
tree
2007-05-13
Sve
n
Verdoo
l
a
e
ge
evalue
.
c: add
e
value
_
negat
e
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
doc:
a no
t
e on th
e
connect
i
on betwe
e
n
Todd
pol
y
nomials
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoola
e
g
e
doc: points in fundapiped: fix ty
p
o
commit
|
commitdiff
|
tree
2007-05-10
Sv
e
n Ver
d
oolaege
barvino
k
.
c
c
:
simplify dpoly_n cons
t
r
u
ctor
commit
|
commitdiff
|
tree
2007-05-10
Sven V
e
rd
o
o
l
aege
Remove "no
r
malization" or pow
e
rs in denominator on
.
.
.
commit
|
commitdiff
|
tree
2007-05-09
Sven
V
erdoolaege
d
e
co
m
p
oser
.
c
c
:
pass options to t
r
iangula
t
e_con
e
commit
|
commitdiff
|
tree
2007-05-08
Sv
e
n Verdoolaege
b
a
r
v
i
nok_count:
optionally use ex
p
onen
t
ia
l
substitution
commit
|
commitdiff
|
tree
2007-05-08
Sven V
e
rdo
o
laege
counter
.
cc:
extracted f
r
om b
a
r
vi
n
ok
.
cc
commit
|
commitdiff
|
tree
2007-05-08
Sven Verdoolaege
dp
o
ly::div: av
o
id comput
a
tion with ratio
n
al nu
m
be
r
s
.
.
.
commit
|
commitdiff
|
tree
2007-05-08
Sven
V
e
rdoolaege
dpoly
:
use
Value instead
of ZZ
commit
|
commitdiff
|
tree
2007-05-08
Sven Verd
o
olaege
do
c
: fix typo
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdool
a
ege
add test for lattice
p
oin
t
computation
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
evalue_read
.
c: add
evalu
e
_read_f
r
om_str
f
or readin
g
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Ver
d
oo
l
aege
e
v
alue_r
e
a
d
_f
r
om_file: don'
t
mo
d
ify va
r
_list argument
commit
|
commitdiff
|
tree
2007-05-02
Sve
n
Ver
d
oo
l
aege
eval
u
e_
r
ead: r
e
a
d more gener
a
l e
v
alues
commit
|
commitdiff
|
tree
2007-05-02
S
v
e
n Verdoolaege
eval
u
e_c
o
nvert
.
cc
:
a
d
d mi
s
sing include
commit
|
commitdiff
|
tree
2007-05-02
Sven
Verdoolaeg
e
conversion
.
h: generalize rays
2
matrix2 to zz2matr
i
x
commit
|
commitdiff
|
tree
2007-05-02
S
v
en
V
e
r
dool
a
ege
lattice_point
.
h: make sel
f
-contain
e
d
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
evalu
e
_re
a
d: ex
t
ract from
maximize
.
c
c
commit
|
commitdiff
|
tree
2007-05-02
S
ven Verdo
o
laege
e
n
um
e
r
a
tor:
s
uppor
t
p
r
im
a
l
(
h
alf-open)
d
ecomp
o
s
i
t
ions
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoo
l
a
e
ge
enumerator:
h
a
ndle (dual)
s
topped B
a
r
v
inok deco
m
position
commit
|
commitdiff
|
tree
2007-05-02
Sve
n
Ve
r
d
o
olaege
l
a
ttice_p
o
int
.
cc: remo
v
e
unuse
d
PD a
r
g
ument
commit
|
commitdiff
|
tree
2007-05-02
Sven Verd
o
olaege
lattice_point
.
cc: extract coset
gen
e
ration
commit
|
commitdiff
|
tree
2007-05-02
Sven V
e
r
d
oola
e
ge
lattice_p
o
i
n
t
.
cc
:
re
n
a
me ceil_mod to fractional_part
commit
|
commitdiff
|
tree
2007-05-02
Sven V
e
r
d
oola
e
ge
l
a
ttice_point
.
c
c: use som
e
h
e
lper function
s
to sim
p
lify
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sve
n
Ver
d
oolaege
lattice_poin
t
.
c
c:
implem
e
n
t
lookup-table version in
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n
Verdoola
e
ge
move more lattic
e
point compu
t
ations to latt
i
ce_point
.
cc
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoo
l
aege
ba
r
vin
o
k
.
c
c:
l
a
t
tic
e
_
point
:
remove a
s
p
ecia
l
case
commit
|
commitdiff
|
tree
2007-05-02
Sven Ve
r
doolaege
doc:
i
n
teger po
i
nts in fundamen
t
a
l
par
a
lle
l
epip
e
d:
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
util
.
c: export
Mat
r
ix
_
Transposition
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n
V
erdoolaeg
e
ut
i
l
.
c
:
export
V
ec
t
or_
O
ppose
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdool
a
ege
scale
.
c
: move
P
aram_
V
e
r
te
x
_Common_Denominator to param_util
.
c
commit
|
commitdiff
|
tree
2007-05-02
Sven Ver
d
oo
l
aege
evalue
.
c: add eva
l
ue_ad
d
_co
n
stant
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolae
g
e
evalue
.
c: af
f
ine2evalue: skip zero coefficients
commit
|
commitdiff
|
tree
2007-05-02
Sve
n
Verdoolae
g
e
eval
u
e
.
c: emul
_
poly: effic
i
ent
l
y handle case of multipli
c
at
i
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
S
ve
n
Verdoolaege
bump version
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
doc: update op
t
ions and s
o
me f
u
n
c
tion
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
doc:
d
o
cument
volum
e
computation
commit
|
commitdiff
|
tree
2007-04-28
S
v
en Verd
o
olaege
do
c
:
more reports explain
i
ng pa
r
ts of barvinok
commit
|
commitdiff
|
tree
2007-04-28
Sv
e
n V
e
r
d
oolaeg
e
bernst
e
in: bum
p
version
commit
|
commitdiff
|
tree
2007-04-28
S
v
en Verdoolaeg
e
doc: tr
a
ns
f
ormation of
p
aram
e
t
e
r do
m
ain to have revlex
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Ver
d
oolaege
ba
r
vin
o
k
.
cc: barvino
k
_count_f: avoid war
n
ing on recursive
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven
V
e
rdoo
l
aege
util
.
c
:
unimo
d
ular
_
com
p
lete: handle
comple
t
i
on of more
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
S
v
en Verdoolaege
bar
v
inok_enumerate
.
cc
:
hand
l
e all lines in --seri
e
s
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
S
v
en
V
e
r
d
oolaege
b
a
r
v
inok_enumerate
.
cc: series:
p
lug mem
o
r
y
leak
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoolaeg
e
doc: document left_inverse
commit
|
commitdiff
|
tree
next