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
doc: more documents refering to the library
2007-04-23
Sven Verdoolaege
doc: more
d
o
c
um
e
n
t
s refering to the library
commit
|
commitdiff
|
tree
2007-04-23
Sv
e
n
Verdoolaege
evalue_convert
.
cc: eva
l
ue_coset: support r
e
lati
o
ns
commit
|
commitdiff
|
tree
2007-04-23
S
ven Verdoola
e
g
e
ev
a
l
u
e
.
c: print_evalue: always
p
ri
n
t
newli
n
e at the
e
nd
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
doc: m
u
l
tivariat
e
quasi-polyno
m
ials as li
s
ts of polyno
m
ials
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
evalue_convert
.
cc
:
i
n
clude "config
.
h" t
o
pic
k
up
USE
_
FDSTRE
A
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sven Ve
r
doolaege
doc: i
n
dex additions
commit
|
commitdiff
|
tree
2007-04-23
S
ven
V
e
rd
o
olaeg
e
doc: triangulation in primal space
+
some typo fixes
commit
|
commitdiff
|
tree
2007-04-23
S
v
en
Ve
r
doolaege
doc:
doc
u
ment inne
r
_
point
commit
|
commitdiff
|
tree
2007-04-23
Sven Verd
o
o
l
aege
doc: refer to Koeppe article for simpler motivation
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
doc: mo
r
e
pub
l
i
cations
(im
p
lici
t
ly) refering
t
o
the
.
.
.
commit
|
commitdiff
|
tree
2007-04-21
Sven Verdoolaege
configure
.
i
n
: add
$(E
X
EEXT) to optional p
r
ograms
f
or
.
.
.
commit
|
commitdiff
|
tree
2007-04-20
Sven Verdoo
l
aege
Mak
e
file
.
am: make sure distr
i
but
i
o
n contains r
e
quire
d
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven Verd
o
olaege
work
around incomplete namespac
e
suppo
r
t in o
l
d compilers
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolaege
d
i
s
a
bl
e
some features
if fdstream doesn't compile
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
S
ven Verdoolaege
barvinok_enumerate
.
c
c
: avoid u
s
e of fdstream
commit
|
commitdiff
|
tree
2007-04-19
Sven
Ve
r
d
oolaege
barvinok
_
e
numerate: don
'
t print (non-existing) e
v
al
u
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven
Verdoolaege
e
d
omain
.
cc: av
o
id use of fdstream
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolaege
configure
.
in:
c
heck for poly
l
ib/po
l
ylibgmp
.
h
commit
|
commitdiff
|
tree
2007-04-19
Sven
V
e
r
d
ool
a
e
ge
declare
v
ariable at start of code block
.
commit
|
commitdiff
|
tree
2007-04-18
Sven
Verdoolaege
M
akef
i
le
.
am: rebu
i
l
d libraries in sub
d
irs if missin
g
commit
|
commitdiff
|
tree
2007-04-18
Sven Verdoolaege
barvinok_enumera
t
e: recheck fo
r
equalities after "var
i
able
.
.
.
commit
|
commitdiff
|
tree
2007-04-15
S
ven
Verdoolaege
d
oc: a voting theo
r
y report
t
hat r
e
fers
t
o the
library
commit
|
commitdiff
|
tree
2007-04-15
Sven Verdoolaege
doc: update primal Barvinok refere
n
ce
commit
|
commitdiff
|
tree
2007-04-15
Sven
V
e
rdo
o
l
aege
doc: add journal
v
ersion of i
m
p
roved
d
erivation paper
commit
|
commitdiff
|
tree
2007-04-13
Sv
e
n Verd
o
olaege
v
o
lume
.
c: keep tr
a
ck of number
of simplices in vo
l
ume
.
.
.
commit
|
commitdiff
|
tree
2007-04-13
S
v
en
Verdoolae
g
e
test_ap
p
r
o
x: test
v
olume
comp
u
tation
v
ari
a
tions
commit
|
commitdiff
|
tree
2007-04-13
Sv
e
n Verdoo
l
a
e
ge
volum
e
.
c
: vo
l
ume_tr
i
angulate: us
e
v
ertex instead
of
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven V
e
rdo
o
laege
volum
e
.
c
:
fa
c
e_v
e
rtic
e
s: us
e
Param_Inner
_
Product
commit
|
commitdiff
|
tree
2007-04-12
Sven Ve
r
doolaege
Call set_program_na
m
e before call
i
ng argp_parse
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoo
l
aege
reduce
_
domain: exploit th
a
t no caller uses
P
o
lyhed
r
on
2
P
aram_
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
S
v
en Verdoolaege
l
exmin:
s
top using
Pol
y
hedron2Param_Simplifie
d
Domai
n
commit
|
commitdiff
|
tree
2007-04-12
Sven Ver
d
oolaege
barvi
n
ok
.
c
c:
s
t
op using
Polyhe
d
ron2Para
m
_SimplifiedDomain
commit
|
commitdiff
|
tree
2007-04-12
Sven Verd
o
olaege
Require
a
v
ersio
n
of PolyLib that compu
t
es corr
e
ct
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
volume
.
c: non_emp
t
y
_
poi
n
t: si
m
ply u
s
e
in
t
erna
l
point
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven V
e
rdoolaege
onl
y
co
m
p
i
le
b
arvinok_maxim
i
ze if GiNaC (and bernstein
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verd
o
olaeg
e
add a
n
ehrhart
e
xample with i
n
t
e
resting c
h
a
m
be
r
s
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdool
a
e
g
e
test_approx: test chamber based scaling
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
scale
.
c: optionally perform scali
n
g
o
n i
n
dividual c
h
ambers
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdool
a
ege
barvin
o
k_enumerate: use "v
a
r
iable c
o
mpre
s
sion" to remove
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Ve
r
d
o
ol
a
ege
util
.
c: left_
i
nverse:
h
andle
c
onst
a
n
t map
commit
|
commitdiff
|
tree
2007-04-12
Sven V
e
r
d
o
olaege
evalue
.
c: eva
l
ue_substitute:
m
ov
e
from edomain
.
cc
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
eval
u
e
.
c:
a
ffine2e
v
alue
:
extracted from volume
.
c
commit
|
commitdiff
|
tree
2007-04-12
Sven Verd
o
olaeg
e
r
educe_domain:
partition chamb
e
r compl
e
x
ba
s
ed
o
n in
n
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Verdoo
l
aege
reduce_domain
.
c
: ext
r
ac
t
i
nner_point and is_int
e
rnal
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven
Ve
r
doolaege
r
e
d
u
ce_domain: chec
k
fo
r
adjacent chambers in simplifi
e
d
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven
V
erdoolaege
FORALL
_
REDUCED_DOMAIN: extra
c
t c
o
mmon
handling of r
e
duced
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven V
e
r
doolaege
barvino
k
_enumerate:
m
ove rec
u
rsive ca
l
l during scal
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven
V
er
d
oolaege
barvi
n
o
k
.
cc: Param_P
o
lyhedron_Enu
m
era
t
e
:
e
x
tract
e
d
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sve
n
Verd
o
ol
a
ege
a
d
d
some interesting test cases for volume co
m
putation
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdo
o
laege
perf
o
r
m
very b
a
sic polynomial approx
i
ma
t
io
n
te
s
t
commit
|
commitdiff
|
tree
2007-04-09
S
ven Verdoo
l
aege
tes
t
_approx: comp
a
re diffe
r
ent polynom
i
al approximations
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolaege
evalue_convert
.
cc: part
i
al support for printing in
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sv
e
n Verdoolaege
Param_Po
l
yhedro
n
_Volume: perform li
f
t
i
ng triangulation
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolae
g
e
volume
.
c: introduce paramet
e
r_point ab
s
t
rac
t
ion
commit
|
commitdiff
|
tree
2007-04-08
S
ve
n
V
erdoolaege
sca
l
e
.
c: export
P
aram_
V
e
r
te
x
_C
o
m
m
on_
D
en
o
minator
commit
|
commitdiff
|
tree
2007-04-08
S
v
e
n
V
e
rdool
a
e
g
e
volu
m
e
.
c: dro
p
re
d
und
a
n
t
a
rguments to volume_simplex
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolaege
opt
i
ons
.
c
: separate polynomia
l
appr
o
ximation related
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdoolae
g
e
barvi
n
ok
_
optio
n
s_new_wit
h
_defaults
:
i
ni
t
i
a
li
z
e
scale_flags
commit
|
commitdiff
|
tree
2007-04-07
Sve
n
Verdool
a
ege
triangulate_co
n
e:
sk
i
p Delaunay tr
i
angulation by default
commit
|
commitdiff
|
tree
2007-04-07
S
v
e
n
V
erd
o
o
laege
ev
a
lue_convert:
p
r
int la
t
tice when printi
n
g as list
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sv
e
n Verdoolaege
e
v
a
lue_conv
e
r
t
: add verbose
a
rgumen
t
a
nd r
e
turn 1 i
f
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
S
ven
Ver
d
ool
a
e
g
e
Po
l
yhedron_
F
late: in
t
e
rsect infl
a
t
e
d poly
t
op
e
with
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sve
n
Verdoolaege
doc:
bib: fix u
p
name
in ti
t
le of
Algori
t
h
m
ic
a
pap
e
r
commit
|
commitdiff
|
tree
2007-04-05
Sven
Verdoola
e
ge
a
dd mis
s
ing vo
l
u
me
.
h file
commit
|
commitdiff
|
tree
2007-04-04
Sven
Ver
d
o
o
l
aege
volume
.
c
:
dela
y
c
o
mputation of point w
h
ere volume is
.
.
.
commit
|
commitdiff
|
tree
2007-04-04
Sv
e
n Verdoolae
g
e
Param_Polyhed
r
on_Volume:
set
p
olynom
i
al_
a
pproxi
m
ation
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoola
e
ge
volume
.
c: allow computation of lowe
r
and upp
e
r b
o
und
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sv
e
n
Verd
o
olaege
scale: export
P
o
lyhedron_Flate
commit
|
commitdiff
|
tree
2007-04-03
Sven
V
e
rdoola
e
ge
b
a
rvinok_enumerate:
o
ptionally co
m
pute "vo
l
ume"
polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoolaege
polytope_volume
:
compute
v
olume of parametric polytope
commit
|
commitdiff
|
tree
2007-04-03
S
ven Verdoolaege
reduce_do
m
ain
.
c: plug me
m
ory leak
commit
|
commitdiff
|
tree
2007-03-31
Sve
n
Ver
d
oolaege
v
e
ri
f
y
.
c
:
m
ove computation of
true
c
ontext int
o
chec
k
_poly_c
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Ver
d
oolaege
sca
l
e
.
c: add
simplified m
e
tho
d
of
c
omputi
n
g
tighter
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven
V
erdoolaeg
e
b
a
rvinok_enume
r
ate: opt
i
on
a
lly comp
u
te tig
h
t
e
r polyn
o
mial
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven
Ver
d
oolaege
pol
y
hedron_sample
.
c: rem
o
ve redunda
n
t MAX
R
AYS d
e
fine
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdool
a
e
g
e
ev
a
l
u
e
.
c:
evalue_eva
l
: support relations
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
ev
a
lue
.
c: ev
a
lue_frac2
p
olynomi
a
l: properly h
a
n
d
le re
l
ations
commit
|
commitdiff
|
tree
2007-03-31
Sven
V
erdoolae
g
e
barvinok_enumera
t
e
:
su
p
port approximation by means
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verd
o
ol
a
e
ge
scale
.
c: a
v
oid simplif
i
c
a
t
ion
o
f constraints after
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
ven Verdoolaege
b
arvinok/util
.
h: add POL_UNSET macro for
un
s
ettin
g
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
ven Verd
o
o
laege
scale
.
c: Para
m
_P
o
lyhed
r
on
_
Scale_Integer
_
Fa
s
t: ignore
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdool
a
ege
move Param_Polyhedron_Scale_Integer
t
o scale
.
c an
d
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
v
e
n Verdoolaege
us
e
sepa
r
ate flags opti
o
n for scale appr
o
x
imation method
commit
|
commitdiff
|
tree
2007-03-31
Sven
V
erdoolaege
barvinok
.
cc: move scal
i
ng to scale
.
c
commit
|
commitdiff
|
tree
2007-03-30
Sven Verdoo
l
a
e
ge
sc
a
l
e
.
c: correct extra
c
t_latt
i
ce in case of redun
d
a
n
t
.
.
.
commit
|
commitdiff
|
tree
2007-03-30
S
ven Verd
o
olaege
do
c
: u
p
date CC2005 reference
commit
|
commitdiff
|
tree
2007-03-26
Sven Verdoolaeg
e
ve
r
if_ehrh
a
r
t
.
c: round inexact evalu
a
t
ion up or down
.
.
.
commit
|
commitdiff
|
tree
2007-03-26
Sv
e
n V
e
rdo
o
laege
ver
i
f_e
h
rhart
.
c:
option
a
lly
u
se
e
xact evaluation for
.
.
.
commit
|
commitdiff
|
tree
2007-03-25
S
v
en V
e
rdoolaege
evalue
.
c:
add evalue_eval for exac
t
evaluation o
f
evalue
commit
|
commitdiff
|
tree
2007-03-25
Sven Verdoola
e
ge
evalue
.
c: f
i
x evalue_frac2polynomial for negative
v
al
u
es
.
.
.
commit
|
commitdiff
|
tree
2007-03-20
Sven Verd
o
olae
g
e
barv
i
nok_enumer
a
t
e: per
f
o
r
m slo
w
scaling appro
x
imation
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
S
ven Verdoolae
g
e
fix Param_P
o
lyhedron_
S
cale_Integer
commit
|
commitdiff
|
tree
2007-03-19
Sven Verdoolaege
b
ar
v
inok_enume
r
at
e
:
more accur
a
te
p
o
l
ynomial approximation
commit
|
commitdiff
|
tree
2007-03-19
S
v
en Verdo
o
la
e
g
e
reorganize polynom
i
al appr
o
ximation options
commit
|
commitdiff
|
tree
2007-03-19
S
ven
Verd
o
olaege
u
t
il
.
c: Param
_
Polyhedron_Print
:
a
c
tually
u
se ou
t
put
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
Sven
V
e
rdoolaeg
e
fix merg
e
of che
c
k_
p
oly
fro
m
verif_ehrhart
.
c and
l
exmin
.
cc
commit
|
commitdiff
|
tree
2007-03-18
Sven Ve
r
doolaege
doc: update Koe
p
pe-
V
er
d
oolaege ref
e
r
ence
commit
|
commitdiff
|
tree
2007-03-17
Sv
e
n V
e
rdool
a
e
ge
b
arvino
k
_maximize: support verifi
c
ation
commit
|
commitdiff
|
tree
2007-03-17
Sv
e
n Verdoolaege
m
erge
c
heck_poly f
r
o
m verif_ehr
h
art
.
c an
d
l
e
xmin
.
cc
commit
|
commitdiff
|
tree
2007-03-17
Sven
V
e
r
d
oolaege
e
v
alu
e
.
c: ma
k
e so
m
e evalue argu
m
ents
const
commit
|
commitdiff
|
tree
next