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
evalue.c: make some evalue arguments const
2007-03-17
Sven
V
erdoolaege
evalue
.
c:
m
a
ke s
o
me evalue arguments con
s
t
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoolaege
evalue_frac2floor2: also convert non
-
partition if no
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
S
v
en V
e
rdo
o
laege
verify
.
c: change ver
i
fy_opt
i
ons_set_r
a
n
ge prototy
p
e
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoolaege
bernstein
:
piecewi
s
e
_
lst::eva
l
uate: support differe
n
t
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
S
v
e
n
Verdool
a
e
g
e
ve
r
i
f
y
.
c:
turn off continue_on_error
b
y
d
efault
commit
|
commitdiff
|
tree
2007-03-17
S
v
en Verdool
a
ege
bern
s
tein: ex
p
ort numeric2v
a
lue
commit
|
commitdiff
|
tree
2007-03-15
Sve
n
Verd
o
olaege
doc:
proof of existence o
f
suitable
y
for primal
d
e
co
m
positi
.
.
.
commit
|
commitdiff
|
tree
2007-03-15
Sven
Verdoo
l
aege
doc: fix
proof of existence of su
i
t
a
ble y f
o
r
p
rim
a
l
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven
V
erdoolaege
bernstein
.
cc
:
bernstein_coeffic
i
ents: cr
e
ate signed
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sve
n
V
e
rdoolaege
ba
r
vinok_maximize: optionally use recursive bernste
i
n_coeffi
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoolaege
bernst
e
i
n
.
cc: be
r
nstein_c
o
efficients:
s
u
pport ge
n
eral
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven
V
er
d
oolaege
be
r
nstein
.
cc:
refact
o
r b
e
rnstein_coefficients_product
commit
|
commitdiff
|
tree
2007-03-14
Sve
n
Ve
r
dool
a
e
g
e
bernste
i
n
: piecewise_lst: add sign and rem
o
ve redundant
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
S
ven Verdoola
e
g
e
bernstein
:
add r
e
mov
e
_
r
edundants method
commit
|
commitdiff
|
tree
2007-03-14
Sv
e
n
Verd
o
olaege
doc: p
r
imal decomposition: typo fixes + clari
f
ications
commit
|
commitdiff
|
tree
2007-03-11
S
ven Verd
o
ol
a
e
g
e
d
o
c
:
fi
x
p
r
i
mal decomp
o
s
i
tion
example + cl
e
an-ups
commit
|
commitdiff
|
tree
2007-03-11
Sven V
e
rdoolaege
Document primal dec
o
mposition
commit
|
commitdiff
|
tree
2007-03-11
Sven Ver
d
oolaege
barvinok
.
cc: barvino
k
_e
n
umerate:
fix low
e
r b
o
u
n
d approximation
commit
|
commitdiff
|
tree
2007-03-07
Sven Ver
d
oolaege
e
va
l
ue_split
_
p
e
r
iods: gracefully handle z
e
r
o evalues
.
.
.
commit
|
commitdiff
|
tree
2007-03-07
Sven Verdoolaege
barvinok_
m
aximize: handle zero in
p
ut
commit
|
commitdiff
|
tree
2007-03-07
S
ve
n
Verdoolaege
b
a
rvi
n
ok_enumerate_e: clean
u
p alloc
a
tion of op
t
ions
commit
|
commitdiff
|
tree
2007-03-07
Sv
e
n V
e
r
d
oolaege
barvi
n
ok
.
cc:
handle cas
e
w
he
r
e not
h
ing i
s
left af
t
er
.
.
.
commit
|
commitdiff
|
tree
2007-03-02
Sve
n
Verdoo
l
a
e
ge
e
value_convert: sup
p
ort pri
n
ting a quasi
-
p
ol
y
nomiala
s
.
.
.
commit
|
commitdiff
|
tree
2007-03-02
Sv
e
n V
e
r
d
ool
a
ege
l
a
tti
c
e_p
o
int
.
h: make self-
c
onta
i
n
ed
commit
|
commitdiff
|
tree
2007-03-02
Sv
e
n Ver
d
oolaege
e
v
alue
.
c
: extract
e
v
alue_extract_affine from ber
n
st
e
in
.
c
c
commit
|
commitdiff
|
tree
2007-03-02
Sven Verdo
o
l
a
e
ge
be
r
nstein
.
cc: berns
t
e
i
n
_coefficie
n
ts
_
product: no need
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sven
V
erdoola
e
g
e
be
r
nstein_
c
oe
f
ficie
n
ts
:
o
ptionall
y
o
p
tim
i
ze durin
g
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sve
n
Verdoola
e
ge
bernstein_coeffici
e
nts: factorize do
m
ain if possib
l
e
commit
|
commitdiff
|
tree
2007-03-01
Sven Verdoolaege
Polyhedr
o
n
_F
a
c
t
or:
o
ptio
n
all
y
return rela
t
i
o
n betwee
n
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sven V
e
r
d
oolaege
bernstein: ex
p
o
rt replaceVariables
I
nPolynomial
commit
|
commitdiff
|
tree
2007-03-01
Sven Ver
d
o
olaege
b
e
rnstein
.
cc
:
evalue2e
x
: re
p
r
e
sent frac
t
i
o
na
l
by scaled
.
.
.
commit
|
commitdiff
|
tree
2007-02-28
S
ven Verdoolaege
barvinok_maximize
:
f
ix h
a
n
dling
o
f U
N
I
O
Ns
in
domain
s
.
commit
|
commitdiff
|
tree
2007-02-28
Sven Verdoolaege
bern
s
tein_coeff
i
cients
:
skip
empty subdomains
commit
|
commitdiff
|
tree
2007-02-28
Sven
V
erdoola
e
ge
barvinok_maximiz
e
: fix detection
of en
d
of domain specif
i
cation
commit
|
commitdiff
|
tree
2007-02-27
Sven Verdoolaege
barvinok_maximiz
e
: add input
c
onversion
commit
|
commitdiff
|
tree
2007-02-27
Sven Verdo
o
laege
evalu
e
_
co
n
vert: extracted from barvi
n
o
k
_enu
m
e
rate
and
.
.
.
commit
|
commitdiff
|
tree
2007-02-27
Sven
Verdoolaege
util
.
c: mo
v
e Polyhe
d
r
on_is_u
n
bounded
f
r
o
m
b
ernstei
n
.
cc
commit
|
commitdiff
|
tree
2007-02-26
Sven V
e
rdo
o
laege
bern
s
tein_coefficien
t
s:
s
k
ip infini
t
e (sub)doma
i
n
s
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdoolaege
b
arvinok_
m
aximize
:
let user specify
variables over
.
.
.
commit
|
commitdiff
|
tree
2007-02-26
S
v
en Verdoo
l
aege
bernste
i
n_co
e
f
f
icients: skip comput
a
tion
s
if dom
a
in
.
.
.
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdoolaege
barvinok_maximize: fix access to fr
e
ed
m
em
o
ry
commit
|
commitdiff
|
tree
2007-02-26
Harald D
e
vos
min
i
mize as option of bar
v
inok
_
maximi
z
e
commit
|
commitdiff
|
tree
2007-02-26
Sve
n
Verdoolaege
bernstein/piecewise
_
lst
.
cpp: ad
d
minimize()
m
ethod
commit
|
commitdiff
|
tree
2007-02-26
S
ven Verdoolaege
bar
v
ino
k
_
maximize: read d
o
mains with UNIONs
commit
|
commitdiff
|
tree
2007-02-26
Sven Ver
d
oo
l
aege
use GiNa
C
c
f
lags and libs
commit
|
commitdiff
|
tree
2007-02-23
Sv
e
n Verdo
o
laege
ba
r
vinok_m
a
ximize:
o
ptionally call evalue_split_period
s
commit
|
commitdiff
|
tree
2007-02-23
Sv
e
n
V
er
d
oolaege
evalue
.
c:
add
e
v
alue
_
split_period
s
commit
|
commitdiff
|
tree
2007-02-23
Sven Verdoolaege
util
.
c: val
u
e_lcm
:
m
a
rk arguments c
o
nst
commit
|
commitdiff
|
tree
2007-02-23
Sven Verdo
o
laege
evalue
.
c
:
polynomia
l
_proj
e
c
t
i
o
n: allow NU
L
L
R
arg
u
ment
commit
|
commitdiff
|
tree
2007-02-23
Sven Ve
r
doolaege
evalu
e
.
c: extrac
t
fiddli
n
g with coeffi
c
i
e
nts out of
.
.
.
commit
|
commitdiff
|
tree
2007-02-22
S
v
en
V
erdoolaeg
e
eval
u
e_bernstein_coefficients: handle each
coset of
.
.
.
commit
|
commitdiff
|
tree
2007-02-21
S
v
en
Verdoolaeg
e
b
arvinok_
m
a
ximize: read
evalues with periodics
commit
|
commitdiff
|
tree
2007-02-21
Sven Ver
d
ool
a
ege
evalue_be
r
n
stein_coeffici
e
nts
:
handle
pe
r
iodics in
.
.
.
commit
|
commitdiff
|
tree
2007-02-21
Sven Verdoolaege
b
ernstein
:
b
e
rnste
i
nExp
a
nsi
o
n: acce
p
t
list of polynomials
commit
|
commitdiff
|
tree
2007-02-19
Sven Verdo
o
laege
ba
r
vin
o
k_maximize: m
a
ke evalue
parse a l
i
ttle bit mor
e
.
.
.
commit
|
commitdiff
|
tree
2007-02-19
Sven
V
erdoolaege
barvinok_enumer
a
te*: be less
c
hat
t
y
b
y
default
commit
|
commitdiff
|
tree
2007-02-19
S
ven V
e
r
doolaege
coun
t
/enumerate: warn if input
is
a u
n
i
o
n
commit
|
commitdiff
|
tree
2007-02-19
Sven Verdoolaege
Doma
i
nIncludes:
d
etect more
c
ases + ada
p
t
docu
m
e
n
t
a
t
i
on
commit
|
commitdiff
|
tree
2007-02-19
Sven Verdoolaege
evalue
_
be
r
ns
t
ein_
c
o
effici
e
n
t
s:
ha
n
dle
f
ractio
n
a
l
s in
.
.
.
commit
|
commitdiff
|
tree
2007-02-19
Sven V
e
rdoolaege
evalue_bernstei
n
_coefficients:
handle
f
l
oorin
g
s in
.
.
.
commit
|
commitdiff
|
tree
2007-02-18
Sven Verdoo
l
aege
barvinok
_
maximi
z
e: new
tool for
maximiz
i
ng piecewise
.
.
.
commit
|
commitdiff
|
tree
2007-02-17
Sven Verdoolae
g
e
evalue
.
c:
e
v
a
l
ue_frac2p
o
l
y
n
omia
l
: i
m
prove accura
c
y
commit
|
commitdiff
|
tree
2007-02-16
Sven V
e
r
do
o
l
a
e
ge
evalue
.
c
: add commen
t
commit
|
commitdiff
|
tree
2007-02-16
Sve
n
Verdoo
l
aege
ev
a
lue
.
c: add
f
un
c
tion for checking nestin
g
o
f
a
n
evalue
commit
|
commitdiff
|
tree
2007-02-16
Sve
n
V
e
rd
o
olae
g
e
ev
a
lue
.
c: add missing terms reorderings in evalue_range_redu
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
S
v
en Verdo
o
laege
e
value
.
c: make arg
u
ments of eequal and evalue_denom
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoolaege
barvinok_enu
m
er
a
te_e
:
add
--verbose
opt
i
o
n
commit
|
commitdiff
|
tree
2007-02-16
Sven Ver
d
oo
l
aege
bernst
e
in: mark ar
g
ument of value2numeric const
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoolae
g
e
b
ernstein
.
cc: add (option
a
l) o
p
tions
ar
g
ument
t
o evalue
_
b
e
rn
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sv
e
n Verdoo
l
aege
a
dd m
i
ssing virtual destructors
commit
|
commitdiff
|
tree
2007-02-16
Sven
V
erdoolaege
genfun
.
c
c
: rename str
u
ct
cone to avoid
conflict
w
ith
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven
V
e
rdoolaege
d
oc: intege
r
poi
n
ts in t
h
e fundamental paralle
l
epi
p
ed
.
.
.
commit
|
commitdiff
|
tree
2007-02-14
Sven Verd
o
ola
e
ge
verif_
e
hrha
r
t
.
c: clean up indentation
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoo
l
ae
g
e
v
e
rif_ehrhart: optionall
y
continue on e
r
ror
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoolaege
verif_ehrhar
t
: combin
e
check
_
poly fro
m
b
a
rvinok_enumerat
e
_e
.
c
c
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdo
o
laege
veri
f
_ehrhart
.
c:
c
he
c
k lower a
n
d upp
e
r poly
n
omial appr
o
xi
m
ations
commit
|
commitdiff
|
tree
2007-02-14
Sven
V
erdoolaege
verify
.
h: m
o
v
e
ba
r
vin
o
k_options i
n
to
v
e
r
ify_options
commit
|
commitdiff
|
tree
2007-02-14
S
ven Ve
r
doolaege
barvi
n
ok_e
n
umerate: pass paramete
r
na
m
es
to che
c
k
_pol
y
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoolaege
barvino
k
_
e
nume
r
ate: more polynommial approximati
o
ns
commit
|
commitdiff
|
tree
2007-02-14
Sve
n
Ver
d
oo
l
aege
ev
a
lue
.
c: add evalue
_
frac2polynomial
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoolaege
e
v
al
u
e
.
c: extra
c
t evalue
_
spli
t
_doma
i
ns_into_o
r
thants
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sve
n
Verdoo
l
ae
g
e
polysi
g
n
.
c: fix
c
dd_polyh
e
dron_a
f
fine
_
si
g
n
prototyp
e
commit
|
commitdiff
|
tree
2007-02-12
S
ven
V
erdoolaege
M
a
k
e
file:
o
n
ly check lexmin if
i
t has b
e
e
n compiled
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoolaege
a
d
d
Para
m
_Polyhedron_Scale_Inte
g
er prototype
commit
|
commitdiff
|
tree
2007-02-12
Sven Verd
o
ola
e
g
e
l
attice
_
point
.
cc:
a
dd sa
n
ity check fo
r
index of cone
commit
|
commitdiff
|
tree
2007-02-12
Sven Verd
o
olaege
t
e
st: initi
a
lize nbMat
commit
|
commitdiff
|
tree
2007-02-12
Sven
V
erdoolae
g
e
barvinok_enumerate: opt
i
onally compute
a
polynomi
a
l
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
S
v
en Ver
d
oolae
g
e
Provide replacement for new PolyLib
f
unction Param_P
o
lyhe
d
ro
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sv
e
n V
e
r
doolaege
add evalue_d
i
v (adapted from PolyLib)
commit
|
commitdiff
|
tree
2007-02-12
Sv
e
n Verdo
o
l
a
e
ge
test: simple
t
est for PolyLib's Smith
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoolaege
Makefile
.
am: ad
d
dependencies for c
h
ecks
commit
|
commitdiff
|
tree
2007-02-11
Sv
e
n
V
erdoola
e
ge
genfun
.
cc
:
shor
t
_ra
t
:
:no
r
mali
z
e: micro-optimizations
commit
|
commitdiff
|
tree
2007-02-11
Sve
n
Verdoolaege
QQ:
canonical
i
ze on r
e
ad and
m
u
l
tipli
c
ati
o
n
commit
|
commitdiff
|
tree
2007-02-09
Sven Verdoo
l
a
ege
d
o
c: bar
v
inok_seri
e
s r
e
qu
i
re
s
p
olyhedron
to have *r
e
v
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sven Verd
o
ola
e
ge
M
a
kefile
.
a
m:
c
he
c
k barvinok_enumerate --series during
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sv
e
n Verdoolaege
bar
v
inok_enumerate: compute ser
i
es
o
f pol
y
hedr
a
with
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sven V
e
rdoolaege
tes
t
all specializ
a
tion alg
o
rit
h
ms duri
n
g make che
c
k
commit
|
commitdiff
|
tree
2007-02-09
Sven Verdoolaege
pass options through to
b
a
r
vinok_coun
t
i
n barvinok_enu
m
erat
e
.
.
.
commit
|
commitdiff
|
tree
2007-02-08
Sven Verdo
o
laege
H
andl
e
non-
u
n
i
m
odular cones in dua
l
d
e
composit
i
on
commit
|
commitdiff
|
tree
2007-02-08
Sven
Verdoolaege
barvinok_st
a
ts:
ren
a
me
u
nimodula
r
_
cones to base_cones
commit
|
commitdiff
|
tree
next