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
scale
.
c: avoid simplif
i
c
a
tion of c
o
nst
r
aints
a
fter
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaeg
e
barv
i
nok/util
.
h: add P
O
L_UNSE
T
macro for unsett
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoola
e
ge
scale
.
c: Param
_
P
o
l
y
hedron_Scale_Integer_Fast: i
g
n
o
re
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoola
e
ge
move Pa
r
a
m_Polyhedron_Sc
a
l
e
_Integer to scale
.
c and
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaeg
e
u
se separa
t
e flags o
p
tion fo
r
s
cale
a
ppr
o
ximation
m
e
tho
d
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
barvinok
.
c
c
:
move
s
caling to scale
.
c
commit
|
commitdiff
|
tree
2007-03-30
Sven Verdoolaege
scale
.
c: co
r
r
ect
ex
t
ract_lattice i
n
cas
e
of redundant
.
.
.
commit
|
commitdiff
|
tree
2007-03-30
Sven Verdoo
l
aege
do
c
: update CC2005 ref
e
rence
commit
|
commitdiff
|
tree
2007-03-26
S
v
en Verdoolaege
ve
r
i
f
_eh
r
hart
.
c
: r
o
und in
e
xact evaluat
i
on up or
d
own
.
.
.
commit
|
commitdiff
|
tree
2007-03-26
Sv
e
n Verdoolaege
verif_ehrhart
.
c: opti
o
n
a
lly use
exact evaluation
f
o
r
.
.
.
commit
|
commitdiff
|
tree
2007-03-25
Sven Verd
o
olaege
e
value
.
c
: add evalue_eval for exact ev
a
l
u
atio
n
of e
v
al
u
e
commit
|
commitdiff
|
tree
2007-03-25
S
ven V
e
r
dool
a
ege
evalue
.
c: fix eval
u
e
_
fr
a
c2
p
olyn
o
mi
a
l
f
o
r neg
a
t
i
ve
values
.
.
.
commit
|
commitdiff
|
tree
2007-03-20
Sven Ve
r
doolaege
barvino
k
_enumerate
:
per
f
orm slow scaling approx
i
mation
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
S
ven
V
erdoolaeg
e
fi
x
P
aram_Polyhedron_Sc
a
le
_
Integ
e
r
commit
|
commitdiff
|
tree
2007-03-19
Sven Verdoolaeg
e
b
a
rvinok_enumerate
:
more accurate polyn
o
m
i
a
l approxi
m
a
ti
o
n
commit
|
commitdiff
|
tree
2007-03-19
Sv
e
n Verdoolaege
reorganize po
l
ynomial approximat
i
on options
commit
|
commitdiff
|
tree
2007-03-19
Sv
e
n
Verdo
o
l
a
e
ge
util
.
c:
Par
a
m_Polyh
e
d
r
on_Pr
i
n
t: act
u
ally use output
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
Sven Verdo
o
laege
fix merge of check_poly from verif_
e
hrhart
.
c and lexmin
.
cc
commit
|
commitdiff
|
tree
2007-03-18
S
v
en Verd
o
olaeg
e
d
o
c: u
p
date Koe
p
pe-Verdoolaege
refe
r
e
nce
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdo
o
l
aege
bar
v
i
n
ok_maxi
m
ize: support verificatio
n
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoo
l
ae
g
e
m
e
r
g
e check
_
poly fr
o
m
verif_ehr
h
art
.
c and l
e
x
m
i
n
.
cc
commit
|
commitdiff
|
tree
2007-03-17
Sve
n
V
e
rd
o
ola
e
ge
evalue
.
c: make s
o
me evalue ar
g
u
me
n
ts con
s
t
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoolaege
evalue_frac2floor2: also convert non
-
partiti
o
n if no
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
Sv
e
n Verdool
a
ege
ve
r
ify
.
c: change verify
_
options_s
e
t_r
a
nge protot
y
pe
commit
|
commitdiff
|
tree
2007-03-17
Sve
n
Verdoolaege
bernst
e
in: piecewise_lst::evaluate:
s
upport different
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
Sven
Verdoolaege
v
e
r
ify
.
c: turn off conti
n
ue_on_error
b
y
d
e
fault
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdo
o
l
aege
bernst
e
in: export
numeric2value
commit
|
commitdiff
|
tree
2007-03-15
Sven Verdoolaege
doc: proof of existenc
e
of suitable y
f
or pr
i
mal decom
p
osit
i
.
.
.
commit
|
commitdiff
|
tree
2007-03-15
Sven
V
erdoolaege
doc: fix proof
of e
x
i
sten
c
e of suitable y for primal
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoolaege
b
e
r
nstei
n
.
cc
:
be
r
nstein_co
e
fficients:
c
reate signed
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
S
v
en V
e
r
d
oolaege
barvi
n
ok_maximi
z
e: optionally use recurs
i
ve bernstein_coeff
i
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdo
o
la
e
ge
b
ernstein
.
cc: berns
t
ein_coe
f
ficients: support gener
a
l
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoolaege
ber
n
stein
.
cc: ref
a
ctor bernst
e
in_coeff
i
cients
_
product
commit
|
commitdiff
|
tree
2007-03-14
Sven V
e
rdoolaege
b
ernstein: piecewise_lst: add sign and remo
v
e redundant
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sve
n
Ve
r
doolaege
b
ernstein: add
remove_redunda
n
ts
met
h
od
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoola
e
ge
d
oc
:
primal decomposition:
typo fixes
+
cl
a
r
ification
s
commit
|
commitdiff
|
tree
2007-03-11
S
ven Verdoola
e
ge
doc: fix primal decomposition example + clean-ups
commit
|
commitdiff
|
tree
2007-03-11
Sven Verdoolaege
Document primal decomposition
commit
|
commitdiff
|
tree
2007-03-11
Sv
e
n Verdoola
e
ge
bar
v
ino
k
.
c
c:
barvin
o
k_enumerate:
f
ix low
e
r bound approximation
commit
|
commitdiff
|
tree
2007-03-07
Sven Verdool
a
ege
e
value_split_periods:
gra
c
eful
l
y
h
andle zer
o
evalues
.
.
.
commit
|
commitdiff
|
tree
2007-03-07
Sven Verdoolae
g
e
barvi
n
ok_maxi
m
ize: handle
z
ero i
n
put
commit
|
commitdiff
|
tree
2007-03-07
Sv
e
n Verdoolaege
b
arvinok_en
u
me
r
ate_e: clean u
p
al
l
ocation of op
t
i
o
ns
commit
|
commitdiff
|
tree
2007-03-07
S
ve
n
Ve
r
doolaege
barvinok
.
cc: hand
l
e case where
n
oth
i
ng is l
e
ft af
t
er
.
.
.
commit
|
commitdiff
|
tree
2007-03-02
Sv
e
n Verd
o
olaege
evalue_conver
t
: support printi
n
g a quasi-
p
olynomi
a
las
.
.
.
commit
|
commitdiff
|
tree
2007-03-02
Sven Verdoolaege
latt
i
ce_po
i
nt
.
h:
m
a
ke self-contained
commit
|
commitdiff
|
tree
2007-03-02
Sven Verd
o
olaege
e
v
a
lue
.
c: extra
c
t evalue_e
x
tract_
a
ffine from bernstein
.
cc
commit
|
commitdiff
|
tree
2007-03-02
Sven V
e
r
d
o
o
l
a
e
ge
bernstein
.
cc
:
be
r
nste
i
n
_
coefficient
s
_product: n
o
need
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sven Verd
o
olaege
bernstein_coeffic
i
e
n
ts:
optionally optimize dur
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sven Ve
r
doola
e
ge
berns
t
ein_
c
oeffici
e
nts:
f
actorize domain if pos
s
i
ble
commit
|
commitdiff
|
tree
2007-03-01
S
ven
V
erdoolaege
Polyhedron_F
a
c
tor: optional
l
y
r
eturn rela
t
ion between
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
S
ven Verdoo
l
ae
g
e
bernstein: export repla
c
eVariablesI
n
P
o
lynomial
commit
|
commitdiff
|
tree
2007-03-01
Sven Verdoola
e
ge
b
e
r
ns
t
e
i
n
.
cc:
evalue
2
ex: represe
n
t fra
c
t
i
o
nal by scale
d
.
.
.
commit
|
commitdiff
|
tree
2007-02-28
S
ven Ve
r
doolae
g
e
barvin
o
k
_
max
i
mize: fix h
a
ndling of U
N
IONs in domains
.
commit
|
commitdiff
|
tree
2007-02-28
S
v
e
n
V
erdo
o
laege
bernst
e
in_coefficients
:
skip empty subdomain
s
commit
|
commitdiff
|
tree
2007-02-28
S
ven Ver
d
o
o
lae
g
e
b
a
rvino
k
_
m
aximiz
e
: fix det
e
ction of end of doma
i
n specific
a
tion
commit
|
commitdiff
|
tree
2007-02-27
Sven Verdoola
e
ge
barvi
n
ok_max
i
mize: a
d
d input conversion
commit
|
commitdiff
|
tree
2007-02-27
Sven Verdo
o
laege
evalue
_
convert:
extracte
d
from
b
a
rvinok_en
u
m
era
t
e and
.
.
.
commit
|
commitdiff
|
tree
2007-02-27
Sven Verdool
a
ege
u
t
il
.
c:
m
o
ve Polyhedron_is
_
unb
o
unded
from be
r
ns
t
ein
.
cc
commit
|
commitdiff
|
tree
2007-02-26
S
v
en Ve
r
doolaege
b
ernstein_coefficients: ski
p
i
nfinite (sub)d
o
mains
commit
|
commitdiff
|
tree
2007-02-26
S
v
e
n
V
erdoolaege
barvinok_maximize:
let use
r
specify
v
ariables ove
r
.
.
.
commit
|
commitdiff
|
tree
2007-02-26
Sven
Ve
r
doolae
g
e
bernstein_coeffici
e
nt
s
: skip computations if dom
a
in
.
.
.
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdoolaege
barvinok_
m
a
x
i
m
i
z
e: fix access to free
d
m
e
mor
y
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdo
o
lae
g
e
bernst
e
i
n/p
i
ecewise
_
lst
.
cp
p
: add
m
in
i
mize()
method
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdoo
l
aege
barvinok_maximize: read d
o
mai
n
s wit
h
UNIONs
commit
|
commitdiff
|
tree
2007-02-26
Sv
e
n Verdoolaege
use GiNaC cflags and libs
commit
|
commitdiff
|
tree
2007-02-23
Sven Verdo
o
laege
barv
i
nok_maximize: option
a
lly call evalue
_
split_periods
commit
|
commitdiff
|
tree
2007-02-23
Sven V
e
rdoolaege
evalu
e
.
c
: add
evalue_split_periods
commit
|
commitdiff
|
tree
2007-02-23
Sven Verdoolaege
ut
i
l
.
c:
v
alu
e
_lcm: mark
a
rguments const
commit
|
commitdiff
|
tree
2007-02-23
Sven Ver
d
o
o
laege
e
value
.
c: polynomial
_
projection: allow NULL R
a
r
gument
commit
|
commitdiff
|
tree
2007-02-23
Sven Verdo
o
laege
evalue
.
c
: e
x
tract fiddlin
g
with co
e
fficients out of
.
.
.
commit
|
commitdiff
|
tree
2007-02-22
Sven Verdoolaege
evalu
e
_bernstein
_
coefficie
n
ts: hand
l
e each
c
oset
o
f
.
.
.
commit
|
commitdiff
|
tree
2007-02-21
Sv
e
n Verdo
o
laege
barvinok_m
a
x
i
mize:
read evalue
s
w
i
th periodics
commit
|
commitdiff
|
tree
2007-02-21
Sven Verdoolaege
evalue_b
e
rn
s
tein
_
c
o
effi
c
ien
t
s: handle periodic
s
in
.
.
.
commit
|
commitdiff
|
tree
2007-02-21
S
v
en V
e
rdoolaege
bernstein: bernsteinExpansion: accep
t
li
s
t
o
f
p
olynomials
commit
|
commitdiff
|
tree
2007-02-19
Sven Verdoolaege
b
ar
v
ino
k
_maximi
z
e: make evalue par
s
e a
little bit more
.
.
.
commit
|
commitdiff
|
tree
2007-02-19
Sven Verdool
a
ege
barvin
o
k_enumera
t
e*: be l
e
ss chatty by default
commit
|
commitdiff
|
tree
2007-02-19
Sven
V
erdoolaege
count/enum
e
r
a
te: w
a
rn i
f
input i
s
a union
commit
|
commitdiff
|
tree
2007-02-19
Sven Verdo
o
laeg
e
Dom
a
inInc
l
udes: det
e
c
t
m
o
re cases + adapt documentati
o
n
commit
|
commitdiff
|
tree
2007-02-19
S
v
en Verdoolaege
evalue_bernstei
n
_co
e
fficients: handl
e
fractionals in
.
.
.
commit
|
commitdiff
|
tree
2007-02-19
Sven Verdoolae
g
e
eval
u
e
_berns
t
ein_coeffici
e
nts: handle flooring
s
in
.
.
.
commit
|
commitdiff
|
tree
2007-02-18
Sven
Ver
d
oo
l
ae
g
e
barvinok_maximize: ne
w
to
o
l
fo
r
maximizing
piece
w
ise
.
.
.
commit
|
commitdiff
|
tree
2007-02-17
Sven Verdoolaege
eva
l
ue
.
c: eva
l
ue
_
frac2pol
y
nomia
l
: improve
a
ccuracy
commit
|
commitdiff
|
tree
2007-02-16
Sven Verd
o
olaege
evalue
.
c
: add c
o
mmen
t
commit
|
commitdiff
|
tree
2007-02-16
S
ve
n
Verdoolaege
ev
a
l
u
e
.
c: add f
u
nction for che
c
king nest
i
n
g
of
a
n
e
v
a
lu
e
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoola
e
ge
ev
a
l
ue
.
c: add
missing terms reorderin
g
s in eva
l
ue_range_re
d
u
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sve
n
V
e
rdoolaege
evalue
.
c: m
a
ke arg
u
ments of e
e
qual and evalue_d
e
nom
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven
Verdoola
e
ge
barv
i
nok_enumerate_e:
a
d
d
--verbose o
p
tio
n
commit
|
commitdiff
|
tree
2007-02-16
Sven Verd
o
ola
e
g
e
bernstein: mark argument of value2nu
m
eric
const
commit
|
commitdiff
|
tree
2007-02-16
Sven
Verdo
o
laege
b
e
rnstein
.
cc: add (
o
p
t
ional) option
s
argument to eval
u
e_ber
n
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sv
e
n Ver
d
oolaege
a
dd missi
n
g
virt
u
al
dest
r
uctors
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoolaege
genfun
.
cc: re
n
a
me struct cone to av
o
id conflict with
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven Verd
o
o
l
aeg
e
d
oc: integer points in the fundamenta
l
paral
l
elepiped
.
.
.
commit
|
commitdiff
|
tree
2007-02-14
Sve
n
V
erdoo
l
ae
g
e
ver
i
f_ehrhart
.
c: c
l
ean up in
d
e
ntation
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoolaege
v
erif_ehrhart: o
p
ti
o
n
ally continue on er
r
or
commit
|
commitdiff
|
tree
2007-02-14
S
v
en Verdoolaege
verif_ehrh
a
rt: combine check
_
poly fr
o
m barv
i
nok_en
u
merate_e
.
c
c
commit
|
commitdiff
|
tree
2007-02-14
Sv
e
n Verd
o
olae
g
e
ver
i
f_ehrhar
t
.
c: chec
k
lo
w
er a
n
d upper polyn
o
mial appro
x
imati
o
ns
commit
|
commitdiff
|
tree
2007-02-14
S
ven Ver
d
oolaege
ve
r
ify
.
h
:
move
barv
i
n
ok_options into verify_options
commit
|
commitdiff
|
tree
2007-02-14
Sven
Verdoolaege
bar
v
inok_enum
e
rate: pass param
e
ter
n
a
mes to
check_poly
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdool
a
ege
barv
i
nok_enumera
t
e: more p
o
l
y
nommial approxim
a
tions
commit
|
commitdiff
|
tree
2007-02-14
S
ven
Verdoolaege
e
value
.
c: a
d
d evalue_frac
2
pol
y
n
omial
commit
|
commitdiff
|
tree
next