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
util.c: remove_equalities: fix typo
2007-07-31
Sven Verdoolaege
u
ti
l
.
c: remove_equalities: fix ty
p
o
commit
|
commitdiff
|
tree
2007-07-30
Sven
V
erdo
o
laege
Param_Polyhedron
_
Pr
i
nt: print eve
r
y
t
hing to g
i
ven f
i
le
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoola
e
ge
barvinok_enumerate_with_options
:
don
'
t add con
t
e
xt
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven Ver
d
oolaeg
e
barvinok
.
cc
:
don't fre
e
P a
r
gument in enumerate
commit
|
commitdiff
|
tree
2007-07-29
Sven
Ve
r
doolaeg
e
remove_all_equalities: also remove eq
u
alities in context
commit
|
commitdiff
|
tree
2007-07-29
Sve
n
Verdoolaege
v
olume
.
c: avoi
d
wa
r
nings
commit
|
commitdiff
|
tree
2007-07-27
Sven Verdo
o
laege
export Param_Inner_Product
commit
|
commitdiff
|
tree
2007-07-25
Sven Verdoolaege
ba
r
v
i
nok_
e
numerate
.
cc: add min
i
mal check o
n
input
commit
|
commitdiff
|
tree
2007-07-19
S
ven Verdo
o
laege
mor
e
prototy
p
e ch
a
nges to c
o
nst char *
commit
|
commitdiff
|
tree
2007-07-19
Sven Verdoolaege
ev
a
l
u
e: pr
i
nt_evalue: make para
m
eter
names co
n
st char*s
commit
|
commitdiff
|
tree
2007-07-11
S
v
en Ve
r
doolaege
Always compile polytope_s
c
an
commit
|
commitdiff
|
tree
2007-07-11
Sven Verd
o
o
l
aege
p
o
lytop
e
_scan: us
e
argp for argum
e
nt parsing
commit
|
commitdiff
|
tree
2007-07-05
Sven Verdoolae
g
e
doc: fix
ty
p
o
commit
|
commitdiff
|
tree
2007-07-04
Sven Verdoolaeg
e
configu
r
e
.
in
:
allow
s
pecif
i
c
ation
o
f default prefix
.
.
.
commit
|
commitdiff
|
tree
2007-07-03
Sv
e
n
V
erdoolaege
consolidat
e
calls to Po
l
yhed
r
on2Param_Domain
commit
|
commitdiff
|
tree
2007-07-03
Sven
Verdoolaege
volum
e
.
c: f
i
x
typo in comment
commit
|
commitdiff
|
tree
2007-07-01
Sven
Verdoolae
g
e
Mak
e
f
ile
.
a
m: add $(EXEEXT
)
fo
r
cygwin
commit
|
commitdiff
|
tree
2007-07-01
Sven Verdoolaege
Makef
i
le
.
a
m
: force re
b
uild
l
ibraries in subdirs if
.
.
.
commit
|
commitdiff
|
tree
2007-07-01
Sven Verdoolaege
only test barvino
k
_m
a
ximize if it
h
as bee
n
/ca
n
b
e
create
d
commit
|
commitdiff
|
tree
2007-06-30
S
v
en Verdo
o
la
e
ge
barv
i
nok 0
.
24
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
tes
t
lib
.
cc:
w
o
rk around
i
ncompl
e
te nam
e
s
p
ac
e
suppor
t
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
scale
.
c: enume
r
ate_narrow
_
flated: don'
t
simp
l
ify
constraints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verd
o
olaege
declare variables at
st
a
rt of c
o
de bloc
k
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
d
o
c:
u
pdate d
o
c
u
mentation of options
a
nd s
o
me
f
unctions
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
er
d
o
olaege
P
olyhedron_S
a
mple: factor polyhedron if pos
s
i
ble
commit
|
commitdiff
|
tree
2007-06-30
Sven V
e
rdoo
l
aege
P
olyhedron
_
Sampl
e
: comput
e
v
ertices of 1D
p
oly
h
edra
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
en Verdoola
e
ge
P
o
l
y
h
e
dro
n
_S
a
mple:
r
emo
v
e
al
l
equalities from polyhedron
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
ven
Verdoolaege
add possibili
t
y
t
o
u
se GLP
K
as LP solve
r
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
P
o
lyhedr
o
n_Sample: pos
t
p
one remova
l
of ray
s
u
n
til we
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
en
Verd
o
olaege
P
o
lyhedron_Sa
m
ple:
use lp solv
e
r for finding range
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
en
V
erdoolae
g
e
le
x
min: move choi
c
e of lp solver to use outside basis
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoola
e
ge
p
o
l
ysign
.
h: use correct nam
e
of
P
L_po
l
y
h
edron_
a
f
f
i
ne_
s
ign
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
er
d
o
o
l
a
ege
ba
r
vinok_en
u
merat
e
: plu
g
memory lea
k
in Bernoulli
approxi
m
ation
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdool
a
ege
b
a
rvin
o
k
_
enumerate_e
_
r
: don't a
s
s
um
e
Ad
d
C
o
n
straints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
erdoolaege
evalue_frac2polynomial: r
e
check eval
u
e after evalue_split_do
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdo
o
laege
uti
l
.
c
: Line_L
e
ngt
h
: don'
t
get confu
s
e
d b
y
posi
t
ivity
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
er
d
oolaege
Makefile
.
am
:
stop after fir
s
t
f
aile
d
te
s
t
commit
|
commitdiff
|
tree
2007-06-27
S
ven
Verdoolaege
ber
n
stein
:
carry
t
h
r
ough variab
l
e renaming to d
e
bu
g
ging
.
.
.
commit
|
commitdiff
|
tree
2007-06-27
Sven
V
e
r
d
o
olaege
bernstein
:
don'
t
assume input polynom
i
a
l has been expanded
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdoolaege
evalue_read
.
c: correct constne
s
s
o
f name in parameter_new
commit
|
commitdiff
|
tree
2007-06-27
Sve
n
V
e
rdoolaege
evalue_r
e
ad:
accept con
s
tant multi
p
le of variable
without
.
.
.
commit
|
commitdiff
|
tree
2007-06-16
Sv
e
n Verdoolaege
ev
a
lue
.
c: evalue_sum: better handling of
n
egative values
commit
|
commitdiff
|
tree
2007-06-15
S
ven
Verdoolaege
evalue
.
c: reord
e
r_
t
erm
s
:
fix typo
commit
|
commitdiff
|
tree
2007-06-14
Sven
Verdoolaeg
e
evalu
e
: declare
first argume
n
t o
f
emul const
commit
|
commitdiff
|
tree
2007-06-14
Sv
e
n
V
e
r
doolaege
eva
l
ue
.
c: emul: don't
use explicit_complement on arguments
commit
|
commitdiff
|
tree
2007-06-14
S
v
en Verd
o
olaege
add a test for
e
value_split_p
e
r
io
d
s
commit
|
commitdiff
|
tree
2007-06-13
Harald
.
De
v
o
s
@elis
.
.
.
fi
n
d_fractional_with_
m
a
x
_period
s
: i
n
itialize loc
a
l
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
S
v
en Verdo
o
laege
evalue
.
c: evalue_split_pe
r
iods: m
a
k
e
sure
s
e
lected
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sven
V
er
d
oolaege
evalue
.
c: polynomia
l
_projection: use eva
l
ue_extract_
a
ffine
commit
|
commitdiff
|
tree
2007-06-10
Sven Verdo
o
lae
g
e
add a t
e
s
t
for bar
v
inok_ma
x
i
miz
e
and
b
arvino
k
_
summate
commit
|
commitdiff
|
tree
2007-06-10
Sv
e
n Verdoolaege
b
a
rvinok_summate: support verifica
t
io
n
o
f
re
s
ults
commit
|
commitdiff
|
tree
2007-06-10
Sven Verdoolaege
ev
a
lue
.
c
:
e
valu
e
_sum
:
split into orthants
+
some refactoring
commit
|
commitdiff
|
tree
2007-06-10
Sven Verdo
o
laeg
e
ba
r
v
inok_union: use argp f
o
r a
r
gument pa
r
sing
commit
|
commitdiff
|
tree
2007-06-09
S
v
e
n Verdoolaege
ba
r
vinok_en
u
merate_union_
s
eries_
w
ith_options:
f
ix
typo
commit
|
commitdiff
|
tree
2007-06-07
Sven Verdool
a
e
ge
b
asis_redu
c
tion_cd
d
.
cc:
g
et correct dua
l
solution in
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sve
n
Verdoolaege
basis_reduction
_
glpk
.
c: corre
c
t
l
y set type of rows
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sv
e
n Verdoolaege
basis_reduction_gl
p
k
.
c: chec
k
fo
r
sanity
o
f solution
commit
|
commitdiff
|
tree
2007-06-06
S
ve
n
V
erdoolaege
option
s
: m
e
ntion
d
efault
and
a
va
i
la
b
le solvers for
.
.
.
commit
|
commitdiff
|
tree
2007-06-06
Sven Verdoolaege
polyhedron_s
a
mple: take optio
n
s
commit
|
commitdiff
|
tree
2007-06-06
S
v
en Ve
r
d
oolae
g
e
doc: mor
e
abo
u
t po
w
er sums
commit
|
commitdiff
|
tree
2007-06-04
Sv
e
n Verd
o
olaege
d
oc: typo
commit
|
commitdiff
|
tree
2007-05-30
Sven Ve
r
doo
l
ae
g
e
d
o
c
:
repe
a
t Mat
t
hias
'
st
o
pped Barvinok experime
n
t
s
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
S
v
en Verdoo
l
ae
g
e
add b
a
rvinok_summate to sum a quasi
-
po
l
yno
m
i
al over
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sven V
e
r
d
oolaege
evalue_read: fix for top-level
fractio
n
al part
commit
|
commitdiff
|
tree
2007-05-14
S
ven
Verdoolaeg
e
bernoulli
.
c: Bernoul
l
i_sum_eva
l
ue
:
reduce result
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-05-14
Sven
V
erdo
o
lae
g
e
bernoulli
.
c: p
e
rform n
e
sted sums
app
r
ox
i
mation
depth
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
add polynomial approximation based
on nested
sums
commit
|
commitdiff
|
tree
2007-05-13
Sven
Verdoolaege
u
til
.
c
:
extract for_each_lower_upper_bound f
r
o
m Param
L
ine_Le
n
gth
commit
|
commitdiff
|
tree
2007-05-13
Sven Ver
d
oolaege
decomposer: use NTL to invert matrix r
a
ther
than convering
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Ve
r
d
oolaege
lat
t
ice_p
o
int
.
cc:
allow
rays and v
e
rtex to have
b
e
en
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
coun
t
er:
o
pt
i
mize
s
ummin
g
over
p
oints in fundapipe
d
commit
|
commitdiff
|
tree
2007-05-13
S
v
en
V
e
rdoolaege
lattice
_
point
.
cc: avoid
c
o
nve
r
sio
n
between NTL and
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
S
ven Verdool
a
ege
con
v
e
rsion
.
cc: remove rays2matrix
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdool
a
ege
e
value
.
c:
e
va
l
ue
_
polynomial extracted from bar
v
i
nok
.
cc
commit
|
commitdiff
|
tree
2007-05-13
Sven V
e
rdoolaege
ev
a
lue
.
c: add evalue_n
e
gate
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoola
e
ge
doc: a note
o
n the c
o
nn
e
ction between Todd p
o
lynomia
l
s
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
S
v
e
n
V
erdoolaege
doc: points i
n
fundapiped
:
f
i
x typ
o
commit
|
commitdiff
|
tree
2007-05-10
Sven Verdool
a
ege
barvinok
.
cc: simplify d
p
oly_n constructor
commit
|
commitdiff
|
tree
2007-05-10
Sven Verdoolaege
Re
m
o
ve
"normali
z
ati
o
n
" or powers in de
n
ominator on
.
.
.
commit
|
commitdiff
|
tree
2007-05-09
Sven
V
erdoolaege
decomp
o
ser
.
cc: pass o
p
tions to
tr
i
angul
a
te_cone
commit
|
commitdiff
|
tree
2007-05-08
S
v
en V
e
r
doolae
g
e
barvinok_count: optionally use
exponentia
l
substi
t
ution
commit
|
commitdiff
|
tree
2007-05-08
Sven Verdoolae
g
e
counter
.
cc:
e
xtracted from b
a
rvinok
.
cc
commit
|
commitdiff
|
tree
2007-05-08
Sven Verdoolaege
dpoly::div: avo
i
d
computation with ra
t
ional number
s
.
.
.
commit
|
commitdiff
|
tree
2007-05-08
Sve
n
Verdoolaege
dpoly: use
V
a
l
ue
instead of
Z
Z
commit
|
commitdiff
|
tree
2007-05-08
Sven Verdoola
e
ge
d
oc: fix typo
commit
|
commitdiff
|
tree
2007-05-02
S
v
e
n
Verdo
o
l
aege
add test for lattice point computation
commit
|
commitdiff
|
tree
2007-05-02
Sven
Verdoolaege
e
v
a
l
ue_re
a
d
.
c
:
add evalue
_
r
e
ad_from_str for rea
d
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
e
v
alue
_
rea
d
_fro
m
_
fil
e
: don't m
o
dify va
r
_list argu
m
en
t
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
e
value
_
r
ead:
r
ead m
o
r
e gener
a
l eval
u
es
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdo
o
laege
evalue_
c
o
nve
r
t
.
c
c
: add missing i
n
clude
commit
|
commitdiff
|
tree
2007-05-02
Sven
Ver
d
oolaeg
e
con
v
ersion
.
h: g
e
ner
a
lize rays2matrix2 to zz2matrix
commit
|
commitdiff
|
tree
2007-05-02
Sven V
e
rdoolaege
lattice_p
o
i
nt
.
h: m
a
ke self-
c
ontain
e
d
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n Verdo
o
laege
evalue_read: extract f
r
o
m
maxi
m
ize
.
cc
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
e
rdoolaeg
e
enumera
t
o
r
: suppo
r
t pr
i
ma
l
(half-open)
d
e
c
ompos
i
tions
commit
|
commitdiff
|
tree
2007-05-02
Sve
n
Verdoolae
g
e
enumerator: h
a
ndle (dual) st
o
pped B
a
rvinok decomposition
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdool
a
e
ge
lattice_point
.
cc: r
e
move un
u
sed PD
a
rg
u
ment
commit
|
commitdiff
|
tree
2007-05-02
S
v
e
n
Verdoola
e
g
e
lattice_po
i
n
t
.
cc:
e
xtract cos
e
t g
e
neration
commit
|
commitdiff
|
tree
2007-05-02
S
v
en
V
e
rdo
o
laege
lattice
_
po
i
nt
.
cc: rena
m
e ceil_mod to
fractional
_
part
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
erdoola
e
ge
latt
i
c
e
_poin
t
.
cc: use
some
h
elper functions
t
o sim
p
li
f
y
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoola
e
ge
latti
c
e_point
.
cc: imp
l
e
ment
l
ook
u
p-table v
e
rsion in
.
.
.
commit
|
commitdiff
|
tree
next