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: add simplified method of computing tighter polynomial approximations.
2007-03-31
S
v
en
V
e
r
doolaege
sca
l
e
.
c
: add simplifie
d
method of
c
omputing t
i
ghter
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verd
o
ola
e
ge
barv
i
nok_enumera
t
e: optionally co
m
pute tighter polynomi
a
l
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaeg
e
polyhe
d
ron_sam
p
le
.
c: remove redundant
M
AXR
A
YS def
i
ne
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
ev
a
lue
.
c: evalue_
e
val: support
relations
commit
|
commitdiff
|
tree
2007-03-31
S
ven V
e
rdo
o
lae
g
e
e
v
alue
.
c: ev
a
l
u
e_frac2
p
olynomial: properly handle
relations
commit
|
commitdiff
|
tree
2007-03-31
S
v
en
Verdoolaege
barvino
k
_enumerat
e
: sup
p
ort approximation by means
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sve
n
Ve
r
doola
e
ge
scale
.
c: avoid si
m
p
lifica
t
i
on of
c
onstrain
t
s after
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Ve
r
d
o
olaege
barvinok/util
.
h
:
add POL_UNSET macro for unsetti
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
ven Verdoolaege
scale
.
c: Param_Polyh
e
dron_Sc
a
l
e_Integer_F
a
s
t: ignore
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sve
n
V
e
rdoolaege
move
P
aram_Po
l
yhe
d
r
on_Scale_I
n
t
e
ge
r
to s
c
ale
.
c and
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoola
e
g
e
use separate flags o
p
tio
n
for
scale ap
p
rox
i
matio
n
method
commit
|
commitdiff
|
tree
2007-03-31
Sven
V
erdoolaege
ba
r
vinok
.
cc:
m
ov
e
scaling to scale
.
c
commit
|
commitdiff
|
tree
2007-03-30
Sv
e
n Ver
d
oolae
g
e
scale
.
c
:
c
or
r
ect ex
t
r
ac
t
_lat
t
ice i
n
case o
f
redundant
.
.
.
commit
|
commitdiff
|
tree
2007-03-30
Sven Verdool
a
ege
d
oc: update
C
C
2
005
r
eference
commit
|
commitdiff
|
tree
2007-03-26
Sven Ve
r
doo
l
aege
v
erif_eh
r
h
art
.
c: round inex
a
ct evaluati
o
n
u
p or do
w
n
.
.
.
commit
|
commitdiff
|
tree
2007-03-26
Sv
e
n Verdool
a
ege
ve
r
if_ehrhart
.
c: optionally u
s
e
exac
t
evaluation for
.
.
.
commit
|
commitdiff
|
tree
2007-03-25
S
v
e
n
Verd
o
olaege
e
v
alue
.
c: ad
d
eval
u
e_eval f
o
r exact
evaluati
o
n of evalue
commit
|
commitdiff
|
tree
2007-03-25
Sven Ve
r
doolae
g
e
e
v
alue
.
c: fix
evalue_frac2polynomial for
negative v
a
lu
e
s
.
.
.
commit
|
commitdiff
|
tree
2007-03-20
Sve
n
V
erdool
a
ege
barv
i
nok_enumerate: perf
o
rm slow scaling a
p
prox
i
mation
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
Sven Verd
o
olaege
fix Par
a
m
_Polyhedron_Scale_
I
nte
g
er
commit
|
commitdiff
|
tree
2007-03-19
Sven Verdoolae
g
e
barvino
k
_enumerate: more accurate polynomial ap
p
roximation
commit
|
commitdiff
|
tree
2007-03-19
S
ve
n
V
e
rdoola
e
ge
reo
r
ganize po
l
ynomial approximat
i
o
n options
commit
|
commitdiff
|
tree
2007-03-19
Sve
n
Verd
o
olae
g
e
util
.
c: Param_Poly
h
edron_Pr
i
nt: a
c
tual
l
y
use
o
utput
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
S
ven Verdoolaege
f
ix merge of
check_poly f
r
om verif_ehrhar
t
.
c an
d
l
e
xmin
.
c
c
commit
|
commitdiff
|
tree
2007-03-18
S
ven V
e
rdoolaege
do
c
: update Koeppe-Verdo
o
laege reference
commit
|
commitdiff
|
tree
2007-03-17
Sv
e
n Ve
r
doolaege
barvin
o
k_
m
aximize: s
u
ppo
r
t verifi
c
ation
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoolaeg
e
mer
g
e check_poly from
v
erif_e
h
r
h
ar
t
.
c an
d
lexm
i
n
.
cc
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoolaege
evalue
.
c: make some e
v
alue argu
m
en
t
s
const
commit
|
commitdiff
|
tree
2007-03-17
Sv
e
n Verdoolaege
evalue_frac2floor2: also
c
onvert
non-part
i
tion if no
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoolaege
v
e
rify
.
c: change veri
f
y
_
options_set_range
prototyp
e
commit
|
commitdiff
|
tree
2007-03-17
Sven
Verdoolae
g
e
bernstein: piecewise_lst::evaluate: sup
p
ort different
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
Sv
e
n Verdoolaege
ver
i
fy
.
c: t
u
r
n
off continue_on_err
o
r
by default
commit
|
commitdiff
|
tree
2007-03-17
Sven
Verdoolaege
bernstein: e
x
port nu
m
e
r
i
c
2va
l
u
e
commit
|
commitdiff
|
tree
2007-03-15
S
v
en Ver
d
oolaege
doc
:
proof of exi
s
tence of s
u
itabl
e
y for pr
i
m
al d
e
composi
t
i
.
.
.
commit
|
commitdiff
|
tree
2007-03-15
Sven Verd
o
olaege
doc
:
fix pr
o
o
f
o
f ex
i
stence of
s
u
it
a
b
l
e y for primal
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdo
o
laeg
e
b
er
n
stein
.
cc: bernstein_
c
o
effi
c
ients: create signed
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoola
e
ge
ba
r
vinok
_
maximize: optionally use rec
u
rsive bern
s
tein_coeffi
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoolaege
bernst
e
in
.
cc: be
r
n
s
tein_coe
f
fic
i
e
n
ts: support general
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sv
e
n
Verdoolaege
ber
n
ste
i
n
.
cc: refactor bernstein_coeffi
c
ients_
p
roduct
commit
|
commitdiff
|
tree
2007-03-14
Sven V
e
rdoolaege
berns
t
ein: piecewise_lst: add
s
ign and rem
o
ve
r
ed
u
ndant
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoolaeg
e
be
r
nstein: add remov
e
_redundants met
h
od
commit
|
commitdiff
|
tree
2007-03-14
Sven Verd
o
ol
a
eg
e
doc: prim
a
l de
c
om
p
os
i
tion: typo fixes + clarificati
o
ns
commit
|
commitdiff
|
tree
2007-03-11
S
ven
V
erdoolae
g
e
doc:
f
i
x
primal decomposition example
+
clea
n
-ups
commit
|
commitdiff
|
tree
2007-03-11
S
v
en Verd
o
olaege
Document primal d
e
composition
commit
|
commitdiff
|
tree
2007-03-11
Sven Verdoola
e
g
e
ba
r
vinok
.
cc: ba
r
vinok_enumerate: fix lowe
r
b
o
und ap
p
roximation
commit
|
commitdiff
|
tree
2007-03-07
Sv
e
n Verdoolaege
eva
l
ue_s
p
lit_per
i
ods: gra
c
e
full
y
handle
zero eval
u
es
.
.
.
commit
|
commitdiff
|
tree
2007-03-07
Sven Ve
r
do
o
laege
barvinok_maximize: handle zero
i
nput
commit
|
commitdiff
|
tree
2007-03-07
Sv
e
n
Verdool
a
ege
barvinok
_
enumerate
_
e: cle
a
n up allocation
o
f
options
commit
|
commitdiff
|
tree
2007-03-07
Sven Verd
o
olaege
barvinok
.
cc: handle ca
s
e
whe
r
e nothing is left aft
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-03-02
Sven Verd
o
ol
a
ege
eval
u
e_conv
e
rt: support printing a quasi-
p
oly
n
o
mialas
.
.
.
commit
|
commitdiff
|
tree
2007-03-02
Sven
V
erdoo
l
aege
lattice_p
o
i
n
t
.
h: make
self-c
o
ntained
commit
|
commitdiff
|
tree
2007-03-02
Sven Verdoolaege
e
value
.
c: extract evalue_e
x
tract_affine fr
o
m bernste
i
n
.
cc
commit
|
commitdiff
|
tree
2007-03-02
Sven Verdoolaeg
e
berns
t
ein
.
cc:
bern
s
tein_coefficients_product
:
no need
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sven Verdoola
e
ge
bernste
i
n_
c
oeffic
i
ent
s
: optionally optim
i
ze duri
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sven Verdoolaege
bernst
e
in_coefficients: factorize domain if
p
ossible
commit
|
commitdiff
|
tree
2007-03-01
Sven Verdoolaege
Pol
y
h
e
dron_Fa
c
tor
:
opt
i
onally return relatio
n
be
t
w
e
en
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sven Verdoolaege
bernstein: export
replaceV
a
r
iablesInPolynomia
l
commit
|
commitdiff
|
tree
2007-03-01
Sven
Ve
r
dool
a
ege
bernstein
.
cc: evalue2e
x
:
r
ep
r
esen
t
fractiona
l
by scaled
.
.
.
commit
|
commitdiff
|
tree
2007-02-28
Sven V
e
rdoolaege
barvinok_maximize: fix han
d
l
i
n
g
of
UNIONs in d
o
mains
.
commit
|
commitdiff
|
tree
2007-02-28
Sven Verdoolaeg
e
bernstein_
c
oeffici
e
nts:
s
kip empty subdomain
s
commit
|
commitdiff
|
tree
2007-02-28
Sven Verdoolaege
barvinok_max
i
mize: fix detection
o
f end of d
o
main specifi
c
ation
commit
|
commitdiff
|
tree
2007-02-27
Sven Verdoolaege
barvinok_maxi
m
ize:
add inp
u
t con
v
e
r
s
i
on
commit
|
commitdiff
|
tree
2007-02-27
Sven
Verdoolaege
evalue_
c
onvert: ex
t
r
acted
f
r
o
m bar
v
in
o
k_enumerate and
.
.
.
commit
|
commitdiff
|
tree
2007-02-27
Sven
V
er
d
oolaege
ut
i
l
.
c: m
o
ve Polyhe
d
ron_is_unbou
n
ded from berns
t
ei
n
.
cc
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdool
a
ege
bernst
e
in_coefficients:
s
k
i
p infinite
(
sub)domains
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdoolaege
ba
r
vinok_maxi
m
ize: let u
s
er specify variable
s
over
.
.
.
commit
|
commitdiff
|
tree
2007-02-26
Sven Verd
o
olaege
b
ernstein_coeff
i
cien
t
s: ski
p
comp
u
tation
s
if d
o
ma
i
n
.
.
.
commit
|
commitdiff
|
tree
2007-02-26
S
ven Verdoolaege
barvino
k
_
m
aximize: fix access
to fre
e
d memory
commit
|
commitdiff
|
tree
2007-02-26
S
ven Verdoolae
g
e
b
ernstein/pie
c
ew
i
se_lst
.
cpp
:
ad
d
minimize() method
commit
|
commitdiff
|
tree
2007-02-26
Sven
Ver
d
oolaege
barvinok_ma
x
imize: re
a
d domai
n
s wit
h
UNIONs
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdoo
l
a
e
ge
use GiN
a
C cfla
g
s
and
libs
commit
|
commitdiff
|
tree
2007-02-23
Sven
V
erdoolaege
bar
v
inok_m
a
x
i
mize:
o
ptionally call
e
value_split_period
s
commit
|
commitdiff
|
tree
2007-02-23
Sven Verdoolae
g
e
evalue
.
c: add evalue_split_periods
commit
|
commitdiff
|
tree
2007-02-23
Sven V
e
rdoola
e
ge
util
.
c:
v
alu
e
_lcm: ma
r
k a
r
g
u
men
t
s const
commit
|
commitdiff
|
tree
2007-02-23
Sven Ve
r
doola
e
g
e
ev
a
lue
.
c: p
o
lynomi
a
l_pro
j
ection: allow NULL R argument
commit
|
commitdiff
|
tree
2007-02-23
Sven Verd
o
olaege
evalue
.
c
: extract fiddling
w
ith coe
f
ficients out of
.
.
.
commit
|
commitdiff
|
tree
2007-02-22
Sve
n
Verdoolaege
evalu
e
_bernstein_coefficients: hand
l
e
e
a
ch coset of
.
.
.
commit
|
commitdiff
|
tree
2007-02-21
Sven
Verdoolaege
barvinok_
m
aximize: read evalues with pe
r
iodics
commit
|
commitdiff
|
tree
2007-02-21
Sven
Ver
d
oolaege
evalue_bernste
i
n_coefficien
t
s:
handle periodics in
.
.
.
commit
|
commitdiff
|
tree
2007-02-21
Sven
Verdoolaege
bernstein:
b
ernsteinExpa
n
si
o
n
:
a
c
c
e
p
t list of polyno
m
ials
commit
|
commitdiff
|
tree
2007-02-19
S
ven Verdoolaege
barvino
k
_
maximize: make
e
value parse a lit
t
le bit mor
e
.
.
.
commit
|
commitdiff
|
tree
2007-02-19
Sven Ver
d
o
olaege
barvinok_e
n
ume
r
ate*:
b
e
l
ess
chatty by
de
f
ault
commit
|
commitdiff
|
tree
2007-02-19
Sve
n
Verdoolaege
c
ount/en
u
m
e
rate:
w
arn if input
is a
union
commit
|
commitdiff
|
tree
2007-02-19
Sve
n
V
e
r
d
oolaege
Do
m
ai
n
Includes: detect more ca
s
e
s + adapt doc
u
m
e
ntati
o
n
commit
|
commitdiff
|
tree
2007-02-19
S
v
en V
e
rdo
o
laeg
e
evalue_bernst
e
in_coefficients: h
a
ndle frac
t
ionals in
.
.
.
commit
|
commitdiff
|
tree
2007-02-19
Sven
V
erdoolaege
e
v
alu
e
_bernste
i
n
_
c
oefficie
n
ts:
h
andle
flooring
s
in
.
.
.
commit
|
commitdiff
|
tree
2007-02-18
Sve
n
Verdoolaege
barvinok
_
m
a
xim
i
z
e:
n
ew to
o
l f
o
r
m
axi
m
izing piecewise
.
.
.
commit
|
commitdiff
|
tree
2007-02-17
Sven Verdool
a
ege
evalue
.
c:
e
v
a
lu
e
_frac2polyn
o
mial: improve accuracy
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdo
o
l
a
e
g
e
e
value
.
c
: add comment
commit
|
commitdiff
|
tree
2007-02-16
Sven Ver
d
o
ol
a
e
g
e
evalue
.
c: add fu
n
ction
for checking n
e
s
t
i
n
g
o
f an
evalue
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoola
e
ge
eva
l
ue
.
c: add missing t
e
rms reo
r
derings in evalue_ran
g
e_redu
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven Ve
r
d
oolae
g
e
ev
a
l
u
e
.
c: make argu
m
ents
of eequal and
evalue_denom
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven Ve
r
doolaege
ba
r
vi
n
ok_enumerate_e: add --
v
erbose option
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoola
e
ge
bernstein:
m
ark arg
u
ment o
f
value2numeric const
commit
|
commitdiff
|
tree
2007-02-16
Sven
V
e
r
doolae
g
e
bernst
e
in
.
cc
:
add
(
o
p
ti
o
n
a
l
)
options argume
n
t to evalue_b
e
rn
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven Ver
d
oolaege
add missing v
i
rtual destructor
s
commit
|
commitdiff
|
tree
2007-02-16
Sven Ver
d
oolaege
genfun
.
cc: rename struct
cone to avoid
conflict wit
h
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sv
e
n Verdoolae
g
e
doc: integ
e
r points in the fundamenta
l
parallelepip
e
d
.
.
.
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoolaege
verif_ehrhar
t
.
c
:
clean u
p
indent
a
tion
commit
|
commitdiff
|
tree
2007-02-14
Sve
n
Verdool
a
eg
e
verif_
e
hr
h
ar
t
: optio
n
ally c
o
ntin
u
e on error
commit
|
commitdiff
|
tree
next