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
oolaeg
e
b
arvinok 0
.
24
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
Verdo
o
laege
testlib
.
cc:
w
ork around incomplete namespac
e
su
p
po
r
t
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Ver
d
oola
e
ge
scale
.
c:
e
numerate_
n
arro
w
_flated: don't simp
l
ify
constraints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoola
e
ge
declare va
r
ia
b
les at star
t
of co
d
e
block
commit
|
commitdiff
|
tree
2007-06-30
S
ven Verdo
o
laege
do
c
:
update documentation of
options and s
o
me functio
n
s
commit
|
commitdiff
|
tree
2007-06-30
S
v
en Verdoolaege
Po
l
y
hedron_Sample
:
fac
t
or
polyh
e
dr
o
n i
f
poss
i
ble
commit
|
commitdiff
|
tree
2007-06-30
Sven
Verd
o
ola
e
ge
Polyhedron_Sample: compute v
e
rtices of 1D
p
o
lyhedra
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
Verdoolaeg
e
Polyhedron_Sampl
e
: remove all
equalities from polyhedron
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
add
p
ossibility to use GLPK as LP solv
e
r
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n
V
er
d
oolaege
P
o
lyhed
r
on_Sample: pos
t
pone remova
l
of rays un
t
i
l
we
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoola
e
ge
Polyhedro
n
_Sample: use lp solver for find
i
ng r
a
n
ge
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verd
o
olaege
lexmin: move choic
e
of lp solver t
o
use out
s
ide
basis
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n Verdoolaege
polysign
.
h: use cor
r
ec
t
n
ame of PL_p
o
l
yhedron_affi
n
e
_
sign
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
en Verdoolaege
ba
r
vinok
_
enumerate: plug m
e
m
ory
l
ea
k
in B
e
rn
o
ulli
approximation
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
ba
r
v
i
nok_enumerate_e
_
r
:
don't assume
A
ddCon
s
tra
i
n
t
s
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven V
e
rdoolaege
eval
u
e
_frac2pol
y
nomia
l
:
recheck ev
a
l
ue af
t
er evalue_split_do
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoo
l
aege
uti
l
.
c
:
L
i
ne_L
e
ng
t
h
: don't
get confused by pos
i
t
ivity
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
erd
o
olaege
Makefile
.
am:
stop after first fail
e
d te
s
t
commit
|
commitdiff
|
tree
2007-06-27
Sven V
e
r
d
oolaege
bernstein:
ca
r
r
y throug
h
va
r
iable renaming to debuggin
g
.
.
.
commit
|
commitdiff
|
tree
2007-06-27
Sven Ver
d
o
o
laege
be
r
nst
e
i
n: don't as
s
u
m
e
input
p
o
lyn
o
mial has b
e
en expanded
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdo
o
laege
evalue_read
.
c: co
r
re
c
t c
o
nstne
s
s of na
m
e
in parameter_new
commit
|
commitdiff
|
tree
2007-06-27
S
ven
Ve
r
doolaege
evalue
_
r
ead: acce
p
t constant mul
t
iple of variable with
o
ut
.
.
.
commit
|
commitdiff
|
tree
2007-06-16
S
v
en Ve
r
do
o
laege
ev
a
lue
.
c
:
evalue
_
sum: b
e
t
t
er handling of negative values
commit
|
commitdiff
|
tree
2007-06-15
Sven Verdoolaege
e
value
.
c
: reor
d
e
r_ter
m
s: f
i
x
t
ypo
commit
|
commitdiff
|
tree
2007-06-14
Sven Verdoolae
g
e
eval
u
e: declare first argument of emul const
commit
|
commitdiff
|
tree
2007-06-14
Sven Verdoolaege
eval
u
e
.
c: emul: don't
use e
x
pl
i
cit_complem
e
nt on argume
n
ts
commit
|
commitdiff
|
tree
2007-06-14
Sven Verdoolaege
add a test fo
r
evalue_split_p
e
ri
o
d
s
commit
|
commitdiff
|
tree
2007-06-12
Sven Verdoola
e
ge
e
v
alue
.
c: evalue
_
split_peri
o
d
s
:
mak
e
sure se
l
ected
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sven
Ve
r
doolaege
evalue
.
c: pol
y
no
m
ial_
p
r
o
jection: us
e
evalue
_
extract_affine
commit
|
commitdiff
|
tree
2007-06-10
Sven
Ver
d
oolaege
ad
d
a test for
b
a
rvi
n
o
k
_ma
x
imize and barvinok_summate
commit
|
commitdiff
|
tree
2007-06-10
Sven
Ve
r
doolaege
barvinok_
s
ummate: sup
p
ort verificat
i
on
o
f results
commit
|
commitdiff
|
tree
2007-06-10
Sven Verdoolaege
eva
l
ue
.
c:
e
value_sum: s
p
l
i
t
i
nto orthan
t
s +
s
ome refactor
i
n
g
commit
|
commitdiff
|
tree
2007-06-10
Sven Verdoolae
g
e
bar
v
inok_
u
nio
n
: use argp for arg
u
men
t
parsing
commit
|
commitdiff
|
tree
2007-06-09
Sven Verdoo
l
aeg
e
b
a
rvinok_enumerate_union_
s
e
ries_
w
ith_options:
f
ix t
y
p
o
commit
|
commitdiff
|
tree
2007-06-07
Sven Verdo
o
laege
ba
s
is_reductio
n
_
c
dd
.
cc:
g
et correct dual solution in
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sven Verdoolaege
ba
s
is_reduct
i
on
_
glp
k
.
c: correctly set type
o
f rows
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sven
V
erdoo
l
a
e
ge
basis_reduction_glp
k
.
c: ch
e
ck
f
o
r
sanity
o
f soluti
o
n
commit
|
commitdiff
|
tree
2007-06-06
Sven Verdoolaeg
e
options: me
n
t
i
on def
a
u
l
t and available
solv
e
rs fo
r
.
.
.
commit
|
commitdiff
|
tree
2007-06-06
Sven Verdoolae
g
e
po
l
yhedr
o
n_sample
:
take option
s
commit
|
commitdiff
|
tree
2007-06-06
Sven Ver
d
oolaege
doc
:
more ab
o
ut powe
r
s
ums
commit
|
commitdiff
|
tree
2007-06-04
Sven Ve
r
d
o
ola
e
ge
d
o
c: t
y
po
commit
|
commitdiff
|
tree
2007-05-30
Sven V
e
rdo
o
l
ae
g
e
doc: repeat Ma
t
thias' sto
p
p
e
d Barvinok experime
n
t
s
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sven Verdoolaege
add barvino
k
_s
u
mmate
t
o
sum a quasi-poly
n
o
mial
o
ver
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sven Verdoolaege
evalue_re
a
d: fi
x
for top-le
v
el frac
t
ional p
a
rt
commit
|
commitdiff
|
tree
2007-05-14
Sven Verdo
o
laege
b
ernoulli
.
c: Bernoul
l
i_
s
u
m_evalue: reduce resulting
.
.
.
commit
|
commitdiff
|
tree
2007-05-14
Sve
n
V
erdoola
e
ge
bernoulli
.
c
:
p
e
rform neste
d
sums approximation d
e
pth
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoola
e
g
e
add polynomial app
r
oximation based on nested sum
s
commit
|
commitdiff
|
tree
2007-05-13
Sven V
e
r
d
o
o
l
a
e
ge
util
.
c: e
x
tract for_each_
l
ow
e
r
_up
p
er_bound from ParamLine_Length
commit
|
commitdiff
|
tree
2007-05-13
Sven
V
erdoolaege
decom
p
oser: use NTL
t
o
i
nvert matrix rat
h
e
r
tha
n
co
n
vering
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdo
o
l
aege
lattice_
p
oint
.
cc:
a
llow ra
y
s and vertex to
have been
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven
Verdoolaege
counter: optimize
summing ov
e
r points in fundap
i
ped
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
lat
t
i
c
e_poi
n
t
.
c
c
:
a
v
oid convers
i
on b
e
twe
e
n
NTL and
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoo
l
aege
co
n
version
.
cc:
re
m
ove rays2matr
i
x
commit
|
commitdiff
|
tree
2007-05-13
Sven Ver
d
oolaege
eval
u
e
.
c: evalue_polyn
o
mial extracted from bar
v
ino
k
.
cc
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdo
o
laege
evalu
e
.
c: add ev
a
lue
_
negate
commit
|
commitdiff
|
tree
2007-05-13
Sven
Verdoola
e
ge
doc: a
note on the connection between Todd pol
y
nom
i
als
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven V
e
r
d
o
ol
a
ege
do
c
: po
i
nt
s
in
f
undap
i
ped: fix typo
commit
|
commitdiff
|
tree
2007-05-10
Sven Ver
d
oola
e
ge
barv
i
nok
.
cc: simplify dpoly_n constructo
r
commit
|
commitdiff
|
tree
2007-05-10
Sven
Verdoolaege
R
e
mov
e
"normalization"
o
r powe
r
s
i
n
de
n
o
minator on
.
.
.
commit
|
commitdiff
|
tree
2007-05-09
Sven V
e
rdoolaege
decomp
o
s
e
r
.
cc: pass options to triangula
t
e_cone
commit
|
commitdiff
|
tree
2007-05-08
Sven Verdoolaege
barvinok_cou
n
t: optionally
u
se ex
p
o
n
en
t
ial substi
t
utio
n
commit
|
commitdiff
|
tree
2007-05-08
S
v
en Ve
r
doolaege
counter
.
c
c
: extracted from
barvinok
.
cc
commit
|
commitdiff
|
tree
2007-05-08
Sven V
e
r
dool
a
ege
dpoly::div:
a
void
c
o
m
puta
t
ion w
i
t
h
rationa
l
numbers
.
.
.
commit
|
commitdiff
|
tree
2007-05-08
S
ven
V
erd
o
olae
g
e
dpoly:
u
se Value ins
t
ead o
f
Z
Z
commit
|
commitdiff
|
tree
2007-05-08
Sven
Verdoolaege
doc: fix typo
commit
|
commitdiff
|
tree
2007-05-02
Sven
Verd
o
olaege
a
dd test for latti
c
e
po
i
n
t
computation
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoo
l
aeg
e
evalue_r
e
ad
.
c: add evalue_read_from_str
for reading
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n V
e
r
doolaege
ev
a
lue_read_from_file: don
'
t m
o
dify
v
a
r
_list argument
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n Verdoolaege
e
v
a
lue_read: rea
d
more general e
v
a
lue
s
commit
|
commitdiff
|
tree
2007-05-02
S
v
en Verd
o
olaege
ev
a
lue_conver
t
.
cc
:
add missing in
c
l
ude
commit
|
commitdiff
|
tree
2007-05-02
S
v
en V
e
rdoola
e
g
e
conversion
.
h: gener
a
li
z
e
rays2matrix2 to zz2matrix
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
erdoolaege
lattice_poin
t
.
h:
m
ake self-co
n
tained
commit
|
commitdiff
|
tree
2007-05-02
Sven
Ve
r
doolaege
evalue_read: extract
fro
m
maximize
.
cc
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolae
g
e
e
n
umerator:
su
p
port primal (half-open) d
e
compositions
commit
|
commitdiff
|
tree
2007-05-02
Sven Ve
r
d
oolaege
enumerato
r
: handle (du
a
l
) stop
p
ed Barvinok de
c
omposition
commit
|
commitdiff
|
tree
2007-05-02
Sve
n
V
erdoolaeg
e
latti
c
e
_
poin
t
.
cc: remove unused PD argument
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
lattice_p
o
i
n
t
.
cc: extract
c
o
set ge
n
e
ration
commit
|
commitdiff
|
tree
2007-05-02
Sve
n
Verdoolaege
lattice_point
.
cc:
r
e
n
ame ceil_mod to fractio
n
a
l
_
p
art
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
lat
t
ice_point
.
c
c
:
us
e
s
o
m
e
he
l
per functions to simplify
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
lattice_poin
t
.
cc: implement lookup-
t
able version
in
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n Verdool
a
e
g
e
mov
e
mor
e
latt
i
ce p
o
int computations to lattice_point
.
cc
commit
|
commitdiff
|
tree
2007-05-02
Sve
n
V
e
r
d
oolaege
barvin
o
k
.
cc
:
lattic
e
_point: remove a s
p
ecial case
commit
|
commitdiff
|
tree
2007-05-02
Sven Ve
r
doolae
g
e
doc: integer
p
oi
n
ts in
f
undamental
par
a
llelep
i
ped:
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sve
n
Ver
d
o
ol
a
ege
util
.
c: export
Mat
r
ix_Transposi
t
i
o
n
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n
Verdoolaeg
e
util
.
c: ex
p
ort Vect
o
r_O
p
po
s
e
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdo
o
laege
scale
.
c
:
move P
a
ram_Vertex_Common_Denominator to
p
a
ra
m
_
u
t
i
l
.
c
commit
|
commitdiff
|
tree
2007-05-02
S
v
e
n Verdoolaege
ev
a
lue
.
c
:
add
evalue_add_constant
commit
|
commitdiff
|
tree
2007-05-02
Sven V
e
rdoolaege
e
v
alue
.
c: affi
n
e2
e
value:
skip ze
r
o coeffi
c
i
e
nts
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaeg
e
e
v
alue
.
c
: emul_poly: eff
i
ciently h
a
ndle
c
ase of mu
l
tiplicati
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
S
v
en Verdo
o
laege
b
u
mp version
commit
|
commitdiff
|
tree
2007-04-28
Sven V
e
rdoolaege
doc
:
upda
t
e options and so
m
e function
commit
|
commitdiff
|
tree
2007-04-28
S
v
en Ve
r
do
o
laege
d
oc: document vol
u
me c
o
mputation
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
d
o
c: more r
e
ports explai
n
ing
part
s
of ba
r
vinok
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdo
o
laege
be
r
nstein
:
b
u
mp
ver
s
ion
commit
|
commitdiff
|
tree
2007-04-28
S
v
en
V
erdoolaeg
e
doc: transfo
r
mat
i
o
n
of pa
r
ameter domain to have r
e
vl
e
x
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
b
a
rvinok
.
cc:
b
a
r
vi
n
o
k
_count_f: avoid warning on recursiv
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sve
n
Verdoolaege
util
.
c
:
unimodular_co
m
plete: hand
l
e comple
t
ion of
more
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoolaege
barvinok_e
n
umerate
.
cc: handle all l
i
nes in
-
-
s
e
ri
e
s
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoo
l
aeg
e
barvinok_enumera
t
e
.
cc: series: plug memory leak
commit
|
commitdiff
|
tree
2007-04-26
Sv
e
n
V
e
r
doolaege
doc: d
o
cument left_
i
nve
r
s
e
commit
|
commitdiff
|
tree
next