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: fix primal decomposition example + clean-ups
2007-03-11
Sv
e
n Verdoola
e
ge
do
c
: fix primal de
c
ompos
i
tion
e
x
amp
l
e + clea
n
-ups
commit
|
commitdiff
|
tree
2007-03-11
Sven V
e
r
dool
a
ege
Document
p
ri
m
al deco
m
po
s
ition
commit
|
commitdiff
|
tree
2007-03-11
Sven
Verdoolaege
barv
i
nok
.
cc: barvinok_enumerate: fi
x
lower
bou
n
d approximat
i
on
commit
|
commitdiff
|
tree
2007-03-07
Sven Verdoolaege
e
v
alue_
s
plit_periods: gracefull
y
handle z
e
ro
e
values
.
.
.
commit
|
commitdiff
|
tree
2007-03-07
Sven Ver
d
oola
e
g
e
bar
v
inok_maximize: handle zero input
commit
|
commitdiff
|
tree
2007-03-07
Sven Verdoolaege
barvin
o
k_enumera
t
e_e: cl
e
an up
allocation of options
commit
|
commitdiff
|
tree
2007-03-07
S
v
en
Verdoolaege
b
a
r
v
inok
.
cc: handle c
a
se where no
t
h
i
ng is le
f
t
after
.
.
.
commit
|
commitdiff
|
tree
2007-03-02
Sven Verdoolaege
eval
u
e_convert
:
s
upport printi
n
g a quasi-polynom
i
a
l
as
.
.
.
commit
|
commitdiff
|
tree
2007-03-02
S
v
en Verdoolaeg
e
l
atti
c
e
_p
o
in
t
.
h:
mak
e
s
elf-contained
commit
|
commitdiff
|
tree
2007-03-02
Sven Verdoolaege
evalu
e
.
c: ex
t
ract eval
u
e_extract_affi
n
e from bernstein
.
cc
commit
|
commitdiff
|
tree
2007-03-02
S
v
e
n
Verdoolae
g
e
bern
s
tein
.
cc: bernstein_coe
f
ficients_product: no need
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sven Verdoolaege
bernstei
n
_coe
f
ficie
n
ts
:
o
ptionally optimi
z
e during
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sven Verdoola
e
ge
ber
n
stein_coeff
i
c
i
ents:
f
actorize
domain if po
s
sible
commit
|
commitdiff
|
tree
2007-03-01
Sv
e
n V
e
rdool
a
ege
Polyhedron_
F
ac
t
or:
o
p
tionally return relation bet
w
een
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sven Verdoo
l
aege
bernstein: export
r
eplaceV
a
riablesInPolynomial
commit
|
commitdiff
|
tree
2007-03-01
Sven Verdo
o
lae
g
e
berns
t
ein
.
cc:
e
valu
e
2ex:
represent
f
ractional
b
y scaled
.
.
.
commit
|
commitdiff
|
tree
2007-02-28
Sven Verdoolaege
barv
i
n
o
k_m
a
ximize: fix handling of UNIONs in domains
.
commit
|
commitdiff
|
tree
2007-02-28
Sv
e
n Ver
d
oo
l
aege
ber
n
stein
_
coefficients
:
skip empty subdom
a
in
s
commit
|
commitdiff
|
tree
2007-02-28
Sven Verdoolaege
barvinok_maxim
i
z
e
: fix detection of end of domain specificatio
n
commit
|
commitdiff
|
tree
2007-02-27
S
ven Verd
o
olaege
barv
i
n
ok_maximize: a
d
d in
p
ut conversion
commit
|
commitdiff
|
tree
2007-02-27
S
ven Verdoolaege
evalue_co
n
v
e
rt: extracted from bar
v
ino
k
_
e
n
u
merate a
n
d
.
.
.
commit
|
commitdiff
|
tree
2007-02-27
Sven
Verdoolaege
util
.
c: move Polyh
e
dron_is_unbounded f
r
om
ber
n
stein
.
cc
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdoolaege
bernstein_coefficie
n
ts: skip infinite (sub)domains
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdoolaege
barv
i
n
o
k_maximize: let
u
ser specify
variabl
e
s ov
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdool
a
ege
bernstein_co
e
fficients: skip
c
omput
a
t
i
ons
i
f
d
omain
.
.
.
commit
|
commitdiff
|
tree
2007-02-26
Sven V
e
rdoola
e
ge
barvin
o
k_
m
aximize: fix acce
s
s to f
r
ee
d
memor
y
commit
|
commitdiff
|
tree
2007-02-26
S
v
en Verdo
o
laege
bernstein/piecewise_lst
.
c
pp:
add mini
m
i
ze() met
h
o
d
commit
|
commitdiff
|
tree
2007-02-26
S
v
en Verdoolaege
b
ar
v
inok_maxim
i
ze: read domains with UNIONs
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdoolaege
use GiNaC
c
flags and libs
commit
|
commitdiff
|
tree
2007-02-23
S
v
en Verdool
a
ege
b
a
rvinok_ma
x
imize: opt
i
onally
call ev
a
lue_sp
l
it_period
s
commit
|
commitdiff
|
tree
2007-02-23
Sven Ve
r
d
o
olaege
e
v
alue
.
c: add eva
l
ue_sp
l
it_periods
commit
|
commitdiff
|
tree
2007-02-23
Sven Verd
o
olaege
uti
l
.
c: value_lcm: mar
k
arg
u
m
e
nts co
n
st
commit
|
commitdiff
|
tree
2007-02-23
Sven Verd
o
olaege
e
v
a
l
ue
.
c: polyno
m
ia
l
_proj
e
c
tion: allow NULL R ar
g
ument
commit
|
commitdiff
|
tree
2007-02-23
Sv
e
n Ver
d
ool
a
ege
evalue
.
c: extract fiddling with coefficients o
u
t of
.
.
.
commit
|
commitdiff
|
tree
2007-02-22
S
v
e
n
Verdoo
l
ae
g
e
evalue_b
e
rns
t
ein_
c
o
e
f
ficien
t
s:
h
andle each
c
o
s
et of
.
.
.
commit
|
commitdiff
|
tree
2007-02-21
Sven
Ver
d
oo
l
aeg
e
barvinok_ma
x
imize: read evalues
with
p
e
r
i
odics
commit
|
commitdiff
|
tree
2007-02-21
S
ven V
e
rdoolae
g
e
ev
a
lue_bernstein_coefficients: handle periodi
c
s in
.
.
.
commit
|
commitdiff
|
tree
2007-02-21
Sven
V
erdoolaege
bernstein:
bernsteinExpa
n
sion
:
accept
l
i
s
t of polynomials
commit
|
commitdiff
|
tree
2007-02-19
Sven
Verdoolae
g
e
b
arvinok_maxi
m
ize: make evalu
e
parse a little bi
t
m
o
re
.
.
.
commit
|
commitdiff
|
tree
2007-02-19
Sven Verdoolaege
barvinok
_
en
u
merat
e
*: b
e
l
ess
chatty by de
f
ault
commit
|
commitdiff
|
tree
2007-02-19
Sven Verdoola
e
ge
count/
e
numerate: w
a
r
n if
input i
s
a u
n
ion
commit
|
commitdiff
|
tree
2007-02-19
Sven Verdoolaege
Doma
i
nIn
c
l
udes: det
e
ct
m
or
e
cases + adapt d
o
cume
n
tat
i
o
n
commit
|
commitdiff
|
tree
2007-02-19
Sven Verdoolaege
evalue_bern
s
tein_coefficients: handle fractionals in
.
.
.
commit
|
commitdiff
|
tree
2007-02-19
Sven Verdo
o
laege
evalue_bern
s
tein_coefficient
s
: han
d
l
e floorings in
.
.
.
commit
|
commitdiff
|
tree
2007-02-18
Sven Verdoolaege
barvi
n
ok_maximize: new to
o
l for ma
x
imizing piecewise
.
.
.
commit
|
commitdiff
|
tree
2007-02-17
Sven
V
erdool
a
ege
e
v
alue
.
c: eval
u
e_frac2polynomial: improve accuracy
commit
|
commitdiff
|
tree
2007-02-16
Sv
e
n Verdoolaege
evalue
.
c:
ad
d
comm
e
n
t
commit
|
commitdiff
|
tree
2007-02-16
Sve
n
Verdoolaege
evalue
.
c: add function for checking nes
t
ing of an ev
a
l
ue
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoolaege
e
v
alue
.
c: add missing terms reorderings
in e
v
alue_ra
n
ge
_
redu
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoolaeg
e
evalue
.
c: ma
k
e
arguments
o
f eequa
l
and
e
value_denom
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
S
v
en
V
erdoolaege
barvinok_en
u
merate_e: add --verbose op
t
ion
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoolaege
bernstein: mark
argu
m
ent of val
u
e2
n
umeric
const
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoolaege
bernst
e
in
.
cc: add (o
p
t
io
n
al) optio
n
s argument to eva
l
ue_bern
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sv
e
n Verdoolaege
add missing vi
r
tual destructors
commit
|
commitdiff
|
tree
2007-02-16
Sv
e
n Verdoolaege
g
e
nfun
.
cc: re
n
ame str
u
ct cone to avoid conf
l
i
c
t with
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoolaege
doc
:
integer points
i
n the fundamental
p
a
ra
l
lele
p
iped
.
.
.
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoolaege
veri
f
_e
h
rhart
.
c: clea
n
up in
d
entati
o
n
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoolaege
verif_ehrhar
t
: optionally continu
e
on error
commit
|
commitdiff
|
tree
2007-02-14
Sve
n
Verdoolaege
verif_ehrhart: combine check_poly f
r
o
m
b
a
rvino
k
_enumerate
_
e
.
cc
commit
|
commitdiff
|
tree
2007-02-14
Sve
n
Ve
r
doolaeg
e
verif_
e
hrhart
.
c: check
lower a
n
d upp
e
r polynomial a
p
proximations
commit
|
commitdiff
|
tree
2007-02-14
Sven Ver
d
oolaege
ve
r
i
fy
.
h: move b
a
rvin
o
k_options i
n
to verify_opt
i
o
n
s
commit
|
commitdiff
|
tree
2007-02-14
Sven
Verdoo
l
aege
b
a
r
v
inok_enumer
a
t
e
: pass p
a
rameter names
t
o che
c
k_poly
commit
|
commitdiff
|
tree
2007-02-14
S
v
en Verd
o
olaege
ba
r
v
i
nok
_
e
n
umerate: more p
o
lynommial approximations
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoolaege
eva
l
ue
.
c: add e
v
alue
_
frac2polynom
i
a
l
commit
|
commitdiff
|
tree
2007-02-14
Sven V
e
rdo
o
la
e
ge
evalue
.
c: extract evalue_split_domains_into_ortha
n
ts
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sven V
e
rdoo
l
aege
polys
i
gn
.
c: fix
c
dd_polyhedron_affine_sign p
r
otot
y
pe
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoolaege
Makefile: on
l
y check l
e
xmin if it has been
c
o
m
piled
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoolaege
add
Param
_
Po
l
yhedron_Scale_I
n
t
eger prototype
commit
|
commitdiff
|
tree
2007-02-12
Sv
e
n Verdoolaege
la
t
tice_
p
oint
.
cc: ad
d
sa
n
ity check for i
n
dex of cone
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoolaeg
e
test:
initiali
z
e nbMat
commit
|
commitdiff
|
tree
2007-02-12
Sven
V
erdoo
l
aege
b
arvinok_en
u
merate: optionall
y
comp
u
te a po
l
ynomial
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoolaege
P
r
o
vide
r
e
p
lacement for
new Poly
L
i
b func
t
ion
P
aram_Polyhedro
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sv
e
n Verdoolaege
add evalu
e
_div
(adapted from PolyLib)
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoolaege
te
s
t: simple test for
PolyLi
b
's Smith
commit
|
commitdiff
|
tree
2007-02-12
Sven Ver
d
oolaeg
e
Make
f
ile
.
a
m: add depend
e
ncies for c
h
ecks
commit
|
commitdiff
|
tree
2007-02-11
Sven
V
erdoolaege
genfun
.
cc:
sho
r
t_rat::normalize: micro-opt
i
mizations
commit
|
commitdiff
|
tree
2007-02-11
Sven Ver
d
oolaege
QQ: ca
n
onicali
z
e on read and
mult
i
p
l
icati
o
n
commit
|
commitdiff
|
tree
2007-02-09
Sven
V
erdoo
l
aege
doc: barvino
k
_series requires po
l
yh
e
dro
n
t
o
have *rev
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sven Verdoolaege
Makefile
.
am: check b
a
rvinok
_
e
n
umerate --se
r
ies during
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sv
e
n Ver
d
o
olaege
test all specializ
a
ti
o
n algorithms
dur
i
ng make
check
commit
|
commitdiff
|
tree
2007-02-09
S
v
en
Verdoolaege
pass
options thro
u
g
h
t
o
b
arvin
o
k_co
u
nt
in barvinok
_
enumera
t
e
.
.
.
commit
|
commitdiff
|
tree
2007-02-08
Sven Verdoo
l
aege
Handle non-unimodular cones
in dual decomp
o
sit
i
on
commit
|
commitdiff
|
tree
2007-02-08
Sven
V
erdoola
e
ge
barvi
n
o
k
_stats: rename unimodular_
c
o
n
es to base_cones
commit
|
commitdiff
|
tree
2007-02-08
Sven Verdoolae
g
e
r
educer
.
c
c: e
x
tra san
i
ty c
h
ecks
commit
|
commitdiff
|
tree
2007-02-08
Sven
V
erdoolaege
Handle non-unim
o
dular c
o
nes with
a
s
pec
i
fied
m
axima
l
.
.
.
commit
|
commitdiff
|
tree
2007-02-07
Sven Verdoo
l
a
e
g
e
de
c
omposer
.
cc
:
decompose: minor cl
e
an-up
commit
|
commitdiff
|
tree
2007-02-06
Sven Verdoolaege
barvinok_options: include pointer t
o
b
a
rvinok
_
stats
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
S
v
e
n
Ve
r
doola
e
ge
a
d
d barvin
o
k_op
t
ions
_
fr
e
e
commit
|
commitdiff
|
tree
2007-02-06
S
ven V
e
r
doolaege
barvinok_enum
e
rate: c
o
llect
s
tats on number of unimodular
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sven Verdoolaege
d
e
compo
s
e
r
.
cc
:
p
olar_decompose: remo
v
e common diviso
r
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sve
n
Verdoolaeg
e
partial_reducer: speciali
z
e
list ve
r
sion of base
commit
|
commitdiff
|
tree
2007-02-05
Sv
e
n Verdoolaege
red
u
cer::reduce: better handling of te
r
ms
with com
m
on
.
.
.
commit
|
commitdiff
|
tree
2007-02-05
Sven Verdoolaege
reduc
e
r::reduce: combine numerators with e
q
ual unreduced
.
.
.
commit
|
commitdiff
|
tree
2007-02-03
Sven Verdoo
l
aeg
e
Q
Q: add operator f
o
r multipl
i
cation o
f
vector by a
.
.
.
commit
|
commitdiff
|
tree
2007-02-02
Sven Ver
d
oolaege
reducer::r
e
duc
e
: take a list o
f
numerat
o
r
s
as
input
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
gen_fun::read: read gen_fu
n
from
f
ile descriptor
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
add gen_fun::add(short
_
rat *r)
commit
|
commitdiff
|
tree
2007-02-02
S
v
en V
e
rdoolaege
NTL_QQ
.
cc: sup
p
ort readin
g
from
s
tr
e
am
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaeg
e
gen
_
fun
:
add operator f
o
r printing to
s
tream
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
genfun
.
cc: add short_ra
t
c
o
p
y con
s
tructor
commit
|
commitdiff
|
tree
next