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
barvinok_maximize: read domains with UNIONs
2007-02-26
S
v
en Verdoola
e
g
e
ba
r
vinok_
m
aximize: read domains with UNIONs
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdoo
l
a
e
g
e
use GiNaC cflags
a
nd libs
commit
|
commitdiff
|
tree
2007-02-23
Sven Verdoola
e
g
e
barvinok_maximiz
e
: optionally
call
e
valu
e
_spli
t
_periods
commit
|
commitdiff
|
tree
2007-02-23
Sven Ve
r
doolaege
evalue
.
c: add evalue_split_pe
r
iods
commit
|
commitdiff
|
tree
2007-02-23
Sven
Verdool
a
ege
util
.
c: value
_
lc
m
: mark arguments
co
n
st
commit
|
commitdiff
|
tree
2007-02-23
Sven
V
er
d
o
olaege
evalue
.
c: pol
y
nomial_proje
c
tion: allow
N
ULL R
a
rgument
commit
|
commitdiff
|
tree
2007-02-23
Sven V
e
rdoola
e
ge
evalue
.
c: ex
t
ract fiddlin
g
with coefficient
s
out of
.
.
.
commit
|
commitdiff
|
tree
2007-02-22
Sven Verdoolaege
evalue_be
r
nstein_coefficients: handle e
a
c
h
coset
o
f
.
.
.
commit
|
commitdiff
|
tree
2007-02-21
Sven Verdoo
l
aege
barvinok
_
max
i
mize:
read e
v
a
l
ues with period
i
cs
commit
|
commitdiff
|
tree
2007-02-21
Sven Verdo
o
l
a
ege
evalue_bernstein_coe
f
fi
c
ients:
handle perio
d
ics
i
n
.
.
.
commit
|
commitdiff
|
tree
2007-02-21
S
ven Verdoolaege
bernstein: berns
t
einE
x
pansion:
accept list of polynom
i
als
commit
|
commitdiff
|
tree
2007-02-19
Sven Verdoolaege
barvinok_maximi
z
e
:
make e
v
alue parse a little bit more
.
.
.
commit
|
commitdiff
|
tree
2007-02-19
Sv
e
n
V
e
rdoolaege
barvinok_enumerate*: be le
s
s chat
t
y
by default
commit
|
commitdiff
|
tree
2007-02-19
Sven Verdoolaege
count/enum
e
rate: warn if input is a union
commit
|
commitdiff
|
tree
2007-02-19
Sven Verdoolaege
DomainIncludes: detect more c
a
ses +
a
dapt
d
ocume
n
tation
commit
|
commitdiff
|
tree
2007-02-19
Sv
e
n Verdoolaeg
e
evalue_bernstein_c
o
efficient
s
: handl
e
f
ra
c
tiona
l
s i
n
.
.
.
commit
|
commitdiff
|
tree
2007-02-19
Sve
n
Verdoo
l
aege
eval
u
e
_bernstein_coeff
i
cients: handle fl
o
o
ring
s
in
.
.
.
commit
|
commitdiff
|
tree
2007-02-18
Sven
Verdoolae
g
e
b
a
r
vinok_max
i
mi
z
e: new tool for
m
aximizin
g
p
iecewise
.
.
.
commit
|
commitdiff
|
tree
2007-02-17
Sven Verdoolaege
evalue
.
c
:
evalue_frac2poly
n
o
m
ial: improve acc
u
racy
commit
|
commitdiff
|
tree
2007-02-16
Sven V
e
rdoolaege
evalue
.
c
:
add comment
commit
|
commitdiff
|
tree
2007-02-16
Sven Ver
d
oolaege
e
va
l
ue
.
c:
add
f
unction for c
h
e
c
ki
n
g nestin
g
of an evalue
commit
|
commitdiff
|
tree
2007-02-16
Sven
V
e
rdoolaege
evalue
.
c: add missing terms reorderings in evalu
e
_ran
g
e_redu
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven V
e
rdoolaege
evalue
.
c: make arguments
of eequal and ev
a
lue_denom
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven
Verdoolaege
barvinok_enum
e
r
a
te_e: add
-
-ve
r
bose option
commit
|
commitdiff
|
tree
2007-02-16
Sven
Verdool
a
ege
bernste
i
n
: mark a
r
g
u
m
ent of value2
n
um
e
ric
c
o
nst
commit
|
commitdiff
|
tree
2007-02-16
Sv
e
n Verdoolaege
bernst
e
in
.
cc: add (
o
ptional) op
t
i
o
ns a
r
gument to evalue_bern
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoola
e
ge
a
d
d missing virtual destructors
commit
|
commitdiff
|
tree
2007-02-16
Sve
n
Verdool
a
eg
e
genfun
.
cc: rename str
u
ct cone to avo
i
d
confli
c
t wi
t
h
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoolaege
doc:
integer po
i
n
t
s
in the f
u
ndamental parallelepiped
.
.
.
commit
|
commitdiff
|
tree
2007-02-14
Sven V
e
rdool
a
e
ge
v
erif
_
ehr
h
a
rt
.
c: clean up indentation
commit
|
commitdiff
|
tree
2007-02-14
Sven
Ve
r
doolaege
verif_ehrhart: optionally continue on error
commit
|
commitdiff
|
tree
2007-02-14
Sven
V
erdo
o
laege
v
e
rif_ehrh
a
rt: combine check_poly
f
r
o
m
barv
i
nok_enumer
a
te_e
.
cc
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoolaege
v
e
rif_e
h
rhart
.
c: check
lower and upper polynomial approximati
o
ns
commit
|
commitdiff
|
tree
2007-02-14
Sv
e
n V
e
rdoola
e
ge
v
e
rify
.
h:
m
ove barv
i
nok
_
opt
i
ons
i
n
t
o verify_o
p
t
i
ons
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoola
e
ge
barvinok_enumera
t
e: pass
p
ar
a
meter names to
c
he
c
k_poly
commit
|
commitdiff
|
tree
2007-02-14
S
ven
V
erdoolaege
barvinok_enumerate:
m
ore polyno
m
mial approx
i
matio
n
s
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoolaege
e
v
alue
.
c:
add evalue_frac2polynomial
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoola
e
ge
evalue
.
c: ext
r
a
ct
evalue_s
p
lit_domains_into_orthants
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoolaege
polysign
.
c: fix cdd
_
poly
h
edron_affin
e
_sign pr
o
to
t
ype
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoolaege
M
akef
i
le: only check lexmin if it has been compiled
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoolaege
add Param_Polyhedron_Scale_Integer prototy
p
e
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdo
o
laege
lattice_
p
o
in
t
.
cc: add san
i
t
y
c
h
ec
k
for
i
ndex of cone
commit
|
commitdiff
|
tree
2007-02-12
S
v
en
V
e
r
d
ool
a
ege
test: initialize nbM
a
t
commit
|
commitdiff
|
tree
2007-02-12
Sven
Verdoolaege
barvin
o
k_enumerate: optionally compute
a
po
l
yn
o
mial
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
S
v
en Verdoolaeg
e
P
r
o
v
i
de replacement
for
n
e
w
Pol
y
Lib function Pa
r
a
m
_Po
l
yhe
d
ro
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
S
v
en Verdoolaege
add evalue_div (ada
p
ted
from PolyLib
)
commit
|
commitdiff
|
tree
2007-02-12
Sv
e
n Verdoolaege
t
e
st:
simple test for PolyLib
'
s Sm
i
th
commit
|
commitdiff
|
tree
2007-02-12
Sven Ver
d
oolaege
Makef
i
le
.
am:
a
d
d
de
p
endencies fo
r
check
s
commit
|
commitdiff
|
tree
2007-02-11
Sven Ver
d
oolaege
genfun
.
cc
:
sh
o
r
t_rat::no
r
malize: mic
r
o
-
optimizations
commit
|
commitdiff
|
tree
2007-02-11
Sven
Ver
d
oolaege
QQ: canonicaliz
e
on r
e
a
d
and multipli
c
ati
o
n
commit
|
commitdiff
|
tree
2007-02-09
Sven
V
e
rdoolaege
doc: bar
v
i
n
ok_series requir
e
s
p
o
ly
h
edron to have *rev
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sven V
e
rdoolaege
Makefile
.
am
:
check barvinok_enumerate --se
r
ies during
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
S
ven Verdoolaege
barvin
o
k_enumerate: compute series of polyhedra wit
h
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
S
ven Verdoolae
g
e
util
.
c: move Polyhedron_has_posit
i
ve_ra
y
s
from barvinok
.
cc
commit
|
commitdiff
|
tree
2007-02-09
Sve
n
Verdoolaege
te
s
t all specializat
i
on al
g
o
r
ithms duri
n
g make
ch
e
ck
commit
|
commitdiff
|
tree
2007-02-09
Sven Verdool
a
ege
pass o
p
t
i
ons
t
hrough to barvinok_count in barvinok_enumerate
.
.
.
commit
|
commitdiff
|
tree
2007-02-08
Sven Ver
d
oola
e
g
e
H
a
ndle non-unimodular cones i
n
dual decom
p
ositio
n
commit
|
commitdiff
|
tree
2007-02-08
Sv
e
n Ver
d
oolaege
barvinok_st
a
ts:
r
ename unimodular_cones to base_cones
commit
|
commitdiff
|
tree
2007-02-08
Sven
Verdoola
e
g
e
reducer
.
cc: extra sanit
y
checks
commit
|
commitdiff
|
tree
2007-02-08
Sven Ver
d
o
olaege
H
and
l
e non-unim
o
dular con
e
s
with a speci
f
ied maximal
.
.
.
commit
|
commitdiff
|
tree
2007-02-07
S
v
en V
e
rdoolaeg
e
decomposer
.
cc: d
e
comp
o
se: minor clean-up
commit
|
commitdiff
|
tree
2007-02-06
Sv
e
n Verdoolaege
barvinok_options: in
c
lude pointer
t
o b
a
rvinok_stats
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
S
ven Ve
r
do
o
laege
add barvinok_option
s
_free
commit
|
commitdiff
|
tree
2007-02-06
Sven Ver
d
ool
a
ege
barvinok_enumerat
e
:
collec
t
stats on number of unimo
d
ular
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sven Verdoolaege
decomposer
.
cc: polar
_
decompose:
r
emove common
divisor
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sv
e
n Verdo
o
laege
p
a
rtial_reducer: specialize list version of base
commit
|
commitdiff
|
tree
2007-02-05
S
v
en
Verdoolaege
r
e
d
u
cer
:
:reduce: be
t
ter handling of terms with c
o
mmo
n
.
.
.
commit
|
commitdiff
|
tree
2007-02-05
Sven Ve
r
doolaege
re
d
ucer::r
e
duce: combine numerators
w
i
th equal un
r
e
duced
.
.
.
commit
|
commitdiff
|
tree
2007-02-03
Sv
e
n Ve
r
doolaege
QQ
:
ad
d
operator
f
or multiplic
a
tio
n
of vec
t
or by a
.
.
.
commit
|
commitdiff
|
tree
2007-02-02
S
ven
V
e
r
doolaege
reducer::reduce: take a list o
f
n
u
m
e
rators as input
commit
|
commitdiff
|
tree
2007-02-02
Sven V
e
rdoolaege
gen_fun::
r
ead
:
r
e
ad
g
en_fun
f
r
o
m
f
ile
descriptor
commit
|
commitdiff
|
tree
2007-02-02
S
ven Ver
d
oola
e
ge
add gen_
f
un::
a
d
d(
s
h
o
rt_r
a
t
*
r)
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
N
T
L_
Q
Q
.
cc: suppo
r
t
rea
d
ing from s
t
ream
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdool
a
ege
ge
n
_
fun: add
o
pe
r
ator f
o
r pri
n
ting to stream
commit
|
commitdiff
|
tree
2007-02-02
Sven V
e
rdoolaege
g
e
nfun
.
cc: add short_rat cop
y
const
r
u
cto
r
commit
|
commitdiff
|
tree
2007-02-02
Sven Ver
d
oolaege
dpoly_r: micro-optim
i
zations
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
dpol
y
:
m
ark
s
ome more argume
n
ts/
m
ethods cons
t
commit
|
commitdiff
|
tree
2007-02-02
Sven Ve
r
d
o
olaege
s
h
ort_rat
:
:add: mark sh
o
rt_ra
t
argument
c
onst
commit
|
commitdiff
|
tree
2007-02-02
Sv
e
n Ve
r
do
o
laege
NTL_QQ: attemp
t
to speed-up
+= operato
r
commit
|
commitdiff
|
tree
2007-02-02
Sven Ver
d
oolaege
dpoly:
add so
m
e d
o
cu
m
entation
commit
|
commitdiff
|
tree
2007-02-02
Sven
Verdoolae
g
e
d
poly:
a
dd
some mor
e
operati
o
ns
commit
|
commitdiff
|
tree
2007-02-02
S
ven Verdo
o
laege
barvinok/genfun
.
h: fix comment
commit
|
commitdiff
|
tree
2007-02-02
S
ven Verdoolaege
ad
d
.
gitignore
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoola
e
ge
QQ: add operator f
o
r mu
l
tipl
i
cation by a sc
a
la
r
(ZZ)
commit
|
commitdiff
|
tree
2007-01-18
Sven Verdoolaege
Makef
i
le
.
am: check-
s
e
ries: check --primal as w
e
ll
commit
|
commitdiff
|
tree
2007-01-16
Sven Ver
d
oolaege
Make
f
i
le
.
am: in
s
tall
(
so
m
e) bi
n
ari
e
s
commit
|
commitdiff
|
tree
2007-01-15
Sv
e
n V
e
rdoo
l
aege
undefine C
S
for S
o
laris
10
commit
|
commitdiff
|
tree
2007-01-14
Sven Verdoolaeg
e
barvi
n
ok_enumerate: hand
l
e line
s
in in
p
u
t
polyhedra
.
.
.
commit
|
commitdiff
|
tree
2007-01-10
Sven Verdoolae
g
e
u
t
il
.
c: mo
v
e lef
t
_
i
nve
r
se from lexmin
.
cc
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdool
a
ege
ge
n
_fun::
c
oefficient: mo
v
e printing to short_rat
commit
|
commitdiff
|
tree
2007-01-05
S
ven Verdoolaege
gen_fun::co
e
f
ficient: new versi
o
n returning ZZ
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdo
o
laege
g
e
nfun
.
cc
:
m
ove coefficient comput
a
tion
t
o short
_
rat
commit
|
commitdiff
|
tree
2007-01-05
Sven V
e
rdoolae
g
e
par
t
i
a
l_redu
c
e
r: resta
r
t computat
i
on if
random vector
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaeg
e
g
e
n_f
u
n: expose cl
e
ar_t
e
rms, a metho
d
f
o
r
c
l
earing
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoo
l
ae
g
e
g
e
n_fun::
H
adamard_product: p
r
o
pagate ful
l
opti
o
ns
t
o
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoola
e
ge
barv
i
no
k
_enumerate:
i
ntegrate ve
r
if_ehrhart
commit
|
commitdiff
|
tree
2007-01-05
Sv
e
n
Verdoolaege
barvin
o
k
_
enu
m
erate: inte
g
rate barvinok
_
series
commit
|
commitdiff
|
tree
2007-01-05
Sve
n
V
erd
o
ol
a
ege
barv
i
nok_enumerat
e
: use argp
commit
|
commitdiff
|
tree
2007-01-05
S
v
e
n
Ver
d
oolaege
le
x
min: make lexm
i
n options
pri
v
ate
commit
|
commitdiff
|
tree
2007-01-05
Sven V
e
r
d
oolaege
Re
v
ert "bernstein
/
conf
i
gure
.
in: remov
e
redundant change
.
.
.
commit
|
commitdiff
|
tree
next