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 Verd
o
ol
a
e
ge
doc:
update
K
o
e
ppe-Verdoolaege refere
n
ce
commit
|
commitdiff
|
tree
2007-03-17
Sven
V
erdoolaege
barv
i
n
o
k
_maximize: sup
p
ort ve
r
ifi
c
ation
commit
|
commitdiff
|
tree
2007-03-17
Sven
V
e
rdoolaege
merge check_pol
y
f
r
om v
e
rif_eh
r
h
a
rt
.
c
a
nd lexmin
.
cc
commit
|
commitdiff
|
tree
2007-03-17
S
ven Verdoolaege
evalue
.
c:
ma
k
e some evalue
a
rg
u
ments const
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoolaege
evalue_fr
a
c2floor2: also convert
n
on-partition if
n
o
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
Sven Ver
d
oolaeg
e
v
e
rify
.
c: change verify_options_set_range pro
t
otype
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoola
e
ge
ber
n
ste
i
n
:
piecewise
_
lst::evaluate: support different
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
S
v
en Verdoolaege
verify
.
c: turn off contin
u
e
_
on_error by default
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoolaege
bernstein: expo
r
t
nu
m
eric2v
a
lue
commit
|
commitdiff
|
tree
2007-03-15
Sven Verdoo
l
aege
doc: pr
o
of of existence of s
u
itable y for
primal decompositi
.
.
.
commit
|
commitdiff
|
tree
2007-03-15
Sven
V
e
rdoola
e
ge
doc: fix pr
o
of of existence of suit
a
ble y for p
r
imal
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven
Verdoola
e
g
e
b
ernstein
.
cc: bernst
e
in
_
coef
f
icients: create signed
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Verd
o
olae
g
e
barvinok_maximize: opt
i
ona
l
ly use recursive b
e
rns
t
ein_coeff
i
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven V
e
rdo
o
l
a
ege
bernst
e
in
.
cc:
b
e
rnstein_coe
f
ficients
:
support genera
l
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Ve
r
doolaege
b
e
rnstein
.
cc: refactor b
e
rnstein_coef
f
icients_p
r
oduct
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoolaege
ber
n
stein:
piec
e
wise_lst: add sign
and
r
emove
red
u
nda
n
t
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Ve
r
doolaege
bernst
e
in: add remove_redundan
t
s me
t
ho
d
commit
|
commitdiff
|
tree
2007-03-14
S
v
en Ver
d
oolaege
d
oc: primal decomposi
t
ion: typ
o
fi
x
es + clarifications
commit
|
commitdiff
|
tree
2007-03-11
S
v
e
n V
e
rdoolaege
doc: f
i
x prima
l
decomposition exa
m
p
le + clean-ups
commit
|
commitdiff
|
tree
2007-03-11
Sven
Verdoolaeg
e
Document
pri
m
a
l
d
eco
m
position
commit
|
commitdiff
|
tree
2007-03-11
Sven Ve
r
doolae
g
e
barvino
k
.
cc: barvino
k
_enu
m
er
a
t
e
: fix lower bound approx
i
mation
commit
|
commitdiff
|
tree
2007-03-07
Sven Verdoolaege
evalue_split_periods:
g
racefully
handle zero eva
l
ues
.
.
.
commit
|
commitdiff
|
tree
2007-03-07
Sv
e
n Ver
d
oolaege
b
a
rvinok_max
i
mi
z
e
:
han
d
l
e
zero inpu
t
commit
|
commitdiff
|
tree
2007-03-07
Sven Ve
r
doolaege
b
a
r
v
i
nok_enumerate_
e
: c
l
ean up
a
ll
o
ca
t
i
o
n of options
commit
|
commitdiff
|
tree
2007-03-07
Sven Ver
d
oolaege
barvinok
.
cc: hand
l
e case where nothing is le
f
t after
.
.
.
commit
|
commitdiff
|
tree
2007-03-02
S
v
en Verdoolaege
evalue_c
o
nver
t
: support
printing a
q
uasi-pol
y
nomialas
.
.
.
commit
|
commitdiff
|
tree
2007-03-02
Sven Verdool
a
eg
e
la
t
ti
c
e_point
.
h: ma
k
e s
e
lf-contai
n
ed
commit
|
commitdiff
|
tree
2007-03-02
Sven Verdoolaege
evalue
.
c:
e
xt
r
act evalue_ext
r
act_affi
n
e
f
r
om bernstein
.
cc
commit
|
commitdiff
|
tree
2007-03-02
Sven Verdoolaeg
e
bernste
i
n
.
cc: bernstein_coefficients
_
product: no need
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sven
Ve
r
doolaeg
e
bernste
i
n
_
co
e
f
f
i
cients
:
optiona
l
ly o
p
t
i
m
i
ze during
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sven Ver
d
oolaege
berns
t
ein_coeffic
i
ents: factor
i
ze domain if possible
commit
|
commitdiff
|
tree
2007-03-01
Sven Verdoolaege
Polyhed
r
on_Fa
c
tor: opt
i
onally return
relation betw
e
e
n
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sven
V
e
r
d
oolaege
bernst
e
in: export replaceVariablesInP
o
lyn
o
m
i
al
commit
|
commitdiff
|
tree
2007-03-01
Sven Ve
r
do
o
laege
bernstein
.
c
c
: e
v
a
l
ue2ex: rep
r
esent f
r
a
c
tio
n
al b
y
scaled
.
.
.
commit
|
commitdiff
|
tree
2007-02-28
Sven Verdoolae
g
e
barvinok_maximize: fix handl
i
ng of UNIONs in d
o
mains
.
commit
|
commitdiff
|
tree
2007-02-28
Sven V
e
rdoolaege
bernstein_coeff
i
ci
e
nts: s
k
ip empty
subdomains
commit
|
commitdiff
|
tree
2007-02-28
S
ven Verdoolaege
b
a
rvinok
_
m
aximize: fix
d
et
e
c
tio
n
of e
n
d of
domain specificat
i
on
commit
|
commitdiff
|
tree
2007-02-27
Sven
Verdool
a
e
ge
barvinok_maximize: ad
d
input
conver
s
ion
commit
|
commitdiff
|
tree
2007-02-27
Sven
V
erdo
o
laege
ev
a
lue_
c
o
n
vert: extracte
d
from barvinok_enumerate and
.
.
.
commit
|
commitdiff
|
tree
2007-02-27
Sv
e
n Verdoolaege
util
.
c: m
o
ve Polyhedron_is_unbo
u
nded from bernstein
.
cc
commit
|
commitdiff
|
tree
2007-02-26
S
ven Verdoolaege
bernstein_
c
oefficients: skip infinite (sub)domains
commit
|
commitdiff
|
tree
2007-02-26
Sv
e
n Verd
o
o
laege
barvinok_maximiz
e
: let us
e
r spec
i
fy
v
a
r
iables o
v
er
.
.
.
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdoolaege
bernstein_co
e
fficients
:
ski
p
c
ompu
t
a
t
ions if domain
.
.
.
commit
|
commitdiff
|
tree
2007-02-26
Sven Ve
r
doolaege
bar
v
inok_maximize: fix
a
ccess to freed memory
commit
|
commitdiff
|
tree
2007-02-26
Sven
Verdoolaege
b
e
rnstein/p
i
ecewise
_
lst
.
cpp: add
m
ini
m
ize()
me
t
hod
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdoolaege
bar
v
inok_maximize: rea
d
domains with UNIONs
commit
|
commitdiff
|
tree
2007-02-26
S
ven Verdoolae
g
e
use GiNaC cflags and libs
commit
|
commitdiff
|
tree
2007-02-23
Sven Verd
o
olaege
barvi
n
ok
_
maximize: optionally call e
v
alue_split_p
e
rio
d
s
commit
|
commitdiff
|
tree
2007-02-23
S
v
en Ver
d
oolaeg
e
evalue
.
c
:
a
dd evalue_
s
plit_per
i
ods
commit
|
commitdiff
|
tree
2007-02-23
S
v
en V
e
rdoolaege
util
.
c: va
l
u
e
_lcm: mark arg
u
ments const
commit
|
commitdiff
|
tree
2007-02-23
Sven Verdoolaege
evalue
.
c: p
o
lyn
o
mial_pr
o
j
e
c
t
i
o
n
:
allow NULL R argu
m
ent
commit
|
commitdiff
|
tree
2007-02-23
Sven Ve
r
doolaege
ev
a
lue
.
c: extract fiddlin
g
with coefficien
t
s out of
.
.
.
commit
|
commitdiff
|
tree
2007-02-22
Sv
e
n
Verdoola
e
ge
e
val
u
e_bern
s
te
i
n_coefficie
n
ts: handle eac
h
c
o
set of
.
.
.
commit
|
commitdiff
|
tree
2007-02-21
Sven Verdoola
e
ge
barvinok_maximize: read
e
values wit
h
per
i
odics
commit
|
commitdiff
|
tree
2007-02-21
Sven Verdoolaege
e
v
alue_bernstein_coe
f
ficients:
h
andle periodics in
.
.
.
commit
|
commitdiff
|
tree
2007-02-21
Sve
n
Verdoolae
g
e
bernstein: be
r
nsteinExpansion: accept l
i
s
t of polynomials
commit
|
commitdiff
|
tree
2007-02-19
Sven Verdoolaege
barv
i
no
k
_maximi
z
e: make evalue
parse a little b
i
t more
.
.
.
commit
|
commitdiff
|
tree
2007-02-19
Sve
n
Ve
r
doo
l
aege
b
a
rvinok_enumerate*: be less
chatty by default
commit
|
commitdiff
|
tree
2007-02-19
S
ven Verdoo
l
aege
count/enumerate: warn if inp
u
t is
a union
commit
|
commitdiff
|
tree
2007-02-19
S
v
en
V
erdoolaege
DomainIncludes: detect more
c
ases + adapt docume
n
tation
commit
|
commitdiff
|
tree
2007-02-19
S
v
en Verdoolaeg
e
evalue_be
r
n
s
t
e
i
n
_coe
f
fic
i
ent
s
: handle fractionals in
.
.
.
commit
|
commitdiff
|
tree
2007-02-19
Sven Verdoolaege
evalue_bernstein_c
o
efficients:
h
andle f
l
o
o
rings in
.
.
.
commit
|
commitdiff
|
tree
2007-02-18
Sve
n
V
erdo
o
la
e
ge
barvinok_maxi
m
i
z
e: new too
l
f
o
r
maxim
i
zing piecewise
.
.
.
commit
|
commitdiff
|
tree
2007-02-17
Sven Verdoolaege
evalue
.
c: evalue_frac2polynomi
a
l: improve accurac
y
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdo
o
laege
evalu
e
.
c: add comment
commit
|
commitdiff
|
tree
2007-02-16
Sven Ve
r
doolaege
evalue
.
c: add function for
c
hecking n
e
sting of an evalue
commit
|
commitdiff
|
tree
2007-02-16
Sve
n
Verdoolaege
evalue
.
c:
add miss
i
ng terms reorderings in evalue_range_redu
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
S
ven Verdoolaege
evalu
e
.
c: make
a
rgum
e
nts of eequal
a
nd ev
a
lue_deno
m
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoolaege
barvinok_
e
nu
m
erate_e: add
-
-verbose optio
n
commit
|
commitdiff
|
tree
2007-02-16
Sven Ver
d
oo
l
a
e
ge
ber
n
stei
n
: mark argumen
t
of value2
n
umeric const
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoolaege
bernste
i
n
.
c
c: ad
d
(
optional) options argument to e
v
a
lue_bern
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven Ve
r
d
oolaege
add missi
n
g virtual destructors
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoo
l
aege
genfun
.
cc: renam
e
struct
cone to avoid
c
o
nflict with
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoo
l
aeg
e
doc
:
int
e
ger poi
n
ts
i
n the fu
n
damental parallelep
i
ped
.
.
.
commit
|
commitdiff
|
tree
2007-02-14
S
ve
n
Ve
r
doolaeg
e
verif_ehrhart
.
c: c
l
ean u
p
i
n
d
e
ntation
commit
|
commitdiff
|
tree
2007-02-14
Sven
Ve
r
do
o
l
a
ege
v
e
rif_ehrha
r
t: optionally continue on error
commit
|
commitdiff
|
tree
2007-02-14
Sv
e
n Verdool
a
ege
verif_ehrhart: combine chec
k
_pol
y
from
b
arvinok_enumerate_e
.
cc
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoo
l
aeg
e
verif_ehrhart
.
c: check lower and upp
e
r polyno
m
ial approximations
commit
|
commitdiff
|
tree
2007-02-14
Sven V
e
rdoo
l
aege
verify
.
h: move
barvino
k
_options
into
ver
i
fy
_
options
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdool
a
e
ge
barvinok_
e
num
e
r
ate: p
a
ss parameter names to check_poly
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdool
a
eg
e
bar
v
inok_enumer
a
te
:
more polynommial
appro
x
i
m
ations
commit
|
commitdiff
|
tree
2007-02-14
Sve
n
Ve
r
doola
e
ge
evalue
.
c: a
d
d evalue
_
f
r
ac2polynomial
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoolaege
eva
l
ue
.
c
:
e
x
trac
t
evalue_split_doma
i
n
s_int
o
_orthants
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoolaege
polysig
n
.
c: fix c
d
d_
p
o
l
yh
e
dron_affine_sign
prototy
p
e
commit
|
commitdiff
|
tree
2007-02-12
Sven Ver
d
oolaege
Makefi
l
e
:
only check lexmi
n
if it has been co
m
piled
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoo
l
aege
a
dd Para
m
_Polyhedron_Scale_
I
n
t
e
g
e
r
p
r
o
t
o
type
commit
|
commitdiff
|
tree
2007-02-12
Sven
Verdo
o
laeg
e
l
attice_point
.
cc: add sanity
check for i
n
dex of co
n
e
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdo
o
laege
test: i
n
itialize nbMat
commit
|
commitdiff
|
tree
2007-02-12
Sv
e
n
V
e
rdoola
e
ge
barvinok_enumerate
:
optiona
l
ly compute a polyno
m
ial
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoolae
g
e
Prov
i
de replaceme
n
t for ne
w
Poly
L
ib
f
unction Param_Pol
y
hedro
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdo
o
laege
add evalue_div (adapted fr
o
m PolyLib)
commit
|
commitdiff
|
tree
2007-02-12
Sv
e
n V
e
rdoolaege
test: simple test for P
o
lyLib'
s
Smith
commit
|
commitdiff
|
tree
2007-02-12
Sve
n
Verdoola
e
ge
Makefile
.
am:
a
d
d
dependen
c
ies fo
r
checks
commit
|
commitdiff
|
tree
2007-02-11
Sven Verdoo
l
aege
genfun
.
cc
:
sho
r
t_ra
t
::
n
orma
l
ize: mic
r
o-
o
pt
i
mizations
commit
|
commitdiff
|
tree
2007-02-11
S
v
en Verdoolae
g
e
QQ: canonic
a
l
i
ze on read and
multiplica
t
ion
commit
|
commitdiff
|
tree
2007-02-09
Sven
V
erdoolaege
doc:
barvinok_series requ
i
res polyhedron
t
o h
a
ve
*rev
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
S
ven Verdoolaege
M
a
kefil
e
.
am:
c
heck barvinok_e
n
u
merate --series dur
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sven Ver
d
oo
l
aege
test all specialization a
l
gorithms d
u
r
i
n
g
make check
commit
|
commitdiff
|
tree
2007-02-09
S
ven
V
e
rdoo
l
aege
pass options throu
g
h
to barvinok_c
o
unt in ba
r
vinok_enu
m
erate
.
.
.
commit
|
commitdiff
|
tree
2007-02-08
Sven
Verdoolaege
Handle n
o
n-unimodular
c
one
s
in dual d
e
composition
commit
|
commitdiff
|
tree
next