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
bump version
2007-04-28
S
v
en Verdoola
e
ge
bum
p
versio
n
commit
|
commitdiff
|
tree
2007-04-28
Sven Ver
d
oolaege
doc: update options and some function
commit
|
commitdiff
|
tree
2007-04-28
Sven Verd
o
o
laege
doc: docum
e
nt
v
o
l
u
me computation
commit
|
commitdiff
|
tree
2007-04-28
Sv
e
n Verdoolaege
d
oc: more r
e
por
t
s e
x
plain
i
ng parts
o
f barvinok
commit
|
commitdiff
|
tree
2007-04-28
S
ven Ve
r
doolae
g
e
be
r
nstein: b
u
m
p
version
commit
|
commitdiff
|
tree
2007-04-28
S
v
en Verdoolaege
do
c
: tran
s
f
o
r
mation
o
f p
a
rameter
d
o
m
ai
n
to have revlex
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
S
v
e
n
Verdoo
l
aege
bar
v
inok
.
c
c: b
a
rvino
k
_count_f:
a
void warning on recurs
i
ve
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoo
l
a
ege
u
til
.
c:
u
nimodula
r
_complete:
h
andle c
o
mpletion o
f
mor
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoo
l
aege
barvinok_enumerate
.
cc: han
d
le
all line
s
in --ser
i
es
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sve
n
Verd
o
ola
e
ge
b
arvinok_
e
n
u
m
erate
.
cc: series: pl
u
g m
e
m
ory
l
eak
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoolaeg
e
doc:
document l
e
ft_inverse
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoolae
g
e
doc: r
e
m
o
ve
r
e
f
er
e
nce to old barvinok_series application
commit
|
commitdiff
|
tree
2007-04-26
Sven Verd
o
olae
g
e
do
c
:
u
pdate e
v
al
u
e
_bernstei
n
_
coefficie
n
ts
commit
|
commitdiff
|
tree
2007-04-26
S
v
e
n
Verdoolaeg
e
barvinok/opti
o
ns
.
h: put stats first in barvinok_opt
i
ons
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoo
l
a
e
g
e
barvinok_ma
x
imize
:
read_evalue:
support relati
o
ns
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdo
o
laeg
e
bernstein
.
cc: evalue_bernste
i
n
_
coefficients
:
h
andle
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoolaege
barv
i
n
o
k_maximize: ev
a
lue_re
a
d
: allo
w
identifiers
to
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven V
e
rdoolaege
barvinok
_
maximize: m
o
v
e
--(b
e
rnstein-)recurse op
t
ion
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sv
e
n Verdoolaege
lib/a
r
gp: fix logic in hol_clus
t
er_cmp
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoolaege
barvi
n
o
k
_ma
x
imi
z
e
:
allow spec
i
f
icati
o
n of
t
h
e
v
ariable
s
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sv
e
n
V
erdoolaege
barvinok_maximi
z
e:
b
arf on
unexpected f
i
rst
t
o
k
e
n
commit
|
commitdiff
|
tree
2007-04-23
Sve
n
Verdoolaege
do
c
: mo
r
e documents refering to t
h
e
library
commit
|
commitdiff
|
tree
2007-04-23
Sv
e
n
Verdoolaege
evalue_conver
t
.
c
c
: evalue
_
coset: support relati
o
ns
commit
|
commitdiff
|
tree
2007-04-23
Sven Ver
d
o
olaege
evalue
.
c: print_evalu
e
: a
l
ways print newlin
e
at
the end
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
doc
:
mult
i
v
a
ri
a
te qu
a
si
-
po
l
ynomials as lists of polyn
o
mials
commit
|
commitdiff
|
tree
2007-04-23
Sv
e
n Verdoolaege
evalue_con
v
ert
.
c
c
: incl
u
de
"confi
g
.
h" to pic
k
u
p USE_FDS
T
REA
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sven
V
erdoolaege
doc: index
a
d
d
itio
n
s
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
doc: tr
i
angulation in
p
rimal sp
a
ce + some ty
p
o fixe
s
commit
|
commitdiff
|
tree
2007-04-23
Sven V
e
rdoolaeg
e
d
oc
:
document inner
_
point
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaeg
e
doc: refer to Koepp
e
arti
c
le f
o
r
s
i
m
pler m
o
tivation
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaeg
e
d
oc: m
o
re pu
b
lications
(
i
mplicitly) refering to the
.
.
.
commit
|
commitdiff
|
tree
2007-04-21
Sven Verdoo
l
aege
configu
r
e
.
in: add
$(EXEEXT) to opti
o
nal progr
a
ms
f
o
r
.
.
.
commit
|
commitdiff
|
tree
2007-04-20
S
ven
V
er
d
o
o
laege
Makefile
.
a
m: make
s
u
r
e distribution co
n
tai
n
s required
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven
Ve
r
d
o
ola
e
g
e
work around
incomplete
n
amespace support
i
n old com
p
i
l
er
s
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolaeg
e
disable som
e
f
eatures
i
f f
d
stream doesn't compile
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sv
e
n
Verdoolaege
barvi
n
ok_enumerate
.
cc: avoid us
e
o
f
fdstream
commit
|
commitdiff
|
tree
2007-04-19
Sven Ver
d
o
ol
a
ege
barvinok_enum
e
rate: don't print (non-exi
s
ting) evalue
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
S
ven Ver
d
o
o
laege
edomain
.
cc: avoid use
o
f
f
dstream
commit
|
commitdiff
|
tree
2007-04-19
S
v
en Verdoolaege
conf
i
gure
.
in: check
f
or
p
olyli
b
/polylib
g
mp
.
h
commit
|
commitdiff
|
tree
2007-04-19
Sven Ve
r
doolaege
declare variable at start
o
f
c
ode blo
c
k
.
commit
|
commitdiff
|
tree
2007-04-18
S
ven Verdoolaege
Makefile
.
am: rebuild libraries in subd
i
rs
i
f
m
i
ssing
commit
|
commitdiff
|
tree
2007-04-18
S
v
e
n Verdoolaege
barvin
o
k_enumera
t
e: recheck for e
q
ualities aft
e
r
"
v
ariable
.
.
.
commit
|
commitdiff
|
tree
2007-04-15
Sven Verdo
o
laeg
e
d
oc: a v
o
t
ing theory report
tha
t
refe
r
s
to
t
he
li
b
rary
commit
|
commitdiff
|
tree
2007-04-15
Sven Verdool
a
e
g
e
doc: update prima
l
Barvinok reference
commit
|
commitdiff
|
tree
2007-04-15
S
v
en Verdoolaege
doc: add
j
ournal ver
s
ion of improved der
i
va
t
ion paper
commit
|
commitdiff
|
tree
2007-04-13
Sven Ver
d
ool
a
ege
volum
e
.
c
: keep track of
number of
simplices in volume
.
.
.
commit
|
commitdiff
|
tree
2007-04-13
S
ven V
e
r
do
o
laege
test_ap
p
r
o
x: test volume
computation
v
ariati
o
ns
commit
|
commitdiff
|
tree
2007-04-13
Sven Ve
r
doola
e
ge
vo
l
ume
.
c
: volu
m
e_triangulate: use
v
ert
e
x instead of
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sve
n
Verdoolaege
volume
.
c:
face_verti
c
es
:
u
se Par
a
m_Inne
r
_Pr
o
duct
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
Call set_p
r
ogram_name
b
efore calling argp_pars
e
.
commit
|
commitdiff
|
tree
2007-04-12
Sven
Verdoolaege
reduce
_
do
m
a
in:
e
xploit
t
hat no cal
l
er uses Polyhedron
2
Param_
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sve
n
Verdoo
l
aege
lexmin: stop usin
g
Pol
y
hedr
o
n2Param_S
i
mplified
D
oma
i
n
commit
|
commitdiff
|
tree
2007-04-12
S
v
e
n Verdoolaege
barvi
n
ok
.
cc: stop using Polyh
e
dron
2
Param_Simplif
i
edDoma
i
n
commit
|
commitdiff
|
tree
2007-04-12
Sven
Verdoo
l
aege
Require
a
version
of P
o
lyL
i
b th
a
t com
p
utes correct
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdo
o
lae
g
e
v
o
lume
.
c: non
_
empty_
p
o
i
nt: simply use inte
r
nal p
o
int
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
on
l
y
c
o
m
pile barvino
k
_m
a
ximize if GiNaC
(
and be
r
nstein
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sve
n
Verdoolaege
add an ehr
h
art
example with in
t
erestin
g
chambers
commit
|
commitdiff
|
tree
2007-04-12
S
v
en
V
e
rdoolae
g
e
test_approx: test chamber based
s
caling
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
scale
.
c: optionally
perform scalin
g
on individual chambers
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoo
l
aege
barvinok_enu
m
erate
:
use
"variable compression"
t
o
remove
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven
V
erdoolaege
util
.
c: left_inverse
:
h
andl
e
constant map
commit
|
commitdiff
|
tree
2007-04-12
Sve
n
Verdoo
l
a
ege
eva
l
u
e
.
c: evalue_subst
i
t
u
te: move fr
o
m
e
domain
.
cc
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoo
l
aege
evalu
e
.
c:
a
ffine2e
v
alue: extracted
from
volume
.
c
commit
|
commitdiff
|
tree
2007-04-12
Sven
Verdool
a
ege
r
e
duc
e
_domain
:
partition cham
b
er complex base
d
on inne
r
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Verdoolaege
reduce_domain
.
c
: extrac
t
inner_point
and is_internal
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Verdoolaege
reduce_domain
:
che
c
k for adja
c
ent chambers in simplifie
d
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
S
v
en Verdoolaege
FORALL_REDU
C
ED_
D
O
MAIN: extra
c
t com
m
on hand
l
ing of re
d
uced
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
S
v
e
n
V
e
rdoolaege
barvinok_enumerate: move recursive call during scaling
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
S
v
en Ver
d
oolaege
barvi
n
o
k
.
cc:
Param_P
o
lyhedron_En
u
merate:
e
xtracted
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdoolaege
add some
i
n
t
eresting test cases for volume
computation
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdoolaege
perform very
basic polynomial approximat
i
on test
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdoolaege
test_approx:
c
ompare different
p
olyno
m
ial
a
p
p
roximation
s
commit
|
commitdiff
|
tree
2007-04-08
Sven
V
erdoolaege
evalue_convert
.
cc: part
i
al support for printi
n
g in
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolaege
P
a
ram_Polyhed
r
on_Volu
m
e: per
f
orm lifting triangulation
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolaege
volume
.
c: i
n
troduce par
a
m
eter_poi
n
t abstraction
commit
|
commitdiff
|
tree
2007-04-08
S
ven Verdoola
e
g
e
scale
.
c:
e
x
p
ort Param_Vertex_Commo
n
_Denominator
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolaege
volume
.
c:
d
rop redundant arguments to volum
e
_simplex
commit
|
commitdiff
|
tree
2007-04-08
Sv
e
n Ve
r
d
ool
a
ege
options
.
c: separa
t
e polyn
o
mial approximation related
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven
V
erdoolaege
barvinok_o
p
tio
n
s_n
e
w_with_defaults: initial
i
ze scale_flags
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdoolaege
tria
n
gulate_cone:
skip Delauna
y
triangulatio
n
b
y
def
a
ul
t
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdoolae
g
e
eva
l
u
e
_convert: print latt
i
ce when pri
n
tin
g
as li
s
t
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdoola
e
ge
e
value_co
n
vert: add
v
erbose
a
rg
u
ment
and return 1
if
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
S
ve
n
Verdoolaege
P
o
lyhedron_
F
late: inters
e
c
t i
n
fl
a
ted po
l
ytop
e
w
ith
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
S
v
e
n
Verdoolaege
doc: bi
b
:
fix u
p
name in title of A
l
g
o
rithmica p
a
pe
r
commit
|
commitdiff
|
tree
2007-04-05
Sven V
e
r
doo
l
aeg
e
add missing volum
e
.
h
file
commit
|
commitdiff
|
tree
2007-04-04
S
v
en Verdoolae
g
e
v
o
lume
.
c
:
delay computati
o
n of poin
t
wh
e
re vol
u
me is
.
.
.
commit
|
commitdiff
|
tree
2007-04-04
S
v
en Verdool
a
ege
Pa
r
am_Polyhedr
o
n_Volume: set polyno
m
ial_app
r
oximation
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
S
v
en Ve
r
d
o
o
la
e
ge
v
o
l
u
me
.
c: allow computation of lower and upp
e
r bound
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoolaege
s
cale: expo
r
t Polyhedron_
F
la
t
e
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdo
o
laege
bar
v
inok
_
en
u
merate: op
t
ion
a
lly compute "volume" polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sve
n
V
er
d
oolaege
polytope_volume: co
m
p
ute volume
of
par
a
metr
i
c polytope
commit
|
commitdiff
|
tree
2007-04-03
S
v
en Verdoolaege
re
d
u
ce_domain
.
c
: p
l
ug memory leak
commit
|
commitdiff
|
tree
2007-03-31
Sven
Verdoolaege
v
e
rify
.
c: move computa
t
ion
of true co
n
text in
t
o check_poly_c
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven
V
erdoolae
g
e
scal
e
.
c: add simplified me
t
ho
d
of comput
i
ng
tighte
r
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Ve
r
doola
e
g
e
barvino
k
_enumerate
:
optionally c
o
mpute tighter p
o
l
y
nomial
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven V
e
rdoo
l
aege
p
o
lyhed
r
o
n_samp
l
e
.
c: r
e
move redun
d
ant MAXR
A
YS define
commit
|
commitdiff
|
tree
2007-03-31
Sve
n
Verdool
a
e
g
e
evalue
.
c: evalue
_
eval: s
u
ppor
t
relations
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
evalue
.
c: evalue_fra
c
2polyno
m
ial: properly handle rel
a
tions
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
b
arv
i
nok_en
u
merate: support approx
i
mation by means
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdool
a
ege
sc
a
le
.
c: a
v
oid simplifica
t
ion of con
s
trai
n
ts afte
r
.
.
.
commit
|
commitdiff
|
tree
next