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
only test barvinok_maximize if it has been/can be created
2007-07-01
Sven Verdoolaege
only t
e
st
bar
v
inok_m
a
ximize if
i
t has been/can
b
e cr
e
ated
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
erd
o
o
l
a
ege
barvinok 0
.
24
commit
|
commitdiff
|
tree
2007-06-30
Sven Ver
d
oolaege
testlib
.
cc: work ar
o
un
d
incomplete na
m
espace support
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n Verdoolae
g
e
s
c
al
e
.
c: enu
m
erate_narrow_flated: don't
simplify constraints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
decl
a
re variabl
e
s a
t
start
o
f code block
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
Verdoo
l
aege
doc: upd
a
te documentation of
o
p
tions and s
o
me functions
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
P
olyhedron_
S
am
p
le: factor polyhedron if possible
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n Verdoolaege
Polyhedron
_
Sa
m
ple: comput
e
vertices of
1D polyhedra
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Ver
d
o
o
laege
Pol
y
hedr
o
n_Sample: remo
v
e all eq
u
al
i
ti
e
s fr
o
m polyhedron
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
add possibility to use GLPK as LP
s
olver
commit
|
commitdiff
|
tree
2007-06-30
S
ven Verdoolaege
Polyhedron_Sample: postpone removal of rays until we
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Ver
d
oolaege
Polyhedron_Sample: use lp sol
v
er for fin
d
ing range
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdool
a
e
g
e
lexmin: move c
h
oice of lp solve
r
to use outside basis
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
en Verdoola
e
ge
polysign
.
h: use correct name
o
f
PL_polyhed
r
on_af
f
ine
_
sign
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Ve
r
do
o
laege
barvinok_enumerate
:
plug me
m
ory leak in Be
r
noull
i
ap
p
roximati
o
n
commit
|
commitdiff
|
tree
2007-06-30
Sven V
e
rdoolaege
barvi
n
ok_enum
e
rat
e
_e_
r
:
don't assume AddConstraints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven V
e
rdoolaeg
e
evalue_frac2p
o
l
y
nomi
a
l: r
e
ch
e
c
k evalue after evalue_sp
l
it_do
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
ven Verdoolaege
u
til
.
c
:
Line_Le
n
gth: don't g
e
t
c
onfused b
y
posi
t
ivity
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
Verdo
o
laege
Makefile
.
am:
stop after first
f
ailed test
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdo
o
l
a
e
ge
b
ernstein: carry
through variable ren
a
ming
t
o debuggi
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-06-27
Sven Verd
o
olaege
bernstein: don't assume input p
o
lynomial ha
s
been
expanded
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdoolaege
evalue_read
.
c
: cor
r
e
c
t constness of name in parame
t
er_n
e
w
commit
|
commitdiff
|
tree
2007-06-27
Sv
e
n Verdoolaege
eval
u
e_read: acce
p
t cons
t
a
nt mult
i
ple of variable w
i
thout
.
.
.
commit
|
commitdiff
|
tree
2007-06-16
Sv
e
n Ve
r
doolaege
evalue
.
c
: eval
u
e
_sum: bet
t
er h
a
n
dlin
g
of negative value
s
commit
|
commitdiff
|
tree
2007-06-15
Sven Verdo
o
laege
e
v
alue
.
c
:
r
e
order_terms: fix typo
commit
|
commitdiff
|
tree
2007-06-14
Sven
Verdoolae
g
e
evalue:
d
e
cla
r
e first
arg
u
ment of
e
mul
c
onst
commit
|
commitdiff
|
tree
2007-06-14
Sven V
e
r
d
ool
a
ege
e
value
.
c:
emu
l
:
don
'
t use explicit
_
complemen
t
on
a
rguments
commit
|
commitdiff
|
tree
2007-06-14
Sven Verdool
a
ege
a
dd a
t
est for e
v
alue
_
split_periods
commit
|
commitdiff
|
tree
2007-06-12
Sven Verd
o
o
laege
evalue
.
c: evalue_split_periods: make s
u
re s
e
lected
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sven
Verdo
o
laege
ev
a
lue
.
c: polynomial
_
projecti
o
n: use evalue_extract_affin
e
commit
|
commitdiff
|
tree
2007-06-10
Sven
Verdoolaege
add a test for barv
i
nok_m
a
ximi
z
e
a
n
d barvinok_s
u
mma
t
e
commit
|
commitdiff
|
tree
2007-06-10
Sv
e
n Verd
o
olaege
barvinok_summate: s
u
pport verificati
o
n of results
commit
|
commitdiff
|
tree
2007-06-10
Sven Verdoo
l
aege
eval
u
e
.
c: eval
u
e_s
u
m: split into orth
a
nts + some refa
c
toring
commit
|
commitdiff
|
tree
2007-06-10
Sve
n
Ver
d
o
olaege
barvi
n
o
k_union: use ar
g
p
for
a
rgument
p
ar
s
i
n
g
commit
|
commitdiff
|
tree
2007-06-09
S
v
en Verdoo
l
aege
barvinok_enumerate_un
i
on_series_wi
t
h_option
s
: f
i
x typo
commit
|
commitdiff
|
tree
2007-06-07
Sv
e
n
V
e
r
dool
a
ege
basis_red
u
ct
i
on_cdd
.
cc: get correct dual solu
t
ion in
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sven Verdoo
l
aege
basis_reduct
i
on_glpk
.
c
: correctly set type of rows
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
S
v
en Verdo
o
laege
basis_
r
edu
c
tion_glpk
.
c: check
for san
i
ty of solut
i
on
commit
|
commitdiff
|
tree
2007-06-06
S
ven Verdoo
l
a
e
ge
options: mention d
e
fault and available
s
olvers f
o
r
.
.
.
commit
|
commitdiff
|
tree
2007-06-06
Sven
Verdoolaege
poly
h
edron_sample: take opti
o
n
s
commit
|
commitdiff
|
tree
2007-06-06
Sven Ver
d
oola
e
ge
doc: more about power su
m
s
commit
|
commitdiff
|
tree
2007-06-04
Sven Verdoolaege
do
c
: ty
p
o
commit
|
commitdiff
|
tree
2007-05-30
S
v
en Ver
d
oolaege
doc
:
repeat Mat
t
h
ia
s
' sto
p
ped Barvinok experime
n
ts
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sve
n
Verdoolaege
add
barvinok
_
s
u
mma
t
e
t
o
sum a quasi-polynomial over
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sven V
e
rdoolaege
evalue_read: fix for to
p
-level
f
ract
i
onal part
commit
|
commitdiff
|
tree
2007-05-14
Sven Verd
o
o
l
ae
g
e
bernoull
i
.
c: B
e
rn
o
u
ll
i
_sum_eval
u
e: reduce resulting
.
.
.
commit
|
commitdiff
|
tree
2007-05-14
S
v
en Verdoolaeg
e
bernoulli
.
c: perform
n
ested
s
ums approximation
dep
t
h
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
S
ve
n
Verdoolaege
a
dd polynomial approximat
i
on based on nested sums
commit
|
commitdiff
|
tree
2007-05-13
Sv
e
n
V
erdoolaege
ut
i
l
.
c: ex
t
ract
f
or_
e
ach_lower_upper_bound fro
m
ParamLine_Leng
t
h
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
d
ec
o
mposer: u
s
e NTL
to i
n
ve
r
t
matrix rather than convering
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
lattice
_
po
i
nt
.
c
c: a
l
low rays and v
e
rtex to have been
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
counte
r
: optimiz
e
summing o
v
er poi
n
ts in f
u
ndapiped
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
lattice_poi
n
t
.
cc: avoid conversion between NTL and
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
S
v
en
V
e
rdoolaege
c
o
n
vers
i
on
.
cc:
remove rays2
m
atrix
commit
|
commitdiff
|
tree
2007-05-13
Sv
e
n
Verdoolaege
eva
l
ue
.
c
:
eval
u
e
_
polynomial e
x
tra
c
ted from barvinok
.
cc
commit
|
commitdiff
|
tree
2007-05-13
S
v
e
n
Ver
d
oola
e
g
e
evalue
.
c
: add evalu
e
_negate
commit
|
commitdiff
|
tree
2007-05-13
Sven V
e
rdo
o
l
a
ege
d
o
c: a not
e
on
t
he conn
e
ction b
e
twee
n
T
o
dd polynomials
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoo
l
a
ege
do
c
:
points in fundapi
p
ed: fix t
y
po
commit
|
commitdiff
|
tree
2007-05-10
S
v
e
n Verdool
a
ege
barvinok
.
cc: si
m
pl
i
fy dpol
y
_n constru
c
tor
commit
|
commitdiff
|
tree
2007-05-10
Sven Verdoolaege
Remove "no
r
mal
i
za
t
ion" or powers
in
d
e
n
omina
t
or on
.
.
.
commit
|
commitdiff
|
tree
2007-05-09
Sven Verdoolaege
deco
m
poser
.
cc:
p
ass options
t
o t
r
iangulate_c
o
ne
commit
|
commitdiff
|
tree
2007-05-08
Sven
V
erdo
o
l
aege
b
a
rvinok_count: optionally use exponential substi
t
ution
commit
|
commitdiff
|
tree
2007-05-08
Sven V
e
rd
o
olaege
co
u
n
t
er
.
cc:
e
xtracted from b
a
rvinok
.
cc
commit
|
commitdiff
|
tree
2007-05-08
S
ven
Verdool
a
ege
dpoly::d
i
v:
a
void computation with rational
numbers
.
.
.
commit
|
commitdiff
|
tree
2007-05-08
Sven Verdoolae
g
e
d
poly: use Value instead of ZZ
commit
|
commitdiff
|
tree
2007-05-08
Sven
Verdoolaege
doc:
f
ix typo
commit
|
commitdiff
|
tree
2007-05-02
S
ven Verdoolaege
add test
for lattice point computation
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
evalue
_
r
e
ad
.
c:
a
dd evalue_read_from_
s
tr
f
o
r
r
e
ading
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sve
n
Verdoola
e
ge
e
v
alue_read_from_file: do
n
'
t
mo
d
i
f
y var_list arg
u
me
n
t
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
e
v
alue_read: read
more general
e
values
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n
Verdoo
l
a
e
ge
e
value_convert
.
cc: a
d
d
m
i
ssing include
commit
|
commitdiff
|
tree
2007-05-02
Sven Ve
r
doolaege
conv
e
rsion
.
h: general
i
ze
r
ays
2
matr
i
x2 to zz2ma
t
rix
commit
|
commitdiff
|
tree
2007-05-02
Sven
Verdoolaege
lattice_p
o
int
.
h: mak
e
self-co
n
tained
commit
|
commitdiff
|
tree
2007-05-02
S
v
en Verd
o
o
l
a
e
g
e
eva
l
ue_read:
e
xtra
c
t from m
a
ximize
.
c
c
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdo
o
laege
enumerator: supp
o
rt primal (hal
f
-open) decom
p
o
s
itions
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
enumera
t
or
:
handle (d
u
al) stopped Barvino
k
decompositio
n
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
erdoolaege
l
a
ttice_point
.
cc: r
e
mov
e
unused PD argumen
t
commit
|
commitdiff
|
tree
2007-05-02
Sven Ver
d
oolaege
lat
t
ice_point
.
cc:
extract cose
t
generation
commit
|
commitdiff
|
tree
2007-05-02
S
v
en Verdoolaege
lattice_
p
oint
.
cc: rename ceil_mo
d
to frac
t
ional_part
commit
|
commitdiff
|
tree
2007-05-02
Sven
Verd
o
olaege
l
att
i
ce_po
i
nt
.
c
c
:
use some helpe
r
f
uncti
o
ns to simplif
y
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdo
o
lae
g
e
lattice_
p
oi
n
t
.
cc
:
i
m
pleme
n
t lookup-table versi
o
n in
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n
V
e
rdo
o
lae
g
e
move more lat
t
ice po
i
nt computations to lattice_
p
oin
t
.
cc
commit
|
commitdiff
|
tree
2007-05-02
Sve
n
Verdoola
e
ge
barvi
n
ok
.
cc: latt
i
ce_point: remove
a specia
l
case
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
doc: i
n
t
eger points
i
n fundamental parallelepiped
:
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
S
ven V
e
rdoolaege
util
.
c
:
export M
a
tr
i
x_Transposition
commit
|
commitdiff
|
tree
2007-05-02
S
ven Verdoolae
g
e
util
.
c: e
x
port Vector_Oppose
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
scale
.
c: move Param_Vertex_
C
ommon_Denomina
t
or to
param_u
t
il
.
c
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
evalue
.
c:
add
evalu
e
_add_co
n
stant
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
eval
u
e
.
c:
a
ffine2evalue: skip zero coef
f
icients
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n
Verdoolaege
evalue
.
c
:
emul_poly: efficiently
h
andle
case of multiplicati
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
bump v
e
rsion
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdo
o
la
e
g
e
doc: update options and some function
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdo
o
laege
doc: docu
m
en
t
volume
computation
commit
|
commitdiff
|
tree
2007-04-28
Sve
n
Verdoolaeg
e
doc
:
mo
r
e report
s
expla
i
ning pa
r
ts of
b
arvinok
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
bernstein:
bu
m
p
v
ersi
o
n
commit
|
commitdiff
|
tree
2007-04-28
Sven V
e
rdoolaege
doc: transfo
r
ma
t
i
o
n o
f
parameter domai
n
to have revlex
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
barv
i
nok
.
cc:
barvinok_count_f:
a
vo
i
d warning on recursiv
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven
Ver
d
ool
a
e
ge
util
.
c: unimodular_complete: handl
e
c
o
mpletion of
more
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sven Verd
o
olaege
barvinok_e
n
umerat
e
.
cc: ha
n
dl
e
all lines in
--se
r
i
es
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoolaege
barv
i
nok_enumerate
.
c
c
:
s
e
ries: plug
m
emor
y
leak
commit
|
commitdiff
|
tree
next