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
polytope_volume: compute volume of parametric polytope
2007-04-03
Sven Ver
d
o
o
l
a
ege
polytope
_
volume: c
o
mpute volume of para
m
etri
c
polytope
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoolaege
re
d
uce
_
domai
n
.
c: plug memor
y
leak
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoola
e
g
e
verif
y
.
c: move
c
o
mput
a
tion of true con
t
ext into check_pol
y
_c
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Ve
r
doolaege
scale
.
c: add s
i
mplified m
e
thod of computi
n
g
t
ig
h
ter
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
barvinok_enum
e
rate: optionally compute
t
ighter polyno
m
ial
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sv
e
n Verdoolaege
po
l
yhedr
o
n_sample
.
c:
r
emove r
e
dundant MAX
R
AYS define
commit
|
commitdiff
|
tree
2007-03-31
S
ven Verdoolaege
evalue
.
c: evalue_eval: suppo
r
t relations
commit
|
commitdiff
|
tree
2007-03-31
S
ven
V
erd
o
olaege
e
value
.
c: evalue_frac2polynomi
a
l
: properly h
a
ndle r
e
lations
commit
|
commitdiff
|
tree
2007-03-31
Sv
e
n Verd
o
olaege
b
a
rvinok_enumerate:
s
upport approximat
i
on by m
e
a
n
s
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Ver
d
oolaege
sca
l
e
.
c: avoid
simplif
i
cation
of cons
t
r
a
ints
a
f
t
er
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoo
l
aege
barv
i
nok/util
.
h: add POL_UNSET macro
for
u
nsetting
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoo
l
aege
sc
a
le
.
c
:
Param_Polyhedron_Scale_Integer_Fast: ignore
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sve
n
V
e
r
d
oolaege
m
o
ve Param_Polyhedron_Scale_Integer to s
c
ale
.
c
a
nd
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sv
e
n Verdoolae
g
e
u
s
e sep
a
rate flags opti
o
n for s
c
ale approximation method
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
barvinok
.
cc: move scaling to scale
.
c
commit
|
commitdiff
|
tree
2007-03-30
Sven Verdoo
l
a
e
ge
scale
.
c
: correct extract
_
l
a
t
t
ice in c
a
se of re
d
undant
.
.
.
commit
|
commitdiff
|
tree
2007-03-30
Sven Verdoolaege
d
o
c: update CC2005
r
e
ference
commit
|
commitdiff
|
tree
2007-03-26
Sven Verdoolae
g
e
verif_ehrhart
.
c: ro
u
n
d
inexact evaluation up or down
.
.
.
commit
|
commitdiff
|
tree
2007-03-26
Sven
V
erdoolaeg
e
verif_ehrhart
.
c
:
optionally use exact eva
l
uation
f
or
.
.
.
commit
|
commitdiff
|
tree
2007-03-25
Sven Verdoo
l
aege
eva
l
ue
.
c: a
d
d evalue_eval
f
or e
x
act
e
val
u
atio
n
o
f
e
v
alu
e
commit
|
commitdiff
|
tree
2007-03-25
Sven Ve
r
doo
l
aege
evalue
.
c: fix
e
va
l
ue_frac2polyno
m
i
a
l for neg
a
tive values
.
.
.
commit
|
commitdiff
|
tree
2007-03-20
Sv
e
n Verd
o
olaege
barvinok_enum
e
r
ate: perform slow scalin
g
approximation
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
Sven Ve
r
doolaege
f
ix
Par
a
m_Polyhedro
n
_Scale_Integer
commit
|
commitdiff
|
tree
2007-03-19
Sven Verdoolaege
ba
r
v
i
nok_enumera
t
e: mo
r
e accurate polynomial app
r
oximati
o
n
commit
|
commitdiff
|
tree
2007-03-19
Sven Ver
d
oolaege
reor
g
ani
z
e polynomial approximation options
commit
|
commitdiff
|
tree
2007-03-19
Sven Ve
r
doolaege
util
.
c:
P
ara
m
_Po
l
yhedron
_
Print:
a
ct
u
ally use outpu
t
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
Sve
n
Verdoolaege
fix mer
g
e
of check_po
l
y
from verif_ehrhart
.
c
a
n
d lexmin
.
c
c
commit
|
commitdiff
|
tree
2007-03-18
Sv
e
n
Ve
r
doo
l
aege
do
c
: up
d
ate Koeppe-Ver
d
o
o
laege
r
eference
commit
|
commitdiff
|
tree
2007-03-17
Sven Ve
r
doolaege
b
a
rvinok_maxi
m
ize: support verificat
i
o
n
commit
|
commitdiff
|
tree
2007-03-17
Sven
Verdool
a
ege
merge
chec
k
_poly from veri
f
_e
h
rhart
.
c
and lexmin
.
cc
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdo
o
l
a
e
ge
evalue
.
c: m
a
ke some evalue argu
m
e
nts const
commit
|
commitdiff
|
tree
2007-03-17
Sven Ve
r
doo
l
aege
eva
l
ue_
f
ra
c
2floor2: also
c
onvert non-partitio
n
if no
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
S
v
en Verdoolaege
veri
f
y
.
c:
c
hange
ver
i
fy_
o
ptions_s
e
t_range protot
y
pe
commit
|
commitdiff
|
tree
2007-03-17
Sven V
e
rdoo
l
a
e
ge
bernstein: pie
c
ewise_lst
:
:ev
a
luate: s
u
pport different
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
Sven Verd
o
olae
g
e
verify
.
c:
turn
o
ff c
o
ntinue_o
n
_
error by d
e
fault
commit
|
commitdiff
|
tree
2007-03-17
Sven Ve
r
d
oo
l
aege
bernst
e
i
n
:
export
n
u
m
eric2value
commit
|
commitdiff
|
tree
2007-03-15
Sv
e
n Verdoolae
g
e
doc: p
r
oof of existence
o
f suitable y for primal decompositi
.
.
.
commit
|
commitdiff
|
tree
2007-03-15
Sven Ver
d
oola
e
ge
doc
:
fix proof of existence of suitable
y
f
or prima
l
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Ver
d
oolaege
bernstei
n
.
c
c: bernstein_coefficients: c
r
eate signed
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven
V
e
rdoolaeg
e
barvinok
_
ma
x
imi
z
e: option
a
lly use recurs
i
ve bernstein_coeffi
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sve
n
V
erdoolaege
bernstein
.
cc: be
r
nstein_co
e
fficien
t
s: supp
o
rt general
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdo
o
l
a
e
g
e
b
e
rnstein
.
c
c: refact
o
r bernstein_coefficients_prod
u
ct
commit
|
commitdiff
|
tree
2007-03-14
Sven V
e
r
d
oolaege
bernstein: p
i
e
c
ewise_
l
st: add sig
n
and
r
emove
re
d
un
d
ant
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoolaege
bernstein: add rem
o
ve
_
redundants method
commit
|
commitdiff
|
tree
2007-03-14
Sven
V
erdoo
l
aeg
e
doc:
primal decomposition:
typo fixes + clar
i
fications
commit
|
commitdiff
|
tree
2007-03-11
Sven Verd
o
olaege
do
c
: fix prima
l
dec
o
mposition example +
clean-u
p
s
commit
|
commitdiff
|
tree
2007-03-11
Sven Verdoolaege
Document prima
l
decomposition
commit
|
commitdiff
|
tree
2007-03-11
Sven Verdoo
l
a
e
ge
barvinok
.
cc: barv
i
nok_
e
numerate:
f
ix lower bound approximation
commit
|
commitdiff
|
tree
2007-03-07
Sven Verdoolaege
evalue_split_per
i
od
s
: graceful
l
y hand
l
e zer
o
e
v
alues
.
.
.
commit
|
commitdiff
|
tree
2007-03-07
Sven
V
erdoolaege
b
arvinok_maxim
i
z
e: h
a
n
dle
z
er
o
input
commit
|
commitdiff
|
tree
2007-03-07
S
ven Verdoolaege
barvinok_enumerat
e
_e:
clea
n
up allocation of o
p
tions
commit
|
commitdiff
|
tree
2007-03-07
Sven Verdoo
l
aege
barvinok
.
cc: handl
e
case where nothing
is left a
f
ter
.
.
.
commit
|
commitdiff
|
tree
2007-03-02
Sven Verdoola
e
ge
e
value_convert: support printin
g
a quasi-polynomialas
.
.
.
commit
|
commitdiff
|
tree
2007-03-02
Sven Ve
r
d
o
olaege
lattice_point
.
h: make self-cont
a
in
e
d
commit
|
commitdiff
|
tree
2007-03-02
Sven Verdoolae
g
e
eva
l
ue
.
c: extra
c
t evalue_e
x
tract
_
affin
e
from
bernstein
.
cc
commit
|
commitdiff
|
tree
2007-03-02
Sven Verdoolaege
bernstein
.
cc: bernstein
_
c
oef
f
icients_product:
n
o ne
e
d
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
S
v
en V
e
rdoolaege
bernstein
_
co
e
fficients: opti
o
nally o
p
t
i
mi
z
e during
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sven Verd
o
olae
g
e
b
erns
t
ein_coef
f
ic
i
ents
:
factorize domai
n
if
possible
commit
|
commitdiff
|
tree
2007-03-01
Sven Verdoolaege
Po
l
yhedron_F
a
ctor:
o
ptional
l
y
r
etur
n
relation between
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sven Ve
r
doolaege
b
er
n
stein: export repla
c
eVariablesInPol
y
n
omial
commit
|
commitdiff
|
tree
2007-03-01
Sven Verdoolae
g
e
bernstein
.
c
c
: ev
a
lue2ex: represent fractional by scaled
.
.
.
commit
|
commitdiff
|
tree
2007-02-28
Sven Ve
r
do
o
l
ae
g
e
bar
v
i
n
ok_m
a
ximize: fix handling
o
f UNIONs i
n
d
o
mains
.
commit
|
commitdiff
|
tree
2007-02-28
Sven Ve
r
d
oolae
g
e
bernstein
_
coefficients: skip
empty subdoma
i
ns
commit
|
commitdiff
|
tree
2007-02-28
S
v
e
n
Verd
o
olaege
b
arvi
n
ok_maxim
i
ze
:
fix d
e
tection
o
f
e
nd of domain specification
commit
|
commitdiff
|
tree
2007-02-27
Sven
V
erdoolaeg
e
barvinok_
m
aximi
z
e: add input c
o
nversion
commit
|
commitdiff
|
tree
2007-02-27
Sven
Ve
r
d
oolaege
e
value_
c
o
nvert: extracted from barvinok_enum
e
rate
and
.
.
.
commit
|
commitdiff
|
tree
2007-02-27
Sven Verdoolaege
u
t
il
.
c
:
mo
v
e Po
l
y
h
edron_is_unbounded f
r
om b
e
r
n
st
e
in
.
cc
commit
|
commitdiff
|
tree
2007-02-26
Sve
n
Ver
d
oolaege
bernst
e
in_coef
f
ici
e
nts: skip
i
nfi
n
ite (sub)domains
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdoolaege
barvino
k
_
m
a
ximize: let u
s
er
sp
e
cify variables over
.
.
.
commit
|
commitdiff
|
tree
2007-02-26
Sve
n
Verdoolaege
bernst
e
in_coefficients:
skip co
m
puta
t
ions if domain
.
.
.
commit
|
commitdiff
|
tree
2007-02-26
Sve
n
V
erd
o
olaege
barvinok_maximiz
e
: fix ac
c
ess t
o
freed memor
y
commit
|
commitdiff
|
tree
2007-02-26
H
a
rald
D
e
vos
minimize as option of bar
v
inok_maxim
i
ze
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdoolaege
bernstein/piecewise_lst
.
cpp
:
add mini
m
ize(
)
met
h
o
d
commit
|
commitdiff
|
tree
2007-02-26
Sv
e
n Verdoolaeg
e
barvino
k
_maximi
z
e
: rea
d
doma
i
ns w
i
t
h
UNIONs
commit
|
commitdiff
|
tree
2007-02-26
Sve
n
Ve
r
doolaege
use GiNaC c
f
lags an
d
libs
commit
|
commitdiff
|
tree
2007-02-23
Sven V
e
rdoolaege
barvinok_maxi
m
ize: opt
i
ona
l
ly call evalue_spli
t
_periods
commit
|
commitdiff
|
tree
2007-02-23
Sven Verd
o
olaege
ev
a
lue
.
c: add
evalue_split_
p
eriods
commit
|
commitdiff
|
tree
2007-02-23
S
ven Verdoolaege
util
.
c: value_lcm: mark argumen
t
s const
commit
|
commitdiff
|
tree
2007-02-23
Sven Verdoolaege
evalue
.
c: p
o
lynomial_projection: a
l
low NULL R argume
n
t
commit
|
commitdiff
|
tree
2007-02-23
Sv
e
n Verd
o
ol
a
ege
evalue
.
c: extr
a
ct fiddling with coefficients out of
.
.
.
commit
|
commitdiff
|
tree
2007-02-22
Sven Verdo
o
laeg
e
evalue_bernstein_
c
o
efficients: hand
l
e e
a
ch coset of
.
.
.
commit
|
commitdiff
|
tree
2007-02-21
Sven
V
erdoolaege
barvinok_maximi
z
e: read evalues with periodics
commit
|
commitdiff
|
tree
2007-02-21
Sven Ver
d
ool
a
eg
e
evalue_berns
t
ein_coef
f
icients: han
d
le
p
eriodics in
.
.
.
commit
|
commitdiff
|
tree
2007-02-21
Sve
n
Verdool
a
e
ge
b
e
r
ns
t
e
i
n: bernsteinExpan
s
ion
:
accept list of
polynomials
commit
|
commitdiff
|
tree
2007-02-19
S
v
en
Verdoo
l
aege
barvinok_
m
aximize: ma
k
e ev
a
lue p
a
rse
a lit
t
le
b
i
t
mor
e
.
.
.
commit
|
commitdiff
|
tree
2007-02-19
Sven Verdoolaege
barvin
o
k_enumer
a
te*:
be less chatty by defa
u
lt
commit
|
commitdiff
|
tree
2007-02-19
Sv
e
n Verdoola
e
ge
c
ount/enumerate:
w
arn
i
f input i
s
a
uni
o
n
commit
|
commitdiff
|
tree
2007-02-19
Sven Verdo
o
laege
DomainInclu
d
es: detect mo
r
e cases
+
a
d
ap
t
doc
u
mentati
o
n
commit
|
commitdiff
|
tree
2007-02-19
Sven
V
erdoolaege
e
value_b
e
r
n
ste
i
n_coeffic
i
ents: handle fract
i
o
nals
i
n
.
.
.
commit
|
commitdiff
|
tree
2007-02-19
S
v
e
n
Verdoola
e
ge
evalue_bernstein_coefficients: handle fl
o
orings in
.
.
.
commit
|
commitdiff
|
tree
2007-02-18
Sven
Verdoolaege
barvinok_maxi
m
ize:
n
ew too
l
f
or max
i
mi
z
i
ng p
i
ece
w
is
e
.
.
.
commit
|
commitdiff
|
tree
2007-02-17
Sven
V
erdoolaege
ev
a
lue
.
c: evalue_f
r
ac2polyno
m
ial: improv
e
accu
r
a
c
y
commit
|
commitdiff
|
tree
2007-02-16
Sven Ve
r
do
o
l
a
e
ge
evalue
.
c: ad
d
comment
commit
|
commitdiff
|
tree
2007-02-16
Sven
Verdoolaege
e
value
.
c: add function for checking
n
esting of
an eva
l
ue
commit
|
commitdiff
|
tree
2007-02-16
Sven Ver
d
o
olaege
evalue
.
c
:
add missing te
r
ms re
o
rdering
s
i
n
evalue_range_redu
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sv
e
n Verdoolaege
evalue
.
c
: make argum
e
nts of eequ
a
l
and e
v
alu
e
_denom
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoolaege
b
arvino
k
_
e
numerate_
e
: add
-
-verbose option
commit
|
commitdiff
|
tree
2007-02-16
S
ven Verdool
a
ege
b
ernste
i
n:
mark argumen
t
of va
l
ue2numeric const
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoolaege
bern
s
tein
.
cc: add
(op
t
ional) options arg
u
m
ent to e
v
alue
_
bern
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
S
ven
Verdoolaege
add missing virtual destructors
commit
|
commitdiff
|
tree
next