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: add journal version of improved derivation paper
2007-03-02
Sv
e
n Verdool
a
ege
evalue
.
c: e
x
t
ract ev
a
l
u
e
_
extr
a
c
t
_affine from bernstein
.
cc
commit
|
commitdiff
|
tree
2007-03-02
Sve
n
Verdoolaege
bernstein
.
cc: bern
s
t
ein_coefficients_product: no need
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
S
v
en Verdoolaege
bernstein_
c
oeffici
e
nts: optionally optimize d
u
rin
g
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sve
n
V
e
rdoolaege
bernstein_co
e
f
ficients
:
fac
t
o
r
i
z
e dom
a
in if pos
s
i
b
le
commit
|
commitdiff
|
tree
2007-03-01
Sve
n
Verdoolaege
Polyhedron_Factor: opti
o
nally
r
etur
n
re
l
ation between
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sven
V
erdoolaege
bernstein:
export
replaceVariables
I
nPolynomial
commit
|
commitdiff
|
tree
2007-03-01
Sv
e
n Ve
r
doolaege
berns
t
ein
.
c
c: evalue2ex
:
represent fractional by scale
d
.
.
.
commit
|
commitdiff
|
tree
2007-02-28
Sven Verdo
o
l
aege
barv
i
no
k
_maximize: fix handli
n
g
of
U
NIONs in doma
i
ns
.
commit
|
commitdiff
|
tree
2007-02-28
Sven Verdoola
e
ge
ber
n
stein_coe
f
ficients: skip empt
y
subdomai
n
s
commit
|
commitdiff
|
tree
2007-02-28
S
v
en Verdoolaeg
e
barvinok_maximize
:
fix detect
i
on of
end
of
domain specification
commit
|
commitdiff
|
tree
2007-02-27
Sven Verdoolaege
b
a
rvinok_maximize: a
d
d
i
nput
c
on
v
ersion
commit
|
commitdiff
|
tree
2007-02-27
Sven Verdoo
l
ae
g
e
e
v
a
l
ue_convert: ext
r
act
e
d from ba
r
v
inok_enumerate an
d
.
.
.
commit
|
commitdiff
|
tree
2007-02-27
Sven Ver
d
o
ola
e
ge
util
.
c:
m
ove Polyhedr
o
n_i
s
_
u
nbo
u
nd
e
d from
bernst
e
in
.
cc
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdoolaege
bernstei
n
_coefficients: ski
p
i
nfinite (sub)domains
commit
|
commitdiff
|
tree
2007-02-26
Sven
V
erdoolaege
barvino
k
_maximize: le
t
us
e
r spec
i
fy vari
a
bles over
.
.
.
commit
|
commitdiff
|
tree
2007-02-26
S
v
en Verd
o
ola
e
ge
bernstein_coef
f
ic
i
e
n
ts
:
s
k
i
p
c
omputations if d
o
main
.
.
.
commit
|
commitdiff
|
tree
2007-02-26
Sven Verd
o
olaege
barvino
k
_maximize: fix access to
f
re
e
d
m
emory
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdoolaege
bernstei
n
/piece
w
ise_lst
.
cp
p
:
ad
d
min
i
mize() method
commit
|
commitdiff
|
tree
2007-02-26
Sv
e
n Verdoolaege
barvi
n
ok_m
a
xi
m
iz
e
: read domains with
UNI
O
Ns
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdoolaege
use GiNaC cflags a
n
d
lib
s
commit
|
commitdiff
|
tree
2007-02-23
S
ven V
e
rdool
a
ege
barvinok_maximize: optionally call
evalu
e
_split_peri
o
ds
commit
|
commitdiff
|
tree
2007-02-23
S
v
e
n Verdoo
l
aege
e
v
alue
.
c: add evalue_split_periods
commit
|
commitdiff
|
tree
2007-02-23
S
v
en Verdoolaege
util
.
c: value_lcm:
mark arguments c
o
nst
commit
|
commitdiff
|
tree
2007-02-23
S
v
en V
e
rdoolaege
evalue
.
c
: polyn
o
mial
_
p
r
oject
i
on: allow NULL R argument
commit
|
commitdiff
|
tree
2007-02-23
Sve
n
Ve
r
doolaege
evalue
.
c
: extract fiddling wi
t
h c
o
eff
i
c
ie
n
t
s
out of
.
.
.
commit
|
commitdiff
|
tree
2007-02-22
Sven Ve
r
doolae
g
e
eva
l
ue
_
bernstei
n
_coefficients:
handle each
coset of
.
.
.
commit
|
commitdiff
|
tree
2007-02-21
Sven Verdoolaege
bar
v
inok_m
a
x
i
mize: rea
d
evalues with periodics
commit
|
commitdiff
|
tree
2007-02-21
Sven Verdoolaege
evalue_
b
ernstein_
c
o
effici
e
nts: handle periodic
s
in
.
.
.
commit
|
commitdiff
|
tree
2007-02-21
Sven
Ve
r
doolaege
bernste
i
n: bernsteinEx
p
ansion: accept
list
o
f polyno
m
ials
commit
|
commitdiff
|
tree
2007-02-19
Sven
V
erdoolaege
ba
r
vinok_maximize: make evalue parse a little
b
it more
.
.
.
commit
|
commitdiff
|
tree
2007-02-19
S
v
e
n
V
e
rd
o
ol
a
e
g
e
barvino
k
_enumerat
e
*:
b
e less chat
t
y by def
a
u
l
t
commit
|
commitdiff
|
tree
2007-02-19
Sven Verdo
o
laege
count/enumerate: warn
i
f in
p
ut is a
u
nion
commit
|
commitdiff
|
tree
2007-02-19
S
v
e
n Verdoolae
g
e
DomainInc
l
udes: de
t
e
c
t more cases +
a
dapt docu
m
entation
commit
|
commitdiff
|
tree
2007-02-19
Sve
n
Verdoolaege
evalu
e
_b
e
r
nstein_coefficients: ha
n
dle fractional
s
in
.
.
.
commit
|
commitdiff
|
tree
2007-02-19
S
ve
n
Ver
d
oolaege
eval
u
e_bern
s
tei
n
_coeff
i
cie
n
ts: handl
e
floor
i
ngs in
.
.
.
commit
|
commitdiff
|
tree
2007-02-18
Sven Verdoolaege
barvinok_maxim
i
ze:
n
ew tool
f
o
r maxim
i
zing piecewise
.
.
.
commit
|
commitdiff
|
tree
2007-02-17
Sven Verdoolaege
e
v
alue
.
c:
evalue_frac2polyno
m
i
a
l: improve acc
u
racy
commit
|
commitdiff
|
tree
2007-02-16
Sven Ver
d
oolaege
eva
l
ue
.
c:
a
dd
c
o
mment
commit
|
commitdiff
|
tree
2007-02-16
Sven Ve
r
d
oola
e
ge
eval
u
e
.
c
:
add
function for checking
n
esting of
a
n evalue
commit
|
commitdiff
|
tree
2007-02-16
S
v
e
n
Verd
o
olaege
evalue
.
c:
a
dd missi
n
g
t
e
rms reorderin
g
s in eva
l
ue_range_redu
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoolae
g
e
evalue
.
c: make arguments o
f
eequa
l
and evalue
_
den
o
m
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdool
a
ege
barvinok
_
enumerate_e: add
--
v
erbose option
commit
|
commitdiff
|
tree
2007-02-16
Sven
V
erdoolaege
be
r
nst
e
i
n
:
ma
r
k ar
g
u
m
ent
o
f
v
alue2numeric const
commit
|
commitdiff
|
tree
2007-02-16
Sven Ver
d
oolaege
bernst
e
in
.
cc: add (opti
o
na
l
)
options argument to evalu
e
_bern
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven Ve
r
d
oolaege
add missing virtual
d
es
t
ru
c
t
ors
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoolaege
genfun
.
cc: rename struct
c
one
to
a
void conflict with
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven Verd
o
olaege
d
o
c:
integer points in the
f
u
n
damental
parallelepiped
.
.
.
commit
|
commitdiff
|
tree
2007-02-14
S
ven V
e
rdoo
l
aege
veri
f
_ehrhart
.
c: clean up indentat
i
on
commit
|
commitdiff
|
tree
2007-02-14
Sven Ver
d
o
ola
e
ge
verif_ehrhart: opt
i
ona
l
l
y continue on error
commit
|
commitdiff
|
tree
2007-02-14
Sv
e
n
Verdoolaege
verif_ehrhart: c
o
m
bine
c
hec
k
_p
o
ly fr
o
m barvinok
_
enumerate
_
e
.
cc
commit
|
commitdiff
|
tree
2007-02-14
Sve
n
Verd
o
olaege
v
e
rif_ehrhart
.
c: check lower and upper polynomial app
r
oximations
commit
|
commitdiff
|
tree
2007-02-14
Sven V
e
r
do
o
laege
verify
.
h: move b
a
rvinok_opt
i
ons into veri
f
y_opt
i
ons
commit
|
commitdiff
|
tree
2007-02-14
Sv
e
n Verdoola
e
g
e
barvi
n
ok_enumerat
e
: pas
s
p
arame
t
er names
to check_poly
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoolaeg
e
barvinok_e
n
u
m
erate
:
more polynommial appro
x
imations
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoolaeg
e
e
value
.
c: add evalue_
f
rac2polyn
o
mial
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoolae
g
e
e
v
alue
.
c: extract evalue_spli
t
_doma
i
ns_in
t
o_orthants
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoolaege
polysign
.
c: fix cdd_polyhed
r
o
n
_affine_sign prototyp
e
commit
|
commitdiff
|
tree
2007-02-12
Sve
n
Verdoolaege
M
a
k
efile: only
check lexm
i
n
if it has been co
m
piled
commit
|
commitdiff
|
tree
2007-02-12
S
ven Verdoolaeg
e
add Param_Polyhedron_Sc
a
le_Integ
e
r prototype
commit
|
commitdiff
|
tree
2007-02-12
Sve
n
Verdoo
l
aege
lattice_point
.
cc: add
s
ani
t
y chec
k
for i
n
dex of cone
commit
|
commitdiff
|
tree
2007-02-12
S
ven Verdo
o
la
e
ge
test: initial
i
z
e
nbM
a
t
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoolaege
barvinok_enumerate: optio
n
a
lly compu
t
e a polyn
o
m
i
al
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
S
v
en Ver
d
oola
e
ge
Provide replacement for new Po
l
yLib
f
unction Pa
r
am_Polyhedro
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoolae
g
e
add eva
l
ue_div (ad
a
pted from PolyLib)
commit
|
commitdiff
|
tree
2007-02-12
S
v
en
V
erdoola
e
ge
te
s
t:
simple t
e
st for PolyLi
b
's Smi
t
h
commit
|
commitdiff
|
tree
2007-02-12
S
v
e
n
Verdoolaege
Makefile
.
am: add
d
ependencies f
o
r ch
e
c
k
s
commit
|
commitdiff
|
tree
2007-02-11
Sven Ver
d
o
o
laege
ge
n
fu
n
.
cc
:
short_rat::nor
m
alize: micro-optim
i
zations
commit
|
commitdiff
|
tree
2007-02-11
S
ven Verdoolaege
Q
Q: canonica
l
ize
on read and multiplication
commit
|
commitdiff
|
tree
2007-02-09
S
v
en Verdoolaege
doc: b
a
r
vi
n
ok_series re
q
uires polyhedron to have *rev
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sve
n
Verdoolaege
Makefile
.
am: check barvinok_
e
numera
t
e --series during
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sv
e
n Verdoolaege
b
arvinok_enumera
t
e
:
c
ompute s
e
rie
s
of polyhedra with
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sven Verdoo
l
aege
util
.
c: move P
o
lyhedro
n
_has_p
o
sit
i
ve
_
rays from barvinok
.
cc
commit
|
commitdiff
|
tree
2007-02-09
Sv
e
n Verdoolaege
test all specialization algorithms durin
g
make
c
heck
commit
|
commitdiff
|
tree
2007-02-09
Sven Verdoo
l
aege
pa
s
s
o
ptions through
t
o barvi
n
ok_co
u
nt in barvinok_e
n
umerate
.
.
.
commit
|
commitdiff
|
tree
2007-02-08
Sven
Verdoolaege
Handle
n
o
n-u
n
imodular cone
s
in dual dec
o
mpo
s
i
tion
commit
|
commitdiff
|
tree
2007-02-08
Sven Verdoolae
g
e
barvinok_st
a
ts: renam
e
unim
o
dular_con
e
s
to
base
_
cone
s
commit
|
commitdiff
|
tree
2007-02-08
Sv
e
n V
e
r
d
oolaege
r
educer
.
c
c: extra sa
n
ity che
c
ks
commit
|
commitdiff
|
tree
2007-02-08
Sv
e
n
Verdoolaege
Ha
n
dle non-un
i
modular cone
s
with
a
specified maxim
a
l
.
.
.
commit
|
commitdiff
|
tree
2007-02-07
Sven Verd
o
olaege
dec
o
mposer
.
cc:
d
ecompose: minor cle
a
n-up
commit
|
commitdiff
|
tree
2007-02-06
Sven
Verdoolaeg
e
barv
i
nok
_
options: include pointer
t
o bar
v
inok_stats
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sven Ve
r
doolaege
add b
a
rvinok_o
p
tions_
f
ree
commit
|
commitdiff
|
tree
2007-02-06
Sve
n
Verdoolae
g
e
barvinok_enumerate: col
l
e
ct
stats on number
of unimod
u
lar
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sven Ver
d
oolaege
dec
o
mposer
.
cc: po
l
ar
_
deco
m
pose: r
e
m
ove comm
o
n
divi
s
o
r
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sven Ve
r
doola
e
ge
partial_
r
educer: spec
i
alize
lis
t
version
o
f base
commit
|
commitdiff
|
tree
2007-02-05
Sve
n
V
erdoolaege
reducer::red
u
ce: better handling of terms with
c
ommon
.
.
.
commit
|
commitdiff
|
tree
2007-02-05
Sven Verdoolae
g
e
reducer::reduce: combin
e
nume
r
ators wi
t
h equal unred
u
ced
.
.
.
commit
|
commitdiff
|
tree
2007-02-03
Sven Verdoo
l
aege
QQ: add operator for multiplicatio
n
of vector by
a
.
.
.
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolae
g
e
reducer::reduce
:
take
a
list of n
u
merators as input
commit
|
commitdiff
|
tree
2007-02-02
Sve
n
V
erdo
o
lae
g
e
gen_fun::
r
ead: read gen_fun from file
d
e
s
criptor
commit
|
commitdiff
|
tree
2007-02-02
Sven Ver
d
ool
a
ege
add gen_fun::add(short_r
a
t *r
)
commit
|
commitdiff
|
tree
2007-02-02
Sven
Verdool
a
ege
NTL_QQ
.
c
c:
s
u
pport re
a
ding
f
rom st
r
eam
commit
|
commitdiff
|
tree
2007-02-02
Sven V
e
rdoolaege
gen
_
fun: add op
e
r
a
tor for
p
ri
n
ting
to stre
a
m
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdo
o
laege
gen
f
un
.
cc
:
a
dd short_rat c
o
py constructor
commit
|
commitdiff
|
tree
2007-02-02
Sven
V
erdo
o
la
e
ge
dpo
l
y_r:
m
i
c
ro-opt
i
mizatio
n
s
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolae
g
e
dpoly: mark
s
ome mor
e
ar
g
uments/m
e
thods const
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdo
o
laege
short_rat::
a
dd:
mark short_
r
a
t
argum
e
nt const
commit
|
commitdiff
|
tree
2007-02-02
Sven V
e
rdoolae
g
e
N
T
L_QQ: attempt to spee
d
-up += opera
t
or
commit
|
commitdiff
|
tree
2007-02-02
Sven
V
erdoo
l
aege
dpoly
:
add some
d
ocument
a
tion
commit
|
commitdiff
|
tree
2007-02-02
Sven Verd
o
olaege
dpo
l
y: add some
more op
e
r
a
tions
commit
|
commitdiff
|
tree
2007-02-02
Sven
Verdoola
e
ge
b
arv
i
nok/genfun
.
h:
f
ix comment
commit
|
commitdiff
|
tree
next