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
scale.c: avoid simplification of constraints after scaling
2007-03-31
Sven Verdoolaege
sca
l
e
.
c: avoid simplification of const
r
ai
n
ts af
t
er
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Ver
d
oolaege
ba
r
vinok
/
uti
l
.
h: add POL_UNSET macro for
u
nsett
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sv
e
n Verdoola
e
ge
s
c
ale
.
c: Para
m
_Po
l
yh
e
dro
n
_
S
c
ale
_
I
nteger_F
a
s
t
: ignore
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven V
e
rdoolaege
move
P
aram_Pol
y
hedron_Sca
l
e_Int
e
g
er to scale
.
c
and
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
use sepa
r
ate fla
g
s
option fo
r
sca
l
e appro
x
imation method
commit
|
commitdiff
|
tree
2007-03-31
S
ven Verdool
a
e
ge
barvi
n
ok
.
cc: move scali
n
g to scal
e
.
c
commit
|
commitdiff
|
tree
2007-03-30
Sven
V
erdoolae
g
e
scal
e
.
c: correct extract_lattice
in case of
redundan
t
.
.
.
commit
|
commitdiff
|
tree
2007-03-30
Sv
e
n Verdool
a
e
g
e
doc
:
update CC2005 reference
commit
|
commitdiff
|
tree
2007-03-26
Sven Verd
o
olaege
verif_ehrhart
.
c: round inexact
evaluatio
n
up or
down
.
.
.
commit
|
commitdiff
|
tree
2007-03-26
Sven Ver
d
oolaege
verif_ehrhart
.
c
:
o
p
ti
o
nall
y
use exact e
v
aluat
i
on for
.
.
.
commit
|
commitdiff
|
tree
2007-03-25
Sv
e
n V
e
rdo
o
laege
e
value
.
c: add evalue_eval for exac
t
evalu
a
t
ion of eva
l
ue
commit
|
commitdiff
|
tree
2007-03-25
S
v
en Verdoolaege
evalue
.
c: fix
ev
a
lue_frac2polynomial for neg
a
tive values
.
.
.
commit
|
commitdiff
|
tree
2007-03-20
Sven Verdoolaege
barv
i
nok_enumerate: perfor
m
slow sca
l
ing a
p
p
r
oximation
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
Sv
e
n
V
erdoolaege
fi
x
P
a
ram_Polyh
e
d
ron_Scale_Integer
commit
|
commitdiff
|
tree
2007-03-19
S
ven Verdoolaege
b
arv
i
nok_enumera
t
e: more accurate polynomial approx
i
m
a
tion
commit
|
commitdiff
|
tree
2007-03-19
Sve
n
V
erdoolaege
reorg
a
nize p
o
lynomial approximation
op
t
ions
commit
|
commitdiff
|
tree
2007-03-19
Sven Verdoolaege
util
.
c: Para
m
_Pol
y
hedron_Print: actually use output
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
Sv
e
n Verdoolaege
fix merg
e
of check_poly from
verif_ehrhart
.
c
and lex
m
in
.
cc
commit
|
commitdiff
|
tree
2007-03-18
S
v
en
Verdoo
l
aege
d
oc: update Koep
p
e-Verdoolaege
reference
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoolaege
barvinok_m
a
ximize: sup
p
o
r
t verifica
t
i
o
n
commit
|
commitdiff
|
tree
2007-03-17
S
v
en
V
erdoolae
g
e
merge check_p
o
ly from verif_ehrhart
.
c and le
x
min
.
c
c
commit
|
commitdiff
|
tree
2007-03-17
Sve
n
Verdo
o
laeg
e
evalue
.
c: ma
k
e
some e
v
alue arg
u
ments const
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoolaege
evalue_fra
c
2floor2: also con
v
ert
n
on
-
pa
r
tition
i
f no
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdo
o
laege
verify
.
c:
c
hange verify_options_set_ra
n
g
e prototype
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoolae
g
e
b
e
r
nstein: piecewise_lst::eva
l
uate: support diff
e
r
e
nt
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoolaege
verify
.
c: turn
off c
o
n
t
in
u
e_on_erro
r
by defau
l
t
commit
|
commitdiff
|
tree
2007-03-17
Sven Ve
r
doolaege
bern
s
tei
n
: ex
p
ort n
u
meric2value
commit
|
commitdiff
|
tree
2007-03-15
Sven Verdoolaege
doc: proof of existence of suitable y for pri
m
al decomposit
i
.
.
.
commit
|
commitdiff
|
tree
2007-03-15
Sve
n
Verdoo
l
aege
doc
:
fix
proof
o
f existence of suit
a
b
l
e
y for primal
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoo
l
a
e
g
e
be
r
nstein
.
cc: bernste
i
n_coefficients: cre
a
t
e
s
igned
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
S
ven
V
erdoolae
g
e
barvinok_
m
aximize:
optionally use recursive bernstein_c
o
eff
i
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
S
v
e
n Ver
d
oola
e
ge
bernstein
.
c
c
:
b
ernstein_coefficie
n
ts: suppo
r
t
general
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
S
v
e
n
Verdool
a
e
g
e
bernste
i
n
.
cc:
refac
t
or bernste
i
n
_
coef
f
icients_product
commit
|
commitdiff
|
tree
2007-03-14
S
v
en Verdool
a
ege
b
ernstei
n
: pie
c
ewise_lst: add s
i
gn and remo
v
e r
e
d
u
ndant
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoolaege
b
e
rnstein: add
remove
_
redundan
t
s
method
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoolaege
d
o
c
: primal d
e
composition: typo fi
x
es + cla
r
ifi
c
a
t
ions
commit
|
commitdiff
|
tree
2007-03-11
S
ven Verd
o
ol
a
ege
do
c
: fix
p
rimal decomposit
i
on ex
a
mple
+
clean-ups
commit
|
commitdiff
|
tree
2007-03-11
Sv
e
n
V
er
d
o
o
l
a
ege
Documen
t
primal decomposition
commit
|
commitdiff
|
tree
2007-03-11
Sven Verdoolaege
barvi
n
o
k
.
cc: barvin
o
k_enum
e
rate: fix lower b
o
un
d
approximation
commit
|
commitdiff
|
tree
2007-03-07
Sven Verdoolae
g
e
evalu
e
_
s
p
l
i
t_periods: grac
e
fully handle zero evalues
.
.
.
commit
|
commitdiff
|
tree
2007-03-07
S
v
e
n
Verdoolaege
bar
v
inok_maximize: handle zero i
n
p
ut
commit
|
commitdiff
|
tree
2007-03-07
Sv
e
n Verdoolaege
barv
i
nok_enumer
a
te_e: clean
up allocation of options
commit
|
commitdiff
|
tree
2007-03-07
Sven Verdool
a
e
g
e
barvinok
.
cc: hand
l
e case where
n
o
t
hing is
l
eft after
.
.
.
commit
|
commitdiff
|
tree
2007-03-02
Sven Verdoolaege
evalue_convert:
s
upport pr
i
nting a quasi-polynomialas
.
.
.
commit
|
commitdiff
|
tree
2007-03-02
Sv
e
n Verdoolaege
l
a
ttice_point
.
h: ma
k
e self-conta
i
ned
commit
|
commitdiff
|
tree
2007-03-02
Sven Verdoolaege
evalu
e
.
c: extra
c
t evalue_extract_af
f
ine from bernstein
.
cc
commit
|
commitdiff
|
tree
2007-03-02
S
v
en
V
er
d
oolaege
ber
n
st
e
in
.
cc: bernstein_coefficients_produ
c
t: no
n
eed
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sven Ver
d
oola
e
ge
be
r
nstein_coefficie
n
ts: optionally o
p
timize during
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
S
ven Verdoo
l
aege
b
ernstein_coefficients: factoriz
e
dom
a
in
i
f possible
commit
|
commitdiff
|
tree
2007-03-01
Sven Verdoo
l
ae
g
e
Polyhedron_Factor: o
p
t
i
onally retu
r
n
r
elation between
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sven Ver
d
o
o
laege
be
r
nstein: ex
p
o
rt
r
eplace
V
ariablesInPolynomial
commit
|
commitdiff
|
tree
2007-03-01
S
ve
n
Ver
d
oola
e
g
e
b
ernstein
.
cc: evalu
e
2
e
x
:
r
e
present fractional
b
y scaled
.
.
.
commit
|
commitdiff
|
tree
2007-02-28
Sven
V
e
rdo
o
laege
b
arvinok
_
m
a
ximize: fix
h
andling
of UNIONs in do
m
ains
.
commit
|
commitdiff
|
tree
2007-02-28
Sven Verdoolaege
b
e
rnstein_coe
f
f
i
cients
:
ski
p
empt
y
s
u
b
d
omains
commit
|
commitdiff
|
tree
2007-02-28
Sven Ver
d
oolaege
barvinok_maximi
z
e
:
fix detection
of end of domain specific
a
tion
commit
|
commitdiff
|
tree
2007-02-27
Sven Verdool
a
ege
b
arvinok_
m
aximize: add
inpu
t
conve
r
si
o
n
commit
|
commitdiff
|
tree
2007-02-27
Sv
e
n Verd
o
olaege
evalue_convert: extracted from
barvinok_enume
r
ate and
.
.
.
commit
|
commitdiff
|
tree
2007-02-27
S
ven Ve
r
doolaege
util
.
c:
m
ove Polyhedro
n
_is_unbounded from bernstein
.
c
c
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdool
a
ege
ber
n
s
tein
_
co
e
ff
i
cie
n
ts: skip
i
nfinite (sub
)
domai
n
s
commit
|
commitdiff
|
tree
2007-02-26
Sven
V
erdoolaege
barvinok
_
maximize: let
user spec
i
fy va
r
ia
b
les
over
.
.
.
commit
|
commitdiff
|
tree
2007-02-26
Sven Ver
d
oolaege
bern
s
tein_coeffi
c
ien
t
s:
s
k
ip
c
o
mputations if domain
.
.
.
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdoolaege
barv
i
n
o
k_maximize:
fix acce
s
s to fre
e
d
memory
commit
|
commitdiff
|
tree
2007-02-26
Haral
d
Devos
minimize
a
s
o
p
tio
n
of barvinok_maximize
commit
|
commitdiff
|
tree
2007-02-26
S
ve
n
Verdoolaege
berns
t
ein
/
piecewise_
l
s
t
.
c
p
p: add minimize() method
commit
|
commitdiff
|
tree
2007-02-26
S
ven Verdoo
l
aege
bar
v
inok_maximize: r
e
ad doma
i
n
s with
U
N
I
ONs
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdoolaege
use GiNaC cf
l
ags
a
nd l
i
bs
commit
|
commitdiff
|
tree
2007-02-23
S
v
en
Verdoolaege
barvinok_maximize: optio
n
ally
c
a
l
l
evalue_split_periods
commit
|
commitdiff
|
tree
2007-02-23
S
ven Ve
r
doolae
g
e
evalue
.
c:
add
e
value_split_p
e
riod
s
commit
|
commitdiff
|
tree
2007-02-23
Sven Verdoolaege
util
.
c: value_lcm: mark ar
g
ume
n
ts cons
t
commit
|
commitdiff
|
tree
2007-02-23
Sven Verd
o
ol
a
ege
evalue
.
c: polynomial_projection:
allow NUL
L
R argu
m
en
t
commit
|
commitdiff
|
tree
2007-02-23
Sven Verd
o
olaege
evalue
.
c: extract
f
iddl
i
ng with
c
oe
f
f
icients out of
.
.
.
commit
|
commitdiff
|
tree
2007-02-22
Sven
Ver
d
oolaege
ev
a
l
u
e_
b
e
r
n
s
tein_coeff
i
cie
n
ts:
h
a
ndle ea
c
h coset
of
.
.
.
commit
|
commitdiff
|
tree
2007-02-21
Sve
n
Verdo
o
laege
barvinok_maximize:
r
ead evalues with
periodics
commit
|
commitdiff
|
tree
2007-02-21
Sven Ve
r
doolaege
evalue
_
bernstein_coeffic
i
ents: hand
l
e pe
r
iodic
s
in
.
.
.
commit
|
commitdiff
|
tree
2007-02-21
Sven Verdoola
e
ge
bernstein:
bernsteinExpans
i
on: accept
l
ist of polynomials
commit
|
commitdiff
|
tree
2007-02-19
Sven Verd
o
olaege
barvinok_m
a
ximize: m
a
ke e
v
alue parse a little bit more
.
.
.
commit
|
commitdiff
|
tree
2007-02-19
Sven
Ver
d
oo
l
aege
barvinok_enumerate
*
: b
e
less
c
h
atty by
d
efaul
t
commit
|
commitdiff
|
tree
2007-02-19
Sven Verdool
a
e
ge
count/enume
r
ate: warn if input is a union
commit
|
commitdiff
|
tree
2007-02-19
S
v
en Verdool
a
ege
Domai
n
Includ
e
s: detect more ca
s
es
+ adap
t
d
ocumentation
commit
|
commitdiff
|
tree
2007-02-19
S
v
en Verdoolaege
evalue_bernst
e
in_coeffic
i
ents
:
handl
e
fractionals
in
.
.
.
commit
|
commitdiff
|
tree
2007-02-19
Sven Verdoola
e
ge
evalue_bernstein_coe
f
f
icients: handle floorings in
.
.
.
commit
|
commitdiff
|
tree
2007-02-18
Sv
e
n Verdoolaege
barvinok_
m
a
xi
m
iz
e
: new
t
o
o
l fo
r
maximizing pi
e
cewis
e
.
.
.
commit
|
commitdiff
|
tree
2007-02-17
Sv
e
n V
e
rdoolaege
evalu
e
.
c: ev
a
lue_
f
rac2p
o
lynomial: improve
accuracy
commit
|
commitdiff
|
tree
2007-02-16
S
v
en V
e
rdoolaege
evalue
.
c:
a
dd
c
omment
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoolaege
evalu
e
.
c: add function for checking nesting
o
f
an evalue
commit
|
commitdiff
|
tree
2007-02-16
Sven
V
e
r
d
o
o
l
ae
g
e
evalue
.
c: ad
d
missi
n
g
t
erms reorderings in evalue_range
_
redu
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoolae
g
e
e
value
.
c: make arg
u
men
t
s
of eequ
a
l
a
n
d
evalue_
d
enom
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoolaege
barvinok_e
n
umerate_e: add
--verbose
o
p
tion
commit
|
commitdiff
|
tree
2007-02-16
Sv
e
n Verdoolaege
bernstein: mark argument of value2num
e
ric
c
o
nst
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdool
a
ege
bernstein
.
c
c
: add (optional)
o
p
tions
a
rgument to evalue_bern
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven Ve
r
doolaeg
e
add missi
n
g
vir
t
u
a
l
destructors
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoolaege
ge
n
fun
.
cc: r
e
na
m
e
struct cone to avoid conflict
w
ith
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sv
e
n
V
e
r
doolaege
doc: integer points in
t
he fundam
e
ntal para
l
lelepiped
.
.
.
commit
|
commitdiff
|
tree
2007-02-14
S
v
e
n Verdo
o
laege
verif
_
ehrh
a
rt
.
c: cle
a
n up indenta
t
ion
commit
|
commitdiff
|
tree
2007-02-14
Sven Ver
d
o
olaeg
e
verif_eh
r
har
t
: optio
n
ally continue on error
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoolae
g
e
verif_ehr
h
art: combine check_poly
from barvinok_enume
r
a
t
e_e
.
cc
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoolaege
verif_ehr
h
ar
t
.
c: check lower an
d
uppe
r
polynomial appr
o
ximat
i
ons
commit
|
commitdiff
|
tree
2007-02-14
S
v
en
Verd
o
olaege
verify
.
h: move barvinok_options into verify_options
commit
|
commitdiff
|
tree
2007-02-14
Sven V
e
rd
o
olaege
barvinok
_
e
n
u
merate
:
pass parameter names to check
_
poly
commit
|
commitdiff
|
tree
2007-02-14
S
ven Verdo
o
laege
barvinok
_
enumerate: mor
e
polynommial approx
i
mations
commit
|
commitdiff
|
tree
next