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 Verdoolaege
poly
t
o
p
e_volu
m
e: compute volume of par
a
m
etri
c
polytop
e
commit
|
commitdiff
|
tree
2007-04-03
S
ven Verdoolaege
red
u
ce_doma
i
n
.
c: plug mem
o
r
y le
a
k
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
veri
f
y
.
c: move computation of t
r
ue co
n
text into check_poly_c
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaeg
e
scale
.
c: a
d
d simplified met
h
o
d
of comp
u
ting tigh
t
er
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven V
e
rdoolaege
barvinok_enumerate: option
a
l
ly compute
t
ighte
r
p
o
lynomial
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
ven Verdoolaeg
e
polyhedro
n
_sample
.
c:
r
emove redundant MAXRAYS
define
commit
|
commitdiff
|
tree
2007-03-31
Sven Ver
d
oolae
g
e
evalue
.
c: evalue_eval: supp
o
r
t relations
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
e
val
u
e
.
c:
evalue_fr
a
c2polynomi
a
l:
p
roperly handle rela
t
ions
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdool
a
ege
barvi
n
o
k
_enumerate: supp
o
rt approximatio
n
by means
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaeg
e
scale
.
c
:
avoid si
m
p
lific
a
t
i
on of
c
onstraints after
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdo
o
laege
barvinok/util
.
h: add
POL_UNSET m
a
cro for unset
t
ing
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
sca
l
e
.
c:
Param_Polyhedron_Scale_Integer_Fast
:
ignore
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven
Verdoo
l
a
ege
move
P
a
r
am_Polyhedron_Scale_Int
e
ge
r
t
o
s
c
ale
.
c
and
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Ve
r
dool
a
ege
use separate
flags
o
p
tion for scale app
r
oximation metho
d
commit
|
commitdiff
|
tree
2007-03-31
Sven Verd
o
o
l
aeg
e
barvino
k
.
cc: move scaling to scale
.
c
commit
|
commitdiff
|
tree
2007-03-30
Sven Verdoolaeg
e
scale
.
c: cor
r
ect
e
xtract_lattice
i
n case of redundant
.
.
.
commit
|
commitdiff
|
tree
2007-03-30
Sven Verdoolaege
doc: update
C
C2005 refer
e
n
c
e
commit
|
commitdiff
|
tree
2007-03-26
Sven Verdool
a
ege
verif_
e
hrhart
.
c: round ine
x
act evalua
t
ion up or down
.
.
.
commit
|
commitdiff
|
tree
2007-03-26
Sven Verdoolaege
ve
r
i
f_e
h
rhart
.
c
:
o
p
tionally
u
se ex
a
ct evaluation f
o
r
.
.
.
commit
|
commitdiff
|
tree
2007-03-25
Sven Verdoolaege
e
v
alu
e
.
c: add eva
l
u
e
_eva
l
for exa
c
t evaluation
of evalu
e
commit
|
commitdiff
|
tree
2007-03-25
Sven Verdoolaege
evalue
.
c:
f
ix e
v
alue_fra
c
2p
o
lynomial for neg
a
tive val
u
es
.
.
.
commit
|
commitdiff
|
tree
2007-03-20
Sven Verdoolaege
barvinok_enumerate: perform s
l
ow scal
i
ng
a
pproximation
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
Sven Verdoolaege
fix
Param_P
o
lyhe
d
ron_Sc
a
le_Integer
commit
|
commitdiff
|
tree
2007-03-19
Sven Verdoolaege
barv
i
no
k
_enumerate: more acc
u
rat
e
polynomial
a
ppro
x
imation
commit
|
commitdiff
|
tree
2007-03-19
Sven
V
erdoolaege
reorganize polynomial approximation opt
i
ons
commit
|
commitdiff
|
tree
2007-03-19
S
ven Verdoolaege
ut
i
l
.
c: Param_P
o
lyhedron_Print:
actua
l
ly
use output
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
Sven Verdoola
e
ge
fix me
r
g
e o
f
check_p
o
ly fr
o
m verif_ehrhart
.
c and lex
m
i
n
.
c
c
commit
|
commitdiff
|
tree
2007-03-18
S
v
en
V
erdoolaege
doc: update
K
oep
p
e-Verdo
o
la
e
ge reference
commit
|
commitdiff
|
tree
2007-03-17
Sv
e
n Verdoolaege
b
a
rv
i
nok
_
maximize: support verificatio
n
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoo
l
aege
merge check_p
o
l
y
from verif_ehrhart
.
c
a
n
d lexmin
.
cc
commit
|
commitdiff
|
tree
2007-03-17
Sven
V
erdoolaege
evalue
.
c: make some e
v
alue
arg
u
ments
const
commit
|
commitdiff
|
tree
2007-03-17
Sven
V
e
r
doola
e
ge
evalue_
f
rac2floor2: als
o
convert non-par
t
itio
n
if
no
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
Sven V
e
rdoolaege
ve
r
ify
.
c:
c
ha
n
ge verify_options_set_
r
ange
p
rototype
commit
|
commitdiff
|
tree
2007-03-17
S
v
en
V
erd
o
olaege
ber
n
ste
i
n:
pi
e
cewi
s
e_lst
:
:ev
a
lu
a
te: s
u
ppor
t
diffe
r
ent
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
Sven
V
erdoolaege
verify
.
c: turn off continue_on_error by default
commit
|
commitdiff
|
tree
2007-03-17
S
v
en V
e
rdoolaege
bernstein: ex
p
ort numeric2valu
e
commit
|
commitdiff
|
tree
2007-03-15
Sven V
e
rdoolae
g
e
doc: proof of existence
of sui
t
able y
for p
r
imal decompositi
.
.
.
commit
|
commitdiff
|
tree
2007-03-15
Sven Ve
r
dool
a
eg
e
d
o
c: fix proof of existence of suitable
y f
o
r primal
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdool
a
ege
bernstein
.
cc: b
e
rnstei
n
_coeff
i
cie
n
ts: create
s
igned
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoolaege
barvin
o
k_max
i
mize: optionally use recursi
v
e be
r
nstei
n
_coeffi
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven
Verdo
o
laege
bernste
i
n
.
cc: bernstei
n
_coefficients:
s
uppor
t
general
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
S
v
en Verd
o
olaege
ber
n
stei
n
.
cc:
r
e
factor bernstei
n
_coefficients_product
commit
|
commitdiff
|
tree
2007-03-14
Sv
e
n Verdool
a
ege
berns
t
ein: pie
c
ewi
s
e_lst: add sign and remove
r
e
dundant
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven
V
erd
o
olae
g
e
bernstein:
add r
e
move_redundan
t
s method
commit
|
commitdiff
|
tree
2007-03-14
Sven
Verdo
o
la
e
ge
doc
:
p
r
i
mal decomposition:
t
ypo
fixes + clarifications
commit
|
commitdiff
|
tree
2007-03-11
Sven Verdoolae
g
e
d
oc
:
f
i
x primal decomposit
i
on example + clean-ups
commit
|
commitdiff
|
tree
2007-03-11
Sven V
e
rdo
o
laege
Document primal decomposition
commit
|
commitdiff
|
tree
2007-03-11
Sven Verdoolaeg
e
b
arvinok
.
c
c
: barvinok
_
e
numerate:
f
ix lower bound
a
pproximation
commit
|
commitdiff
|
tree
2007-03-07
S
ven Ve
r
doolaege
evalue_split_per
i
ods:
g
r
a
cefully handle zero e
v
alues
.
.
.
commit
|
commitdiff
|
tree
2007-03-07
Sven Verdoolaege
barvinok_m
a
ximize:
handle zero input
commit
|
commitdiff
|
tree
2007-03-07
S
ven Ve
r
dool
a
ege
bar
v
i
nok_enume
r
ate_e: c
l
ean u
p
a
l
locatio
n
of options
commit
|
commitdiff
|
tree
2007-03-07
Sven Verdoolae
g
e
barv
i
no
k
.
cc: hand
l
e
case whe
r
e nothing
i
s
left
a
fter
.
.
.
commit
|
commitdiff
|
tree
2007-03-02
Sven Verdoolaege
eval
u
e_convert: suppor
t
printing a q
u
as
i
-polynomialas
.
.
.
commit
|
commitdiff
|
tree
2007-03-02
Sven Verdoolaege
l
a
ttice_point
.
h: make
s
elf-c
o
ntained
commit
|
commitdiff
|
tree
2007-03-02
S
ven V
e
rdoolaege
evalue
.
c:
e
xtract ev
a
l
ue_e
x
tract_aff
i
n
e from
be
r
ns
t
ein
.
cc
commit
|
commitdiff
|
tree
2007-03-02
Sven Ver
d
o
o
laege
bernstein
.
cc:
b
ernste
i
n_coefficients_product: no need
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
S
v
en Ver
d
o
olaege
b
ernst
e
in_
c
oef
f
icients: optionall
y
optimize dur
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sven Verdoolae
g
e
berns
t
ein_coefficients: f
a
ctorize dom
a
in
i
f possibl
e
commit
|
commitdiff
|
tree
2007-03-01
Sven Verdoolaege
P
o
lyhedron_Factor:
option
a
lly
return relat
i
on between
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sven
V
erdoo
l
aege
bernstein:
export replaceVariables
I
n
Po
l
yno
m
ial
commit
|
commitdiff
|
tree
2007-03-01
Sven Verd
o
olaege
bernstein
.
cc: evalu
e
2ex:
r
epr
e
sent fract
i
o
n
a
l b
y
s
cale
d
.
.
.
commit
|
commitdiff
|
tree
2007-02-28
Sven Verdoo
l
ae
g
e
bar
v
inok_
m
aximize:
f
ix hand
l
i
n
g of UNIONs in d
o
ma
i
ns
.
commit
|
commitdiff
|
tree
2007-02-28
Sve
n
Verdoolaege
bernstei
n
_co
e
fficien
t
s: skip empty
s
u
b
doma
i
ns
commit
|
commitdiff
|
tree
2007-02-28
Sven Verdoolaege
barvi
n
ok_maximize
:
fix
d
e
t
ect
i
on of end of
d
o
mai
n
specification
commit
|
commitdiff
|
tree
2007-02-27
Sv
e
n Verdoo
l
aeg
e
barvinok
_
maximize: ad
d
input conversion
commit
|
commitdiff
|
tree
2007-02-27
Sven
Verdoolae
g
e
evalue_convert: extr
a
cted from
barvin
o
k
_
enume
r
ate and
.
.
.
commit
|
commitdiff
|
tree
2007-02-27
Sven Verdoolaege
util
.
c: move Pol
y
hedr
o
n_is_unb
o
u
nded from bernstein
.
cc
commit
|
commitdiff
|
tree
2007-02-26
Sven V
e
rdo
o
l
aege
bernstein_coefficients: skip infinite (sub)domains
commit
|
commitdiff
|
tree
2007-02-26
S
v
e
n Verdoolaege
barv
i
nok
_
max
i
mize: let user speci
f
y var
i
a
bles over
.
.
.
commit
|
commitdiff
|
tree
2007-02-26
Sven
V
erdoolaege
b
e
rnstein_
c
oeffici
e
n
t
s: skip computations if
d
omain
.
.
.
commit
|
commitdiff
|
tree
2007-02-26
Sv
e
n Verdoolaege
barvinok_maximize: fix access to fre
e
d memor
y
commit
|
commitdiff
|
tree
2007-02-26
Sven V
e
rdo
o
laege
berns
t
ei
n
/piec
e
w
i
se_lst
.
cpp: add minimize()
method
commit
|
commitdiff
|
tree
2007-02-26
Sven Ver
d
oolaege
barvinok_maximi
z
e:
re
a
d
domains with
U
NIONs
commit
|
commitdiff
|
tree
2007-02-26
Sven Ver
d
oolaege
us
e
G
i
NaC cflags and libs
commit
|
commitdiff
|
tree
2007-02-23
Sven
Verd
o
olaege
barv
i
no
k
_ma
x
imize: optionally call
e
value_sp
l
i
t
_periods
commit
|
commitdiff
|
tree
2007-02-23
Sven Verdool
a
ege
e
value
.
c: a
d
d e
v
a
l
ue
_
split_
p
eriods
commit
|
commitdiff
|
tree
2007-02-23
Sv
e
n Verdoolaege
util
.
c
:
v
alue_lcm
:
mark argum
e
nts c
o
nst
commit
|
commitdiff
|
tree
2007-02-23
Sven Verdool
a
ege
ev
a
lue
.
c: polynomial_projection: allow N
U
LL R argumen
t
commit
|
commitdiff
|
tree
2007-02-23
Sven Verdoolae
g
e
e
v
alue
.
c: extract fiddl
i
ng with coeffici
e
nts out o
f
.
.
.
commit
|
commitdiff
|
tree
2007-02-22
S
ven
V
er
d
oolae
g
e
e
value_bernstein_coefficients: ha
n
dle each coset of
.
.
.
commit
|
commitdiff
|
tree
2007-02-21
Sven Verdoolaege
barvinok_m
a
ximize: read evalues wit
h
per
i
od
i
cs
commit
|
commitdiff
|
tree
2007-02-21
Sven Verdoolaege
evalue_bern
s
tein_coe
f
ficients:
han
d
le perio
d
ics in
.
.
.
commit
|
commitdiff
|
tree
2007-02-21
Sven Verdoolaege
bern
s
tein: bernsteinExpansion: accept
l
is
t
of
po
l
ynomials
commit
|
commitdiff
|
tree
2007-02-19
Sv
e
n
V
erd
o
olaege
barvino
k
_ma
x
im
i
ze:
ma
k
e
e
value par
s
e a littl
e
b
it more
.
.
.
commit
|
commitdiff
|
tree
2007-02-19
Sven Verdoolae
g
e
barvinok_enumer
a
te*: b
e
l
ess chatty b
y
de
f
au
l
t
commit
|
commitdiff
|
tree
2007-02-19
Sven
V
er
d
oolaege
count/enum
e
r
ate:
w
arn if input is a
unio
n
commit
|
commitdiff
|
tree
2007-02-19
Sven Verdoo
l
ae
g
e
Doma
i
nIncludes:
d
ete
c
t mo
r
e cas
e
s + adapt documentation
commit
|
commitdiff
|
tree
2007-02-19
Sven V
e
rdoolae
g
e
eval
u
e
_
bernstein_coeffic
i
en
t
s:
h
andle fractionals in
.
.
.
commit
|
commitdiff
|
tree
2007-02-19
S
v
e
n
Verdoolaege
evalue_be
r
nstein_coeffi
c
ient
s
: handle
f
l
o
o
r
ings in
.
.
.
commit
|
commitdiff
|
tree
2007-02-18
Sve
n
Verdoolaege
bar
v
inok_maximize: n
e
w tool for
maximizing
piece
w
ise
.
.
.
commit
|
commitdiff
|
tree
2007-02-17
Sven V
e
rdoolaege
evalu
e
.
c
: eval
u
e_
f
rac2polynomial: improve ac
c
uracy
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoolae
g
e
e
v
alue
.
c: a
d
d comment
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoolaeg
e
ev
a
lue
.
c
:
add functio
n
for checking ne
s
ting of
an eva
l
ue
commit
|
commitdiff
|
tree
2007-02-16
S
v
en Verdoo
l
aege
evalue
.
c
: add
m
issing
terms
r
e
orderings in evalue_range_redu
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoolaege
evalue
.
c: make arg
u
ments o
f
e
e
qual and evalu
e
_
denom
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven Ver
d
oolae
g
e
barvi
n
o
k_
e
nume
r
ate_e:
add --v
e
rbose opt
i
on
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoolae
g
e
bernstein: m
a
rk argum
e
nt of
value2numeric cons
t
commit
|
commitdiff
|
tree
2007-02-16
Sven V
e
r
doolaege
bernstein
.
c
c
: ad
d
(opt
i
onal) opti
o
ns argument
to
e
value_bern
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sve
n
Verdool
a
eg
e
a
dd mi
s
sing virtua
l
de
s
tructors
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdool
a
ege
genf
u
n
.
c
c: ren
a
m
e struct c
o
n
e to
a
void conf
l
ict with
.
.
.
commit
|
commitdiff
|
tree
next