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: proof of existence of suitable y for primal decomposition: fix notation
2007-03-15
Sven Verdoolaege
doc: proof of existenc
e
of
s
uitable y for pr
i
mal decompositi
.
.
.
commit
|
commitdiff
|
tree
2007-03-15
Sven Verd
o
olaege
doc: fix proof of existe
n
ce of suitable y for pri
m
al
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
S
v
en V
e
rdool
a
ege
berns
t
e
in
.
cc: bernstein_coef
f
i
ci
e
nts: create si
g
ned
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoolaeg
e
bar
v
inok_m
a
ximiz
e
: optionally use recursive b
e
rnstein_coeffi
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven V
e
rd
o
olaege
bernstein
.
c
c
:
berns
t
ein_coeff
i
cients: support general
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Ve
r
doolaege
berns
t
e
in
.
cc:
r
efactor bernstei
n
_co
e
fficients_product
commit
|
commitdiff
|
tree
2007-03-14
S
v
en Verdoolae
g
e
ber
n
stein: piecewise_lst: ad
d
sign and remo
v
e redundant
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoolaege
be
r
nstein: a
d
d rem
o
ve_red
u
ndants m
e
thod
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoolaege
doc: pri
m
al decomposition: ty
p
o fixes + clarifications
commit
|
commitdiff
|
tree
2007-03-11
Sve
n
V
e
r
do
o
laege
doc
:
fix primal
deco
m
position
e
xam
p
le + c
l
ean-ups
commit
|
commitdiff
|
tree
2007-03-11
Sven Verdoolaege
Documen
t
primal
d
ecomp
o
sition
commit
|
commitdiff
|
tree
2007-03-11
S
ven Verdoo
l
aege
b
arvinok
.
cc:
b
arvinok_enumerate:
f
ix l
o
we
r
bound appr
o
ximation
commit
|
commitdiff
|
tree
2007-03-07
S
ven Ver
d
oolaege
e
val
u
e_split_per
i
ods
:
gracefully
handle zer
o
evalues
.
.
.
commit
|
commitdiff
|
tree
2007-03-07
S
ven V
e
rdoolaege
barv
i
nok_maximize
:
handle zero input
commit
|
commitdiff
|
tree
2007-03-07
Sven Verd
o
olae
g
e
barv
i
nok_enumerat
e
_e
:
cl
e
an up
allocation
of options
commit
|
commitdiff
|
tree
2007-03-07
Sven Verdo
o
l
aege
barvinok
.
cc: ha
n
dle case
where n
o
t
hing is
l
ef
t
af
t
er
.
.
.
commit
|
commitdiff
|
tree
2007-03-02
Sven Verdoolae
g
e
evalue_convert: suppo
r
t printi
n
g a qu
a
s
i-
p
olynomialas
.
.
.
commit
|
commitdiff
|
tree
2007-03-02
S
v
e
n
V
e
r
d
o
o
laege
lattic
e
_poin
t
.
h: mak
e
se
l
f-contained
commit
|
commitdiff
|
tree
2007-03-02
Sve
n
V
erdoolae
g
e
ev
a
lue
.
c:
e
xtrac
t
e
val
u
e_ext
r
act
_
affine from bernstein
.
cc
commit
|
commitdiff
|
tree
2007-03-02
Sven Verdoolae
g
e
berns
t
ein
.
cc: bernstein_coef
f
icients_product: no need
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
S
v
e
n
Verdoolaege
bernstein_c
o
e
f
fi
c
i
e
nts:
o
ptionally o
p
timize durin
g
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
S
ven Verdoolae
g
e
ber
n
stein_coefficients: f
a
ctorize
d
omai
n
i
f
possible
commit
|
commitdiff
|
tree
2007-03-01
Sven
V
erdoolaege
P
oly
h
e
dron_
F
ac
t
or:
optionally
return relati
o
n between
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sven Verdoolaeg
e
bernstein: export rep
l
aceVariablesInPolynomial
commit
|
commitdiff
|
tree
2007-03-01
S
ven Verdoolaege
bernst
e
in
.
cc: evalue2ex: represent fr
a
ctional by s
c
aled
.
.
.
commit
|
commitdiff
|
tree
2007-02-28
Sven Ver
d
oolaege
b
arvinok_maximiz
e
: fix
handling of UNIONs in
d
om
a
ins
.
commit
|
commitdiff
|
tree
2007-02-28
Sven
V
erdoo
l
aeg
e
b
e
r
nstein_
c
oe
f
ficient
s
:
s
kip empty subdomains
commit
|
commitdiff
|
tree
2007-02-28
S
v
en Verd
o
olaege
barvinok_
m
aximize: fix dete
c
tion of end
of domain specification
commit
|
commitdiff
|
tree
2007-02-27
Sven Verdoolae
g
e
b
arvinok_maximize: add
i
nput conversi
o
n
commit
|
commitdiff
|
tree
2007-02-27
Sven V
e
rdoolaege
evalue_convert: extracted from barvi
n
o
k_
e
numerate and
.
.
.
commit
|
commitdiff
|
tree
2007-02-27
Sve
n
Verdoola
e
ge
util
.
c
:
mov
e
Polyhedron_is_unbounded from bern
s
tei
n
.
cc
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdoolaege
bernstein_coefficients:
skip infin
i
te (sub)domains
commit
|
commitdiff
|
tree
2007-02-26
Sven Ve
r
doolaege
barvinok_maximize: let user specify v
a
riables
over
.
.
.
commit
|
commitdiff
|
tree
2007-02-26
Sve
n
Verdo
o
laege
bernstein_c
o
efficients: skip
c
om
p
u
t
a
t
ions
if d
o
main
.
.
.
commit
|
commitdiff
|
tree
2007-02-26
Sven Verd
o
o
laege
barvi
n
o
k_maximize: fix
acce
s
s to free
d
memory
commit
|
commitdiff
|
tree
2007-02-26
Harald Devo
s
minimi
z
e
as option of barvino
k
_maxi
m
ize
commit
|
commitdiff
|
tree
2007-02-26
S
v
en Verd
o
o
l
aeg
e
bernst
e
in/piece
w
i
s
e_lst
.
cpp: add minimize() method
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdoolaege
barvinok_maximize: read d
o
m
ains with U
N
IONs
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdoolaege
use GiNaC cflags and li
b
s
commit
|
commitdiff
|
tree
2007-02-23
Sven V
e
rdo
o
laege
barvin
o
k_maximize: optionally call eva
l
ue_s
p
l
it
_
p
e
riods
commit
|
commitdiff
|
tree
2007-02-23
S
ven
Verdoolaege
evalue
.
c: add evalue_s
p
l
it_periods
commit
|
commitdiff
|
tree
2007-02-23
S
ven Verdoolaeg
e
util
.
c:
v
alue_lcm: mark argu
m
ents const
commit
|
commitdiff
|
tree
2007-02-23
Sv
e
n
Verd
o
olaege
eva
l
ue
.
c:
p
o
l
yn
o
mial_projecti
o
n
:
allow NULL R argumen
t
commit
|
commitdiff
|
tree
2007-02-23
Sven
Ve
r
doolaege
evalue
.
c: extract fiddling
with c
o
efficients
out of
.
.
.
commit
|
commitdiff
|
tree
2007-02-22
Sven Ver
d
o
olae
g
e
evalue_ber
n
st
e
in_coef
f
icients: handle e
a
ch coset of
.
.
.
commit
|
commitdiff
|
tree
2007-02-21
Sven Verdoola
e
ge
ba
r
vinok_maxim
i
ze
:
r
e
a
d
e
values with periodic
s
commit
|
commitdiff
|
tree
2007-02-21
Sven Verdoo
l
aege
evalue_bernstein_coefficients
:
h
a
ndle periodi
c
s
i
n
.
.
.
commit
|
commitdiff
|
tree
2007-02-21
Sven Ve
r
dool
a
ege
b
ernste
i
n: b
e
rnsteinExpans
i
on:
a
ccept l
i
st of
pol
y
nomials
commit
|
commitdiff
|
tree
2007-02-19
S
ven Ve
r
d
oolaege
barvinok_maximize: ma
k
e ev
a
lue parse a
l
ittle
bit more
.
.
.
commit
|
commitdiff
|
tree
2007-02-19
Sven
Verdoolaege
barvinok_enumerate*: be less ch
a
tty
b
y defa
u
lt
commit
|
commitdiff
|
tree
2007-02-19
Sv
e
n
V
erdoola
e
ge
c
o
unt/enu
m
erat
e
: warn if inpu
t
i
s
a union
commit
|
commitdiff
|
tree
2007-02-19
Sven Verd
o
o
laege
DomainIncludes:
d
etect more cas
e
s + adapt documentation
commit
|
commitdiff
|
tree
2007-02-19
Sven Verdoolaeg
e
e
v
alue_bernste
i
n_coefficients: ha
n
dle frac
t
ionals in
.
.
.
commit
|
commitdiff
|
tree
2007-02-19
Sven
V
e
rdool
a
ege
eval
u
e
_bernstein_coefficients:
handle floorings in
.
.
.
commit
|
commitdiff
|
tree
2007-02-18
S
ven Verdoolae
g
e
b
arvino
k
_ma
x
im
i
ze: new tool for maxim
i
zi
n
g piec
e
wi
s
e
.
.
.
commit
|
commitdiff
|
tree
2007-02-17
Sven Verdoolaege
e
value
.
c
:
e
value
_
frac2polynomial
:
i
m
prove
a
ccuracy
commit
|
commitdiff
|
tree
2007-02-16
Sve
n
Verdoo
l
aege
ev
a
l
ue
.
c: add comment
commit
|
commitdiff
|
tree
2007-02-16
S
ven Verdoolaeg
e
evalue
.
c
:
add
function for ch
e
cking nesting of an
evalue
commit
|
commitdiff
|
tree
2007-02-16
S
ven
V
erdoo
l
aeg
e
eva
l
ue
.
c: add m
i
ssing te
r
m
s reorde
r
i
n
gs in
evalue_range_redu
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven
Verdoo
l
ae
g
e
e
v
alue
.
c: m
a
ke
a
r
g
um
e
nts of eequal a
n
d
evalue_den
o
m
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoolaege
barvinok_enumera
t
e_e:
add --verbos
e
op
t
ion
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoolaege
ber
n
s
t
e
in: mar
k
argum
e
n
t of value2numeric const
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoolaege
berns
t
ein
.
c
c
: add
(
optional) opt
i
o
ns ar
g
ument to evalue_bern
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
S
v
en
Verdoolaege
ad
d
missing virtual
d
estructors
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdo
o
laege
g
enfun
.
cc: ren
a
m
e
struct cone to avoid conflict w
i
t
h
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoolae
g
e
doc: i
n
teger points in the fundamental parallelepi
p
ed
.
.
.
commit
|
commitdiff
|
tree
2007-02-14
Sven Ve
r
doola
e
ge
verif_ehrhar
t
.
c:
clean up indentation
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoolae
g
e
ve
r
if_ehrhart: o
p
t
i
onally continue on error
commit
|
commitdiff
|
tree
2007-02-14
Sven Verd
o
ola
e
ge
verif
_
ehrhart: combi
n
e c
h
eck_
p
o
l
y from barvinok_enumerate_e
.
cc
commit
|
commitdiff
|
tree
2007-02-14
Sven Ve
r
dool
a
ege
verif_
e
h
r
h
a
rt
.
c
:
check lower and upper poly
n
omial app
r
oximations
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdo
o
laeg
e
v
e
rify
.
h: m
o
ve barvin
o
k
_
opti
o
ns i
n
to verify_
o
ption
s
commit
|
commitdiff
|
tree
2007-02-14
Sven
Ver
d
o
olaege
barvinok_enumerat
e
:
p
ass pa
r
a
m
eter
name
s
to che
c
k_poly
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoolaege
barvinok_enu
m
erate: more
p
olynommial approxi
m
ations
commit
|
commitdiff
|
tree
2007-02-14
Sven
Verdoolaege
e
value
.
c
:
ad
d
e
va
l
ue_fra
c
2polynomial
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoolaege
eval
u
e
.
c: ex
t
ract eval
u
e
_split_dom
a
ins_i
n
to
_
orthants
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
S
v
en Verdoola
e
g
e
p
olysign
.
c:
fix cdd_polyhe
d
ron_affine_sign protot
y
pe
commit
|
commitdiff
|
tree
2007-02-12
Sve
n
Ve
r
doolaege
Ma
k
efile:
only check l
e
xmin if it has been com
p
iled
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoo
l
aeg
e
add
P
a
ram_Polyhed
r
on_Scal
e
_Integer proto
t
y
p
e
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoo
l
aege
latti
c
e_poi
n
t
.
cc:
ad
d
sani
t
y
c
heck for index of cone
commit
|
commitdiff
|
tree
2007-02-12
Sven
V
erdoolae
g
e
test: initializ
e
nbMat
commit
|
commitdiff
|
tree
2007-02-12
S
ve
n
V
e
rdo
o
laege
barvino
k
_enumerate:
optionally compute a polynom
i
al
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sven Ver
d
oo
l
ae
g
e
P
rovi
d
e replacemen
t
f
o
r new PolyLi
b
f
unction Param_Polyhed
r
o
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoolaege
add ev
a
lue
_
div (adapt
e
d
f
ro
m
PolyLib)
commit
|
commitdiff
|
tree
2007-02-12
S
v
e
n Verdoolaege
test: simp
l
e test for PolyLib's
S
mith
commit
|
commitdiff
|
tree
2007-02-12
Sven Ver
d
ool
a
ege
Makefile
.
am
:
add
d
ep
e
ndencie
s
f
or ch
e
cks
commit
|
commitdiff
|
tree
2007-02-11
Sven Verdool
a
ege
genfun
.
cc:
s
hort_rat::normalize: micro-op
t
imizations
commit
|
commitdiff
|
tree
2007-02-11
Sven Verdoolaege
Q
Q
: canonicalize
o
n re
a
d and multipl
i
ca
t
ion
commit
|
commitdiff
|
tree
2007-02-09
Sven Verdoolaege
doc: barvinok_
s
eries
requires polyhed
r
on to have *rev
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sven Verdoolaege
Makef
i
le
.
am: check ba
r
v
inok
_
enumerate --s
e
r
i
es dur
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sven Verd
o
olae
g
e
barvino
k
_en
u
me
r
ate: compute series of polyhed
r
a with
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sven Verdo
o
laege
test
a
ll specialization al
g
orithms du
r
ing m
a
ke check
commit
|
commitdiff
|
tree
2007-02-09
Sven Verdo
o
laege
pass op
t
ion
s
through to bar
v
i
nok
_
count
in barvinok_enume
r
ate
.
.
.
commit
|
commitdiff
|
tree
2007-02-08
S
v
en
V
erdo
o
laege
Handle
non-
u
nimodula
r
cones in d
u
al de
c
o
mpo
s
itio
n
commit
|
commitdiff
|
tree
2007-02-08
Sven Ve
r
doolaeg
e
barvinok
_
stats: rename unimodula
r
_cone
s
to base_cones
commit
|
commitdiff
|
tree
2007-02-08
Sven Verdoo
l
aege
reducer
.
cc: extra sa
n
it
y
che
c
ks
commit
|
commitdiff
|
tree
2007-02-08
Sven Verdool
a
ege
Hand
l
e non-unimod
u
lar con
e
s wi
t
h a specified maximal
.
.
.
commit
|
commitdiff
|
tree
2007-02-07
S
v
en Verdoolaeg
e
de
c
omposer
.
cc
:
decompose:
m
i
n
o
r clean-up
commit
|
commitdiff
|
tree
2007-02-06
S
v
en Verdoolaege
b
a
rvi
n
ok_op
t
ions: inc
l
ude pointer
t
o barvi
n
ok_s
t
a
ts
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sven Verdool
a
ege
add barvi
n
ok
_
options_free
commit
|
commitdiff
|
tree
2007-02-06
Sven Verdoolaege
barvinok_enumer
a
te
:
c
o
l
l
ect s
t
a
ts on number
o
f
u
nimod
u
lar
.
.
.
commit
|
commitdiff
|
tree
next