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
evalue: print_evalue: make parameter names const char*s
2007-07-19
Sv
e
n
Ver
d
oolaege
evalue:
p
rint_evalue: make
p
ara
m
eter names
const char*s
commit
|
commitdiff
|
tree
2007-07-11
Sven Verdoolaeg
e
Always co
m
pile polytop
e
_scan
commit
|
commitdiff
|
tree
2007-07-11
Sven Verdoolaege
pol
y
tope_s
c
a
n
: use argp for argument par
s
ing
commit
|
commitdiff
|
tree
2007-07-05
Sven Verdool
a
ege
doc:
f
ix ty
p
o
commit
|
commitdiff
|
tree
2007-07-04
Sven Verdool
a
ege
configure
.
in: allow specific
a
tion of default prefi
x
.
.
.
commit
|
commitdiff
|
tree
2007-07-03
Sven
Verdo
o
l
aege
consolid
a
te
cal
l
s to Po
l
yhedron2Param_Domain
commit
|
commitdiff
|
tree
2007-07-03
Sven Ver
d
oolaege
volume
.
c:
f
i
x typo in comment
commit
|
commitdiff
|
tree
2007-07-01
Sv
e
n
Verdoolaege
Makefile
.
am: add $
(
EXEEXT) for c
y
gwin
commit
|
commitdiff
|
tree
2007-07-01
Sven Verdoolaege
Makefile
.
am: force rebuild
l
ib
r
aries in subdi
r
s if
.
.
.
commit
|
commitdiff
|
tree
2007-07-01
Sven Verdoolaege
only test barvi
n
ok_maxim
i
ze
i
f it has been/can
b
e cr
e
ated
commit
|
commitdiff
|
tree
2007-06-30
Sven Ve
r
d
ool
a
e
g
e
barvin
o
k 0
.
2
4
commit
|
commitdiff
|
tree
2007-06-30
Sven Verd
o
o
laeg
e
testlib
.
cc: work arou
n
d incomplet
e
namespace support
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verd
o
o
laege
scale
.
c
:
enumer
a
te_narro
w
_f
l
ate
d
: don't
sim
p
li
f
y constraints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
ven Verdoolaeg
e
declare variables a
t
sta
r
t
o
f
co
d
e block
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoola
e
ge
d
oc: up
d
at
e
do
c
um
e
ntation of o
p
tions a
n
d some
f
unctions
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n V
e
rdoolaege
Polyhedr
o
n
_
S
a
mple: factor polyhedro
n
i
f poss
i
ble
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
Polyhedron_Sa
m
pl
e
: comp
u
te ve
r
t
i
ces
o
f 1
D
polyhedra
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaeg
e
Polyhedron_Sa
m
pl
e
: remove all equalities
f
rom polyhe
d
ron
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
erdoolaege
add possibility to us
e
G
L
P
K
as LP solver
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
Po
l
yhed
r
on_Sample: postpone removal of rays
unt
i
l w
e
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n Verdoolaeg
e
P
o
lyhedron_Sa
m
ple:
use lp solver for fi
n
ding rang
e
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoola
e
ge
lexmin:
m
ove
choice
o
f lp s
o
lver to use outside basis
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolae
g
e
polysi
g
n
.
h: use correct name of PL_
p
o
l
yhedron_affine_sign
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
b
arvi
n
ok_e
n
umerate: plug
memory
l
eak in Bernoulli approx
i
m
a
tio
n
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n Verdoolaege
barvino
k
_enumerate_e_r: don't a
s
s
ume AddCo
n
straints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
er
d
o
o
laege
evalue_frac2polyn
o
mial
:
r
echeck evalue
afte
r
evalue_split_do
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Ve
r
doolaege
util
.
c: Line_Length: don
'
t get confus
e
d by
p
o
sitiv
i
ty
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
e
n Verdoolaege
Makefi
l
e
.
a
m
:
st
o
p after first failed test
commit
|
commitdiff
|
tree
2007-06-27
Sven Ve
r
doolaeg
e
bernstein: carry through variab
l
e renaming to d
e
buggi
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-06-27
Sven Ve
r
doolaege
bernstein: d
o
n't ass
u
me input po
l
yn
o
mial has
bee
n
expanded
commit
|
commitdiff
|
tree
2007-06-27
S
ven Verdoo
l
aege
evalue_read
.
c: correct c
o
nstne
s
s
of n
a
me in parameter_new
commit
|
commitdiff
|
tree
2007-06-27
S
ven Verdoolaege
evalue
_
read: acce
p
t constant multiple of var
i
ab
l
e
withou
t
.
.
.
commit
|
commitdiff
|
tree
2007-06-16
Sven Ve
r
do
o
lae
g
e
evalue
.
c:
e
value_sum: better hand
l
ing of nega
t
ive
values
commit
|
commitdiff
|
tree
2007-06-15
S
ve
n
Verdoolaeg
e
ev
a
lue
.
c: reorder_term
s
: f
i
x typo
commit
|
commitdiff
|
tree
2007-06-14
Sven Verd
o
olae
g
e
e
v
alue: decla
r
e
fi
r
st
a
rgument
of e
m
u
l
c
o
nst
commit
|
commitdiff
|
tree
2007-06-14
Sven Verdool
a
ege
e
value
.
c: emu
l
: don't use ex
p
licit_complemen
t
on a
r
guments
commit
|
commitdiff
|
tree
2007-06-14
Sven Verdoolaege
add a test
f
o
r e
v
alue_split_pe
r
iods
commit
|
commitdiff
|
tree
2007-06-13
Harald
.
Devo
s
@elis
.
.
.
find
_
fractional_with
_
max_perio
d
s
:
initial
i
ze local
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sv
e
n Verd
o
olae
g
e
evalue
.
c: evalue_spl
i
t_pe
r
i
ods: make sur
e
selecte
d
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sven
V
erd
o
olaege
evalue
.
c
: poly
n
omial_projection: use evalue_extract_
a
f
f
ine
commit
|
commitdiff
|
tree
2007-06-10
Sven
V
erdoolaege
add a tes
t
for
b
arvi
n
ok_maxim
i
ze an
d
barvinok_sum
m
ate
commit
|
commitdiff
|
tree
2007-06-10
Sv
e
n
Ve
r
doolaege
b
a
r
vinok_
s
ummate: support verification of res
u
lts
commit
|
commitdiff
|
tree
2007-06-10
Sven V
e
rdoo
l
aege
evalue
.
c
:
e
v
alue_
s
um:
s
plit into
o
rthants +
some refactoring
commit
|
commitdiff
|
tree
2007-06-10
Sv
e
n Verdoolaege
b
arvinok_union
:
u
s
e ar
g
p for
a
rgume
n
t
parsing
commit
|
commitdiff
|
tree
2007-06-09
S
v
en Verdoolaege
b
a
r
v
ino
k
_enumerate_u
n
ion_serie
s
_with_optio
n
s
:
f
i
x ty
p
o
commit
|
commitdiff
|
tree
2007-06-07
Sven Verdoolaege
basis_reduction_cdd
.
cc
:
get correct du
a
l
so
l
u
t
ion i
n
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
S
ven Verdoolaege
basis_reducti
o
n_glpk
.
c: correctly se
t
type of r
o
ws
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sven
V
erdoolaege
basis_
r
eductio
n
_gl
p
k
.
c:
check for
s
anity of solu
t
io
n
commit
|
commitdiff
|
tree
2007-06-06
Sven
Verdoolaeg
e
options:
ment
i
o
n
defa
u
lt an
d
a
v
ailable solvers for
.
.
.
commit
|
commitdiff
|
tree
2007-06-06
Sven Verdoolaege
polyhedron_sa
m
ple: take options
commit
|
commitdiff
|
tree
2007-06-06
Sve
n
Ve
r
doo
l
aege
doc:
mo
r
e about power
sums
commit
|
commitdiff
|
tree
2007-06-04
Sven Verdoolaege
doc: typo
commit
|
commitdiff
|
tree
2007-05-30
Sven
V
er
d
oola
e
ge
doc: repeat Ma
t
th
i
as' sto
p
ped Barvinok
e
xperiments
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sv
e
n Ve
r
doolaege
add
b
arvino
k
_summate to sum a quasi-polynom
i
al ov
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sven Verdoolaege
e
v
a
l
ue_read
:
fix f
o
r t
o
p-lev
e
l fracti
o
nal part
commit
|
commitdiff
|
tree
2007-05-14
Sv
e
n Verdoolaeg
e
bernoulli
.
c
: Bernoulli_sum_eval
u
e: reduce resulting
.
.
.
commit
|
commitdiff
|
tree
2007-05-14
Sve
n
Ver
d
oolaege
bernoulli
.
c: perf
o
r
m
nest
e
d su
m
s approx
i
mation depth
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
S
ven Verd
o
olaege
a
d
d p
o
l
yn
o
m
ial
a
pproxima
t
ion
based on nested
s
um
s
commit
|
commitdiff
|
tree
2007-05-13
Sv
e
n Verdoolaege
util
.
c: extract for_ea
c
h_low
e
r_upper_bound from
ParamLine_Len
g
th
commit
|
commitdiff
|
tree
2007-05-13
Sv
e
n Verdoolaege
d
e
compo
s
er: use NTL to in
v
ert matrix rathe
r
than c
o
n
v
e
ring
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven V
e
rd
o
o
l
aeg
e
lattice_poi
n
t
.
cc: al
l
ow rays and
v
e
rtex to
h
ave been
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoo
l
aege
co
u
nter:
o
ptimize su
m
ming over points in f
u
ndapi
p
ed
commit
|
commitdiff
|
tree
2007-05-13
Sven
V
erdoolaege
lattice_poin
t
.
cc
:
a
v
oid conversion
b
e
tween NTL
a
n
d
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven
V
e
r
doolaege
c
o
nversio
n
.
cc: rem
o
ve r
a
ys2ma
t
rix
commit
|
commitdiff
|
tree
2007-05-13
S
v
en V
e
rdo
o
laege
evalue
.
c: eva
l
ue_pol
y
nom
i
al ext
r
a
cted from
barvinok
.
c
c
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
evalue
.
c:
ad
d
eval
u
e_neg
a
t
e
commit
|
commitdiff
|
tree
2007-05-13
Sv
e
n Verdo
o
la
e
ge
doc: a not
e
on the conn
e
cti
o
n betwe
e
n Todd
polynomials
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
doc: poin
t
s in fundapiped: fix typo
commit
|
commitdiff
|
tree
2007-05-10
Sven Verdoolaege
b
a
rvinok
.
cc: simplify
d
p
oly_n
con
s
tructor
commit
|
commitdiff
|
tree
2007-05-10
Sven Ve
r
doolaege
R
emove "normalization" or
powers in denominato
r
on
.
.
.
commit
|
commitdiff
|
tree
2007-05-09
Sven Verdoolaege
dec
o
mpose
r
.
cc: pass optio
n
s
t
o triangulate_cone
commit
|
commitdiff
|
tree
2007-05-08
S
v
e
n Verdoolaege
ba
r
vinok
_
coun
t
: optionall
y
use exponen
t
i
a
l su
b
s
t
i
t
ution
commit
|
commitdiff
|
tree
2007-05-08
Sven Ver
d
oolaeg
e
c
o
unter
.
cc: extracted from b
a
rvinok
.
cc
commit
|
commitdiff
|
tree
2007-05-08
S
ven Verdoolaege
dpoly::div:
a
void
c
omputation
with rational numbers
.
.
.
commit
|
commitdiff
|
tree
2007-05-08
Sven Verdo
o
laege
dpoly: use Value inst
e
ad of ZZ
commit
|
commitdiff
|
tree
2007-05-08
Sven
V
erdoolae
g
e
d
oc:
f
i
x
ty
p
o
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
a
dd
t
e
st for lattice point
c
o
mp
u
tation
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoo
l
aege
eval
u
e_r
e
a
d
.
c:
ad
d
eva
l
ue_rea
d
_fro
m
_
s
tr
for reading
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
S
ve
n
Verd
o
olaege
evalue_read_f
r
om
_
file: don'
t
m
od
i
f
y
var_list argument
commit
|
commitdiff
|
tree
2007-05-02
Sven V
e
r
doolaege
evalue_read: read more general evalues
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n Verdoo
l
aeg
e
evalue_
c
onvert
.
c
c: add missing i
n
c
lude
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
conver
s
i
on
.
h: gener
a
lize rays2mat
r
ix2 to zz2matrix
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdo
o
laege
l
a
t
t
i
ce_point
.
h
:
make
self-contain
e
d
commit
|
commitdiff
|
tree
2007-05-02
Sven V
e
rdoo
l
aege
eva
l
ue
_
read: ext
r
a
c
t from maximize
.
cc
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
enumerator: support primal (ha
l
f-open)
d
ecomposit
i
ons
commit
|
commitdiff
|
tree
2007-05-02
S
ve
n
V
e
rdoolaege
enumerator: handl
e
(dual)
s
topped Barv
i
nok decomposition
commit
|
commitdiff
|
tree
2007-05-02
S
v
en Verd
o
o
l
aege
latt
i
ce_point
.
cc: r
e
move
u
nused PD argument
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
lattice_poi
n
t
.
cc: extract c
o
set generati
o
n
commit
|
commitdiff
|
tree
2007-05-02
S
v
e
n Verdoolaege
lat
t
ice_point
.
cc:
r
ena
m
e ceil_mod to
fractional_pa
r
t
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
erdoola
e
g
e
latt
i
ce_poin
t
.
cc: use some he
l
per
f
un
c
tions to simplify
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdo
o
laege
lattice
_
po
i
n
t
.
cc
:
implement l
o
okup-ta
b
le versi
o
n in
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Ver
d
oo
l
aege
move more lattice point com
p
u
t
ations to lattice_po
i
n
t
.
cc
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaeg
e
b
a
r
vinok
.
cc: lattic
e
_point: remove a spe
c
ial case
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
erdoola
e
ge
doc: intege
r
points in fund
a
mental parallelepiped:
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Verd
o
ola
e
g
e
util
.
c: ex
p
ort Mat
r
ix_Transposition
commit
|
commitdiff
|
tree
2007-05-02
Sve
n
Verdo
o
l
a
ege
u
t
il
.
c: expo
r
t
V
ector
_
O
p
pose
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoo
l
aege
s
cale
.
c: move Pa
r
am_Ver
t
ex_
C
omm
o
n_Denominator to param_util
.
c
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoo
l
a
e
ge
eva
l
ue
.
c: add
e
value_add_constant
commit
|
commitdiff
|
tree
2007-05-02
S
ven Verdoolaege
evalu
e
.
c: affine2evalue
:
ski
p
zero coeffic
i
e
n
t
s
commit
|
commitdiff
|
tree
2007-05-02
Sven
Verdoolaege
evalue
.
c:
em
u
l_
p
o
ly: efficie
n
tly handle c
a
se of multiplicati
.
.
.
commit
|
commitdiff
|
tree
next