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
bernstein_coefficients: factorize domain if possible
2007-03-01
Sven Verdoolaege
bernstei
n
_
coe
f
ficients
:
factorize doma
i
n if pos
s
ible
commit
|
commitdiff
|
tree
2007-03-01
S
v
en Ver
d
oo
l
aege
Polyhedron_Factor:
o
ption
a
lly return
relation between
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sven Verdoo
l
aege
bernstein: ex
p
ort replaceVariab
l
esInPolynomial
commit
|
commitdiff
|
tree
2007-03-01
S
v
en
Verdoolaege
b
e
r
ns
t
e
in
.
cc:
e
value2ex: re
p
resent
f
rac
t
ion
a
l by scaled
.
.
.
commit
|
commitdiff
|
tree
2007-02-28
Sven Verdoolaege
barvinok_maximize:
fix ha
n
dlin
g
of UNION
s
i
n
domains
.
commit
|
commitdiff
|
tree
2007-02-28
Sven Verdoolaege
bernstein_coe
f
ficie
n
ts: sk
i
p
e
mpty subdomains
commit
|
commitdiff
|
tree
2007-02-28
Sven
V
erdool
a
ege
barvinok
_
maximize: fix detecti
o
n of end of domain specificati
o
n
commit
|
commitdiff
|
tree
2007-02-27
Sven Verdoolaege
barvinok_max
i
m
ize:
add inpu
t
conversion
commit
|
commitdiff
|
tree
2007-02-27
Sven V
e
rdoolae
g
e
evalue_co
n
vert: extracted
fr
o
m barv
i
no
k
_enum
e
rate and
.
.
.
commit
|
commitdiff
|
tree
2007-02-27
Sven Verdoolaege
ut
i
l
.
c:
move Polyhed
r
on_is_unbounded from bernste
i
n
.
cc
commit
|
commitdiff
|
tree
2007-02-26
Sve
n
Verdoolaege
bernstein_c
o
efficie
n
ts
:
skip infi
n
ite (sub)domains
commit
|
commitdiff
|
tree
2007-02-26
Sven
V
erdoolaege
ba
r
vinok_maximize:
l
et user
spe
c
ify variabl
e
s o
v
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-02-26
Sve
n
V
erdoo
l
aege
bernstein_
c
oeffic
i
ents: ski
p
computa
t
ions
if domain
.
.
.
commit
|
commitdiff
|
tree
2007-02-26
Sven
V
er
d
ool
a
ege
barvinok_maximize: fix
a
c
cess t
o
fr
e
ed memory
commit
|
commitdiff
|
tree
2007-02-26
Harald Devos
m
i
nimize as option of barv
i
no
k
_maxi
m
i
z
e
commit
|
commitdiff
|
tree
2007-02-26
Sven Ver
d
oolae
g
e
b
ernst
e
i
n/piecewise_ls
t
.
cpp: add minimize() metho
d
commit
|
commitdiff
|
tree
2007-02-26
Sven
V
erdoolaege
barvino
k
_ma
x
imize: r
e
ad domains with
UNIONs
commit
|
commitdiff
|
tree
2007-02-26
Sven Ver
d
oolaege
use GiNaC cf
l
ags and
l
ib
s
commit
|
commitdiff
|
tree
2007-02-23
Sven V
e
rdoolaege
barvi
n
ok_maximize: optionally call
eva
l
ue_s
p
lit_period
s
commit
|
commitdiff
|
tree
2007-02-23
Sven Verdoolaege
evalue
.
c: add eva
l
ue_sp
l
it_
p
eriods
commit
|
commitdiff
|
tree
2007-02-23
Sven V
e
r
d
oolaege
util
.
c:
v
alue_lcm: mark argume
n
ts const
commit
|
commitdiff
|
tree
2007-02-23
Sven Verdoola
e
ge
evalue
.
c
:
p
o
lynomial_projection: allow NULL R argu
m
ent
commit
|
commitdiff
|
tree
2007-02-23
Sven Verd
o
olaeg
e
evalue
.
c: extract fiddling
w
i
th coe
f
ficients out of
.
.
.
commit
|
commitdiff
|
tree
2007-02-22
S
ven V
e
rdoo
l
aege
ev
a
lue_bernstein_coe
f
ficients: ha
n
dle each coset of
.
.
.
commit
|
commitdiff
|
tree
2007-02-21
Sve
n
Verd
o
olaege
bar
v
i
nok_ma
x
i
m
ize: r
e
a
d
e
values with
per
i
odics
commit
|
commitdiff
|
tree
2007-02-21
Sv
e
n
Verdoolaege
evalue_b
e
rnstei
n
_
c
oeffi
c
ients:
h
a
ndle periodics in
.
.
.
commit
|
commitdiff
|
tree
2007-02-21
Sv
e
n Verdoolae
g
e
bernstein: be
r
nsteinExp
a
n
s
ion: a
c
cept list of p
o
l
y
n
o
mials
commit
|
commitdiff
|
tree
2007-02-19
Sven Ver
d
o
o
laeg
e
barvinok_maximiz
e
:
m
ake evalue pa
r
se a little bit
m
o
r
e
.
.
.
commit
|
commitdiff
|
tree
2007-02-19
S
ven Ve
r
doolaege
barvinok_enum
e
r
a
te*: be less
c
hatty by
default
commit
|
commitdiff
|
tree
2007-02-19
Sven Verdoolaege
cou
n
t/
e
numerate: warn if input
is a union
commit
|
commitdiff
|
tree
2007-02-19
Sven Verdoo
l
aege
D
omai
n
I
n
cludes:
d
etect more ca
s
es
+
a
d
apt documentation
commit
|
commitdiff
|
tree
2007-02-19
Sven Verdoola
e
g
e
e
v
alue
_
bernstein_coefficients:
handle fractionals in
.
.
.
commit
|
commitdiff
|
tree
2007-02-19
Sven Verdoo
l
aeg
e
evalue_
b
e
rnstein
_
coefficients: h
a
ndl
e
floo
r
ings in
.
.
.
commit
|
commitdiff
|
tree
2007-02-18
Sven V
e
rdoola
e
g
e
barvin
o
k_maximi
z
e: ne
w
too
l
for maximizing piecewise
.
.
.
commit
|
commitdiff
|
tree
2007-02-17
Sve
n
Ve
r
d
oolaege
evalue
.
c: ev
a
l
ue
_
frac2
p
o
l
ynomial: improve accuracy
commit
|
commitdiff
|
tree
2007-02-16
S
v
en V
e
r
d
oolaege
evalue
.
c: add
comment
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoolaege
evalu
e
.
c: add func
t
ion for checking nesting of an evalue
commit
|
commitdiff
|
tree
2007-02-16
S
v
en Verdoolaege
evalu
e
.
c: a
d
d missing term
s
reorderings i
n
eval
u
e_range_redu
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven V
e
rdoolaege
e
v
a
l
ue
.
c: make arguments of eequal and
evalue_denom
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven
Verdool
a
e
ge
ba
r
vinok_enumerate_e
:
add -
-
v
e
r
bos
e
option
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoolaege
ber
n
stein: mark arg
u
ment of value2numeric const
commit
|
commitdiff
|
tree
2007-02-16
S
v
e
n Verdo
o
laege
bernstein
.
cc: add (op
t
ional) opt
i
ons arg
u
m
e
nt
t
o evalue_ber
n
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven Verd
o
olaege
add missing virtua
l
destru
c
tors
commit
|
commitdiff
|
tree
2007-02-16
Sven
V
erdoola
e
g
e
genfun
.
cc
:
re
n
ame struct cone to avoid
c
on
f
lict with
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdool
a
ege
d
oc: int
e
ger po
i
nts in the fundam
e
n
t
al
parallelepi
p
ed
.
.
.
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoolaege
verif_
e
hrhart
.
c: clean up inden
t
ation
commit
|
commitdiff
|
tree
2007-02-14
S
v
e
n Verd
o
olaege
verif_
e
hrhart: o
p
t
ionally continue on error
commit
|
commitdiff
|
tree
2007-02-14
Sven V
e
rdool
a
ege
verif_ehrhart: combine
c
h
eck_poly
fro
m
barvinok_enumerate_e
.
cc
commit
|
commitdiff
|
tree
2007-02-14
S
v
en
Ve
r
doolaege
ver
i
f_
e
hrhart
.
c: check lower an
d
u
pper
p
o
ly
n
omial
approximations
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdool
a
ege
verify
.
h: m
o
v
e
barvinok_options into verify_options
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoolaege
barvinok_enumerate: pass parameter names to
c
h
eck_p
o
ly
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoolaege
b
a
rvinok_enumera
t
e
:
more polynommial ap
p
roximations
commit
|
commitdiff
|
tree
2007-02-14
Sven
V
er
d
oolae
g
e
evalue
.
c
:
add evalue
_
frac2polyn
o
m
i
al
commit
|
commitdiff
|
tree
2007-02-14
S
ven Verdoo
l
aeg
e
evalue
.
c: extract
e
val
u
e_sp
l
it_doma
i
n
s_into_orthan
t
s
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sve
n
Ver
d
oolaege
polys
i
gn
.
c: fi
x
cdd_polyhedron_
a
ffine
_
sign
p
r
ototype
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoolaege
M
akefile: only chec
k
lexmin if it h
a
s been compil
e
d
commit
|
commitdiff
|
tree
2007-02-12
Sven Ver
d
oolaege
a
d
d Par
a
m_Polyhedron_Scale
_
Intege
r
prototype
commit
|
commitdiff
|
tree
2007-02-12
Sven Ver
d
ool
a
ege
latti
c
e
_
po
i
nt
.
cc: add sa
n
ity chec
k
for i
n
dex of cone
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdool
a
ege
test: initialize nbMat
commit
|
commitdiff
|
tree
2007-02-12
S
v
en Ver
d
oolaege
b
a
rv
i
nok_enumerat
e
:
optionally compute a
p
olynomial
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sven Ver
d
o
olaege
P
r
o
vide r
e
place
m
ent fo
r
new PolyLib func
t
ion Pa
r
am
_
Polyhedro
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sven
V
erdoolaege
add evalue_d
i
v (adapted fro
m
P
o
ly
L
ib)
commit
|
commitdiff
|
tree
2007-02-12
S
v
en Ver
d
oolaege
test
:
simple test
fo
r
PolyLib's Smith
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdo
o
laege
Makefile
.
a
m: add dependencies for check
s
commit
|
commitdiff
|
tree
2007-02-11
Sven Verdoola
e
ge
ge
n
fun
.
cc: short_rat::nor
m
alize
:
micro-opt
i
m
i
zations
commit
|
commitdiff
|
tree
2007-02-11
Sven
V
e
r
d
o
olaege
QQ: canonicalize on r
e
ad
an
d
multiplic
a
tion
commit
|
commitdiff
|
tree
2007-02-09
Sven Verdoolaeg
e
doc
:
barvinok_ser
i
es
requires pol
y
he
d
ron to ha
v
e
*
r
ev
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sv
e
n Verdoolaege
M
a
kefi
l
e
.
am: check barvinok_enumer
a
te --seri
e
s
d
uring
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
S
ven Verdoolaege
barvinok_enumerate: compute
s
eries of
po
l
yhed
r
a with
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sven Verdo
o
l
a
ege
util
.
c:
mov
e
P
o
lyh
e
dron_ha
s
_pos
i
tive_rays from barvino
k
.
cc
commit
|
commitdiff
|
tree
2007-02-09
Sven V
e
rd
o
olaege
test
all specializat
i
on algori
t
hm
s
du
r
ing make check
commit
|
commitdiff
|
tree
2007-02-09
Sven Verdoolaege
pass options through to
barvi
n
ok_count in
barvin
o
k_
e
numer
a
te
.
.
.
commit
|
commitdiff
|
tree
2007-02-08
S
v
en Verdoolaege
H
an
d
le
n
on
-
unimodul
a
r
cones in dual
d
ecomposition
commit
|
commitdiff
|
tree
2007-02-08
Sven Verd
o
ola
e
g
e
barvinok_stats
:
rena
m
e unimodular_cones to base_cones
commit
|
commitdiff
|
tree
2007-02-08
Sv
e
n Ver
d
oolaege
r
educer
.
cc:
e
xtra sanity check
s
commit
|
commitdiff
|
tree
2007-02-08
S
v
en
Verdoola
e
ge
H
a
ndle non-unimodular con
e
s
w
i
th a spec
i
fied
m
a
ximal
.
.
.
commit
|
commitdiff
|
tree
2007-02-07
Sven
V
erdoola
e
ge
decomposer
.
cc: decompose: minor clean-up
commit
|
commitdiff
|
tree
2007-02-06
S
v
en Verdoolae
g
e
b
arvinok_options: i
n
clude pointer to barvinok_stats
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sve
n
V
e
r
doolaege
add
b
arvinok_option
s
_free
commit
|
commitdiff
|
tree
2007-02-06
Sv
e
n Verdoola
e
ge
ba
r
vinok_e
n
u
merate:
coll
e
ct stats on number of unimodular
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sven V
e
rdoolaege
decompo
s
er
.
cc: polar_
d
eco
m
p
ose: remo
v
e
c
o
mmon d
i
v
i
sor
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sve
n
Ver
d
ool
a
ege
partial
_
re
d
u
c
er: spe
c
iali
z
e lis
t
version of
base
commit
|
commitdiff
|
tree
2007-02-05
S
v
en
V
erdoolaege
reducer::re
d
u
c
e
:
better hand
l
ing of te
r
ms
w
ith common
.
.
.
commit
|
commitdiff
|
tree
2007-02-05
Sven Verd
o
olaege
reduc
e
r::re
d
u
ce: combine nume
r
ators with equ
a
l un
r
ed
u
c
ed
.
.
.
commit
|
commitdiff
|
tree
2007-02-03
Sve
n
Verdoolaege
QQ: add o
p
erator for multipl
i
cat
i
on
o
f vec
t
or by
a
.
.
.
commit
|
commitdiff
|
tree
2007-02-02
Sv
e
n Verdoolaege
reducer:
:
reduce: ta
k
e a list of
n
u
m
erators
a
s input
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
gen_fun::read
:
read
g
e
n_
f
un from
f
ile
d
escriptor
commit
|
commitdiff
|
tree
2007-02-02
Sven V
e
rdoolaege
add gen_f
u
n
:
:add(short_r
a
t
*r)
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
NT
L
_QQ
.
cc: support readi
n
g
f
r
om stream
commit
|
commitdiff
|
tree
2007-02-02
S
v
en Verdoolaege
gen_f
u
n: add operator for printing to stream
commit
|
commitdiff
|
tree
2007-02-02
S
v
e
n Verdoo
l
aege
genf
u
n
.
cc
:
add short
_
rat cop
y
c
o
nstructo
r
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
d
poly_r: micro
-
optimizations
commit
|
commitdiff
|
tree
2007-02-02
Sven
V
erdoolaege
d
p
o
l
y: mark some more
arguments
/
method
s
c
onst
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
sho
r
t_rat::add: mark short_rat argument const
commit
|
commitdiff
|
tree
2007-02-02
Sven
V
erdoolaege
NTL_
Q
Q: attempt to spee
d
-
u
p +=
o
p
erator
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdool
a
eg
e
dpoly: a
d
d some document
a
ti
o
n
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaeg
e
d
p
oly: add some more oper
a
tio
n
s
commit
|
commitdiff
|
tree
2007-02-02
S
ven
V
erd
o
olaege
barvinok/
g
enfun
.
h: f
i
x comm
e
nt
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
a
d
d
.
g
itignore
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
QQ: add operator fo
r
multiplic
a
t
i
on by
a scalar (ZZ)
commit
|
commitdiff
|
tree
next