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
Param_Polyhedron_Volume: perform lifting triangulation by default
2007-04-08
S
ven
V
e
r
doo
l
aege
Param_Polyhedron_V
o
lume: perf
o
rm
li
f
ting t
r
iangul
a
t
ion
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sven
Verdoolaeg
e
volu
m
e
.
c:
i
n
trod
u
ce parameter_point
abstrac
t
ion
commit
|
commitdiff
|
tree
2007-04-08
Sven Verd
o
olae
g
e
scale
.
c: e
x
port Param_Vertex_C
o
mmon
_
Denominator
commit
|
commitdiff
|
tree
2007-04-08
S
v
en Verd
o
o
l
aege
volume
.
c: drop redundant
a
rgume
n
ts to volum
e
_s
i
mplex
commit
|
commitdiff
|
tree
2007-04-08
Sven
V
e
rdoolaege
opti
o
ns
.
c: separate polynomial appr
o
xi
m
at
i
o
n
related
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdoolaege
bar
v
inok_options_n
e
w
_
with
_
defaults: init
i
aliz
e
scale_flags
commit
|
commitdiff
|
tree
2007-04-07
Sven V
e
rdoolaege
tr
i
angula
t
e_cone: skip Dela
u
nay tr
i
a
n
gulation by default
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdo
o
laege
evalue_convert: print lattice when printin
g
as list
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdoolaege
evalue_convert: add verbose argu
m
ent and return 1 if
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sven Verd
o
olae
g
e
Po
l
yhedron_Flate: inte
r
sec
t
inf
l
at
e
d polytope with
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sven Ve
r
d
oolaege
doc:
b
ib: fix up name in
t
itle of Alg
o
r
ithmica
pap
e
r
commit
|
commitdiff
|
tree
2007-04-05
Sven Verdoolaege
add missing vol
u
me
.
h
fil
e
commit
|
commitdiff
|
tree
2007-04-04
Sve
n
Verdoo
l
aege
volume
.
c: delay
computati
o
n
of p
o
i
n
t
whe
r
e vo
l
u
m
e
is
.
.
.
commit
|
commitdiff
|
tree
2007-04-04
S
ven V
e
rdoolaege
Para
m
_Polyhedr
o
n_Volume
:
set polynomial_approximation
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
S
ven
V
erdoolaege
v
olu
m
e
.
c
:
all
o
w co
m
putation
of lower
a
nd upper bound
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven
V
e
rdool
a
ege
scal
e
: export Polyhedr
o
n_Flat
e
commit
|
commitdiff
|
tree
2007-04-03
Sven Verd
o
olaege
barvi
n
ok_enu
m
e
rate: optionally
c
o
mp
u
te "volume" p
o
lynom
i
al
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdool
a
ege
poly
t
ope_volume:
c
ompute volume of paramet
r
ic poly
t
ope
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
Sven Verdoolaege
v
e
rify
.
c: mov
e
computati
o
n of t
r
ue context
i
nto
c
heck_poly_c
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
scale
.
c: add simpl
i
fied
m
ethod of computing
t
ighter
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
v
en Verdoolaege
bar
v
ino
k
_enumerate: opti
o
nal
l
y comp
u
te t
i
ghte
r
p
o
l
ynom
i
al
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
ve
n
Verdoolaege
po
l
yhedron
_
sample
.
c: rem
o
ve re
d
u
nd
a
nt MAXRA
Y
S define
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
evalue
.
c: evalue_
e
va
l
:
s
u
pport
r
elati
o
ns
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdo
o
la
e
g
e
ev
a
lu
e
.
c
: eval
u
e_frac2polynomia
l
:
pr
o
p
er
l
y handle relat
i
ons
commit
|
commitdiff
|
tree
2007-03-31
Sven V
e
rdoolaege
barvin
o
k
_
enum
e
rate: support appr
o
ximation by means
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
v
en Ver
d
o
olae
g
e
scale
.
c: avoid simplification
o
f c
o
n
straints aft
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
ba
r
vinok/uti
l
.
h: a
d
d POL
_
UNSET macro for unse
t
ting
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Ver
d
o
olaege
scale
.
c: Param_P
o
lyhedron_Scale_
I
n
teger_Fast: ignor
e
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdool
a
eg
e
move Param_Polyhedron_Sca
l
e_I
n
t
e
g
e
r to scale
.
c and
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
v
en
V
erdoolaege
use separate fl
a
gs
o
p
tion for sc
a
le approximation
meth
o
d
commit
|
commitdiff
|
tree
2007-03-31
S
v
en Ver
d
o
olaege
b
a
rvinok
.
cc: move
scalin
g
to scale
.
c
commit
|
commitdiff
|
tree
2007-03-30
Sven Ve
r
doolaege
scale
.
c: cor
r
ect extract_latt
i
ce i
n
case of redu
n
dant
.
.
.
commit
|
commitdiff
|
tree
2007-03-30
S
v
en Verdool
a
ege
doc: update
C
C2005 refe
r
ence
commit
|
commitdiff
|
tree
2007-03-26
Sven Verdoolaege
verif_ehrh
a
rt
.
c
:
round inexact ev
a
luati
o
n up or down
.
.
.
commit
|
commitdiff
|
tree
2007-03-26
Sven Ve
r
d
o
o
laege
ver
i
f_ehr
h
art
.
c: opt
i
onally use e
x
act evaluation for
.
.
.
commit
|
commitdiff
|
tree
2007-03-25
Sven Verdoo
l
aege
evalue
.
c: add
evalue_eval for exact evaluatio
n
o
f
eval
u
e
commit
|
commitdiff
|
tree
2007-03-25
Sve
n
Ver
d
o
o
laege
e
value
.
c:
fix evalue_frac2po
l
ynomial for negativ
e
v
a
lu
e
s
.
.
.
commit
|
commitdiff
|
tree
2007-03-20
Sven Verdoolaege
b
a
rv
i
n
o
k_enumerate
:
p
erform slo
w
scalin
g
approx
i
matio
n
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
Sven Verdoolaege
f
i
x
P
aram_Polyhedron_Scale_I
n
t
e
ger
commit
|
commitdiff
|
tree
2007-03-19
Sven Verdoolaeg
e
barvi
n
ok_enumerate: more accurate poly
n
omi
a
l
a
pproximatio
n
commit
|
commitdiff
|
tree
2007-03-19
Sve
n
Verd
o
o
laege
reo
r
ganize pol
y
nomial app
r
oxima
t
ion opti
o
ns
commit
|
commitdiff
|
tree
2007-03-19
Sven V
e
rdoolaege
util
.
c: Param_Polyhedron_
P
r
int: act
u
al
l
y use output
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
Sven Verdoolaege
f
ix merge of
che
c
k_poly fr
o
m
v
e
rif_ehrhart
.
c and
lexmin
.
cc
commit
|
commitdiff
|
tree
2007-03-18
Sven Verdoolaege
doc: update Koeppe-
V
erdool
a
ege referenc
e
commit
|
commitdiff
|
tree
2007-03-17
S
v
e
n
Verdool
a
eg
e
b
a
rv
i
no
k
_maximize: suppo
r
t
verifica
t
ion
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdo
o
laege
me
r
ge check_poly from ver
i
f
_
ehrhart
.
c an
d
lexmin
.
cc
commit
|
commitdiff
|
tree
2007-03-17
S
ven V
e
rdoolaege
evalue
.
c: make some eva
l
ue
arguments
c
o
n
st
commit
|
commitdiff
|
tree
2007-03-17
Sven
V
e
rdoolaege
eval
u
e_frac2floor2: also conver
t
non-par
t
ition
if no
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
Sven Ve
r
doolaege
verif
y
.
c
:
change verify_options_set_rang
e
prototy
p
e
commit
|
commitdiff
|
tree
2007-03-17
S
v
en V
e
rdoolaege
ber
n
s
tein: pi
e
cewise_
l
st::eva
l
uate: suppor
t
d
i
f
ferent
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
Sven
V
e
rdoolaege
verify
.
c: turn off conti
n
ue_on_err
o
r b
y
default
commit
|
commitdiff
|
tree
2007-03-17
Sven V
e
rdoola
e
ge
b
e
rns
t
e
i
n
:
export num
e
ri
c
2v
a
l
u
e
commit
|
commitdiff
|
tree
2007-03-15
S
ven Verd
o
olae
g
e
doc: proo
f
o
f existence of suitable y for
primal decompositi
.
.
.
commit
|
commitdiff
|
tree
2007-03-15
Sven Verdo
o
laege
doc
:
fix proof of existence
o
f suitable y
f
o
r
p
rimal
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sv
e
n Verdoolae
g
e
bernstein
.
cc: bern
s
tein_
c
oeffici
e
nts: c
r
eate
s
i
gn
e
d
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sve
n
Ve
r
dool
a
ege
barvinok_maximize
:
o
ptionally
use r
e
cursive ber
n
stein_coeffi
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Verd
o
olaege
bernstein
.
cc: b
e
rnst
e
in_
c
oefficients: supp
o
rt ge
n
eral
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoolaege
bernst
e
in
.
cc: refactor ber
n
stein_coeffi
c
ients_product
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdool
a
e
ge
b
e
rnstein
:
piecewi
s
e_lst: add si
g
n
and remove r
e
dundan
t
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoolaege
bernstein: add remove_redundants method
commit
|
commitdiff
|
tree
2007-03-14
Sven Ver
d
oolaege
d
o
c: pr
i
ma
l
de
c
o
mposition: typo fixes
+
clarifications
commit
|
commitdiff
|
tree
2007-03-11
Sv
e
n Verdool
a
ege
doc: fix
p
r
i
mal dec
o
mposition e
x
ample + clean
-
ups
commit
|
commitdiff
|
tree
2007-03-11
Sven Verdoolaege
Document primal decomposition
commit
|
commitdiff
|
tree
2007-03-11
Sv
e
n Verdo
o
laege
barvinok
.
cc: b
a
rvin
o
k
_enumerate: fix lower bound appr
o
ximation
commit
|
commitdiff
|
tree
2007-03-07
Sven Verdool
a
ege
eval
u
e_split_peri
o
ds: gracefu
l
l
y
handle ze
r
o
e
valu
e
s
.
.
.
commit
|
commitdiff
|
tree
2007-03-07
Sven Ver
d
oo
l
aege
barvinok
_
maximi
z
e:
h
andle z
e
ro input
commit
|
commitdiff
|
tree
2007-03-07
Sven Verdool
a
ege
barvino
k
_enumerate_e: clean up allocat
i
o
n
of options
commit
|
commitdiff
|
tree
2007-03-07
S
v
en Verdoolaege
ba
r
v
i
nok
.
c
c:
hand
l
e
case
whe
r
e nothing is left after
.
.
.
commit
|
commitdiff
|
tree
2007-03-02
Sven Verdoo
l
a
e
ge
evalue_convert: support printing
a quasi-polynomialas
.
.
.
commit
|
commitdiff
|
tree
2007-03-02
Sven Verdoolaege
l
attic
e
_p
o
in
t
.
h: make self-c
o
ntained
commit
|
commitdiff
|
tree
2007-03-02
Sv
e
n Verdoolaege
evalue
.
c: extract evalu
e
_extract_aff
i
ne from
bernstein
.
c
c
commit
|
commitdiff
|
tree
2007-03-02
Sv
e
n
Verdo
o
l
aege
bernstein
.
c
c
: bernst
e
in_coe
f
ficients_product
:
n
o
need
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sve
n
Verdoola
e
ge
bernstein_coefficien
t
s: op
t
ionally
o
p
timi
z
e durin
g
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sven Verdoolaege
bernstein_coefficients: factorize doma
i
n if possible
commit
|
commitdiff
|
tree
2007-03-01
S
ven Verdoola
e
ge
Po
l
yhedron
_
Factor
:
optionally retu
r
n rel
a
tion betwee
n
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sven Verdoolaege
bernstein
:
export replaceVar
i
ablesInPoly
n
omial
commit
|
commitdiff
|
tree
2007-03-01
S
ve
n
Verdoola
e
ge
bernstein
.
c
c
: eva
l
ue2ex
:
represent fractional by scaled
.
.
.
commit
|
commitdiff
|
tree
2007-02-28
Sven Verdoolae
g
e
ba
r
vinok
_
max
i
m
i
z
e
: f
i
x
h
andling
of UNIO
N
s in
d
omains
.
commit
|
commitdiff
|
tree
2007-02-28
Sve
n
Verdoolaege
bernstein_coefficients: skip empty
s
u
bdomains
commit
|
commitdiff
|
tree
2007-02-28
Sven Verdoolaege
barvino
k
_
m
axi
m
i
z
e: fix detecti
o
n of end
of doma
i
n specification
commit
|
commitdiff
|
tree
2007-02-27
Sven
Verdoolaege
barvinok
_
m
a
ximize:
a
d
d input conversion
commit
|
commitdiff
|
tree
2007-02-27
S
v
e
n Verdoolaege
ev
a
lue
_
convert
:
extrac
t
ed f
r
o
m
barvi
n
ok_e
n
umerate a
n
d
.
.
.
commit
|
commitdiff
|
tree
2007-02-27
Sven Ver
d
o
o
laege
u
t
il
.
c:
move Po
l
y
hedron_is_
u
n
boun
d
e
d
f
rom
bern
s
tein
.
cc
commit
|
commitdiff
|
tree
2007-02-26
Sv
e
n Verdo
o
laege
bernst
e
i
n_c
o
effi
c
ients: skip infinite (su
b
)
doma
i
ns
commit
|
commitdiff
|
tree
2007-02-26
Sven
V
erdoola
e
ge
bar
v
inok_maxim
i
ze: l
e
t user speci
f
y
v
a
r
iables over
.
.
.
commit
|
commitdiff
|
tree
2007-02-26
Sven Verd
o
olae
g
e
be
r
n
stein
_
c
o
efficien
t
s: skip compu
t
ations if domai
n
.
.
.
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdoolaege
barvinok_maximize: fi
x
a
c
cess
to fr
e
ed m
e
mory
commit
|
commitdiff
|
tree
2007-02-26
Haral
d
Devos
min
i
mi
z
e as
o
ption of barvinok_maximize
commit
|
commitdiff
|
tree
2007-02-26
Sven
Ver
d
oola
e
ge
bernstei
n
/piecewise_lst
.
cpp
:
add minimi
z
e()
m
e
t
h
od
commit
|
commitdiff
|
tree
2007-02-26
S
v
en Verdool
a
ege
barv
i
no
k
_maximize: read domains with UNIONs
commit
|
commitdiff
|
tree
2007-02-26
Sven Verd
o
o
laege
use GiNaC cflags a
n
d l
i
b
s
commit
|
commitdiff
|
tree
2007-02-23
Sven Verdoolaege
barvi
n
ok_max
i
m
i
ze
:
o
pti
o
nal
l
y call evalue_
s
plit_periods
commit
|
commitdiff
|
tree
2007-02-23
Sven Verdoolaege
evalue
.
c: add eval
u
e_split_periods
commit
|
commitdiff
|
tree
2007-02-23
Sve
n
Verdoolaege
util
.
c: value
_
lcm: mark arguments cons
t
commit
|
commitdiff
|
tree
2007-02-23
Sven
Ve
r
doolaege
evalue
.
c: polynomial_projectio
n
:
allow
N
ULL R argume
n
t
commit
|
commitdiff
|
tree
2007-02-23
Sven Verdoolaege
eva
l
ue
.
c
:
e
xtract fid
d
ling
w
i
th
c
o
efficients ou
t
of
.
.
.
commit
|
commitdiff
|
tree
2007-02-22
Sven Verd
o
olaege
evalue_bernstein_
c
oefficient
s
:
handle eac
h
c
o
set of
.
.
.
commit
|
commitdiff
|
tree
2007-02-21
S
v
e
n
V
erd
o
olaeg
e
barvi
n
ok
_
maximize: read evalues with periodics
commit
|
commitdiff
|
tree
2007-02-21
S
ven Verdoolaege
evalu
e
_bernstein_coeffici
e
nts: handle pe
r
i
o
dics in
.
.
.
commit
|
commitdiff
|
tree
next