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_convert: support printing a quasi-polynomialas a list of polynomials
2007-03-02
S
v
en
Verdoolaege
evalue
_
conve
r
t: s
u
pport printing a quasi-polynomi
a
las
.
.
.
commit
|
commitdiff
|
tree
2007-03-02
Sven
V
erdo
o
laege
lattice_
p
oint
.
h: make self-contained
commit
|
commitdiff
|
tree
2007-03-02
Sven Verdoolaege
evalue
.
c: extract evalue_extract
_
affin
e
fr
o
m
b
ernstein
.
cc
commit
|
commitdiff
|
tree
2007-03-02
S
v
en Verdo
o
l
a
ege
b
ernstein
.
cc:
b
ernstein_coefficients_product:
no need
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sven Verdo
o
la
e
g
e
b
ernstein_coefficients: o
p
tionally optimize during
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sven Ver
d
oolaege
bern
s
tein
_
c
o
effic
i
e
nts:
factorize domain if possible
commit
|
commitdiff
|
tree
2007-03-01
Sve
n
V
e
rdoolaege
Polyhedr
o
n_Factor: optionally return rela
t
ion between
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sven Verdoolaege
b
e
r
nst
e
in: export replaceVariablesInP
o
lyn
o
mia
l
commit
|
commitdiff
|
tree
2007-03-01
Sven Verdoolaege
ber
n
ste
i
n
.
cc: evalue2ex: rep
r
esent fra
c
t
ional by scale
d
.
.
.
commit
|
commitdiff
|
tree
2007-02-28
S
ven
V
erdoo
l
aege
barvino
k
_ma
x
imize:
f
ix han
d
ling of UNIONs in d
o
mains
.
commit
|
commitdiff
|
tree
2007-02-28
Sven
Verd
o
ola
e
ge
bernstein_coeffic
i
e
n
ts:
s
kip empty subdomains
commit
|
commitdiff
|
tree
2007-02-28
Sven
V
erdoola
e
ge
ba
r
vinok_maxi
m
ize: fix detection
of
e
nd of domain
s
pecification
commit
|
commitdiff
|
tree
2007-02-27
Sve
n
Verdoolaeg
e
barvinok_maxim
i
ze: add input con
v
ersion
commit
|
commitdiff
|
tree
2007-02-27
Sven Verdoolaege
evalue_convert:
e
xtrac
t
e
d
from barvi
n
ok_enumera
t
e and
.
.
.
commit
|
commitdiff
|
tree
2007-02-27
Sven Ver
d
o
o
laege
u
til
.
c
:
move Polyhedron
_
i
s
_unbounded from
bernste
i
n
.
cc
commit
|
commitdiff
|
tree
2007-02-26
Sven
Verd
o
o
laege
ber
n
ste
i
n_coeffici
e
nts: skip infinite (
s
ub
)
do
m
ains
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdoo
l
aege
ba
r
vinok_maximi
z
e: let user specify variabl
e
s
o
ver
.
.
.
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdoola
e
g
e
bernstein_coeff
i
c
i
ents: skip computations if domain
.
.
.
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdoolaege
barvinok_maxim
i
ze:
f
i
x
a
ccess to f
r
e
ed m
e
m
o
ry
commit
|
commitdiff
|
tree
2007-02-26
Sven
V
erdoolaege
ber
n
stein/piecew
i
se_lst
.
cpp: add minimiz
e
() metho
d
commit
|
commitdiff
|
tree
2007-02-26
S
ven Verdoolaege
barvinok_ma
x
imize: read d
o
mains with UNIONs
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdoolaege
us
e
GiNaC cflags and libs
commit
|
commitdiff
|
tree
2007-02-23
Sven Ve
r
d
o
olaege
b
arvinok_maximize:
o
ptionally cal
l
evalue_split_pe
r
iods
commit
|
commitdiff
|
tree
2007-02-23
Sven V
e
rdoolaege
evalue
.
c: add evalue_split_periods
commit
|
commitdiff
|
tree
2007-02-23
Sven V
e
rdoolaege
ut
i
l
.
c
:
v
a
lue_lcm: mark
a
rg
u
ments const
commit
|
commitdiff
|
tree
2007-02-23
Sven Verd
o
o
laege
e
value
.
c: polynom
i
al_pro
j
e
ction: allow
NULL R
a
rgument
commit
|
commitdiff
|
tree
2007-02-23
Sven Ver
d
oola
e
ge
evalue
.
c
:
extract fiddling with coefficients ou
t
of
.
.
.
commit
|
commitdiff
|
tree
2007-02-22
S
v
en
V
er
d
oolaege
eval
u
e
_
b
ernstein_coefficients: handle eac
h
coset of
.
.
.
commit
|
commitdiff
|
tree
2007-02-21
S
ven
Verdoolaege
bar
v
i
n
o
k_maximize
:
read eva
l
ues
w
ith
p
eriodics
commit
|
commitdiff
|
tree
2007-02-21
Sv
e
n Verdoolaege
evalue_bernst
e
i
n
_coefficients: handle periodics in
.
.
.
commit
|
commitdiff
|
tree
2007-02-21
Sve
n
Ve
r
dool
a
ege
bern
s
tei
n
: bernsteinExpan
s
ion:
a
c
cept list of p
o
lyno
m
ials
commit
|
commitdiff
|
tree
2007-02-19
Sven Verdoolaege
barvinok_maximize: make
e
va
l
u
e
parse a little bit more
.
.
.
commit
|
commitdiff
|
tree
2007-02-19
Sven Ver
d
oo
l
aege
barvinok_enumerat
e
*
:
b
e less chatty by def
a
ult
commit
|
commitdiff
|
tree
2007-02-19
Sven
V
erdoolaege
co
u
nt/e
n
umerate: w
a
rn if input i
s
a union
commit
|
commitdiff
|
tree
2007-02-19
Sve
n
Ver
d
oola
e
ge
D
oma
i
n
Include
s
: dete
c
t more cases
+
adapt
d
ocumentation
commit
|
commitdiff
|
tree
2007-02-19
Sven Verdoolaege
e
v
alue_bernst
e
in_co
e
fficients: handle fraction
a
ls in
.
.
.
commit
|
commitdiff
|
tree
2007-02-19
Sven Ver
d
oolaege
evalue
_
berns
t
ein_coefficie
n
t
s
: hand
l
e flooring
s
in
.
.
.
commit
|
commitdiff
|
tree
2007-02-18
Sven Ver
d
oo
l
aege
b
arvinok_maximize: new tool for ma
x
im
i
zing pie
c
ewise
.
.
.
commit
|
commitdiff
|
tree
2007-02-17
Sven
Verdoolaege
evalue
.
c
:
e
v
alue_frac2polyno
m
ial: i
m
prove accuracy
commit
|
commitdiff
|
tree
2007-02-16
S
v
en Verdoolaege
e
value
.
c:
a
dd
c
omment
commit
|
commitdiff
|
tree
2007-02-16
Sven Verd
o
olaege
e
value
.
c: a
d
d
f
unction for checking nestin
g
of an
e
v
alue
commit
|
commitdiff
|
tree
2007-02-16
Sven Ver
d
oolaege
evalue
.
c: add
m
issing
term
s
reorder
i
ngs in evalue_ran
g
e_re
d
u
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
S
v
en Verdoola
e
ge
ev
a
lu
e
.
c: make arguments of eequal a
n
d evalue_denom
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven V
e
rdool
a
e
g
e
barv
i
nok_enumerate
_
e: add --verbose op
t
ion
commit
|
commitdiff
|
tree
2007-02-16
S
ven Verdoolaege
berns
t
ein: mark argument of
value2numeric c
o
nst
commit
|
commitdiff
|
tree
2007-02-16
Sven
Ve
r
doolaege
bernstein
.
cc: add (optional) options argument to evalue_bern
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoolae
g
e
add mis
s
ing virtual destructors
commit
|
commitdiff
|
tree
2007-02-16
Sve
n
Ver
d
oo
l
aege
genf
u
n
.
cc:
r
ename st
r
u
c
t
cone to avoid confl
i
ct w
i
th
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoolaege
doc
:
int
e
ger points in t
h
e fundam
e
ntal parallelepip
e
d
.
.
.
commit
|
commitdiff
|
tree
2007-02-14
Sve
n
Verd
o
olae
g
e
verif_ehr
h
art
.
c: clean up indentati
o
n
commit
|
commitdiff
|
tree
2007-02-14
Sv
e
n
Verdoolaege
verif_ehrhart: optionally continue on error
commit
|
commitdiff
|
tree
2007-02-14
Sve
n
V
e
rdoola
e
ge
v
e
rif
_
ehrh
a
rt
:
combine check_poly from barvinok_
e
n
u
merate_e
.
cc
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoolaege
verif_eh
r
hart
.
c
: check
lower and upper polynomial
a
p
proximations
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoolaege
verify
.
h: mo
v
e barvinok_op
t
i
o
ns in
t
o
v
erify_
o
ptions
commit
|
commitdiff
|
tree
2007-02-14
Sven
V
er
d
o
o
laege
b
arvinok_enum
e
rate:
p
ass parame
t
er names to
chec
k
_pol
y
commit
|
commitdiff
|
tree
2007-02-14
Sve
n
Verd
o
o
l
aege
barvinok_enumer
a
te: mor
e
p
o
lynommial
a
pproximations
commit
|
commitdiff
|
tree
2007-02-14
Sv
e
n Ve
r
doola
e
ge
evalue
.
c: add e
v
alue_frac2polyn
o
m
i
al
commit
|
commitdiff
|
tree
2007-02-14
Sven
V
erdoolaege
evalue
.
c: extract evalue_s
p
lit_domains_into_orthan
t
s
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoolaege
p
o
lysign
.
c
:
fix cdd_polyhedro
n
_aff
i
ne_sign pr
o
t
otype
commit
|
commitdiff
|
tree
2007-02-12
Sven
Verdo
o
laege
Makefile:
only check
l
exmin if
i
t
has been comp
i
led
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoolae
g
e
add Para
m
_Polyhedron_
S
cal
e
_In
t
eger prot
o
t
ype
commit
|
commitdiff
|
tree
2007-02-12
Sv
e
n Verdoola
e
ge
lat
t
ice_poi
n
t
.
cc: add sanity
c
heck for
i
ndex of cone
commit
|
commitdiff
|
tree
2007-02-12
Sven
V
er
d
oolaege
test: initialize nbMat
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdo
o
laege
barv
i
n
ok_enumerate: optionally co
m
pute
a
polynomia
l
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sven
Ve
r
doolae
g
e
Pro
v
ide replacement for
new PolyLib fu
n
ction Param_Po
l
y
h
edr
o
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sven
Verdoola
e
ge
a
d
d
evalue_div (adapted from
P
olyLib)
commit
|
commitdiff
|
tree
2007-02-12
Sven Ve
r
doo
l
aege
test: simple test
for PolyLi
b
'
s
Sm
i
th
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoola
e
ge
Make
f
ile
.
am: add dependenci
e
s for
c
hecks
commit
|
commitdiff
|
tree
2007-02-11
Sven Verdoolaege
genfun
.
cc
:
short_
r
at::
n
ormalize: micr
o
-optimizations
commit
|
commitdiff
|
tree
2007-02-11
S
v
en V
e
rdoolaege
QQ: canonicali
z
e on
read and mul
t
ipl
i
c
a
ti
o
n
commit
|
commitdiff
|
tree
2007-02-09
Sv
e
n Verdool
a
ege
doc
:
barvinok_series
requir
e
s polyhed
r
on
to have *rev
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sven
V
erdoolaege
Make
f
ile
.
am: chec
k
barvinok_enumerate
--series d
u
ring
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sven Verdoolaege
te
s
t all spec
i
al
i
zation
al
g
orit
h
ms during ma
k
e check
commit
|
commitdiff
|
tree
2007-02-09
S
v
en Verdoolaege
pas
s
options through to
b
arvinok_
c
o
u
nt in ba
r
v
inok_enumerate
.
.
.
commit
|
commitdiff
|
tree
2007-02-08
Sven
Verdoolaege
Hand
l
e non-unimodular cone
s
in dual deco
m
positio
n
commit
|
commitdiff
|
tree
2007-02-08
S
ven V
e
rdoolaeg
e
b
a
rvinok_s
t
ats: rename unimod
u
lar_cones to base
_
cones
commit
|
commitdiff
|
tree
2007-02-08
Sv
e
n Verdoolaege
redu
c
er
.
cc: extra
s
ani
t
y checks
commit
|
commitdiff
|
tree
2007-02-08
Sv
e
n Verdo
o
laege
Ha
n
dle n
o
n-unimodul
a
r cones wi
t
h a
speci
f
ied maximal
.
.
.
commit
|
commitdiff
|
tree
2007-02-07
Sven Verdoolaege
decomposer
.
cc
:
decompose: mi
n
or clean-up
commit
|
commitdiff
|
tree
2007-02-06
Sve
n
Verdo
o
laege
barvinok_options
:
incl
u
de pointer to barvinok_stat
s
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sven Verdoolaeg
e
a
d
d barvinok_options
_
f
ree
commit
|
commitdiff
|
tree
2007-02-06
Sven
V
e
r
doolaeg
e
b
a
rvinok_en
u
merate: co
l
lect stats o
n
number of unimodular
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sv
e
n Verdoolaege
decomposer
.
cc:
po
l
ar_decompose: remove c
o
mmon
divisor
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
S
ven Verd
o
olaege
par
t
i
al_reducer: specialize li
s
t version of
b
a
s
e
commit
|
commitdiff
|
tree
2007-02-05
Sv
e
n Verdo
o
laege
r
e
ducer::reduce: be
t
t
e
r handling of terms
w
it
h
c
ommon
.
.
.
commit
|
commitdiff
|
tree
2007-02-05
Sven Verdoolae
g
e
redu
c
er::reduce: combine num
e
rators with equal u
n
reduced
.
.
.
commit
|
commitdiff
|
tree
2007-02-03
Sven Verdo
o
laege
QQ
:
add oper
a
tor for multiplication o
f
vecto
r
by a
.
.
.
commit
|
commitdiff
|
tree
2007-02-02
Sv
e
n Ver
d
oolaege
re
d
ucer::r
e
duce
:
t
ake a list of numerators as i
n
put
commit
|
commitdiff
|
tree
2007-02-02
S
v
en Verdoo
l
aege
g
e
n_fun::rea
d
: read gen_fun f
r
om fil
e
de
s
criptor
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaeg
e
add ge
n
_fun
:
:add(short
_
r
a
t
*r)
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoola
e
ge
NTL_QQ
.
cc:
s
upport read
i
n
g from strea
m
commit
|
commitdiff
|
tree
2007-02-02
Sve
n
Ve
r
doo
l
a
ege
gen_f
u
n: add operator for printing t
o
s
tr
e
am
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoo
l
ae
g
e
genfu
n
.
cc: add short_rat copy construc
t
or
commit
|
commitdiff
|
tree
2007-02-02
Sven Ver
d
oolae
g
e
dpoly_
r
: micro-
o
ptimizations
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolae
g
e
d
po
l
y:
ma
r
k
some more argumen
t
s/met
h
ods const
commit
|
commitdiff
|
tree
2007-02-02
S
v
en Verdoolaege
short_r
a
t::add
:
m
a
rk sh
o
rt_
r
at argument const
commit
|
commitdiff
|
tree
2007-02-02
Sve
n
Verdoolaeg
e
NTL_QQ: attempt to speed-up += op
e
rator
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
dpol
y
:
a
d
d som
e
docum
e
nta
t
ion
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
dpoly: add
s
o
m
e
m
o
re op
e
rat
i
ons
commit
|
commitdiff
|
tree
2007-02-02
S
v
en Verdoolaege
barvinok/genfun
.
h:
fix com
m
ent
commit
|
commitdiff
|
tree
next