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
polytope_scan: use argp for argument parsing
2007-07-11
Sven Ve
r
doola
e
ge
polytope_scan: u
s
e argp fo
r
argument parsing
commit
|
commitdiff
|
tree
2007-07-05
Sve
n
Verdoolaege
doc:
fix ty
p
o
commit
|
commitdiff
|
tree
2007-07-04
Sven V
e
rdoolaeg
e
con
f
igu
r
e
.
in: allow specif
i
cation of d
e
fault prefix
.
.
.
commit
|
commitdiff
|
tree
2007-07-03
Sven
Verdoolaege
consolid
a
t
e
c
a
l
ls
to P
o
lyhedron2Param_Doma
i
n
commit
|
commitdiff
|
tree
2007-07-03
Sven Verdoolaege
vo
l
ume
.
c
: fix typo
in comment
commit
|
commitdiff
|
tree
2007-07-01
Sven Verdoolaege
Make
f
i
l
e
.
am: add $(E
X
EEXT) for cy
g
win
commit
|
commitdiff
|
tree
2007-07-01
Sven
V
erdoolaege
Makefile
.
am:
forc
e
r
e
build libr
a
ries in
su
b
dirs i
f
.
.
.
commit
|
commitdiff
|
tree
2007-07-01
Sven Verdoolaege
only test barvinok_maximize if
i
t
h
as
been/can be created
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n Verdoolaege
bar
v
in
o
k
0
.
24
commit
|
commitdiff
|
tree
2007-06-30
Sven Ve
r
doola
e
ge
testlib
.
cc: wo
r
k around
i
n
complete namespace s
u
p
p
ort
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
sca
l
e
.
c
: enumerate
_
nar
r
ow_
f
lated: don't simplify constrai
n
ts
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Ver
d
o
o
l
aege
declare
v
ariables
at start of code block
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
Ve
r
doola
e
ge
d
oc: up
d
ate docum
e
ntation of opti
o
ns a
n
d
s
ome f
u
nctions
commit
|
commitdiff
|
tree
2007-06-30
Sven V
e
rdoolaege
Polyhedron_Sample:
f
actor
pol
y
hedron if
poss
i
ble
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
Pol
y
hedr
o
n_Samp
l
e:
c
om
p
ut
e
vert
i
ces
of 1D po
l
yhedra
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
Poly
h
edron_Sam
p
l
e
: remove all equ
a
lities from polyhedr
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n Verdoo
l
aege
ad
d
possibi
l
ity
to u
s
e
GLPK
as LP solve
r
commit
|
commitdiff
|
tree
2007-06-30
Sven V
e
r
doolaeg
e
Polyhedron
_
Sample: postpone removal of
ra
y
s unti
l
we
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n Verdoolaege
P
ol
y
hed
r
on_Sa
m
p
l
e:
u
s
e lp solver for
finding ran
g
e
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoola
e
ge
lexmin: move
ch
o
ice of lp solver to use outsid
e
basis
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Ve
r
doolaeg
e
polysign
.
h: use correct name
o
f
PL_p
o
lyhed
r
on_
a
ffine_sign
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
Verdoolaege
barvinok_enumerate: plug memory leak
in Bernou
l
li ap
p
roxima
t
i
o
n
commit
|
commitdiff
|
tree
2007-06-30
Sven Ver
d
oolaege
b
a
rvin
o
k_enumerate_
e
_
r
: don't assume AddConstraints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
evalue_frac2polynomial:
re
c
h
e
ck ev
a
l
u
e
a
f
ter
eva
l
ue_
s
plit_do
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
util
.
c: Line_Length:
don't
g
e
t
con
f
used by positivity
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven V
e
rdoolae
g
e
Makefil
e
.
am: stop a
f
ter fir
s
t failed test
commit
|
commitdiff
|
tree
2007-06-27
Sven
V
erdoolae
g
e
bernstein:
c
arry through variab
l
e renamin
g
t
o
debugging
.
.
.
commit
|
commitdiff
|
tree
2007-06-27
Sv
e
n
V
erdoolaege
b
ernstein: don't as
s
ume
input polyn
o
mial has been expanded
commit
|
commitdiff
|
tree
2007-06-27
Sven Ver
d
o
o
laege
evalue_read
.
c: correct constness of n
a
me in parameter_new
commit
|
commitdiff
|
tree
2007-06-27
Sve
n
V
erd
o
olae
g
e
evalu
e
_
read:
accept
constant multiple of variable witho
u
t
.
.
.
commit
|
commitdiff
|
tree
2007-06-16
Sven V
e
rdoolaege
evalue
.
c: evalue_sum: better h
a
ndli
n
g of negati
v
e
values
commit
|
commitdiff
|
tree
2007-06-15
S
ven
V
e
r
doola
e
g
e
evalue
.
c: reorder_t
e
rms: fix typo
commit
|
commitdiff
|
tree
2007-06-14
Sven Verdoolaege
evalue: dec
l
ar
e
first argument of emul const
commit
|
commitdiff
|
tree
2007-06-14
S
ven Verdoolaege
e
v
alue
.
c: emul: d
o
n't use explicit_co
m
ple
m
ent on arguments
commit
|
commitdiff
|
tree
2007-06-14
Sven
V
erd
o
olae
g
e
a
dd a test for
e
va
l
ue_s
p
lit_
p
eriods
commit
|
commitdiff
|
tree
2007-06-12
Sven Ve
r
d
o
ol
a
ege
e
v
alue
.
c: evalue_split_periods: mak
e
sure
selected
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sven Verdoo
l
aege
evalue
.
c: polyno
m
ia
l
_
p
r
ojection: use evalue
_
extrac
t
_affine
commit
|
commitdiff
|
tree
2007-06-10
S
v
en
Verdoolaege
a
dd a test for ba
r
vinok_maximize and
barvino
k
_summate
commit
|
commitdiff
|
tree
2007-06-10
Sven Verdoolaege
barvino
k
_summate: s
u
pport verification of results
commit
|
commitdiff
|
tree
2007-06-10
S
v
en Verdoolaege
e
v
a
lu
e
.
c: ev
a
lue_sum: split
i
nto
ort
h
a
n
t
s + some refactorin
g
commit
|
commitdiff
|
tree
2007-06-10
Sven Verdoolaeg
e
barv
i
n
ok_
u
nion: use argp for argument parsing
commit
|
commitdiff
|
tree
2007-06-09
Sven V
e
rdo
o
laeg
e
barvinok_enumerate_union_ser
i
es_with_op
t
ions: fi
x
typo
commit
|
commitdiff
|
tree
2007-06-07
S
v
en
V
er
d
o
o
l
aeg
e
b
a
si
s
_
r
educ
t
ion_cdd
.
cc: get correct dual
s
o
lution
i
n
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sven Verdoolaege
basis_reduction_g
l
pk
.
c: cor
r
ectly set type of
r
ows
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sven Ve
r
d
ool
a
ege
basi
s
_reduction_
g
l
pk
.
c: check f
o
r
s
anity of solution
commit
|
commitdiff
|
tree
2007-06-06
Sven Verd
o
olaege
options:
me
n
ti
o
n d
e
f
a
ult and avail
a
ble sol
v
ers
f
or
.
.
.
commit
|
commitdiff
|
tree
2007-06-06
Sven
Verdo
o
l
a
ege
po
l
yhedron_
s
ample
:
t
ake op
t
ions
commit
|
commitdiff
|
tree
2007-06-06
Sven Verdoolaege
doc: more about power sums
commit
|
commitdiff
|
tree
2007-06-04
Sven Verdoolaeg
e
do
c
: typo
commit
|
commitdiff
|
tree
2007-05-30
Sven Verd
o
olaege
d
o
c: repeat Matthia
s
' stopped B
a
r
vi
n
o
k
experim
e
nts
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
S
ven Verdool
a
ege
add barvinok_s
u
mmate to sum a quasi-polynomial over
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sven Verdoolaeg
e
evalu
e
_
r
ead
:
fix for top-lev
e
l fractional
part
commit
|
commitdiff
|
tree
2007-05-14
Sven Verdoolaege
bernoulli
.
c
:
B
ernou
l
li
_
sum_ev
a
l
ue: r
e
duce resulting
.
.
.
commit
|
commitdiff
|
tree
2007-05-14
Sve
n
Verd
o
olaege
b
e
rnoulli
.
c:
perform ne
s
ted
s
ums
approximation depth
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven V
e
rdo
o
laege
add po
l
ynomial appr
o
xi
m
atio
n
b
ased on
nest
e
d sums
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoo
l
aege
util
.
c
:
extra
c
t for_each_lower
_
up
p
er_bound from Para
m
Line_Length
commit
|
commitdiff
|
tree
2007-05-13
Sven Ver
d
ool
a
eg
e
dec
o
mpo
s
e
r: use NTL to inv
e
rt matrix
rathe
r
t
h
an convering
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdo
o
laege
lattice_point
.
cc:
a
llow rays a
n
d ver
t
ex
t
o hav
e
b
een
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
coun
t
er: optimize su
m
ming
o
ver
points i
n
f
u
n
dapip
e
d
commit
|
commitdiff
|
tree
2007-05-13
Sv
e
n
V
erdoolaege
lattice_point
.
cc: avoid conversion between NTL a
n
d
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
conversion
.
cc: re
m
ove r
a
y
s
2matrix
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoo
l
aeg
e
ev
a
lu
e
.
c: evalue_po
l
ynomial
e
x
tra
c
ted f
r
om barvinok
.
c
c
commit
|
commitdiff
|
tree
2007-05-13
S
v
en Ver
d
oo
l
aege
evalue
.
c: a
d
d evalue_nega
t
e
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
do
c
: a not
e
o
n
the conn
e
ctio
n
between Todd
p
olynomials
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven
V
erdoolaege
doc: points in funda
p
i
ped: f
i
x typo
commit
|
commitdiff
|
tree
2007-05-10
S
ven Verdoo
l
aege
barvin
o
k
.
c
c
: simplify dpoly_n
con
s
tructor
commit
|
commitdiff
|
tree
2007-05-10
Sven
Ve
r
d
o
olaege
Remov
e
"n
o
r
ma
l
izatio
n
" or powers in
d
e
nom
i
nator on
.
.
.
commit
|
commitdiff
|
tree
2007-05-09
S
v
en Verdoolaege
decomposer
.
cc
:
pass o
p
tions to tri
a
ngulate_cone
commit
|
commitdiff
|
tree
2007-05-08
S
ven
V
e
rdoolaege
barvinok
_
count: optionally use
e
xpone
n
tial substitution
commit
|
commitdiff
|
tree
2007-05-08
Sve
n
Verdoolaege
counter
.
cc: extracted from barvinok
.
cc
commit
|
commitdiff
|
tree
2007-05-08
Sv
e
n Ve
r
doolaege
dpoly::
d
iv:
avoid
c
o
mputation with
rational numbers
.
.
.
commit
|
commitdiff
|
tree
2007-05-08
Sv
e
n Verd
o
olaege
d
poly: use
V
alue instead of ZZ
commit
|
commitdiff
|
tree
2007-05-08
Sven
V
erdoolaege
doc: fix typo
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n V
e
r
doo
l
aege
add test f
o
r
l
atti
c
e
p
o
int
c
omputati
o
n
commit
|
commitdiff
|
tree
2007-05-02
S
v
en Verd
o
o
l
aege
evalue_r
e
a
d
.
c: add evalue_read_from_str for reading
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven
Verdoolaege
e
v
alue_read_from
_
f
ile: don't modify var
_
list argument
commit
|
commitdiff
|
tree
2007-05-02
S
ven V
e
rd
o
olaege
eval
u
e_read: read more
g
ene
r
al evalues
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
evalue_
c
onvert
.
cc:
add missing include
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n Verdoolaege
conversion
.
h: generalize rays2m
a
trix2 to zz2matrix
commit
|
commitdiff
|
tree
2007-05-02
Sven Ve
r
d
oolaege
lattice_poi
n
t
.
h: make se
l
f
-
contained
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
e
r
doolaege
e
v
a
lue_read: extract f
r
om maxi
m
ize
.
cc
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
enum
e
rator
:
support
prim
a
l (half-open
)
decompositions
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoola
e
ge
enumerator:
handle (d
u
a
l
) stopped Bar
v
in
o
k decompositi
o
n
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n Verdoolaege
lattice_point
.
cc:
remove unused
P
D argument
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
e
rdoolaege
lattice_point
.
c
c:
e
xtract cos
e
t generatio
n
commit
|
commitdiff
|
tree
2007-05-02
Sven Ver
d
oola
e
ge
l
a
ttice_point
.
cc:
r
ename ceil_mod to
fr
a
c
t
ion
a
l
_part
commit
|
commitdiff
|
tree
2007-05-02
S
v
en
V
erdoolaeg
e
lattice_po
i
nt
.
cc:
u
se so
m
e helper functions to simplify
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
l
a
ttice_point
.
c
c
:
imp
l
ement lookup-
t
able version i
n
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdool
a
ege
move more lattice point comput
a
tions to
latt
i
ce_point
.
c
c
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdo
o
l
ae
g
e
ba
r
vinok
.
cc: lattice_point:
remove a spec
i
al case
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n Verdoolae
g
e
doc: integer poin
t
s in fundamental p
a
r
allelepip
e
d:
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoola
e
ge
util
.
c: e
x
port Matrix_Trans
p
osition
commit
|
commitdiff
|
tree
2007-05-02
Sven Ve
r
doolaege
util
.
c: export Vector_Oppo
s
e
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
scale
.
c: move Param_Vertex_Common_De
n
ominator to param_util
.
c
commit
|
commitdiff
|
tree
2007-05-02
Sven
Verdoolaege
e
value
.
c
:
add evalue
_
add_cons
t
ant
commit
|
commitdiff
|
tree
2007-05-02
Sven Ve
r
d
o
ol
a
e
g
e
eval
u
e
.
c: aff
i
ne
2
evalue: skip zero coefficients
commit
|
commitdiff
|
tree
2007-05-02
S
ven V
e
rdoolaege
eva
l
u
e
.
c
: e
m
u
l_poly:
efficientl
y
handle case
o
f multiplicati
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven
Verdool
a
ege
b
ump version
commit
|
commitdiff
|
tree
2007-04-28
Sven V
e
rdoolaege
doc:
u
p
date options
a
nd some functi
o
n
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
doc: document volume c
o
mputation
commit
|
commitdiff
|
tree
next