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
evalue_convert.cc: evalue_coset: support relations
2007-04-23
Sven Verdoolaege
evalue_conver
t
.
cc: evalue_coset: suppo
r
t relations
commit
|
commitdiff
|
tree
2007-04-23
Sve
n
V
e
r
d
oolaege
ev
a
lue
.
c: print_evalue: always pri
n
t
n
e
wline at the e
n
d
commit
|
commitdiff
|
tree
2007-04-23
S
ven Verdoolae
g
e
do
c
:
multivariate quasi-polynomials as
l
i
sts
o
f pol
y
nomi
a
l
s
commit
|
commitdiff
|
tree
2007-04-23
S
v
en
Ver
d
oolaege
evalue_convert
.
cc: include
"config
.
h" t
o
pick up USE_FDSTR
E
A
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
S
v
en V
e
rdoolaeg
e
doc: index additions
commit
|
commitdiff
|
tree
2007-04-23
Sve
n
Verdool
a
ege
doc: t
r
iangulation in p
r
imal s
p
ace + some typo fi
x
e
s
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdo
o
la
e
ge
doc: document inner_point
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolae
g
e
doc: ref
e
r to K
o
e
p
pe
article fo
r
simpl
e
r motivation
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
S
v
en Verdoolaege
d
o
c
: mor
e
p
ublications (impl
i
citly)
r
e
f
ering to t
h
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-21
Sve
n
Verdoolaege
configure
.
in
:
add $(EXEEX
T
)
t
o
optional prog
r
ams for
.
.
.
commit
|
commitdiff
|
tree
2007-04-20
Sven Ver
d
oolaege
Makef
i
le
.
a
m
: make sur
e
distributio
n
contains req
u
ired
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
S
v
en Verdo
o
lae
g
e
work
around incomplete namespace support in
o
ld compilers
commit
|
commitdiff
|
tree
2007-04-19
Sve
n
Ver
d
oo
l
aeg
e
disable some fe
a
t
u
r
e
s if
f
dstream does
n
't co
m
p
i
le
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolae
g
e
barvinok
_
enumerate
.
cc: a
v
oid
use
o
f fdstre
a
m
commit
|
commitdiff
|
tree
2007-04-19
Sven
V
erd
o
ol
a
ege
barvinok_enum
e
rate:
d
o
n't print (non-existing)
e
value
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven
Verd
o
ol
a
ege
edo
m
ain
.
cc:
avoid use of fdstream
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdool
a
ege
configure
.
i
n
:
c
h
ec
k
for po
l
ylib/polylibg
m
p
.
h
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdool
a
ege
declare variable at start of c
o
de
b
lock
.
commit
|
commitdiff
|
tree
2007-04-18
Sven Verdoolae
g
e
Makefile
.
am: re
b
u
ild
lib
r
aries in
subdirs if mi
s
s
i
ng
commit
|
commitdiff
|
tree
2007-04-18
Sven Verdoolaege
barvinok_enumerate:
recheck fo
r
equalities after "vari
a
ble
.
.
.
commit
|
commitdiff
|
tree
2007-04-15
Sven Verdoolaeg
e
doc:
a
voting
the
o
ry
r
e
p
or
t
that refers to the library
commit
|
commitdiff
|
tree
2007-04-15
S
ven Verdoolaege
doc: u
p
date
p
rimal Barvinok refe
r
ence
commit
|
commitdiff
|
tree
2007-04-15
Sven Verdool
a
ege
doc: add journa
l
vers
i
on of improved d
e
rivation pap
e
r
commit
|
commitdiff
|
tree
2007-04-13
Sven Verdoolaege
vol
u
me
.
c: keep track of number o
f
s
i
mplice
s
in
volum
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-13
Sven Ver
d
o
olaege
tes
t
_approx
:
tes
t
volume computa
t
ion v
a
riation
s
commit
|
commitdiff
|
tree
2007-04-13
Sven Ve
r
doolaege
volu
m
e
.
c: v
o
l
u
m
e
_triangulate: u
s
e v
e
rte
x
ins
t
e
a
d
of
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sv
e
n Verdoolaeg
e
volume
.
c
: fac
e
_vertices: use Param_Inner_Pr
o
d
uc
t
commit
|
commitdiff
|
tree
2007-04-12
Sven Ver
d
o
o
l
a
ege
C
a
l
l
s
et_program_
n
ame bef
o
re calling argp_p
a
rse
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdo
o
la
e
ge
reduce_domain
:
e
x
ploit that n
o
calle
r
u
ses Polyhed
r
on2Param_
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven
V
er
d
ool
a
ege
lex
m
in: stop using Pol
y
hedron2Param
_
Simplified
D
o
main
commit
|
commitdiff
|
tree
2007-04-12
Sven Ver
d
oolaege
bar
v
inok
.
cc: sto
p
using P
o
l
yhedron2Pa
r
am_Simplifi
e
dDoma
i
n
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoo
l
aege
R
e
qui
r
e a version o
f
PolyLib that computes correct
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
volume
.
c: non
_
empty_point: simpl
y
use inte
r
nal point
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven
Verdool
a
ege
only com
p
ile barvinok_
m
aximize if GiNaC
(
and
b
ernstein
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
add an ehrhart e
x
ample
w
ith interesting cham
b
ers
commit
|
commitdiff
|
tree
2007-04-12
Sven V
e
rdoo
l
aege
test_approx: test chamber based sc
a
ling
commit
|
commitdiff
|
tree
2007-04-12
Sven
Verdoolaege
scale
.
c: opti
o
nally
p
erform scali
n
g
on individual
c
hambers
commit
|
commitdiff
|
tree
2007-04-12
Sven
Verdoolaege
barv
i
no
k
_enumerate: use "va
r
i
ab
l
e
c
ompres
s
ion" to rem
o
v
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verd
o
o
l
aege
util
.
c: left_inverse: h
a
ndle constant
m
ap
commit
|
commitdiff
|
tree
2007-04-12
S
v
en Verdoolaege
evalue
.
c: evalue_su
b
st
i
t
ute: move
fro
m
ed
o
main
.
c
c
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdool
a
ege
eva
l
ue
.
c: affine2e
v
alue: extracted from volume
.
c
commit
|
commitdiff
|
tree
2007-04-12
S
ven Verdoolaeg
e
reduc
e
_domain: partitio
n
chamber complex based
o
n inner
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Verdoolaege
r
e
duce_do
m
a
i
n
.
c: extract inner_p
o
int
a
nd is_in
t
e
rn
a
l
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Verdoolae
g
e
reduc
e
_
d
omain
:
c
heck for adjacent
c
hambers in simplified
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
S
v
en Verdo
o
laege
FORALL_REDUCED_DOMAIN:
e
xtract
common hand
l
i
n
g
o
f reduced
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdoolaege
barvinok_enumer
a
te: move recurs
i
ve c
a
l
l during scaling
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven Verd
o
olaege
barvinok
.
cc
:
Pa
r
a
m_Pol
y
hedron_Enu
m
er
a
te: extracted
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven
Verdoolaege
add some i
n
terest
i
ng test cases fo
r
volume co
m
putation
commit
|
commitdiff
|
tree
2007-04-09
Sven V
e
rdoolaege
perform very basic pol
y
nomial approximation test
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdoolaege
te
s
t_a
p
prox: compare different polynomial appr
o
ximati
o
ns
commit
|
commitdiff
|
tree
2007-04-08
Sv
e
n Verdoo
l
aege
evalue_c
o
nvert
.
cc
:
parti
a
l
support for printing in
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolaege
Param_Polyhedron_
V
olume: perform lifting triangulation
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sv
e
n Verdoo
l
aege
v
o
lu
m
e
.
c
:
introdu
c
e pa
r
ameter_p
o
int
a
bstr
a
c
tion
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolaege
s
cale
.
c: ex
p
ort Para
m
_Vert
e
x_Co
m
mon_Denominator
commit
|
commitdiff
|
tree
2007-04-08
Sven Ver
d
oolaege
vo
l
u
me
.
c:
drop red
u
nda
n
t argum
e
nts
t
o volume_simpl
e
x
commit
|
commitdiff
|
tree
2007-04-08
Sven Ver
d
oolae
g
e
o
pti
o
ns
.
c: separat
e
p
o
lynomial
a
pprox
i
mation related
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdoolaege
bar
v
inok_options_new_
w
ith
_
default
s
:
initialize s
c
a
l
e
_flags
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdoolaege
triangulate_cone: skip D
e
l
a
unay tri
a
n
g
ulati
o
n b
y
d
e
f
a
ult
commit
|
commitdiff
|
tree
2007-04-07
Sve
n
Ver
d
o
olaege
evalue
_
convert: print lattice when pr
i
nting a
s
l
i
st
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdoolae
g
e
eval
u
e_conver
t
: a
d
d
verbose
a
rgument and return 1 if
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sven V
e
r
d
o
o
l
aege
Pol
y
hedron_F
l
ate: intersect inflated polytope w
i
th
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sven
V
erdoolae
g
e
do
c
: b
i
b:
fix up name in title o
f
Algorithmica paper
commit
|
commitdiff
|
tree
2007-04-05
Sven Verdoolaege
add missing
volume
.
h
f
i
l
e
commit
|
commitdiff
|
tree
2007-04-04
S
v
en Verdoolaege
volume
.
c: d
e
lay comp
u
tat
i
on of point wher
e
volume is
.
.
.
commit
|
commitdiff
|
tree
2007-04-04
Sven Verdoolae
g
e
P
a
ram_Polyhed
r
on_V
o
lume: s
e
t p
o
lynomial_approximation
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Ve
r
d
o
o
l
ae
g
e
volume
.
c
:
allow computat
i
on
of lower and
u
pper bound
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
S
ven V
e
rdo
o
laeg
e
scale: export Polyhedron_Flate
commit
|
commitdiff
|
tree
2007-04-03
S
ven V
e
rdoolaege
ba
r
vinok_enumer
a
t
e: optionally
c
o
m
pute "volu
m
e
"
poly
n
omial
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoolaege
p
olytope_volume: compute volume of para
m
etr
i
c po
l
y
t
ope
commit
|
commitdiff
|
tree
2007-04-03
Sven
Ver
d
oolaege
redu
c
e_domain
.
c: plug memory leak
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolae
g
e
ve
r
ify
.
c
:
mo
v
e
co
m
putation of tr
u
e co
n
text
into c
h
eck_p
o
ly_c
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
s
cale
.
c: add
simplified
m
ethod
o
f
c
omp
u
ting
tighter
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Ve
r
d
oolae
g
e
b
arvinok_enumerate: opt
i
onal
l
y
compute tigh
t
er
p
o
l
y
n
omial
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Ver
d
o
o
laege
polyhedron_sample
.
c:
r
e
move r
e
dundant MA
X
RA
Y
S define
commit
|
commitdiff
|
tree
2007-03-31
Sven Ver
d
oola
e
ge
evalue
.
c: e
v
alue_eval: support
r
elations
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolae
g
e
e
v
alue
.
c: evalue_frac2polynomial: properly
handle rela
t
i
o
n
s
commit
|
commitdiff
|
tree
2007-03-31
Sven Ver
d
oolaege
barvinok_enumerate: support approximation by m
e
ans
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven
V
erdoolaege
scale
.
c: avoid simplification o
f
constraints after
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
ven
Verdoolaege
barv
i
nok/util
.
h: add P
O
L_UNSET macro for
unse
t
ti
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
sc
a
le
.
c
: Para
m
_Polyhedron_Scale_Integer_Fast: ignore
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sv
e
n Verdoolaege
move
P
aram_P
o
l
yhedron_Sc
a
le_Integer to sc
a
le
.
c
an
d
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven V
e
rdool
a
ege
use
s
eparate flags o
p
tion for scale
a
ppr
o
x
imat
i
on method
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoo
l
aege
barvinok
.
cc: move scaling to
scale
.
c
commit
|
commitdiff
|
tree
2007-03-30
S
v
en
Ve
r
doolae
g
e
s
c
ale
.
c: correct extract_lattice in case of redundant
.
.
.
commit
|
commitdiff
|
tree
2007-03-30
Sven Verdool
a
ege
doc:
u
pdate CC2005 ref
e
r
e
nce
commit
|
commitdiff
|
tree
2007-03-26
Sven Verd
o
ola
e
ge
verif_
e
h
r
hart
.
c:
r
ound inex
a
ct
e
v
a
l
uation u
p
or do
w
n
.
.
.
commit
|
commitdiff
|
tree
2007-03-26
Sven Verdoolae
g
e
verif_ehrhart
.
c: optionally us
e
exact evaluati
o
n
for
.
.
.
commit
|
commitdiff
|
tree
2007-03-25
Sven Verdoo
l
aege
eval
u
e
.
c: a
d
d evalue_eval for exa
c
t evaluation of ev
a
lue
commit
|
commitdiff
|
tree
2007-03-25
Sven
V
erd
o
olaeg
e
evalue
.
c: fix eva
l
ue_frac
2
polyn
o
mial for negat
i
ve val
u
es
.
.
.
commit
|
commitdiff
|
tree
2007-03-20
Sven Verdoo
l
aege
barvinok_enumerate: perform slow
s
c
aling appro
x
ima
t
i
on
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
Sv
e
n Ver
d
oolaege
fix Param_Polyhedron_Scale_
I
nt
e
ger
commit
|
commitdiff
|
tree
2007-03-19
Sven Verdoo
l
a
e
ge
barvinok
_
enum
e
rate: more
a
ccu
r
at
e
polynomial approximation
commit
|
commitdiff
|
tree
2007-03-19
S
v
en
V
erdoolae
g
e
r
eorganiz
e
p
o
lynomial approximatio
n
options
commit
|
commitdiff
|
tree
2007-03-19
S
v
e
n
V
er
d
oolaege
uti
l
.
c
: Param_Polyhedron
_
Pri
n
t
:
actually use output
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
S
ve
n
Verdoolaege
f
i
x merge of check_poly f
r
om verif_
e
hrhart
.
c and lexmin
.
cc
commit
|
commitdiff
|
tree
2007-03-18
S
ven Ver
d
oolaege
doc: update Koepp
e
-Verd
o
o
laege reference
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoolaeg
e
barvinok_maximize: support v
e
r
ific
a
tion
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoola
e
ge
me
r
ge check_p
o
ly from ver
i
f_ehrha
r
t
.
c and
l
exm
i
n
.
cc
commit
|
commitdiff
|
tree
2007-03-17
Sven
V
erdoolaege
evalue
.
c: make so
m
e
e
value arguments
c
o
n
st
commit
|
commitdiff
|
tree
2007-03-17
Sven
V
erdo
o
laege
e
value_frac2f
l
oor2: also
convert non-parti
t
io
n
if no
.
.
.
commit
|
commitdiff
|
tree
next