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
Sve
n
Verdool
a
e
g
e
barvinok 0
.
2
5
commit
|
commitdiff
|
tree
2007-09-11
Sv
e
n Ve
r
d
oolaege
Merge br
a
nch 'topcom'
commit
|
commitdiff
|
tree
2007-09-11
Sven
Ver
d
oolaege
D
o
cumen
t
T
O
P
COM base
d
chambe
r
decomposition
commit
|
commitdiff
|
tree
2007-09-11
Sven
V
erd
o
olae
g
e
test TOPCOM
chamber decomposition
commit
|
commitdiff
|
tree
2007-09-11
S
ven Verdoolaeg
e
Optional
l
y use TOPCOM to compute cha
m
be
r
d
ecompo
s
itio
n
s
.
commit
|
commitdiff
|
tree
2007-09-11
Sven
V
erdoolaege
lex
m
in: add (pr
o
te
c
te
d
) miss
i
ng algori
t
hm incl
u
de
commit
|
commitdiff
|
tree
2007-09-11
Sve
n
Verdoolaege
Makefile
.
am: a
d
d target f
o
r creating d
i
st wi
t
h git
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoo
l
a
e
g
e
doc: u
p
date v
o
t
ing the
o
ry reference
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoola
e
ge
document barvinok_sum
m
ate and barvin
o
k_max
i
mi
z
e
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n
Verdoolaege
d
o
c
: consi
s
te
n
t use of Barvino
k
's i
n
i
t
ials
commit
|
commitdiff
|
tree
2007-09-10
Sven Ver
d
oolaege
barvinok_summate: c
o
rrec
t
options
d
escription
commit
|
commitdiff
|
tree
2007-09-10
Sven
Verdoolaege
Do
c
ument
E
u
ler
-
M
a
clau
r
in based summation
commit
|
commitdiff
|
tree
2007-09-10
S
v
en
Verdoolaege
d
o
c:
change exa
m
ple envi
r
onm
e
nt
commit
|
commitdiff
|
tree
2007-09-10
Sven Verd
o
ol
a
ege
do
c
: add some hi
d
den sections to tab
l
e of con
t
ents
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
e
rdoolaege
doc
:
another doc
u
ment refering t
o
the library
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
add some t
e
st
s
for
Eule
r
-Maclaurin b
a
sed
s
u
mmation
commit
|
commitdiff
|
tree
2007-09-10
S
ven Ver
d
oolaege
Eul
e
r-Ma
c
l
auri
n
based summat
i
on for
1
D pro
b
lems
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdool
a
ege
Euler-M
a
cl
a
urin based summa
t
i
o
n for 2D problems
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdoolaeg
e
decom
p
oser
.
cc: avoid use of half-o
p
en
cones
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
laege
ba
r
vinok_summate:
veri
f
y sol
u
tion over w
h
ole pa
r
a
mete
r
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
laege
introduce barvinok_su
m
mate
a
s
a w
r
a
pper for
evalue_s
u
m
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
add evalue_mul_div
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
la
e
ge
evalue_{div,mul}: hand
l
e some trivial
c
as
e
s more efficiently
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
l
a
tt
i
ce_po
i
nt: export
fr
a
ctional_
p
a
rt
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
dool
a
e
g
e
evalue
.
c: extr
a
ct co
m
mon
c
ode fo
r
const
r
u
c
tion base
d
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
doolaege
vol
u
m
e
.
c: export Param_Polyhedr
o
n_Facet
commit
|
commitdiff
|
tree
2007-09-08
S
v
en
V
e
rdoolaege
a
dd evalu
e
_mul
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
er
d
o
o
lae
g
e
fix type of e
v
alue_polynomial a
r
gument
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
sup
p
ort
co
m
putation
o
f Bern
o
ulli polyn
o
m
i
als
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaeg
e
sep
a
rate computation of Be
r
noul
l
i coefficient
s
and
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verdoolaege
la
t
tice_p
o
int: use Par
a
m_V
e
r
tex_Common_De
n
ominator
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdoolaege
make decomp
o
s
e
r
.
h se
l
f-contain
e
d
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
o
l
aege
reduc
e
_do
m
ain
:
a
void use of macro parameter wi
t
h
name
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Ver
d
oolaege
expo
r
t evalue_dup
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
doola
e
ge
Use piplib dur
i
ng
b
asis
reductio
n
if no other LP solv
e
rs
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
Use bun
d
led piplib
b
y default
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdoolae
g
e
add piplib mo
d
ule
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdoolaege
Use bundled PolyLib by def
a
ult
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verd
o
olaege
add
polyl
i
b
s
ubmo
d
ule
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
ber
n
stein: allow linking against uninstalled, bu
t
built
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
Sven
Verd
o
o
l
aege
add mor
e
m
i
ssing assert
.
h #includes
commit
|
commitdiff
|
tree
2007-08-29
Sven Verdoolae
g
e
a
d
d
du
m
my implementations of fu
n
ctions that depend
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
S
ve
n
Verdool
a
ege
update "
C
ounting wit
h
rational gene
r
a
t
ing
functions
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdoolaege
barvinok
.
cc: s
p
l
i
t off part const
r
u
cting generatin
g
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdoolaege
b
a
rvi
n
ok
.
cc: s
p
lit o
f
f par
t
dealing
w
ith ex
i
s
t
e
ntial
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoolae
g
e
*counter: avoid recomputation of denom
i
na
t
ors w
h
e
n
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sve
n
Verdoolaeg
e
c
o
un
t
er: remove
red
u
n
d
ant
m
emb
e
r
commit
|
commitdiff
|
tree
2007-08-16
Sven Ver
d
oola
e
ge
c
hange type
of some "sign"s to i
n
t as they can on
l
y
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoolaege
doc: update Al
g
or
i
t
hmica
p
ublicatio
n
commit
|
commitdiff
|
tree
2007-08-10
Sve
n
V
e
rdoolaege
eva
l
ue
.
c: ma
k
e p
a
rameter n
a
m
es of type co
n
st
char
.
.
.
commit
|
commitdiff
|
tree
2007-08-05
Sven Ver
d
oo
l
aege
sample
.
c: Polyh
e
dron_Rem
o
veFi
x
edC
o
lumns:
c
orrec
t
ly
.
.
.
commit
|
commitdiff
|
tree
2007-07-31
Sve
n
V
e
rdo
o
laeg
e
util
.
c: remove_equalit
i
es: fix typo
commit
|
commitdiff
|
tree
2007-07-30
Sven Verdoolaege
Param_Polyhe
d
ron_
P
r
int: print ev
e
r
yt
h
ing to given file
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sv
e
n
V
erdoolaege
b
a
rvinok_enumerate_with
_
op
t
io
n
s:
d
on't add context
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoo
l
ae
g
e
barvinok
.
cc: don't fre
e
P argument
in enum
e
rate
commit
|
commitdiff
|
tree
2007-07-29
S
v
en Ve
r
doolaege
remove_all_eq
u
ali
t
ies
:
also
remove equalit
i
es in cont
e
xt
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoo
l
aege
volume
.
c
: avoid warnings
commit
|
commitdiff
|
tree
2007-07-27
Sven Verdoolaege
export Pa
r
am_Inner_Prod
u
ct
commit
|
commitdiff
|
tree
2007-07-25
Sve
n
Verdool
a
e
g
e
barvinok_enumerate
.
cc: a
d
d minimal check on
i
n
put
commit
|
commitdiff
|
tree
2007-07-19
Sven
V
erd
o
olaege
more
prototyp
e
changes to c
o
n
s
t
char *
commit
|
commitdiff
|
tree
2007-07-19
Sv
e
n Verdoolaege
evalue:
print_e
v
alue:
m
ake
pa
r
ameter
n
am
e
s con
s
t char*
s
commit
|
commitdiff
|
tree
2007-07-11
S
ven
V
erdoolaege
Always com
p
il
e
polytope
_
scan
commit
|
commitdiff
|
tree
2007-07-11
Sven
V
e
rdoolaege
polytope_scan: use argp fo
r
argument
p
a
rsing
commit
|
commitdiff
|
tree
2007-07-05
Sven
Verdoolaege
doc: fix ty
p
o
commit
|
commitdiff
|
tree
2007-07-04
Sven Ver
d
o
o
lae
g
e
configure
.
in: allow
specificati
o
n of default p
r
efix
.
.
.
commit
|
commitdiff
|
tree
2007-07-03
Sv
e
n Verdoolae
g
e
consol
i
date
c
all
s
to Polyhedro
n
2Param
_
Do
m
a
i
n
commit
|
commitdiff
|
tree
2007-07-03
Sven Verdoolaege
volume
.
c: fix t
y
po in commen
t
commit
|
commitdiff
|
tree
2007-07-01
Sven Verdoolae
g
e
Mak
e
file
.
am: add $(EXEEXT) for cygwin
commit
|
commitdiff
|
tree
2007-07-01
Sv
e
n Verdoolae
g
e
Makef
i
le
.
am:
forc
e
rebuild
librari
e
s in
s
u
bdirs if
.
.
.
commit
|
commitdiff
|
tree
2007-07-01
S
ven Verdoolaege
only test bar
v
i
nok_maximize if it has been/
c
an
be create
d
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
barvinok
0
.
24
commit
|
commitdiff
|
tree
2007-06-30
Sven Ver
d
oola
e
ge
t
estlib
.
cc: work a
r
ound
incomple
t
e namespace suppo
r
t
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
Ver
d
oolaege
scale
.
c
:
e
n
u
m
erat
e
_na
r
row_flated:
don't sim
p
lify constraints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n
Ver
d
oolaege
declare variables at start of code block
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
doc:
update docume
n
t
ation of op
t
ions
and some function
s
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
Polyhedron_Sample: factor
polyh
e
dron
i
f
possible
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdool
a
ege
Po
l
y
h
ed
r
on_Sample: compu
t
e vertices
o
f 1D polyhedra
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdool
a
ege
Polyhe
d
ron_Samp
l
e: re
m
ove all equalities from polyhedron
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
Verdoola
e
ge
add possibil
i
t
y
t
o use GLPK as LP solv
e
r
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
Ve
r
doo
l
aege
Poly
h
edron_Sample: postpone removal
o
f rays until we
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Ve
r
doolaege
Polyhedron_S
a
mple: use lp solv
e
r for finding r
a
n
ge
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
lexmin: move choice of l
p
s
o
l
ver to
u
se outside bas
i
s
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
en Verdoolaeg
e
polysign
.
h
: use correct name
of PL_polyhed
r
on_af
f
ine_sign
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
ven Verdool
a
ege
barvinok_enume
r
ate: plug mem
o
ry
leak
i
n
Bernoulli approxim
a
tion
commit
|
commitdiff
|
tree
2007-06-30
S
v
en
V
e
r
d
oolaege
barvinok_e
n
umerate_e_r: do
n
't assume AddConstraints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven V
e
rdoolaege
evalue_frac2po
l
ynomial: rec
h
eck e
v
alue aft
e
r evalue_split_do
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
erdoo
l
aege
util
.
c
: Line_Length
:
don't get confused
b
y positivity
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Ve
r
d
o
olae
g
e
Makefile
.
am: stop after first failed test
commit
|
commitdiff
|
tree
2007-06-27
S
v
en Verdoo
l
a
e
g
e
be
r
nstein: carry
through variable
r
enaming t
o
debuggin
g
.
.
.
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdoolaege
bernstein: don't
assum
e
input p
o
lynom
i
al has
b
een expanded
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdool
a
e
g
e
e
v
al
u
e_read
.
c: correct const
n
ess of name in pa
r
ameter_
n
ew
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdoo
l
aeg
e
eva
l
ue_read: accept constant multiple
o
f
variable
withou
t
.
.
.
commit
|
commitdiff
|
tree
2007-06-16
Sven Verdoolaege
evalue
.
c:
e
value_su
m
: bette
r
handling of negativ
e
values
commit
|
commitdiff
|
tree
2007-06-15
Sv
e
n Ve
r
d
o
o
laeg
e
eval
u
e
.
c: reorder_terms: fix typo
commit
|
commitdiff
|
tree
2007-06-14
Sven Ve
r
doola
e
ge
evalu
e
: d
e
clare
first a
r
gument
o
f emul const
commit
|
commitdiff
|
tree
2007-06-14
Sven Ver
d
oolaege
ev
a
lue
.
c: emu
l
: don't
use
e
xplici
t
_com
p
le
m
e
n
t on arguments
commit
|
commitdiff
|
tree
2007-06-14
Sven Verdoolaege
add a test for evalu
e
_split_period
s
commit
|
commitdiff
|
tree
2007-06-12
Sven Verdoo
l
a
ege
evalu
e
.
c: e
v
a
lue_spli
t
_peri
o
d
s: make s
u
re selected
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sven Verdoolaege
eval
u
e
.
c:
p
oly
n
omial_p
r
ojection: use
e
v
alu
e
_ex
t
ract_
a
ffine
commit
|
commitdiff
|
tree
2007-06-10
Sven Ve
r
d
o
olaege
add a te
s
t fo
r
barvinok_ma
x
im
i
ze
a
nd barvi
n
ok_summate
commit
|
commitdiff
|
tree
next