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 Verdoo
l
aege
scale
.
c: avo
i
d simplifica
t
i
o
n of c
o
ns
t
raints after
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
ba
r
vinok/util
.
h
:
a
dd POL_UN
S
E
T ma
c
ro for uns
e
tting
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven V
e
rd
o
olaege
sc
a
le
.
c: Pa
r
am_Pol
y
hedron_Sca
l
e_Integ
e
r_Fast: igno
r
e
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
v
en Ve
r
doolaege
move Param_Polyhedron_Scale_Integer
to scale
.
c an
d
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
v
en Ver
d
oolaeg
e
use se
p
arate flags o
p
t
i
o
n
fo
r
scale approximati
o
n method
commit
|
commitdiff
|
tree
2007-03-31
Sven Ve
r
doolaege
barvinok
.
cc:
m
ove scaling to sca
l
e
.
c
commit
|
commitdiff
|
tree
2007-03-30
Sve
n
V
erdoolaege
scale
.
c
:
c
or
r
ect
e
xt
r
a
ct_lattic
e
in case of
r
e
d
undant
.
.
.
commit
|
commitdiff
|
tree
2007-03-30
Sven Verdoolaeg
e
doc: u
p
date CC2005 reference
commit
|
commitdiff
|
tree
2007-03-26
S
v
en Verdoolaeg
e
ve
r
if_ehrha
r
t
.
c
:
ro
u
nd
inex
a
ct
eva
l
u
atio
n
u
p
or down
.
.
.
commit
|
commitdiff
|
tree
2007-03-26
Sven Ve
r
doolaege
v
eri
f
_ehrhart
.
c
:
opti
o
nal
l
y
use exact evaluation for
.
.
.
commit
|
commitdiff
|
tree
2007-03-25
S
v
e
n
Verdoolaege
evalue
.
c:
a
dd evalue_eval
for ex
a
ct ev
a
luation of evalue
commit
|
commitdiff
|
tree
2007-03-25
Sven Verdoolaege
evalue
.
c: fix evalue_
f
rac2polynomial for negative va
l
ues
.
.
.
commit
|
commitdiff
|
tree
2007-03-20
S
ven Verdoola
e
g
e
barvin
o
k_enumer
a
t
e: pe
r
form s
l
o
w
scaling appro
x
imation
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
Sve
n
Verd
o
olaege
fix Param_Polyhedron
_
Scale_
I
n
teger
commit
|
commitdiff
|
tree
2007-03-19
Sven Verdoolaege
barvin
o
k_en
u
merate: mo
r
e accurate polyn
o
mial approxi
m
ation
commit
|
commitdiff
|
tree
2007-03-19
Sven Verd
o
olaege
reorganiz
e
polynomi
a
l ap
p
r
o
ximation options
commit
|
commitdiff
|
tree
2007-03-19
S
ven Verdoolaege
util
.
c:
P
a
r
am_Polyh
e
dron_Print: actually
u
se outp
u
t
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
Sven Verdoolaege
f
ix merge of ch
e
ck_poly from ve
r
i
f_ehrhar
t
.
c and lex
m
in
.
cc
commit
|
commitdiff
|
tree
2007-03-18
S
v
en Ve
r
d
oolaege
doc: update
K
oepp
e
-
V
erdool
a
ege
r
efer
e
n
c
e
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoolaege
b
arv
i
nok_
m
ax
i
mi
z
e:
s
u
p
port verification
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoo
l
aege
merge check_poly from ver
i
f_ehrhart
.
c a
n
d lexmin
.
c
c
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoolaege
eva
l
u
e
.
c: make so
m
e
evalue arg
u
ments const
commit
|
commitdiff
|
tree
2007-03-17
S
v
en Verd
o
olaege
evalue_frac2floor
2
: also convert non-pa
r
t
ition
i
f no
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
Sven
V
erdoolae
g
e
verify
.
c: chang
e
v
erify_optio
n
s_set_range prototype
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoolaege
bernstei
n
: piecew
i
se_lst
:
:evaluate: support different
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdool
a
ege
v
e
rify
.
c: turn off c
o
ntin
u
e_on
_
er
r
or by defaul
t
commit
|
commitdiff
|
tree
2007-03-17
S
ven Verdoolaeg
e
bernstein: e
x
port
n
ume
r
i
c
2value
commit
|
commitdiff
|
tree
2007-03-15
Sve
n
Verdoolaege
d
oc: proof of existence
o
f s
u
itable
y
f
o
r primal decompositi
.
.
.
commit
|
commitdiff
|
tree
2007-03-15
Sven Ve
r
doolaege
doc: fix
p
r
oo
f
o
f
existenc
e
of suitable y for primal
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoolae
g
e
be
r
nstein
.
cc: bernstein_
c
oefficie
n
ts: create si
g
ned
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
S
v
en Verdoola
e
ge
barvinok
_
maximize
:
optionally
u
s
e recursive be
r
n
st
e
in_coe
f
fi
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoolaege
bernstein
.
c
c
: bernstein_coeffici
e
nts
:
support gen
e
r
al
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven
V
erdoolaeg
e
bernstein
.
cc
:
re
f
ac
t
o
r
b
ern
s
te
i
n_coe
f
ficients_product
commit
|
commitdiff
|
tree
2007-03-14
Sven Ve
r
doolaege
b
e
rnstein
:
p
iecewis
e
_lst: add sign and re
m
ove
r
edundant
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven V
e
rdoolaege
bernstein: add
r
e
move_red
u
ndants method
commit
|
commitdiff
|
tree
2007-03-14
Sven
Verd
o
o
lae
g
e
doc: primal decomposition: typo fixes +
c
larifications
commit
|
commitdiff
|
tree
2007-03-11
Sven
V
erdoolaege
doc: f
i
x pri
m
al decom
p
osition example + c
l
ean-ups
commit
|
commitdiff
|
tree
2007-03-11
Sv
e
n
Verdoolaege
Docume
n
t
p
rimal decomposi
t
i
o
n
commit
|
commitdiff
|
tree
2007-03-11
S
ven Ve
r
doolaege
b
arvinok
.
cc: barv
i
nok_enumerate:
fix lower bound a
p
proximation
commit
|
commitdiff
|
tree
2007-03-07
Sven Ve
r
doolae
g
e
evalue_split_periods: gracefully hand
l
e
zer
o
evalues
.
.
.
commit
|
commitdiff
|
tree
2007-03-07
Sven Ve
r
d
o
olaege
barvinok_ma
x
i
mize: hand
l
e zero input
commit
|
commitdiff
|
tree
2007-03-07
Sven Verd
o
olaege
b
a
r
vinok_enumerate_e: clean
up allocation
o
f
optio
n
s
commit
|
commitdiff
|
tree
2007-03-07
Sven Ver
d
oola
e
ge
ba
r
vinok
.
cc: handle case where
n
o
t
hing is left after
.
.
.
commit
|
commitdiff
|
tree
2007-03-02
S
v
en
V
erd
o
ola
e
ge
evalue_convert
:
suppo
r
t
printing
a quasi-
p
olynomialas
.
.
.
commit
|
commitdiff
|
tree
2007-03-02
Sven Verdoolaege
latti
c
e_point
.
h: make s
e
lf-contained
commit
|
commitdiff
|
tree
2007-03-02
Sven
Verdoola
e
ge
eval
u
e
.
c:
e
xtract
e
value_extract_a
f
fin
e
f
rom berns
t
e
i
n
.
cc
commit
|
commitdiff
|
tree
2007-03-02
Sven
V
erdoolaege
bernstein
.
cc: bernstein_
c
o
e
fficients_pro
d
uct: no need
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sven Verd
o
olaege
bern
s
tein_
c
oeffic
i
en
t
s: optionally optimize during
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sven Verdo
o
l
a
ege
bernstein_coefficients: factorize domain if po
s
sible
commit
|
commitdiff
|
tree
2007-03-01
S
ven Ver
d
oolaege
Polyhedron_Factor:
optionall
y
ret
u
rn relation bet
w
e
e
n
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sv
e
n Verdoolaege
b
e
r
n
s
t
e
i
n: export replaceVar
i
a
blesInPolynomial
commit
|
commitdiff
|
tree
2007-03-01
Sven Verdo
o
laege
bernste
i
n
.
cc: e
v
alue2ex: r
e
present fractional by scaled
.
.
.
commit
|
commitdiff
|
tree
2007-02-28
Sven Ver
d
oolaeg
e
barvinok_maximize: fix
handling of UNION
s
in do
m
ai
n
s
.
commit
|
commitdiff
|
tree
2007-02-28
Sven Verd
o
olae
g
e
b
e
r
nstein_coefficients
:
skip empty subdomains
commit
|
commitdiff
|
tree
2007-02-28
S
v
e
n
Verdoolaege
b
a
rvino
k
_maximize: f
i
x de
t
e
ctio
n
o
f
en
d
of domain specification
commit
|
commitdiff
|
tree
2007-02-27
Sv
e
n
Ve
r
do
o
laege
barvinok
_
maximize: add input conversio
n
commit
|
commitdiff
|
tree
2007-02-27
Sven Verdoolaege
evalue_co
n
vert: extract
e
d from bar
v
i
nok_enumerate a
n
d
.
.
.
commit
|
commitdiff
|
tree
2007-02-27
Sven
Ver
d
oolaege
util
.
c:
m
o
ve Polyhedron_is_u
n
bounded from
b
e
rnstein
.
cc
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdoolaege
berns
t
ein_coefficients:
s
kip infinite (sub)domai
n
s
commit
|
commitdiff
|
tree
2007-02-26
Sv
e
n Verd
o
o
l
aeg
e
barv
i
no
k
_
ma
x
imiz
e
: let
u
s
e
r
spe
c
if
y
variables over
.
.
.
commit
|
commitdiff
|
tree
2007-02-26
Sve
n
Verdoolae
g
e
berns
t
ein_c
o
efficients: sk
i
p compu
t
a
tions if domain
.
.
.
commit
|
commitdiff
|
tree
2007-02-26
Sve
n
V
erdoolaege
barvinok_maxi
m
ize: fix acc
e
ss to
f
reed memory
commit
|
commitdiff
|
tree
2007-02-26
Harald Devos
minimize as o
p
tion
of
b
arvinok_maximiz
e
commit
|
commitdiff
|
tree
2007-02-26
Sven
V
erdoolaege
b
e
rns
t
ein/piecewise_lst
.
cpp: add minimi
z
e() met
h
od
commit
|
commitdiff
|
tree
2007-02-26
Sven
V
erdoola
e
g
e
barvinok_ma
x
im
i
ze: read domains with UNI
O
Ns
commit
|
commitdiff
|
tree
2007-02-26
Sven
V
erdool
a
ege
us
e
GiNaC cflags and lib
s
commit
|
commitdiff
|
tree
2007-02-23
S
ven Verdoola
e
ge
b
a
rv
i
nok_maximi
z
e: option
a
ll
y
call evalue_s
p
lit
_
pe
r
iods
commit
|
commitdiff
|
tree
2007-02-23
Sven Ve
r
do
o
lae
g
e
eva
l
ue
.
c: a
d
d evalue_split_periods
commit
|
commitdiff
|
tree
2007-02-23
Sven Verdoolaege
u
t
il
.
c: value_lcm: mar
k
ar
g
uments
const
commit
|
commitdiff
|
tree
2007-02-23
S
v
en Verdoolaege
evalue
.
c: pol
y
nom
i
a
l
_
project
i
on: allow NULL R argu
m
e
nt
commit
|
commitdiff
|
tree
2007-02-23
S
v
e
n
V
erd
o
olaege
evalu
e
.
c:
extract fiddl
i
ng with coef
f
icie
n
ts
o
u
t
of
.
.
.
commit
|
commitdiff
|
tree
2007-02-22
S
ven Verdoolaege
e
v
alue_b
e
r
n
stein_coefficients: handle each
c
oset of
.
.
.
commit
|
commitdiff
|
tree
2007-02-21
Sven Verdoolaege
barvinok_maximize: read
e
values with periodics
commit
|
commitdiff
|
tree
2007-02-21
S
v
en Verdoolaege
e
value
_
bernstein_coeffic
i
e
nts: handle periodics in
.
.
.
commit
|
commitdiff
|
tree
2007-02-21
S
ven V
e
rdoolaege
bernst
e
in: bernsteinExpansion: accept li
s
t of polynomials
commit
|
commitdiff
|
tree
2007-02-19
S
ven Ve
r
d
o
o
l
a
ege
barv
i
nok
_
maximize:
m
ake evalue parse a little bit m
o
re
.
.
.
commit
|
commitdiff
|
tree
2007-02-19
Sven Verdoolaege
barv
i
nok_enumerate*: be less cha
t
ty by de
f
aul
t
commit
|
commitdiff
|
tree
2007-02-19
Sven Verdoolae
g
e
count/enu
m
erate:
wa
r
n if input
i
s a union
commit
|
commitdiff
|
tree
2007-02-19
S
v
en V
e
rdoolaege
D
o
m
a
i
nIncludes: dete
c
t more c
a
ses + adapt
d
ocumenta
t
ion
commit
|
commitdiff
|
tree
2007-02-19
Sven Verdoolaege
evalue_berns
t
e
i
n
_
coefficie
n
t
s
: handle fractional
s
in
.
.
.
commit
|
commitdiff
|
tree
2007-02-19
Sven
Verdoola
e
g
e
evalue_ber
n
st
e
in_coefficients: handle fl
o
oring
s
in
.
.
.
commit
|
commitdiff
|
tree
2007-02-18
Sven
V
erdoolaege
barvino
k
_maximize: new
t
ool f
o
r maximi
z
in
g
p
i
ecewise
.
.
.
commit
|
commitdiff
|
tree
2007-02-17
Sven Verdoolaege
evalue
.
c
: evalue_frac2polyn
o
mi
a
l: improve
accuracy
commit
|
commitdiff
|
tree
2007-02-16
Sven
V
er
d
oo
l
aeg
e
evalue
.
c:
a
dd com
m
e
n
t
commit
|
commitdiff
|
tree
2007-02-16
S
v
en
Verdoola
e
ge
evalue
.
c: add f
u
ncti
o
n for checking nesting o
f
an evalue
commit
|
commitdiff
|
tree
2007-02-16
S
ven Verdool
a
ege
evalue
.
c:
a
d
d missing
t
e
r
ms reorderings i
n
evalue_range
_
redu
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoolaege
e
v
alue
.
c: make argument
s
of eequal and evalue_deno
m
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven Verd
o
olaege
barvinok_enume
r
ate_e: add
-
-verbose
optio
n
commit
|
commitdiff
|
tree
2007-02-16
Sven
Verdoolaege
b
e
r
nst
e
in
:
mark argum
e
nt of value2numer
i
c const
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoo
l
aege
be
r
nstein
.
c
c
:
add (optional)
o
ptions argument to evalue_ber
n
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdool
a
e
ge
add
m
issi
n
g
virtual destru
c
tors
commit
|
commitdiff
|
tree
2007-02-16
Sv
e
n
V
e
r
doolaege
genfun
.
cc: r
e
name struct con
e
to avoid c
o
nflict
w
i
th
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoolaege
doc: integer po
i
nts in the fundamenta
l
p
a
rallelepiped
.
.
.
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoo
l
aege
verif
_
ehrhart
.
c: clean up
i
n
dentatio
n
commit
|
commitdiff
|
tree
2007-02-14
Sv
e
n Ver
d
oolaege
v
e
rif_ehrhart:
opt
i
ona
l
l
y
continue on error
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoo
l
aege
ve
r
if_ehrhar
t
: com
b
in
e
chec
k
_poly from
b
arv
i
nok_enume
r
ate_e
.
cc
commit
|
commitdiff
|
tree
2007-02-14
S
v
en Ver
d
oolaege
ver
i
f_ehrhart
.
c:
c
h
e
ck lower
and upper pol
y
n
omia
l
appro
x
imations
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdool
a
ege
v
erify
.
h
:
m
ove
barvinok_options into ver
i
fy_options
commit
|
commitdiff
|
tree
2007-02-14
Sv
e
n Verdoolaege
bar
v
inok_enumerate: pas
s
p
a
rameter names
to check_poly
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoolaeg
e
barvinok_enumerate: mor
e
pol
y
nomm
i
a
l
appro
x
imations
commit
|
commitdiff
|
tree
next