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 V
e
rdoolaege
polytope_scan:
u
se argp
f
or argument p
a
rsing
commit
|
commitdiff
|
tree
2007-07-05
Sven Verdoolaege
doc:
f
ix t
y
po
commit
|
commitdiff
|
tree
2007-07-04
Sven Verdoolaege
configure
.
in: allow
s
pecification of d
e
fa
u
lt prefix
.
.
.
commit
|
commitdiff
|
tree
2007-07-03
S
v
en Verdoolaege
cons
o
lidate calls to Polyhedron2Param_Domain
commit
|
commitdiff
|
tree
2007-07-03
S
ven Verdoolaege
volume
.
c
:
fix typo in comme
n
t
commit
|
commitdiff
|
tree
2007-07-01
Sven
Ver
d
oolaege
M
a
kefile
.
am: a
d
d $(EXEEXT) for cygwin
commit
|
commitdiff
|
tree
2007-07-01
Sven Ve
r
doolaege
Make
f
ile
.
am: force re
b
uild librari
e
s
i
n subd
i
r
s if
.
.
.
commit
|
commitdiff
|
tree
2007-07-01
S
v
en
V
erdoolaege
only test barvi
n
ok_maximize if it has been
/
can be c
r
eated
commit
|
commitdiff
|
tree
2007-06-30
S
ven Verdoo
l
a
ege
barvi
n
ok 0
.
24
commit
|
commitdiff
|
tree
2007-06-30
S
v
en Verdoo
l
a
e
ge
test
l
ib
.
cc: work around i
n
compl
e
te namespace support
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
scale
.
c
: enumerate_
n
a
r
r
o
w
_
flated: do
n
'
t simplify
c
onstrain
t
s
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n Ve
r
doo
l
a
e
ge
dec
l
are v
a
riab
l
e
s
at star
t
of code block
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
Verdoolae
g
e
doc: u
p
date d
o
cumentation of optio
n
s and some
f
unctions
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n Verdool
a
ege
Poly
h
edro
n
_
S
ample: factor polyhedron
if p
o
ssible
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
Verdoolaege
Polyhedron_Samp
l
e:
c
ompute ver
t
ices o
f
1D pol
y
hedra
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoo
l
aege
Polyh
e
dron_Samp
l
e: remove all e
q
uali
t
ies from polyhedro
n
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
e
rdoolaege
add
p
o
ssibility to use GLP
K
as LP solve
r
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
Verdoolaege
P
olyhedron
_
Sample: post
p
one
removal of rays
un
t
il we
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
en Verdool
a
ege
P
olyhedr
o
n_Sample: use lp
s
olver
f
o
r
f
inding r
a
nge
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
Verdoolaege
lexmin
:
m
ove choice of
l
p sol
v
e
r to u
s
e o
u
ts
i
de bas
i
s
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
po
l
ysign
.
h: use c
o
rrect
n
a
me of PL_polyhedron_affin
e
_sign
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven V
e
rdoolaege
barvinok_
e
n
umer
a
te: plug memory leak in Ber
n
oulli ap
p
roximat
i
on
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n Verdool
a
ege
barvinok_enumer
a
te_e_r: do
n
't assume AddConstra
i
nts
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
en Verdo
o
l
a
ege
evalue
_
frac2pol
y
no
m
i
a
l: r
e
check evalue after evalue_split_do
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
util
.
c
:
L
i
n
e
_
Le
n
gth: do
n
't get confused by positivity
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoola
e
ge
Makefile
.
a
m
:
s
t
o
p after first faile
d
test
commit
|
commitdiff
|
tree
2007-06-27
Sv
e
n Verdoolaeg
e
bern
s
tein
:
carry thro
u
gh variable re
n
ami
n
g to
d
e
b
ugging
.
.
.
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdoolae
g
e
ber
n
stein: don't a
s
sume input
p
o
l
ynomial
h
a
s
bee
n
expanded
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdoolaeg
e
evalue_rea
d
.
c: correct c
o
nstne
s
s of
n
ame in pa
r
ameter_
n
ew
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdoolaege
eval
u
e
_
read
:
accept constant mul
t
iple of vari
a
ble without
.
.
.
commit
|
commitdiff
|
tree
2007-06-16
Sven Verdoolaege
evalue
.
c: evalue_s
u
m: bette
r
handling of negative values
commit
|
commitdiff
|
tree
2007-06-15
Sve
n
Verdoola
e
ge
e
v
al
u
e
.
c: reorder_terms: fi
x
typo
commit
|
commitdiff
|
tree
2007-06-14
Sven Verdoo
l
aege
evalue: declare first argu
m
ent
of emul
c
onst
commit
|
commitdiff
|
tree
2007-06-14
Sven Verdoolaege
e
v
alue
.
c: emul: d
o
n't u
s
e expl
i
cit
_
co
m
plement on argum
e
nts
commit
|
commitdiff
|
tree
2007-06-14
Sven
Verdo
o
la
e
ge
add a test for evalue_split_periods
commit
|
commitdiff
|
tree
2007-06-13
Harald
.
Devo
s
@elis
.
.
.
find_
f
rac
t
ional_with_
m
ax_period
s
: initialize l
o
c
a
l
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sven
V
erdoolaege
e
v
alue
.
c: evalue_split_perio
d
s
:
make sur
e
s
elected
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sven Verdool
a
ege
ev
a
lue
.
c:
po
l
ynomial_projection: use evalue_
e
x
t
ract_affine
commit
|
commitdiff
|
tree
2007-06-10
Sven Ve
r
doolaege
add
a
test for barv
i
nok_m
a
ximize a
n
d b
a
r
vinok_summ
a
t
e
commit
|
commitdiff
|
tree
2007-06-10
Sven Verdoolaege
barvinok_summa
t
e: s
u
pport verification of results
commit
|
commitdiff
|
tree
2007-06-10
S
ven Verdoolaege
evalue
.
c: evalue_sum: split
i
nto orthants + some re
f
a
c
t
oring
commit
|
commitdiff
|
tree
2007-06-10
Sven Verdoolaege
b
a
rvinok
_
union: us
e
a
rgp for argumen
t
parsi
n
g
commit
|
commitdiff
|
tree
2007-06-09
Sven V
e
rdoolaeg
e
b
a
rvin
o
k_e
n
umerate_
u
nion_
s
eries_with_options: fix typ
o
commit
|
commitdiff
|
tree
2007-06-07
S
v
en Ve
r
d
oolaege
basis_reduct
i
on_cdd
.
cc:
g
et correct dual solut
i
on in
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sven Verdoo
l
a
ege
b
a
sis_reduct
i
on_glpk
.
c: correc
t
ly set type of rows
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
S
v
en Ver
d
o
ola
e
ge
basis_re
d
uction
_
glpk
.
c
: check
for
s
an
i
t
y
of solution
commit
|
commitdiff
|
tree
2007-06-06
Sven
Ve
r
dool
a
e
g
e
options: mention de
f
au
l
t a
n
d ava
i
lable
s
olv
e
r
s
f
o
r
.
.
.
commit
|
commitdiff
|
tree
2007-06-06
Sven
V
e
r
doolaege
pol
y
hedron_sample: take opti
o
ns
commit
|
commitdiff
|
tree
2007-06-06
S
v
en Verdoo
l
aege
doc: more abo
u
t
power
s
ums
commit
|
commitdiff
|
tree
2007-06-04
Sv
e
n Verdoolae
g
e
doc: t
y
po
commit
|
commitdiff
|
tree
2007-05-30
Sv
e
n Verdoolaege
doc: repeat Matthias' stopped Barvinok ex
p
eriments
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sven Verdoo
l
aege
add
barvinok_summat
e
to sum a
q
uasi-
p
olynom
i
al o
v
er
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sve
n
Verdoo
l
a
e
ge
evalue_read: fix for t
o
p-l
e
vel fractio
n
al
p
a
r
t
commit
|
commitdiff
|
tree
2007-05-14
S
ve
n
Ver
d
o
o
l
a
e
ge
b
e
rnoul
l
i
.
c: Be
r
noulli_sum_eva
l
ue: reduce
r
e
s
ultin
g
.
.
.
commit
|
commitdiff
|
tree
2007-05-14
Sven Verd
o
olaege
bernoul
l
i
.
c
: p
e
rform ne
s
te
d
sums approximation depth
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
add polynomial appro
x
ima
t
ion based
o
n n
e
st
e
d su
m
s
commit
|
commitdiff
|
tree
2007-05-13
S
ven Verdoolaege
util
.
c: extract
for_each_low
e
r_
u
pper_bound
from ParamLine_Length
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoola
e
ge
decom
p
oser: use NTL to in
v
e
r
t
mat
r
ix ra
t
her than
c
onv
e
r
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
lattice_poin
t
.
cc
:
allow rays and vertex to have been
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verd
o
o
laege
counte
r
: optimize summi
n
g over points in fu
n
dapipe
d
commit
|
commitdiff
|
tree
2007-05-13
S
ven Verdoolaege
lattice_poin
t
.
cc: avoid conversion betwe
e
n NTL and
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Ve
r
doolaege
convers
i
on
.
cc
:
remove
r
ays2
m
atrix
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoo
l
a
e
ge
evalue
.
c: evalue_p
o
lyn
o
mial extracted from ba
r
vinok
.
cc
commit
|
commitdiff
|
tree
2007-05-13
S
ven Verdoolaege
evalue
.
c: add evalue_negate
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoo
l
a
e
ge
d
o
c
: a
n
ote on the connection betwe
e
n Todd pol
y
no
m
i
a
l
s
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
S
ven Verdoolae
g
e
doc: poin
t
s in fun
d
apipe
d
: fix typo
commit
|
commitdiff
|
tree
2007-05-10
Sven Ver
d
o
o
laege
barvinok
.
c
c: simp
l
ify dpo
l
y
_
n constructor
commit
|
commitdiff
|
tree
2007-05-10
Sven Verdoolaege
Remove
"norm
a
lizati
o
n"
o
r powers in den
o
minat
o
r on
.
.
.
commit
|
commitdiff
|
tree
2007-05-09
Sv
e
n Ver
d
oolaege
de
c
om
p
oser
.
cc: pass opt
i
ons
t
o triangul
a
te_cone
commit
|
commitdiff
|
tree
2007-05-08
Sven Verdoolae
g
e
barvi
n
ok_cou
n
t: optio
n
ally use exp
o
nentia
l
su
b
stitution
commit
|
commitdiff
|
tree
2007-05-08
Sven
Verdoolaeg
e
count
e
r
.
cc: extracted from barvinok
.
cc
commit
|
commitdiff
|
tree
2007-05-08
S
v
en
Verdoola
e
ge
dpoly::
d
iv
:
a
v
oid computati
o
n
with r
a
tional n
u
mbers
.
.
.
commit
|
commitdiff
|
tree
2007-05-08
Sven Verdoolaege
d
pol
y
: u
s
e Value instead o
f
ZZ
commit
|
commitdiff
|
tree
2007-05-08
Sven V
e
r
doolaege
doc: fix
t
ypo
commit
|
commitdiff
|
tree
2007-05-02
Sven
Verdool
a
ege
add test for lattice point co
m
putation
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaeg
e
e
value_
r
ead
.
c: a
d
d evalue_read_f
r
om_str
f
or re
a
d
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sve
n
Verdoolae
g
e
eval
u
e_read_f
r
om_f
i
le: do
n
't
modi
f
y var
_
list argument
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n
Verdoolaege
evalue_read: read m
o
re
g
eneral
evalues
commit
|
commitdiff
|
tree
2007-05-02
S
v
en Verd
o
ol
a
e
g
e
evalue_con
v
ert
.
cc: add mi
s
sing includ
e
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
con
v
er
s
io
n
.
h: gene
r
alize rays
2
matrix2
to zz2matrix
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoo
l
aege
la
t
tice_point
.
h: make
s
elf-cont
a
ined
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdo
o
lae
g
e
evalue_
r
ead: extract from maximize
.
cc
commit
|
commitdiff
|
tree
2007-05-02
Sve
n
V
e
rdoo
l
aege
enumerator: support p
r
imal (hal
f
-ope
n
) d
e
composi
t
ions
commit
|
commitdiff
|
tree
2007-05-02
S
v
en Verdoolaeg
e
enum
e
rator
:
h
a
n
d
l
e
(d
u
a
l
) stopped
B
arvinok deco
m
p
osition
commit
|
commitdiff
|
tree
2007-05-02
Sven Verd
o
olaege
la
t
tice_point
.
cc: re
m
o
v
e un
u
sed PD ar
g
u
m
e
nt
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
l
attice_point
.
cc: extract coset generation
commit
|
commitdiff
|
tree
2007-05-02
S
v
en
Verd
o
ol
a
ege
l
a
ttice_point
.
cc: r
e
name ceil_mod to fractio
n
al_part
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdool
a
ege
la
t
tice_po
i
nt
.
cc: use
some he
l
per funct
i
o
n
s to
simplify
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Ve
r
doolaege
l
a
ttice_point
.
c
c
: impleme
n
t look
u
p-
t
able version in
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
er
d
oolae
g
e
move
m
ore latt
i
c
e poi
n
t
com
p
utat
i
ons to lattice_poin
t
.
cc
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
barvinok
.
c
c: lattice_point: remov
e
a special case
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
e
rdoolaeg
e
doc
:
integer point
s
in funda
m
ental para
l
lelepip
e
d
:
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
e
rdoo
l
aege
util
.
c: export Matrix_Transposition
commit
|
commitdiff
|
tree
2007-05-02
Sve
n
Verdoola
e
ge
util
.
c
:
expo
r
t Vecto
r
_Oppose
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
scale
.
c: m
o
ve Param_
V
e
r
tex_Common_De
n
ominator to para
m
_util
.
c
commit
|
commitdiff
|
tree
2007-05-02
S
ven V
e
r
doolaege
evalu
e
.
c:
add evalue_
a
dd_constant
commit
|
commitdiff
|
tree
2007-05-02
Sve
n
Ver
d
oolaege
e
v
alue
.
c: a
f
fine2evalue: skip ze
r
o
c
oeffi
c
i
ents
commit
|
commitdiff
|
tree
2007-05-02
Sven V
e
rdoolae
g
e
evalue
.
c: emul_
p
oly: effic
i
ently handle case of mu
l
tipl
i
cati
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
S
v
en Ver
d
oolaege
bump
v
ersion
commit
|
commitdiff
|
tree
2007-04-28
S
v
e
n Ve
r
doolae
g
e
doc: updat
e
options
and some funct
i
on
commit
|
commitdiff
|
tree
next