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
Optionally use TOPCOM to compute chamber decompositions.
2007-09-11
Sven Verdoola
e
g
e
O
pt
i
onally use
T
OPCOM
t
o co
m
pute
chamber decomposit
i
o
n
s
.
commit
|
commitdiff
|
tree
2007-07-30
Sven Verdoolaege
Param
_
Po
l
yhedron_
P
rint:
p
rint eve
r
ything to given fi
l
e
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoolaege
barvin
o
k
_enumerate_with_options: don't
add conte
x
t
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
S
v
e
n
V
erdoolaege
barvin
o
k
.
cc: d
o
n't free P argum
e
nt
in enumerat
e
commit
|
commitdiff
|
tree
2007-07-29
S
ven Verdoolaege
remove_all_
e
qualiti
e
s
:
also
remov
e
equalities in
context
commit
|
commitdiff
|
tree
2007-07-29
Sven
Verdoolaege
v
olume
.
c: avoid
w
a
rn
i
ngs
commit
|
commitdiff
|
tree
2007-07-27
Sven Verdoolaeg
e
export
P
a
r
a
m
_In
n
er_Pr
o
duct
commit
|
commitdiff
|
tree
2007-07-25
Sven Verdoo
l
aege
ba
r
vino
k
_e
n
umerate
.
cc: add minimal check
on input
commit
|
commitdiff
|
tree
2007-07-19
Sven Ve
r
dool
a
ege
more prototype ch
a
nges to const char *
commit
|
commitdiff
|
tree
2007-07-19
Sve
n
Verdoolaege
evalue: print_evalue:
mak
e
parame
t
er names
c
onst char*s
commit
|
commitdiff
|
tree
2007-07-11
S
ven Ve
r
doolaege
Always compile
polytope_sc
a
n
commit
|
commitdiff
|
tree
2007-07-11
Sven Verd
o
ola
e
g
e
p
o
lyt
o
pe_scan:
u
se argp for argument
p
arsing
commit
|
commitdiff
|
tree
2007-07-05
Sven
V
er
d
oolae
g
e
doc: fix t
y
po
commit
|
commitdiff
|
tree
2007-07-04
Sven
V
e
rd
o
olaege
con
f
igur
e
.
in: allow
specification o
f
d
e
fault prefix
.
.
.
commit
|
commitdiff
|
tree
2007-07-03
S
v
en Verdoola
e
ge
con
s
olidate calls to
P
olyhedron2Param_Doma
i
n
commit
|
commitdiff
|
tree
2007-07-03
Sven Ver
d
oolaeg
e
volume
.
c
:
f
ix typo in
c
omment
commit
|
commitdiff
|
tree
2007-07-01
Sven
V
erdoo
l
aege
Makefile
.
am: add $(E
X
EEXT)
f
or cy
g
win
commit
|
commitdiff
|
tree
2007-07-01
Sven
V
erdoolaege
Makefile
.
a
m
: force
r
ebuil
d
l
ibraries
i
n sub
d
irs if
.
.
.
commit
|
commitdiff
|
tree
2007-07-01
Sven Verdoolaege
only test barvinok_maxi
m
ize if it
has
b
ee
n
/can be c
r
eat
e
d
commit
|
commitdiff
|
tree
2007-06-30
S
v
en Verdool
a
e
ge
barvinok 0
.
24
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n Verdoo
l
aeg
e
testlib
.
cc: wo
r
k
around in
c
omplete namespace support
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n
Verdoola
e
ge
s
cale
.
c: enumerat
e
_narro
w
_flated:
don't simp
l
i
fy const
r
aints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
Ver
d
oolaege
declare varia
b
les at start of code b
l
ock
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
Verd
o
olaege
doc: updat
e
d
o
cumentation of opti
o
ns
a
n
d some fun
c
tio
n
s
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoola
e
ge
Polyhedron_Sample: factor polyhedron
i
f po
s
sible
commit
|
commitdiff
|
tree
2007-06-30
Sven Ver
d
oolaege
Polyhedron_Sample: co
m
pute vertices of
1D polyhedra
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n Ver
d
oolaege
Polyh
e
dron_Sample: remov
e
all
e
qua
l
ities from poly
h
e
d
r
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
erd
o
olaege
add
possib
i
lity
t
o
u
se G
L
P
K as LP
solver
commit
|
commitdiff
|
tree
2007-06-30
Sven V
e
rdoolaege
Polyhedron_Sa
m
ple
:
postpone removal
of ray
s
until
we
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Ve
r
doolaege
Polyhedron_S
a
mple:
u
se lp s
o
lv
e
r
for finding range
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoo
l
aege
lexm
i
n: move choice of
lp solver
to
use outside basis
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
ven Verdoolaege
polysign
.
h: u
s
e cor
r
ect name of PL_polyhedro
n
_a
f
f
i
ne_sign
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
barvinok_enumerate: p
l
ug m
e
mory
l
e
a
k
i
n
Bernoulli ap
p
ro
x
i
m
ation
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
Verdo
o
l
aege
barvinok_enumerate_e_r: don'
t
a
s
sume AddConstraints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
ven Verdoolaege
eva
l
u
e_frac2poly
n
omia
l
:
re
c
heck evalue
after evalue_split_do
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdool
a
e
g
e
util
.
c
:
Li
n
e
_
Length: don't get c
o
nfu
s
ed by positivity
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolae
g
e
M
akefile
.
am: stop after
firs
t
f
ailed test
commit
|
commitdiff
|
tree
2007-06-27
Sv
e
n Verdoolaege
bernstein: carry through vari
a
ble ren
a
ming to
debu
g
ging
.
.
.
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdoo
l
aege
bernstein: don't ass
u
me input
polynomial has been expanded
commit
|
commitdiff
|
tree
2007-06-27
Sven V
e
r
dool
a
ege
evalue_read
.
c: cor
r
ec
t
constne
s
s of name in parameter_new
commit
|
commitdiff
|
tree
2007-06-27
S
v
e
n Ver
d
oolaege
evalue_read: accept constant mult
i
pl
e
of variable without
.
.
.
commit
|
commitdiff
|
tree
2007-06-16
Sven Ve
r
doolaege
e
v
alue
.
c: evalue_s
u
m: better handling
of nega
t
i
ve values
commit
|
commitdiff
|
tree
2007-06-15
S
v
en Verdoolaege
e
val
u
e
.
c:
reorder_terms: fix typo
commit
|
commitdiff
|
tree
2007-06-14
S
ve
n
Verdoola
e
ge
evalue: d
e
c
lare first argument of emu
l
c
o
ns
t
commit
|
commitdiff
|
tree
2007-06-14
Sven
Verdoolaege
evalue
.
c: e
m
ul
:
d
on't u
s
e
e
x
plicit_co
m
pleme
n
t o
n
a
rgument
s
commit
|
commitdiff
|
tree
2007-06-14
S
ven Verdool
a
ege
add a
t
est for eva
l
u
e
_sp
l
it
_
periods
commit
|
commitdiff
|
tree
2007-06-12
Sven Verdoola
e
ge
evalue
.
c:
evalue_
s
plit_periods: make sure sel
e
cted
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sven Ve
r
doolaege
e
v
alu
e
.
c
: polynomia
l
_projection:
u
s
e evalue_ext
r
act_affi
n
e
commit
|
commitdiff
|
tree
2007-06-10
S
v
en Verdoolaege
add a t
e
st
for
barvino
k
_ma
x
i
m
ize and barvinok_summ
a
te
commit
|
commitdiff
|
tree
2007-06-10
Sven Verdoolaeg
e
barv
i
nok_summate: support veri
f
ication of resu
l
ts
commit
|
commitdiff
|
tree
2007-06-10
Sv
e
n
V
erdoolaege
e
v
alue
.
c:
e
value
_
s
u
m: split into orthants + so
m
e refactoring
commit
|
commitdiff
|
tree
2007-06-10
S
v
en Ve
r
doolaege
barvinok_uni
o
n: use a
r
gp for argument parsing
commit
|
commitdiff
|
tree
2007-06-09
Sven V
e
rdoolaege
ba
r
vinok_enumer
a
te_union_serie
s
_w
i
th_options:
f
i
x typo
commit
|
commitdiff
|
tree
2007-06-07
Sven Verdoolaeg
e
basis_redu
c
tion_cdd
.
cc: get correct du
a
l
s
olutio
n
i
n
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sven
V
erdoolaege
basis_reduction_glp
k
.
c: correctly set type of rows
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sven Verdoolaege
b
asis
_
reduc
t
ion_glp
k
.
c: che
c
k
f
or
sa
n
ity
of solution
commit
|
commitdiff
|
tree
2007-06-06
Sven
Verdoolaege
options:
mention def
a
ult and available solv
e
r
s
for
.
.
.
commit
|
commitdiff
|
tree
2007-06-06
Sven
Verdoolaege
polyhedron_sample: tak
e
op
t
ions
commit
|
commitdiff
|
tree
2007-06-06
Sven Verd
o
ol
a
ege
doc:
m
ore about
p
ower sums
commit
|
commitdiff
|
tree
2007-06-04
Sven
V
e
rdoolaege
do
c
: typ
o
commit
|
commitdiff
|
tree
2007-05-30
Sven Verd
o
olaege
doc: rep
e
at Matthia
s
'
stopp
e
d
B
arvin
o
k
experiments
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sven Verd
o
olae
g
e
add bar
v
ino
k
_summate to
sum a quasi-
p
o
l
yno
m
i
a
l over
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sven
Ve
r
dool
a
ege
evalue
_
read: fi
x
f
o
r t
o
p-
l
evel fractiona
l
p
a
r
t
commit
|
commitdiff
|
tree
2007-05-14
Sve
n
Ver
d
oolae
g
e
ber
n
o
ulli
.
c: Bern
o
ulli_sum_evalue: red
u
ce resulting
.
.
.
commit
|
commitdiff
|
tree
2007-05-14
Sven Ve
r
dool
a
ege
bernoulli
.
c: per
f
orm nested sums app
r
o
ximat
i
on depth
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Ver
d
oo
l
aege
add
p
ol
y
nomial approxi
m
at
i
on
based on n
e
sted
sums
commit
|
commitdiff
|
tree
2007-05-13
Sve
n
Verdoolaege
util
.
c: ex
t
rac
t
for_ea
c
h
_low
e
r_upper
_
bo
u
nd f
r
om ParamLi
n
e_Leng
t
h
commit
|
commitdiff
|
tree
2007-05-13
S
ven
V
erdoolaege
deco
m
poser: use
NT
L
to inver
t
ma
t
rix rathe
r
than co
n
v
ering
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven
V
er
d
oolaege
l
a
ttice_
p
oi
n
t
.
cc: al
l
o
w
rays and vertex to have been
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaeg
e
counter: optimize summing
ove
r
points
i
n fundapiped
commit
|
commitdiff
|
tree
2007-05-13
Sven
Verd
o
olaege
lattic
e
_point
.
cc: avoid
conversio
n
betw
e
en
NTL and
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
S
ven
Verdool
a
ege
c
o
nversion
.
c
c:
r
em
o
ve rays2matri
x
commit
|
commitdiff
|
tree
2007-05-13
Sven V
e
rdoolaege
ev
a
lue
.
c: evalue_polynomi
a
l
ex
t
r
acted from ba
r
vinok
.
c
c
commit
|
commitdiff
|
tree
2007-05-13
S
v
e
n Verdoolaege
ev
a
l
ue
.
c: add ev
a
lue_negate
commit
|
commitdiff
|
tree
2007-05-13
Sven Verd
o
olaege
doc
:
a
n
ote o
n
the co
n
n
e
ct
i
on between Todd polynomials
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdo
o
laege
doc: p
o
ints in fundapiped: fix typo
commit
|
commitdiff
|
tree
2007-05-10
Sven Verdoolaege
barvin
o
k
.
c
c: simplify dpoly_n constructo
r
commit
|
commitdiff
|
tree
2007-05-10
S
v
en Ve
r
doolaege
Remove "normal
i
zation" or power
s
in
denominator on
.
.
.
commit
|
commitdiff
|
tree
2007-05-09
Sven Verdoolaege
d
e
composer
.
cc: pass
o
p
tions to t
r
iangula
t
e_cone
commit
|
commitdiff
|
tree
2007-05-08
S
v
en Verdo
o
l
a
ege
barvi
n
o
k
_count
:
optionally use expone
n
tial
s
ubstituti
o
n
commit
|
commitdiff
|
tree
2007-05-08
Sven Verdool
a
ege
count
e
r
.
cc: extracted
f
rom barvinok
.
c
c
commit
|
commitdiff
|
tree
2007-05-08
Sve
n
Verdoolaeg
e
dpol
y
::div: avoi
d
co
m
putat
i
on with
r
atio
n
al numbers
.
.
.
commit
|
commitdiff
|
tree
2007-05-08
Sven Verdool
a
ege
dp
o
l
y:
u
s
e
V
alue instead of
Z
Z
commit
|
commitdiff
|
tree
2007-05-08
Sven Verdoolae
g
e
d
o
c: f
i
x typo
commit
|
commitdiff
|
tree
2007-05-02
Sven Ver
d
oolaege
add te
s
t f
o
r lattice point computati
o
n
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolae
g
e
e
val
u
e_r
e
ad
.
c: add
e
v
alue_re
a
d_from_s
t
r for r
e
ading
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
S
v
e
n
Verdoolaege
e
val
u
e_read_
f
rom_fi
l
e: don't modi
f
y
var_li
s
t argument
commit
|
commitdiff
|
tree
2007-05-02
S
ven Verdoolaege
evalu
e
_read: read mo
r
e
g
ene
r
al e
v
alues
commit
|
commitdiff
|
tree
2007-05-02
Sven Ve
r
d
oolaege
e
value_co
n
vert
.
cc: add
m
is
s
in
g
include
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
conversion
.
h
:
gene
r
alize
r
ays2mat
r
i
x
2 to zz2matri
x
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
lattice_point
.
h: make
s
elf-c
o
ntain
e
d
commit
|
commitdiff
|
tree
2007-05-02
S
v
e
n
Verdoolaege
evalue_read: ex
t
ract from maxim
i
ze
.
cc
commit
|
commitdiff
|
tree
2007-05-02
S
v
en
V
er
d
oolaege
enumerator: support primal
(
half-ope
n
) decomp
o
sitions
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
enumerat
o
r: h
a
n
dle
(
dual) st
o
p
p
e
d Barvinok decomposition
commit
|
commitdiff
|
tree
2007-05-02
S
ven Verd
o
ola
e
ge
lattice_point
.
cc: remove u
n
used PD argument
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
erdoolaege
lattice_poi
n
t
.
cc:
e
xtract cose
t
g
enerat
i
on
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
lat
t
i
ce_po
i
nt
.
cc: r
e
n
a
me ceil_mod to fr
a
ctional_
p
art
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
l
a
ttice_
p
oi
n
t
.
cc: use so
m
e helper
f
unctions
t
o simplify
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n Verdoolaege
lattice
_
point
.
cc: implement
l
o
o
kup-
t
able vers
i
on
i
n
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven
Ve
r
doolaege
m
o
ve m
o
r
e lattice
po
i
nt comput
a
t
ions to lattice_
p
oint
.
cc
commit
|
commitdiff
|
tree
next