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_maximize: evalue_read: allow identifiers to contain digits
2007-04-25
Sven Verdoolaege
barvi
n
o
k
_maximize: evalue_re
a
d: a
l
low identif
i
ers to
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sve
n
Verdoolaege
b
arv
i
nok_
m
aximi
z
e: mov
e
-
-
(
bernstein
-
)
r
ecur
s
e op
t
ion
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verd
o
olaege
l
i
b/argp: fix
l
o
g
ic
in hol_cluster_
c
mp
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoolaege
barvi
n
ok
_
m
aximize:
a
l
low sp
e
cificati
o
n of
the v
a
riabl
e
s
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoolaege
barvinok
_
maxi
m
i
ze: barf o
n
u
n
expected firs
t
token
commit
|
commitdiff
|
tree
2007-04-23
Sve
n
Verdoola
e
ge
doc: m
o
re
docu
m
e
n
ts
r
ef
e
ri
n
g to
t
he l
i
brary
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
evalu
e
_conv
e
rt
.
cc: ev
a
lue_coset
:
suppo
r
t r
e
lat
i
ons
commit
|
commitdiff
|
tree
2007-04-23
Sven
V
erdool
a
ege
evalue
.
c: print_
e
value:
a
lways print n
e
wline
at
t
he end
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
doc: m
u
ltivari
a
t
e
quasi-polyn
o
mials as lists
o
f polynomials
commit
|
commitdiff
|
tree
2007-04-23
Sve
n
Ver
d
oolaege
evalue_conve
r
t
.
cc:
include "config
.
h" to
pic
k
up USE_FDSTREA
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
S
ven
V
erdoolaeg
e
d
oc: ind
e
x additions
commit
|
commitdiff
|
tree
2007-04-23
Sven
V
e
rdoolaege
doc
:
triangulation i
n
p
rimal space +
som
e
typo fixes
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdool
a
ege
doc: document inner_poin
t
commit
|
commitdiff
|
tree
2007-04-23
S
v
e
n
Verdo
o
l
a
ege
doc: r
e
fer to Koeppe article fo
r
s
i
mple
r
motiv
a
tion
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
doc: more publications (implic
i
tly) ref
e
ring
to the
.
.
.
commit
|
commitdiff
|
tree
2007-04-21
S
ve
n
Verdoolaege
configure
.
i
n: add $(EXEEXT
)
to optional programs for
.
.
.
commit
|
commitdiff
|
tree
2007-04-20
Sven Verdool
a
ege
Makefile
.
a
m
: make sure distri
b
ution
c
ontains
requ
i
red
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
S
v
en V
e
rdoolaege
work aroun
d
incomplete na
m
espa
c
e
s
upport
i
n old com
p
il
e
r
s
commit
|
commitdiff
|
tree
2007-04-19
Sven
Verdoolae
g
e
disa
b
l
e some featur
e
s
if fdstream do
e
sn
'
t c
o
mpil
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
S
v
en V
e
rdoolae
g
e
b
a
r
v
i
nok
_
enumerate
.
cc: a
v
oi
d
us
e
of fdst
r
eam
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoola
e
ge
barvi
n
ok_enu
m
e
r
ate:
don't print (n
o
n-existin
g
) evalue
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven
Verdoolaege
edomai
n
.
cc:
avoid use of fdstream
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoo
l
aege
conf
i
gure
.
in: check
for
polylib
/
polylib
g
mp
.
h
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolaege
decla
r
e variable a
t
st
a
r
t
of code
b
lock
.
commit
|
commitdiff
|
tree
2007-04-18
Sven
V
erdool
a
e
ge
M
a
kefil
e
.
am:
r
e
b
u
ild librari
e
s in subdi
r
s
if missing
commit
|
commitdiff
|
tree
2007-04-18
Sv
e
n Verdoolaege
barvinok_
e
numerate:
r
echeck for equalities a
f
te
r
"variable
.
.
.
commit
|
commitdiff
|
tree
2007-04-15
Sven Verdoolaege
doc: a v
o
ting t
h
eory report
t
hat
r
e
fers
to the library
commit
|
commitdiff
|
tree
2007-04-15
Sv
e
n Verdoolae
g
e
doc: update primal
B
arvinok reference
commit
|
commitdiff
|
tree
2007-04-15
S
v
en Verdool
a
ege
doc: add
j
our
n
al v
e
r
s
i
on of improved deriv
a
tion pape
r
commit
|
commitdiff
|
tree
2007-04-13
Sven V
e
rdoolaege
volume
.
c
: keep track of number of si
m
pli
c
es in v
o
lume
.
.
.
commit
|
commitdiff
|
tree
2007-04-13
S
ven Verdoolae
g
e
test_a
p
pro
x
:
test volume com
p
u
t
a
t
ion
v
ariati
o
ns
commit
|
commitdiff
|
tree
2007-04-13
Sven Verdoolaege
volume
.
c: v
o
lume_
t
r
i
a
ngulate
:
use v
e
r
t
e
x instead of
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
S
ven
V
erd
o
olaege
volume
.
c: face_ver
t
i
ce
s
: use
Pa
r
am_Inner
_
Product
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolae
g
e
C
all
set_progr
a
m_name be
f
ore calling
a
rgp
_
parse
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdo
o
laege
reduce_doma
i
n:
expl
o
it t
h
at no c
a
lle
r
uses P
o
lyhedr
o
n
2
Pa
r
am_
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven
V
erdoolae
g
e
lexmin: stop us
i
ng Polyhedron2
P
aram_Si
m
plifiedDomain
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
b
a
rvinok
.
cc:
s
top using Polyhedron2P
a
r
a
m_Sim
p
lif
i
edDomain
commit
|
commitdiff
|
tree
2007-04-12
S
v
e
n
Verdoolaege
Require a ve
r
sion of PolyLi
b
t
hat computes corre
c
t
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
S
v
en Ve
r
doolaege
volu
m
e
.
c:
non_empty_point: si
m
p
ly use internal poin
t
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sve
n
V
e
r
d
oolaege
onl
y
compile b
a
rvinok_maximize if GiNaC (and berns
t
ein
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven V
e
rdoola
e
g
e
a
d
d an e
h
r
hart exampl
e
with i
n
tere
s
t
i
n
g chambers
commit
|
commitdiff
|
tree
2007-04-12
S
ven
V
erdoolae
g
e
test_approx: te
s
t c
h
amb
e
r based scaling
commit
|
commitdiff
|
tree
2007-04-12
Sven Verd
o
olaege
scale
.
c: opt
i
onally perform scalin
g
o
n
indi
v
idual chambers
commit
|
commitdiff
|
tree
2007-04-12
Sven Ver
d
oolae
g
e
barv
i
nok_en
u
merate: use
"
variable com
p
r
ession
"
t
o
remove
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sv
e
n
Verdo
o
laege
ut
i
l
.
c: lef
t
_inverse: handle c
o
nstant m
a
p
commit
|
commitdiff
|
tree
2007-04-12
Sven
V
e
rdoolaege
e
v
al
u
e
.
c: evalue
_
substit
u
te:
m
ove from edom
a
in
.
cc
commit
|
commitdiff
|
tree
2007-04-12
Sve
n
Verdoola
e
ge
evalue
.
c:
affine2evalue:
extr
a
cted f
r
om v
o
lu
m
e
.
c
commit
|
commitdiff
|
tree
2007-04-12
Sven
V
erdoolaege
reduce_domain: pa
r
tition
c
h
amber comple
x
based on inner
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
S
ven Verdool
a
ege
reduc
e
_
doma
i
n
.
c
:
e
x
tract inner_point a
n
d
is_i
n
ternal
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Ver
d
oolaeg
e
red
u
ce_domain: check for adjacen
t
chambers in simplified
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
S
ven
Verdoola
e
g
e
F
ORALL_REDU
C
ED_DOMAIN: extract co
m
mon handli
n
g of re
d
uced
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdoolaege
ba
r
v
i
n
ok
_
enumerat
e
: move recursiv
e
ca
l
l duri
n
g scaling
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven
Verdoolaege
bar
v
inok
.
cc: Param_P
o
lyhedron
_
Enumerate: extracted
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
S
v
en
V
erdoolaege
add
some int
e
resting
t
est
ca
s
es
for volume c
o
mputati
o
n
commit
|
commitdiff
|
tree
2007-04-09
Sv
e
n Verdoola
e
ge
perform v
e
r
y basic po
l
y
n
omial approximation
t
est
commit
|
commitdiff
|
tree
2007-04-09
S
ven Verdoolaege
te
s
t_approx: com
p
are differe
n
t
po
l
ynomial approximations
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdool
a
ege
e
value_convert
.
c
c
:
part
i
al support for
pri
n
t
i
ng in
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sven
V
erd
o
olaege
Pa
r
a
m_Polyhedron_Volume: perform lifting triangulati
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sven
V
e
rdoola
e
ge
volume
.
c: in
t
roduc
e
par
a
mete
r
_point abstraction
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdo
o
laege
scale
.
c: export Pa
r
a
m
_Ve
r
t
ex_Co
m
mon_De
n
om
i
nato
r
commit
|
commitdiff
|
tree
2007-04-08
S
v
e
n
Verdoolaege
vo
l
ume
.
c:
drop red
u
ndant argu
m
ents to volu
m
e_si
m
plex
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoola
e
ge
optio
n
s
.
c:
s
eparate pol
y
n
om
i
al approxim
a
tion re
l
a
t
ed
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdoolaeg
e
barvi
n
o
k_op
t
i
o
ns_new_with_defaults
:
ini
t
ial
i
ze sc
a
le
_
flags
commit
|
commitdiff
|
tree
2007-04-07
Sve
n
V
e
rdoolaege
t
riangulate_con
e
:
skip Delau
n
a
y
triangulati
o
n b
y
defa
u
l
t
commit
|
commitdiff
|
tree
2007-04-07
S
ven Verdoolaege
eva
l
ue_co
n
v
e
rt: print
lattice
when
printing as list
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven
Verdoo
l
aege
evalue_co
n
vert: add verbose argume
n
t and
r
eturn
1
if
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sven Verdo
o
laege
Polyhedron
_
Flate: inters
e
c
t
inf
l
ate
d
polyto
p
e with
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sven Verdoolaege
doc: bib: fix up
n
ame in title of Algorit
h
m
i
c
a
pape
r
commit
|
commitdiff
|
tree
2007-04-05
Sven Verdoolaege
add
miss
i
ng volume
.
h
f
ile
commit
|
commitdiff
|
tree
2007-04-04
Sven
Verdoolaege
volume
.
c: del
a
y
compu
t
atio
n
of p
o
int where
vo
l
ume is
.
.
.
commit
|
commitdiff
|
tree
2007-04-04
S
v
en
V
e
rd
o
o
l
aege
Param_Polyh
e
d
ron_Volume: set polynomial_appr
o
x
i
mation
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoo
l
a
e
ge
v
o
l
ume
.
c: allow computation
of lower and upper boun
d
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoolaege
scale: export Polyhedron_F
l
ate
commit
|
commitdiff
|
tree
2007-04-03
S
ven
V
erdool
a
ege
barvi
n
o
k
_enumerate: optionally c
o
mpute "volum
e
"
polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven
V
erdoolae
g
e
pol
y
t
o
p
e
_volume: compute vol
u
me
of
p
arametric polytope
commit
|
commitdiff
|
tree
2007-04-03
Sven V
e
rdoolaege
reduce_domain
.
c: plug
mem
o
ry leak
commit
|
commitdiff
|
tree
2007-03-31
Sve
n
Ve
r
doola
e
ge
v
erify
.
c: move
computation of
true context i
n
to check_poly_c
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sv
e
n
V
erdoolaege
scale
.
c: add si
m
plified metho
d
of compu
t
ing
t
ighte
r
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
barvinok_enumerate: op
t
io
n
ally
compute
t
i
gh
t
e
r
po
l
ynomial
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sve
n
Verdoolaege
pol
y
hedron_s
a
mple
.
c: rem
o
ve
r
ed
u
ndant MAXRAYS define
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaeg
e
evalue
.
c
:
evalue_e
v
a
l: support relatio
n
s
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaeg
e
evalue
.
c: evalue_frac
2
polynom
i
al:
p
roperly handle
r
elations
commit
|
commitdiff
|
tree
2007-03-31
Sven
Ver
d
o
o
laege
ba
r
v
i
n
o
k_enumera
t
e: sup
p
o
rt approximation by means
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sv
e
n
V
er
d
oolaege
scale
.
c: avoid simplif
i
cation of constraints af
t
er
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolae
g
e
barvinok/uti
l
.
h: add POL_UNSET macro for unsetting
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdool
a
ege
scale
.
c: Para
m
_Pol
y
hedron_Scale_Integer_Fast: i
g
nor
e
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sve
n
Verdoolaege
move Param_Pol
y
hedron
_
Scale
_
Integer to
s
cale
.
c
a
nd
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
use sep
a
r
a
te
f
lag
s
o
p
tion
for scale approximation method
commit
|
commitdiff
|
tree
2007-03-31
Sven Ver
d
oolaege
b
a
r
vinok
.
c
c
: mov
e
scaling to scale
.
c
commit
|
commitdiff
|
tree
2007-03-30
Sve
n
Verdoolaege
scale
.
c: correct extract
_
lattice in ca
s
e
of re
d
u
n
dant
.
.
.
commit
|
commitdiff
|
tree
2007-03-30
Sven Verdoolaeg
e
do
c
: upd
a
t
e
C
C
2005
r
eference
commit
|
commitdiff
|
tree
2007-03-26
S
v
e
n
Verd
o
olae
g
e
verif_
e
hrhart
.
c: roun
d
in
e
xact evalu
a
tion up or do
w
n
.
.
.
commit
|
commitdiff
|
tree
2007-03-26
Sve
n
Verdool
a
ege
verif_ehrhart
.
c: optional
l
y u
s
e
exa
c
t eva
l
u
a
tion for
.
.
.
commit
|
commitdiff
|
tree
2007-03-25
Sven Verdo
o
laege
evalue
.
c: add evalue_eval f
o
r
e
x
act evalu
a
tion of
e
valu
e
commit
|
commitdiff
|
tree
2007-03-25
Sven Verd
o
olaege
evalue
.
c: fix e
v
alue_fra
c
2polynomial for negat
i
v
e
val
u
es
.
.
.
commit
|
commitdiff
|
tree
2007-03-20
Sven Verdo
o
laege
barvinok_enumerat
e
: p
e
rform slow scalin
g
a
p
p
r
oximati
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
Sven Verdo
o
laege
fix Param_Polyhedr
o
n
_Scale_Int
e
ger
commit
|
commitdiff
|
tree
2007-03-19
Sven Ver
d
oolaege
barvinok_enumerate: more ac
c
urate
polynomial approxim
a
tion
commit
|
commitdiff
|
tree
2007-03-19
Sven Verd
o
o
l
a
e
g
e
re
o
rgani
z
e polyn
o
m
ial
approxim
a
tio
n
options
commit
|
commitdiff
|
tree
2007-03-19
Sven Verdoo
l
aege
util
.
c: Par
a
m
_
Polyhedron_Print: act
u
a
l
ly
u
s
e
output
.
.
.
commit
|
commitdiff
|
tree
next