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
doc: update Koeppe-Verdoolaege reference
2007-03-18
Sven Verdoolae
g
e
do
c
: update Koepp
e
-Verd
o
olaege
r
e
fer
e
nce
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdo
o
la
e
ge
barvinok_maximize: support
v
erificat
i
on
commit
|
commitdiff
|
tree
2007-03-17
Sv
e
n Verdoo
l
a
ege
m
erge check_poly
from
verif_ehrhart
.
c and lexmin
.
cc
commit
|
commitdiff
|
tree
2007-03-17
Sve
n
Verdoolaege
evalue
.
c: make some
e
va
l
ue argum
e
nts const
commit
|
commitdiff
|
tree
2007-03-17
Sve
n
Ver
d
o
olaege
evalue_frac2floor2: also convert non-partition if no
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
Sve
n
Verdool
a
ege
verify
.
c: change verify_options_set_range prot
o
type
commit
|
commitdiff
|
tree
2007-03-17
S
v
e
n Verdool
a
ege
bern
s
tein: piec
e
wise_
l
st:
:
evaluate: supp
o
rt different
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
Sven
V
er
d
oolaege
verify
.
c: tur
n
off continu
e
_
on_error by
default
commit
|
commitdiff
|
tree
2007-03-17
Sven V
e
rdoolaege
be
r
nstei
n
:
e
xport
n
um
e
ric2value
commit
|
commitdiff
|
tree
2007-03-15
Sven V
e
rdoolaege
doc: proof of exi
s
tence
of s
u
itable y for p
r
imal
decompositi
.
.
.
commit
|
commitdiff
|
tree
2007-03-15
Sven Ve
r
doolaege
d
o
c: fix proof of existenc
e
of sui
t
ab
l
e
y for primal
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven V
e
rdoolaege
bernstein
.
cc: berns
t
ein_coefficients: create s
i
gned
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoolaege
barv
i
nok_m
a
ximiz
e
:
o
p
tionally use recu
r
sive bernstein_
c
oeffi
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Ver
d
oola
e
ge
bern
s
tein
.
cc: bernste
i
n_coefficients: support general
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
S
ven V
e
rdoolaege
berns
t
ein
.
cc: refactor bernstein_coefficients_prod
u
c
t
commit
|
commitdiff
|
tree
2007-03-14
Sven V
e
rdool
a
ege
ber
n
stei
n
:
p
i
e
cewise_
l
st: add sign
a
n
d
remov
e
redundant
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoolaeg
e
bern
s
te
i
n: add remove_red
u
n
d
an
t
s
method
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoolaeg
e
d
o
c
: primal decomposition: typo fix
e
s + clarifications
commit
|
commitdiff
|
tree
2007-03-11
Sven Verdool
a
ege
d
o
c: fix primal decompositio
n
example + clean-u
p
s
commit
|
commitdiff
|
tree
2007-03-11
Sven Ve
r
do
o
laege
Document primal
d
e
composition
commit
|
commitdiff
|
tree
2007-03-11
S
v
en Verdool
a
eg
e
b
arvinok
.
cc:
b
ar
v
inok_enumer
a
te:
f
i
x
lowe
r
b
o
und approx
i
mati
o
n
commit
|
commitdiff
|
tree
2007-03-07
Sven Verdoolaege
evalue_split_periods:
gracefully han
d
le
z
ero evalues
.
.
.
commit
|
commitdiff
|
tree
2007-03-07
S
v
e
n Verdoolaege
b
a
rvinok_m
a
x
i
mize: handle zero input
commit
|
commitdiff
|
tree
2007-03-07
Sven Verdo
o
laege
barvi
n
ok_enumerate_e:
c
lean
u
p allo
c
a
tion of option
s
commit
|
commitdiff
|
tree
2007-03-07
Sven
Ve
r
doolaege
b
a
rvinok
.
cc: handle case where
nothing i
s
left
a
fter
.
.
.
commit
|
commitdiff
|
tree
2007-03-02
Sve
n
Verdoola
e
ge
evalue
_
c
o
nvert: support
printin
g
a
q
uas
i
-polynomi
a
l
a
s
.
.
.
commit
|
commitdiff
|
tree
2007-03-02
Sven Verdoolaege
lattice_point
.
h: make se
l
f-conta
i
ned
commit
|
commitdiff
|
tree
2007-03-02
Sven Verdo
o
laeg
e
evalu
e
.
c: extract evalue_extract_affin
e
fr
o
m berns
t
e
in
.
c
c
commit
|
commitdiff
|
tree
2007-03-02
Sve
n
V
erdoolaege
bernstein
.
cc: bernstein_
c
oef
f
ici
e
nts_
p
roduct: no
n
eed
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sven Verdool
a
ege
b
er
n
st
e
in
_
coefficients: optionally op
t
imiz
e
d
ur
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sv
e
n Ver
d
o
ola
e
ge
ber
n
stei
n
_c
o
effici
e
nts
:
fac
t
ori
z
e domain if possible
commit
|
commitdiff
|
tree
2007-03-01
Sven
Verdool
a
ege
Polyhedro
n
_Factor: optionally return relati
o
n betwee
n
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sven Verdoolaege
bernstein: export replaceVariabl
e
sInPolyn
o
mi
a
l
commit
|
commitdiff
|
tree
2007-03-01
S
v
e
n
Verd
o
olaege
bernst
e
in
.
cc: e
v
alue2e
x
: rep
r
es
e
nt frac
t
ional by scaled
.
.
.
commit
|
commitdiff
|
tree
2007-02-28
Sven Verdool
a
eg
e
b
arvinok_maximize:
f
i
x handlin
g
of UNIONs in domain
s
.
commit
|
commitdiff
|
tree
2007-02-28
Sven Verdoolaeg
e
bernstein
_
coeffici
e
nts:
skip
e
mpty subdomains
commit
|
commitdiff
|
tree
2007-02-28
Sven
Verdo
o
lae
g
e
barvinok_maximize: fix de
t
ection of end
of domain
s
p
ecif
i
c
a
ti
o
n
commit
|
commitdiff
|
tree
2007-02-27
S
ven Ve
r
d
o
olaege
barvinok_maximize: add input conv
e
rsion
commit
|
commitdiff
|
tree
2007-02-27
Sven Verdoolaege
evalu
e
_
c
onv
e
r
t: extracted from
barvin
o
k_enumerate and
.
.
.
commit
|
commitdiff
|
tree
2007-02-27
Sven
V
erdoolaege
util
.
c: move Po
l
yhedron_is_unbo
u
nde
d
from bernstein
.
c
c
commit
|
commitdiff
|
tree
2007-02-26
Sven
Verdoolaege
bernst
e
in_c
o
efficie
n
ts: skip
i
nfinite (s
u
b)doma
i
ns
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdoolaege
barvinok_m
a
x
imize: le
t
us
e
r s
p
ecify
variables over
.
.
.
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdoolaege
bernstein_coefficie
n
ts: skip computations if
domain
.
.
.
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdo
o
la
e
ge
b
arvinok_maximize: fix acce
s
s to freed memor
y
commit
|
commitdiff
|
tree
2007-02-26
Sve
n
Verdoolaege
b
ernstein/pi
e
cewise_lst
.
cpp: add minimize()
metho
d
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdoolaege
barvinok_maximize: r
e
ad domains with UNIONs
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdoolaege
use GiNaC
c
flags and l
i
bs
commit
|
commitdiff
|
tree
2007-02-23
S
v
en Verdoo
l
aege
barvinok_
m
aximize: optionall
y
call evalue_split_periods
commit
|
commitdiff
|
tree
2007-02-23
Sven
V
erdoolaege
evalue
.
c: add
evalue_
s
plit_periods
commit
|
commitdiff
|
tree
2007-02-23
S
ve
n
Verdoo
l
aege
util
.
c
:
value_lcm: mar
k
argument
s
c
o
nst
commit
|
commitdiff
|
tree
2007-02-23
S
v
en
Verdoolaege
evalue
.
c
: po
l
ynomial_projection: a
l
low NULL R
a
rgument
commit
|
commitdiff
|
tree
2007-02-23
Sve
n
Verdoolaege
evalue
.
c: ext
r
act fi
d
dli
n
g
w
ith coeffi
c
ients out o
f
.
.
.
commit
|
commitdiff
|
tree
2007-02-22
Sven Ve
r
d
o
olae
g
e
evalue_bern
s
tein_c
o
efficients: handle
each
c
o
set of
.
.
.
commit
|
commitdiff
|
tree
2007-02-21
S
ven V
e
rdoolaege
barv
i
n
ok_maximize: read eval
u
es
w
ith period
i
c
s
commit
|
commitdiff
|
tree
2007-02-21
Sven Ve
r
doo
l
aege
evalue_bern
s
tein_coeffi
c
ien
t
s: han
d
l
e periodi
c
s
in
.
.
.
commit
|
commitdiff
|
tree
2007-02-21
Sven Ve
r
doolaege
bernstein: bernst
e
in
E
xpan
s
i
on: ac
c
ept list of polynomials
commit
|
commitdiff
|
tree
2007-02-19
Sven Ve
r
d
o
olaege
barvinok_
m
a
x
imize: mak
e
evalue parse a little bit more
.
.
.
commit
|
commitdiff
|
tree
2007-02-19
Sven Verdoolaege
b
a
rv
i
nok_enumerate*: be less
c
hatt
y
by defaul
t
commit
|
commitdiff
|
tree
2007-02-19
Sven
Verdoolaege
c
ount/e
n
umerate: w
a
rn if input is a union
commit
|
commitdiff
|
tree
2007-02-19
S
ven Verdo
o
laege
DomainIncludes: detect more c
a
s
es
+ adapt docum
e
ntation
commit
|
commitdiff
|
tree
2007-02-19
Sven Verdoolaege
evalue_bernstein_coeffic
i
e
nts
:
ha
n
dl
e
fraction
a
l
s
in
.
.
.
commit
|
commitdiff
|
tree
2007-02-19
Sven Verdoola
e
g
e
evalue
_
bernstei
n
_coefficients: handle floo
r
ings
in
.
.
.
commit
|
commitdiff
|
tree
2007-02-18
Sven
V
e
r
doolaege
barvinok_maximize
:
n
ew tool fo
r
maximizing piecewise
.
.
.
commit
|
commitdiff
|
tree
2007-02-17
Sven Verdoolaege
evalue
.
c: ev
a
lue_f
r
ac2polynomial:
improve accuracy
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoolaeg
e
ev
a
lue
.
c: add
c
omment
commit
|
commitdiff
|
tree
2007-02-16
Sven
Ver
d
oolaege
evalue
.
c: add func
t
ion for checking nest
i
n
g of
an
e
v
a
lu
e
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdo
o
laege
e
v
alue
.
c: add
missing terms reordering
s
in e
v
alue_range_redu
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven Ver
d
oolae
g
e
evalue
.
c: ma
k
e
argum
e
n
ts of
e
equal
and evalue
_
denom
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoolaege
b
a
rvinok
_
enume
r
a
te_
e
: add --
v
erbos
e
opt
i
on
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdo
o
laege
b
e
rnst
e
i
n: mark
argument
o
f value2numeric const
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoola
e
g
e
bernstein
.
c
c
: add (
o
ptio
n
a
l
) options argument
to evalue_be
r
n
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
S
v
e
n Ver
d
oolaege
add missing virtual de
s
tructors
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoola
e
g
e
genfun
.
cc: rename
struct
c
one
t
o avoid co
n
flict with
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven Ver
d
o
olae
g
e
d
oc:
i
nteger points in the
fundamental parallelep
i
ped
.
.
.
commit
|
commitdiff
|
tree
2007-02-14
S
v
en Verdoolaege
verif_ehrh
a
rt
.
c: clea
n
up in
d
entation
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoolaege
ve
r
if_
e
hrh
a
rt: opti
o
nally continue on error
commit
|
commitdiff
|
tree
2007-02-14
S
v
e
n V
e
rdoolaege
veri
f
_e
h
rhar
t
: combine che
c
k
_
poly f
r
om barvino
k
_enumerate
_
e
.
c
c
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoolae
g
e
verif_
e
hrhart
.
c: check lower and uppe
r
polyn
o
mial approximations
commit
|
commitdiff
|
tree
2007-02-14
Sv
e
n Verdo
o
laege
veri
f
y
.
h: mo
v
e
barvinok_opti
o
ns into v
e
rify_optio
n
s
commit
|
commitdiff
|
tree
2007-02-14
Sve
n
Verdoolae
g
e
barvinok_
e
nu
m
e
r
ate: p
a
s
s
parameter names to che
c
k_poly
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoolaege
ba
r
vi
n
ok_e
n
umerate: more pol
y
nomm
i
a
l
approx
i
mations
commit
|
commitdiff
|
tree
2007-02-14
Sven
V
e
r
d
ool
a
ege
evalue
.
c:
add
evalue_frac2polynomial
commit
|
commitdiff
|
tree
2007-02-14
Sven Ve
r
doolaege
e
v
alue
.
c
:
extr
a
ct
e
value_split_
d
omains_in
t
o_orthants
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sve
n
V
er
d
oolaege
polysign
.
c: fix cdd
_
polyhe
d
ron_a
f
fi
n
e_s
i
g
n prototy
p
e
commit
|
commitdiff
|
tree
2007-02-12
Sv
e
n V
e
rdoola
e
ge
Ma
k
efile:
o
n
ly
check
lexmi
n
if it has
been co
m
piled
commit
|
commitdiff
|
tree
2007-02-12
Sven Verd
o
o
l
aege
add Param_Poly
h
edron_Scale_Inte
g
er prototype
commit
|
commitdiff
|
tree
2007-02-12
Sven
V
erdoolaeg
e
lattice_point
.
cc: add san
i
ty
check
for index of cone
commit
|
commitdiff
|
tree
2007-02-12
Sven Ver
d
oolaege
test: initia
l
iz
e
nbMat
commit
|
commitdiff
|
tree
2007-02-12
Sven
V
erdoolaege
barvinok_
e
num
e
rate:
o
ptionally compute a polynomi
a
l
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sven V
e
rdoo
l
a
e
g
e
P
r
ov
i
de
r
e
p
l
a
ce
m
ent for
n
ew Poly
L
ib functi
o
n P
a
ra
m
_
Po
l
y
h
e
dro
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoolaege
add
evalue_d
i
v (ada
p
te
d
from P
o
ly
L
ib)
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdool
a
e
ge
test: sim
p
l
e tes
t
for
PolyLib's
S
m
i
th
commit
|
commitdiff
|
tree
2007-02-12
Sv
e
n Verdoolaege
Makefile
.
am:
a
dd depend
e
nc
i
es
fo
r
checks
commit
|
commitdiff
|
tree
2007-02-11
S
v
en Verdo
o
laege
ge
n
fun
.
cc: short_rat::
n
ormalize: micro-opt
i
m
i
za
t
i
o
ns
commit
|
commitdiff
|
tree
2007-02-11
Sven
Verdo
o
la
e
ge
Q
Q
: canonicalize on rea
d
and multiplicatio
n
commit
|
commitdiff
|
tree
2007-02-09
Sve
n
Verdo
o
laege
doc:
b
arvinok_series requires polyhed
r
on to hav
e
*rev
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sven Verdoo
l
aege
Makefile
.
am: che
c
k bar
v
inok_enu
m
erat
e
--serie
s
during
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sven Verdoola
e
ge
barvinok_
e
numerat
e
: compute
s
eries o
f
polyhedra
w
ith
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sven Verdo
o
laege
uti
l
.
c: move Pol
y
hedron_has_po
s
itive_rays from
b
arvinok
.
c
c
commit
|
commitdiff
|
tree
2007-02-09
Sven
Verdo
o
laege
test all special
i
za
t
i
on
al
g
o
rithms d
u
r
ing
m
ake c
h
eck
commit
|
commitdiff
|
tree
next