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 Verdoolaege
Option
a
l
l
y
us
e
TOPCOM to
compute
c
h
amb
e
r
d
e
comp
o
sitions
.
commit
|
commitdiff
|
tree
2007-07-30
Sven Verdoolaege
Param_
P
olyhedron_Print: print everything to given file
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
S
v
e
n Verd
o
o
laege
barvino
k
_enume
r
ate_with_
o
ptions
:
d
o
n't add context
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sve
n
Verdoolaege
barvinok
.
cc:
don't free P argument in e
n
u
merate
commit
|
commitdiff
|
tree
2007-07-29
Sven V
e
rdoolaege
r
emove
_
all_equa
l
i
t
i
es:
a
lso remov
e
equalities in cont
e
xt
commit
|
commitdiff
|
tree
2007-07-29
Sven
V
erdoolaege
volu
m
e
.
c: avoid warn
i
ng
s
commit
|
commitdiff
|
tree
2007-07-27
Sven Verdoolaeg
e
export Param_Inner_Product
commit
|
commitdiff
|
tree
2007-07-25
Sven V
e
rdoolaeg
e
barvinok_enumerate
.
cc: add mi
n
imal check on input
commit
|
commitdiff
|
tree
2007-07-19
Sven Verdool
a
eg
e
more prototype changes to cons
t
char *
commit
|
commitdiff
|
tree
2007-07-19
Sven
Verdoolaege
evalue: pr
i
nt_evalue: make parame
t
e
r
names con
s
t
char*s
commit
|
commitdiff
|
tree
2007-07-11
Sven Verdoolaege
Always c
o
mpile
p
ol
y
tope_scan
commit
|
commitdiff
|
tree
2007-07-11
Sven Verdool
a
eg
e
pol
y
tope_scan: use
a
r
gp for
a
rgu
m
ent
p
arsing
commit
|
commitdiff
|
tree
2007-07-05
Sven Verdo
o
lae
g
e
doc: fix ty
p
o
commit
|
commitdiff
|
tree
2007-07-04
Sven V
e
rdo
o
laege
config
u
r
e
.
in: allow
sp
e
cification of default prefi
x
.
.
.
commit
|
commitdiff
|
tree
2007-07-03
S
ven
V
erdo
o
l
aege
c
onsolidate calls to Polyhe
d
ron2Param_Domain
commit
|
commitdiff
|
tree
2007-07-03
Sv
e
n
Verdoolaege
volu
m
e
.
c: fix ty
p
o
in comme
n
t
commit
|
commitdiff
|
tree
2007-07-01
Sven
Verdoolaege
Makefile
.
am: a
d
d
$(EXEEXT) for cygwin
commit
|
commitdiff
|
tree
2007-07-01
Sven Verdoolaege
Makefile
.
am: fo
r
ce rebu
i
ld librar
i
es in
subdirs if
.
.
.
commit
|
commitdiff
|
tree
2007-07-01
Sven Verdo
o
laege
only test barvin
o
k_ma
x
imi
z
e i
f
i
t
has been/can be created
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoola
e
ge
b
ar
v
inok 0
.
24
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
t
e
s
tlib
.
c
c
: work around incomple
t
e
name
s
p
ace su
p
port
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
erdoo
l
a
e
ge
s
c
ale
.
c: enumerate_narrow_
f
lated: do
n
't simplify const
r
aints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n
Verdoolaege
declare variab
l
es at start
of code block
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoo
l
aege
doc: upd
a
t
e doc
u
men
t
ation o
f
o
ptions and
so
m
e
f
unctions
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
Polyhedron_Samp
l
e: factor polyhedron if possible
commit
|
commitdiff
|
tree
2007-06-30
Sven V
e
rd
o
olaeg
e
Polyhedron_S
a
mple
:
compute vert
i
ces of 1D polyhe
d
ra
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaeg
e
Polyhedron_Sample
:
remove a
l
l
equ
a
lities
from polyhedro
n
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoola
e
g
e
a
dd possibility to
u
se G
L
PK as LP solver
commit
|
commitdiff
|
tree
2007-06-30
S
v
en Ver
d
oolaege
P
olyhedron_Samp
l
e: pos
t
pone
r
emo
v
al
o
f ra
y
s unti
l
we
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
Verdool
a
eg
e
Polyhedron
_
Sample: us
e
lp solver for findin
g
range
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
Verdoolaeg
e
le
x
m
in: move choic
e
of
l
p solver to use out
s
ide ba
s
i
s
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
en Verdoolaege
polysig
n
.
h:
use correct nam
e
of PL_
p
olyhedron_aff
i
ne_sig
n
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
Verdo
o
laege
barvinok_enumerate: plug memory leak in
B
ernoulli approximation
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
Verdoo
l
aeg
e
b
a
r
v
inok_
e
numerate_e_r: don'
t
as
s
u
m
e AddConstraints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Ver
d
oolaege
eval
u
e_frac2polynomia
l
: r
e
check evalue a
f
t
e
r
eva
l
u
e
_spl
i
t
_
d
o
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdo
o
laeg
e
util
.
c: Li
n
e_L
e
ngth: do
n
't get c
o
nfused
b
y positivity
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
en
V
erdoolaege
Makefile
.
am: stop
after
fir
s
t failed test
commit
|
commitdiff
|
tree
2007-06-27
Sve
n
Verdo
o
laege
bernstein: ca
r
ry through
var
i
able renam
i
ng t
o
debugg
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-06-27
S
v
en Verdoola
e
ge
bernst
e
in: don't
a
ss
u
me input po
l
ynomial has b
e
en expanded
commit
|
commitdiff
|
tree
2007-06-27
Sv
e
n
Ver
d
oolaege
eval
u
e
_
read
.
c: correct
constness of na
m
e in parameter_new
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdoolaege
e
v
a
l
ue_read: accept constant
m
ulti
p
l
e
of varia
b
l
e
w
ithout
.
.
.
commit
|
commitdiff
|
tree
2007-06-16
Sven
Verdoolaege
evalu
e
.
c: evalue_sum: be
t
te
r
h
a
ndli
n
g
of
ne
g
ative values
commit
|
commitdiff
|
tree
2007-06-15
Sv
e
n
Verdoo
l
a
e
ge
evalue
.
c
:
reor
d
er_terms: fix typo
commit
|
commitdiff
|
tree
2007-06-14
Sven V
e
rdoolae
g
e
evalue
:
de
c
lare fir
s
t arg
u
ment of emul const
commit
|
commitdiff
|
tree
2007-06-14
Sv
e
n Ve
r
doolaege
eva
l
ue
.
c: emul: don't use explici
t
_c
o
mplem
e
nt on
a
rguments
commit
|
commitdiff
|
tree
2007-06-14
Sven
Verd
o
o
l
aege
add a test
f
or e
v
alue_split_pe
r
iods
commit
|
commitdiff
|
tree
2007-06-12
Sven Verdool
a
ege
evalu
e
.
c:
e
value_
s
p
l
i
t
_peri
o
ds: ma
k
e sure
s
ele
c
ted
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sven Verdoo
l
a
ege
evalue
.
c: polynomia
l
_projectio
n
: use eval
u
e_extract
_
affin
e
commit
|
commitdiff
|
tree
2007-06-10
Sven Ver
d
oolaeg
e
add a test for barv
i
nok_maximize and barvi
n
ok
_
s
ummate
commit
|
commitdiff
|
tree
2007-06-10
Sven Verdoolaege
barvinok_summate:
supp
o
rt ve
r
ificati
o
n
o
f results
commit
|
commitdiff
|
tree
2007-06-10
Sv
e
n Verdoolaege
evalu
e
.
c: ev
a
lue_sum: split into orthants
+ some ref
a
ctoring
commit
|
commitdiff
|
tree
2007-06-10
Sven Ve
r
doola
e
ge
barvi
n
ok_union: use
a
rgp for argumen
t
parsing
commit
|
commitdiff
|
tree
2007-06-09
Sven Verdoolaege
barvi
n
ok_enum
e
rate_union_serie
s
_with_o
p
tions: fix
t
ypo
commit
|
commitdiff
|
tree
2007-06-07
Sven Verdoola
e
ge
basis_reducti
o
n_c
d
d
.
cc: g
e
t correc
t
dua
l
solution i
n
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sve
n
V
erdoolaege
b
a
sis_reduction_glpk
.
c: correctly set t
y
pe of rows
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sv
e
n
V
erdoolaege
basi
s
_reduction_gl
p
k
.
c: che
c
k
f
or sani
t
y of s
o
lution
commit
|
commitdiff
|
tree
2007-06-06
S
v
en Verdo
o
laege
options: mention default and
a
v
a
ilable solvers for
.
.
.
commit
|
commitdiff
|
tree
2007-06-06
Sven Verdoolaege
polyhedron_sample: t
a
ke optio
n
s
commit
|
commitdiff
|
tree
2007-06-06
Sve
n
Verdoolaege
doc:
m
ore
a
bout power
sums
commit
|
commitdiff
|
tree
2007-06-04
Sven Verdoolaege
doc
:
typo
commit
|
commitdiff
|
tree
2007-05-30
S
v
en Ver
d
oolaege
doc: rep
e
a
t Matthias' stopped
Bar
v
inok expe
r
imen
t
s
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sven Verdoolaege
add b
a
r
v
i
nok_summate to s
u
m
a quasi-
p
olynomia
l
over
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sven Verdoolaege
eva
l
u
e
_read: fix for
t
op-
l
evel fractional
p
a
rt
commit
|
commitdiff
|
tree
2007-05-14
S
ven
V
erdoolaege
bernoul
l
i
.
c: Bernoulli_
s
um
_
evalue: red
u
ce resulting
.
.
.
commit
|
commitdiff
|
tree
2007-05-14
Sven V
e
rd
o
olaege
bernou
l
l
i
.
c: perform nested
sums approximatio
n
depth
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdo
o
l
a
e
g
e
a
dd polynomial a
p
p
roxi
m
ation b
a
sed on n
e
s
t
e
d sums
commit
|
commitdiff
|
tree
2007-05-13
Sv
e
n
V
e
rdo
o
laege
util
.
c: extract for_
e
a
c
h
_
lower_upper_
b
ound from Pa
r
a
m
Line_Lengt
h
commit
|
commitdiff
|
tree
2007-05-13
S
v
e
n Ver
d
oolaege
d
ecomposer: use
N
T
L to invert
m
atrix
r
ather th
a
n con
v
er
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verd
o
olaege
lattice_point
.
cc: allow rays and
v
ertex
t
o have
been
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdool
a
e
ge
counter: opti
m
i
ze summing over poi
n
ts
i
n funda
p
iped
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
lattice_poin
t
.
cc: avoid conversion
between NTL and
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
conversion
.
c
c: remove rays2matri
x
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoola
e
ge
e
value
.
c: ev
a
lue_polynomial ex
t
racted from bar
v
ino
k
.
cc
commit
|
commitdiff
|
tree
2007-05-13
S
ven Ve
r
doolaege
e
value
.
c: ad
d
evalu
e
_nega
t
e
commit
|
commitdiff
|
tree
2007-05-13
S
v
en Verdoo
l
a
eg
e
d
oc:
a note on
t
he conn
e
c
t
i
o
n between
T
odd poly
n
omials
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
S
v
en Verdoolae
g
e
do
c
: points i
n
fundapiped: fix typ
o
commit
|
commitdiff
|
tree
2007-05-10
Sven Verdoolaege
barvi
n
ok
.
cc: s
i
mplify
d
p
ol
y
_n
c
onstructor
commit
|
commitdiff
|
tree
2007-05-10
S
ven Verd
o
olaeg
e
Remove "normalization" or p
o
wers in denomi
n
ator on
.
.
.
commit
|
commitdiff
|
tree
2007-05-09
Sven Ver
d
oolaeg
e
deco
m
poser
.
cc:
p
a
ss option
s
to t
r
iangula
t
e_con
e
commit
|
commitdiff
|
tree
2007-05-08
S
v
en
Verd
o
olae
g
e
b
a
rvin
o
k
_
count
:
o
ption
a
lly use
e
xpon
e
ntial substitution
commit
|
commitdiff
|
tree
2007-05-08
Sven
Verdoolaege
co
u
nter
.
cc
:
extracted from barvinok
.
cc
commit
|
commitdiff
|
tree
2007-05-08
Sven Verdo
o
laeg
e
dpoly::di
v
:
a
void computation w
i
th ration
a
l number
s
.
.
.
commit
|
commitdiff
|
tree
2007-05-08
Sven Verdoo
l
aeg
e
dpoly
:
use
V
al
u
e i
n
stead of ZZ
commit
|
commitdiff
|
tree
2007-05-08
Sven
Verdoolaege
doc:
fix typo
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
a
dd test f
o
r l
a
ttice point computat
i
on
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n
V
erdoolaege
eval
u
e_read
.
c
:
add
e
value_r
e
a
d_from_str
for re
a
din
g
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sve
n
Verdoolaege
e
v
a
l
u
e_rea
d
_from_file: don't modify var_list argument
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolae
g
e
e
v
alue_read: read more general ev
a
lu
e
s
commit
|
commitdiff
|
tree
2007-05-02
S
v
en Verdoo
l
aege
e
v
a
lue_
c
o
n
v
ert
.
cc: add missing in
c
lude
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
conversion
.
h:
g
en
e
raliz
e
rays2matrix2 to zz2matrix
commit
|
commitdiff
|
tree
2007-05-02
Sven Ver
d
o
o
l
a
ege
lattice_point
.
h
: make s
e
lf-con
t
ained
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
eva
l
ue
_
read: extract
f
r
o
m
maximize
.
cc
commit
|
commitdiff
|
tree
2007-05-02
Sven V
e
rdool
a
ege
enumerator: su
p
por
t
primal
(half-open) d
e
comp
o
s
itions
commit
|
commitdiff
|
tree
2007-05-02
Sven Verd
o
olaege
enumerator: ha
n
dle
(
dual) stopped
B
arvinok de
c
omposition
commit
|
commitdiff
|
tree
2007-05-02
Sven V
e
rdo
o
lae
g
e
lattice
_
point
.
cc: remove unused PD
a
rg
u
ment
commit
|
commitdiff
|
tree
2007-05-02
S
v
en Ver
d
oolae
g
e
lattice_point
.
cc: extrac
t
coset generatio
n
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
lattice
_
point
.
cc: ren
a
me
ceil_mod to fractional_part
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdool
a
ege
lat
t
ice_point
.
cc: use
some
h
elper functions t
o
simpli
f
y
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
la
t
tice_point
.
cc: imp
l
ement lookup-tab
l
e version i
n
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
m
o
ve more lattice point comp
u
tations to lattice
_
poin
t
.
cc
commit
|
commitdiff
|
tree
next