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
barvinok 0.25
2007-09-11
Sv
e
n Verdool
a
e
g
e
bar
v
inok 0
.
25
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
Merge branch
'
topc
o
m'
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
Docu
m
ent
TOPC
O
M
based chamber decompositi
o
n
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaeg
e
tes
t
TOPCOM c
h
amber decompo
s
ition
commit
|
commitdiff
|
tree
2007-09-11
Sven
V
e
rdoolaeg
e
Optional
l
y use TOPCOM to comput
e
chamber de
c
ompos
i
tions
.
commit
|
commitdiff
|
tree
2007-09-11
Sve
n
Verdo
o
laege
lexmin: add (prot
e
cted) mi
s
sing
a
l
g
orithm includ
e
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoo
l
aege
Makefile
.
am:
a
dd
t
a
r
g
e
t
for cre
a
ting
dis
t
with git
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n
V
erdool
a
eg
e
doc:
update votin
g
theory refe
r
ence
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n
V
erdoolae
g
e
document ba
r
vin
o
k_summate
and barvi
n
ok_maxim
i
ze
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
do
c
:
c
onsist
e
n
t
u
s
e
of Barvinok's initials
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdo
o
laege
barvinok_summate: corr
e
ct options desc
r
iptio
n
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaeg
e
Do
c
ument E
u
l
e
r-Maclaur
i
n based summation
commit
|
commitdiff
|
tree
2007-09-10
Sven Verd
o
olaege
doc: change
e
xam
p
le en
v
i
r
onment
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
erdoolaege
doc
:
add s
o
me hidden sec
t
ions t
o
tabl
e
o
f con
t
ents
commit
|
commitdiff
|
tree
2007-09-10
S
ven Verdoo
l
a
e
ge
doc
:
a
n
o
ther
doc
u
ment ref
e
r
ing to
the library
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
add
s
ome te
s
ts for E
u
ler-M
a
claurin based
s
ummation
commit
|
commitdiff
|
tree
2007-09-10
S
ven Verdoolaege
Euler-Maclaurin
based summation f
o
r 1D problems
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdo
o
la
e
ge
E
ule
r
-Maclaurin b
a
sed
summation
for
2
D
problems
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdoolaege
decompos
e
r
.
c
c: avoid use
of half-
o
pen cones
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rdool
a
e
ge
barvino
k
_summate: v
e
rify solution o
v
er whole p
a
r
amete
r
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
introduce barv
i
nok_s
u
mmate
a
s a wra
p
p
er for evalue_
s
um
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoola
e
g
e
add evalue_mu
l
_
d
iv
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdoolaege
evalue_{div,mul
}
: hand
l
e some t
r
ivi
a
l case
s
m
o
re efficiently
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
d
o
olaege
la
t
tice_point:
e
xp
o
rt fractional_part
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoo
l
ae
g
e
ev
a
lue
.
c: extrac
t
c
ommon code for c
o
n
struction based
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
doolaege
volu
m
e
.
c: ex
p
ort
P
a
r
a
m
_
Polyhe
d
ron_Facet
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
laege
add evalue_mul
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdoola
e
g
e
fix
t
y
pe of
evalue_polynomial argum
e
nt
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
laege
support computation
of
Be
r
noulli
p
o
lynomia
l
s
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoola
e
ge
sep
a
rate computa
t
ion of
B
ern
o
ul
l
i coefficie
n
ts and
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rdo
o
laege
lattice_point: use
P
aram_Vertex_C
o
mmon_Deno
m
in
a
tor
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoola
e
ge
make
d
ecomposer
.
h self
-
conta
i
ne
d
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n
V
erdo
o
laege
re
d
u
c
e_domai
n
:
a
void use of macro p
a
rameter with name
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
ool
a
ege
ex
p
ort evalu
e
_du
p
commit
|
commitdiff
|
tree
2007-09-08
S
v
en
Verdo
o
laege
U
s
e piplib during basis reduction
i
f no ot
h
er LP
solvers
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
ven Ver
d
oola
e
ge
Use bu
n
dled
piplib by default
commit
|
commitdiff
|
tree
2007-09-08
S
ven Ver
d
oola
e
g
e
add piplib mo
d
u
l
e
commit
|
commitdiff
|
tree
2007-09-08
S
v
en
Verdoola
e
ge
Use bundled PolyLib
by def
a
ult
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
add po
l
ylib submodul
e
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdoolaege
bernstein: all
o
w linking
a
g
a
inst uninsta
l
l
e
d,
but built
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
Sven V
e
rdoolaege
add
more
missing as
s
ert
.
h #in
c
ludes
commit
|
commitdiff
|
tree
2007-08-29
Sve
n
Verdo
o
l
a
ege
add d
u
m
m
y imp
l
e
m
entations
o
f
functions that dep
e
nd
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdoolaege
update
"Co
u
n
t
ing wi
t
h
rational generating func
t
ions
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
S
v
en Verdoolaege
barvin
o
k
.
cc: split off pa
r
t co
n
structing generating
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven
Ver
d
oola
e
g
e
bar
v
in
o
k
.
cc: split off pa
r
t dealing with exist
e
ntia
l
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoola
e
ge
*counte
r
: avoid recomputat
i
on of den
o
minators when
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sve
n
Verdoolaege
c
ounte
r
: remove re
d
undant member
commit
|
commitdiff
|
tree
2007-08-16
S
v
en Verdoolaege
change type o
f
some "s
i
gn"s t
o
int as they can only
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Ver
d
o
o
l
aege
d
o
c: upda
t
e A
l
gorithm
i
c
a pub
l
ication
commit
|
commitdiff
|
tree
2007-08-10
Sven Verdoolaege
evalue
.
c: ma
k
e parame
t
er names of type const cha
r
.
.
.
commit
|
commitdiff
|
tree
2007-08-05
Sve
n
V
e
r
doolaege
sample
.
c: Pol
y
hedron_RemoveFixedColumns: correc
t
ly
.
.
.
commit
|
commitdiff
|
tree
2007-07-31
Sven Verdoolae
g
e
util
.
c: remove_equalities: fix typo
commit
|
commitdiff
|
tree
2007-07-30
Sven V
e
rdoolaege
Param_Polyhedr
o
n_Pri
n
t: print
everything to given file
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sve
n
Verdoolaege
b
arvi
n
ok_enumerate_with_options
:
don't ad
d
context
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoolaege
barvinok
.
c
c
:
don't
free P argu
m
ent
in enumerat
e
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoolaege
remove_al
l
_
e
qualities: al
s
o
r
emove eq
u
alities in cont
e
xt
commit
|
commitdiff
|
tree
2007-07-29
Sven Ve
r
do
o
laege
volu
m
e
.
c: avoid warn
i
ngs
commit
|
commitdiff
|
tree
2007-07-27
S
v
e
n Verdoolaege
export Param_Inner_Product
commit
|
commitdiff
|
tree
2007-07-25
Sven Verdoo
l
aege
ba
r
v
i
n
ok
_
enumerate
.
cc: add minimal
chec
k
on input
commit
|
commitdiff
|
tree
2007-07-19
Sven Verdoolaeg
e
more pro
t
ot
y
pe
c
hanges
to const
c
har *
commit
|
commitdiff
|
tree
2007-07-19
Sven Verdoolae
g
e
evalue: print_evalue: make
para
m
eter
n
ames const char*s
commit
|
commitdiff
|
tree
2007-07-11
Sven Verdoolaeg
e
Always c
o
mpil
e
p
olytope_scan
commit
|
commitdiff
|
tree
2007-07-11
S
ven
Verdoolaege
polytope_scan
:
use argp for argument p
a
rsing
commit
|
commitdiff
|
tree
2007-07-05
Sven Verd
o
olaeg
e
doc: fix typo
commit
|
commitdiff
|
tree
2007-07-04
Sven Verdoo
l
aege
c
o
nfi
g
u
re
.
i
n: a
l
low specifica
t
io
n
of
d
ef
a
ult pref
i
x
.
.
.
commit
|
commitdiff
|
tree
2007-07-03
S
ven Verd
o
olaege
con
s
olidate c
a
l
l
s to
Poly
h
edron2Param_
D
omain
commit
|
commitdiff
|
tree
2007-07-03
Sven
Ver
d
ool
a
ege
volume
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2007-07-01
Sven V
e
rdoolaege
M
akefile
.
am: a
d
d $
(
EXEEX
T
) for cy
g
wi
n
commit
|
commitdiff
|
tree
2007-07-01
S
v
en Verdoolaege
Makefile
.
am: fo
r
ce rebuild libra
r
ie
s
in sub
d
irs if
.
.
.
commit
|
commitdiff
|
tree
2007-07-01
Sven Verd
o
ola
e
ge
only t
e
st ba
r
v
inok_maximi
z
e if it has been/ca
n
be
c
reated
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n Verd
o
olaege
barvin
o
k 0
.
24
commit
|
commitdiff
|
tree
2007-06-30
Sven Ve
r
doo
l
ae
g
e
testlib
.
c
c
:
w
ork aro
u
nd incomplete namespac
e
su
p
port
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
e
n Verdoolaege
scal
e
.
c: enumerate_narrow_flated: do
n
't si
m
plify
constrai
n
t
s
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
ven Ver
d
oolaege
declare
variab
l
e
s
at start of code b
l
ock
commit
|
commitdiff
|
tree
2007-06-30
Sven
Verdoo
l
aege
doc: update doc
u
m
e
n
t
a
tio
n
of
o
p
tio
n
s a
n
d
so
m
e func
t
ions
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoo
l
aege
Polyhedron_Sample: fact
o
r polyh
e
dron if possible
commit
|
commitdiff
|
tree
2007-06-30
Sven Ver
d
ool
a
e
g
e
Polyhedron
_
Sample: c
o
mpute ver
t
ices
of 1D poly
h
edra
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Ver
d
oolae
g
e
Polyh
e
dron_
S
ample: remo
v
e all equalities from
polyhedro
n
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
Verdoolaege
a
dd
p
oss
i
bili
t
y to use GLPK as LP solver
commit
|
commitdiff
|
tree
2007-06-30
Sven V
e
rdoolae
g
e
Polyhedron
_
S
a
mple
:
po
s
t
pon
e
removal of rays until we
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Ver
d
oola
e
ge
P
olyhedron_Samp
l
e
: use lp sol
v
er for finding r
a
nge
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
le
x
min: move choice of l
p
solver to
u
s
e outsi
d
e basis
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
po
l
ysign
.
h
: us
e
correct name of PL_polyhedron_affine_si
g
n
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
bar
v
i
nok_en
u
merate: p
l
ug me
m
o
r
y
l
e
ak in Berno
u
lli a
p
proximatio
n
commit
|
commitdiff
|
tree
2007-06-30
Sven Ve
r
doo
l
aege
barvinok_e
n
u
m
er
a
te_e_r: don
'
t assume AddConst
r
aints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdool
a
ege
evalue_frac2polynomial
:
rec
h
ec
k
e
value after ev
a
lue_split_do
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verd
o
o
l
aege
util
.
c: Line_
L
e
ngth: d
o
n
't get confused
by positivity
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
erdoolaege
Ma
k
efil
e
.
a
m: stop after first failed
t
est
commit
|
commitdiff
|
tree
2007-06-27
S
ven Verd
o
olae
g
e
bern
s
tein: carry throu
g
h variable renaming to deb
u
gging
.
.
.
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdo
o
laege
bernst
e
in
:
don'
t
assume input polyno
m
ia
l
h
as been expanded
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdoolaege
e
v
alue_re
a
d
.
c: correct cons
t
ness
of name
i
n
para
m
eter_new
commit
|
commitdiff
|
tree
2007-06-27
Sve
n
Verdoola
e
ge
evalue_r
e
ad: acc
e
pt constan
t
multiple
of variable without
.
.
.
commit
|
commitdiff
|
tree
2007-06-16
Sv
e
n
Verdo
o
laege
evalue
.
c
: evalue_sum: be
t
ter h
a
ndl
i
ng of negative values
commit
|
commitdiff
|
tree
2007-06-15
Sven V
e
rdoolaege
evalue
.
c: reorder
_
terms: fix
t
y
po
commit
|
commitdiff
|
tree
2007-06-14
Sven
V
e
r
doolaege
e
v
alue: de
c
lar
e
first argument of emul const
commit
|
commitdiff
|
tree
2007-06-14
Sv
e
n Verdoo
l
aege
e
value
.
c: emul: don't use expli
c
it_complement on arguments
commit
|
commitdiff
|
tree
2007-06-14
Sve
n
Verdoolaege
add a test for evalue
_
s
p
li
t
_p
e
ri
o
ds
commit
|
commitdiff
|
tree
2007-06-12
Sven V
e
rdoolaege
evalue
.
c:
e
value_
s
p
lit_peri
o
ds: make
sure selecte
d
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sven Verdoolaege
evalue
.
c: p
o
l
y
nomial_project
i
o
n: use
evalu
e
_extract_affine
commit
|
commitdiff
|
tree
2007-06-10
S
ven
Verdoolaege
add a
t
e
st for barvinok_ma
x
imize a
n
d barvinok_summate
commit
|
commitdiff
|
tree
next