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
Sv
e
n Ver
d
o
o
laege
evalue_convert: supp
o
rt printing a quasi-poly
n
omialas
.
.
.
commit
|
commitdiff
|
tree
2007-03-02
S
v
en Ve
r
do
o
laege
l
attice_
p
o
int
.
h: make
self-con
t
aine
d
commit
|
commitdiff
|
tree
2007-03-02
Sven Verdoola
e
ge
evalue
.
c:
e
xtract eva
l
u
e_extract_affine
f
rom bernst
e
in
.
cc
commit
|
commitdiff
|
tree
2007-03-02
S
v
en Verdoolaege
bernstein
.
cc: bernst
e
in
_
coeffici
e
nts_product: n
o
nee
d
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sve
n
Verdoolaege
bern
s
tein_coefficients: optionally optimize during
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sve
n
Verdoolaege
be
r
nstein_coefficients
:
factorize domain if possible
commit
|
commitdiff
|
tree
2007-03-01
Sven Verdoolaege
Pol
y
h
e
dron_Factor: optionally re
t
u
r
n
relat
i
on
betw
e
en
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sve
n
Ve
r
doolaege
bernstei
n
:
export repla
c
eVariablesInPoly
n
omial
commit
|
commitdiff
|
tree
2007-03-01
Sven Verdoola
e
ge
be
r
n
s
tei
n
.
cc: evalue2
e
x: represe
n
t fract
i
o
n
al by
s
c
a
led
.
.
.
commit
|
commitdiff
|
tree
2007-02-28
Sven Verdo
o
laege
barvi
n
ok_maxim
i
ze: fix handling of U
N
IONs in domains
.
commit
|
commitdiff
|
tree
2007-02-28
Sven
V
e
rdoolaege
bernst
e
in_coeffi
c
ients: skip empty subdomains
commit
|
commitdiff
|
tree
2007-02-28
Sven V
e
rdoola
e
ge
ba
r
v
i
nok_maxi
m
ize: fix detect
i
on of end of do
m
ai
n
specificati
o
n
commit
|
commitdiff
|
tree
2007-02-27
Sven Ve
r
do
o
l
a
e
ge
b
arvinok_maxi
m
iz
e
: add inp
u
t conversion
commit
|
commitdiff
|
tree
2007-02-27
Sven Verdoolaege
e
value_conve
r
t: extracte
d
from b
a
rvinok_enumerate and
.
.
.
commit
|
commitdiff
|
tree
2007-02-27
S
v
en Verdool
a
ege
util
.
c:
mov
e
Polyhedron_is_unb
o
un
d
ed from ber
n
stei
n
.
cc
commit
|
commitdiff
|
tree
2007-02-26
Sven
Verdo
o
laege
b
e
rnstein_coefficien
t
s: skip i
n
finite (sub)do
m
ains
commit
|
commitdiff
|
tree
2007-02-26
Sven
V
erdoolaege
barvinok_maximize: let us
e
r
specify variab
l
es
over
.
.
.
commit
|
commitdiff
|
tree
2007-02-26
S
v
en Verdoolaege
b
erns
t
ein_c
o
efficient
s
:
skip
com
p
u
t
atio
n
s if
d
omain
.
.
.
commit
|
commitdiff
|
tree
2007-02-26
Sve
n
Verdoola
e
ge
barvinok
_
maximize:
fi
x
access to freed memor
y
commit
|
commitdiff
|
tree
2007-02-26
Ha
r
a
l
d Devos
minimize
a
s o
p
t
ion of barvinok_
m
aximize
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdoolaege
bernstein
/
piecewise_lst
.
cpp
:
add m
i
nimize() meth
o
d
commit
|
commitdiff
|
tree
2007-02-26
Sv
e
n Verdoolaege
b
arvinok
_
maximize: read domains with UNIONs
commit
|
commitdiff
|
tree
2007-02-26
Sven Ve
r
doolaege
use GiNaC cf
l
a
g
s and libs
commit
|
commitdiff
|
tree
2007-02-23
Sv
e
n Verdoolae
g
e
barvinok_maximize: optionall
y
cal
l
eval
u
e_split_pe
r
iods
commit
|
commitdiff
|
tree
2007-02-23
Sven Verdoolaeg
e
eva
l
u
e
.
c:
a
dd evalue_spli
t
_
peri
o
ds
commit
|
commitdiff
|
tree
2007-02-23
Sve
n
V
e
rdool
a
ege
ut
i
l
.
c: va
l
ue_
l
cm
:
mark argume
n
ts const
commit
|
commitdiff
|
tree
2007-02-23
Sv
e
n V
e
rdoolaege
e
v
alu
e
.
c:
p
olyn
o
mial
_
pro
j
ec
t
io
n
: allow NULL R argum
e
nt
commit
|
commitdiff
|
tree
2007-02-23
Sven Verd
o
ola
e
ge
evalue
.
c:
e
x
t
ract
fiddling
w
i
th coe
f
ficients out of
.
.
.
commit
|
commitdiff
|
tree
2007-02-22
Sven
V
er
d
oolaege
evalue_bernst
e
in_coeffici
e
nts: handle each coset of
.
.
.
commit
|
commitdiff
|
tree
2007-02-21
Sven Verd
o
olaege
b
a
r
vinok_maximiz
e
: read
e
v
alues with p
e
riodic
s
commit
|
commitdiff
|
tree
2007-02-21
S
v
en Verdoolaeg
e
evalue_be
r
nstein_coefficien
t
s
:
handle per
i
odics in
.
.
.
commit
|
commitdiff
|
tree
2007-02-21
Sven Verdoolaege
bernstein: bernsteinE
x
pansion:
a
ccept list of polynomials
commit
|
commitdiff
|
tree
2007-02-19
Sven V
e
rdoolae
g
e
barvino
k
_maximize: make evalue pars
e
a little bit more
.
.
.
commit
|
commitdiff
|
tree
2007-02-19
S
v
e
n
Verdoolae
g
e
barvinok_enumerate*: be less c
h
atty by d
e
fault
commit
|
commitdiff
|
tree
2007-02-19
Sven
V
erdoolaege
count/enu
m
erate
:
warn if i
n
put is a union
commit
|
commitdiff
|
tree
2007-02-19
Sven
V
erdoolaege
DomainIncl
u
d
es: det
e
c
t
m
ore c
a
s
e
s
+
adapt documentation
commit
|
commitdiff
|
tree
2007-02-19
Sven Verdoolaege
evalue
_
b
ernstein_c
o
effic
i
en
t
s: handle fractionals i
n
.
.
.
commit
|
commitdiff
|
tree
2007-02-19
Sven Verdoolaege
e
value_be
r
nstein_
c
oe
f
ficients: h
a
ndle flooring
s
in
.
.
.
commit
|
commitdiff
|
tree
2007-02-18
Sven Verdo
o
la
e
ge
barv
i
n
o
k_maxim
i
ze
:
new to
o
l
for max
i
m
i
zing piecew
i
se
.
.
.
commit
|
commitdiff
|
tree
2007-02-17
Sven Verdoo
l
aege
eval
u
e
.
c
:
eva
l
u
e
_
frac2polynomial: improve accuracy
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoolaege
evalue
.
c: add comment
commit
|
commitdiff
|
tree
2007-02-16
Sven
V
erdoolaege
evalu
e
.
c
: add functio
n
for che
c
king nestin
g
of an evalue
commit
|
commitdiff
|
tree
2007-02-16
Sve
n
Verdool
a
e
g
e
e
v
a
l
ue
.
c: add
m
i
ssi
n
g t
e
rms re
o
r
d
er
i
ng
s
i
n
e
val
u
e_range_redu
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
S
ven Ve
r
doolaege
evalue
.
c
:
make
a
rgumen
t
s of eequal and evalue_de
n
om
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sv
e
n Verdoolaege
barvinok_enumerate_e: add
-
-ve
r
b
o
se option
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoolaege
ber
n
stei
n
: mark argu
m
ent of
v
a
lue2numeric c
o
nst
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoolaege
bern
s
te
i
n
.
cc: add (optional)
options a
r
gument to evalue_bern
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoolaeg
e
add missin
g
virtual destruct
o
rs
commit
|
commitdiff
|
tree
2007-02-16
Sven Verd
o
olaege
ge
n
fun
.
cc: r
e
name struct
cone t
o
avoid conflic
t
with
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven
Verdoo
l
aege
doc
:
i
nt
e
g
e
r points in the fundamental
p
arall
e
lepiped
.
.
.
commit
|
commitdiff
|
tree
2007-02-14
Sv
e
n Verdool
a
ege
veri
f
_ehrhar
t
.
c: clean up
inden
t
ation
commit
|
commitdiff
|
tree
2007-02-14
Sven
V
erdoolaege
verif_ehrhart: option
a
lly continue on error
commit
|
commitdiff
|
tree
2007-02-14
Sve
n
Verd
o
olae
g
e
v
erif_ehrhar
t
: combine
che
c
k_po
l
y from
b
arvinok_enum
e
r
a
te_e
.
cc
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoolaege
verif_ehr
h
ar
t
.
c: check
l
ow
e
r
and upper p
o
ly
n
o
m
ial
approx
i
mations
commit
|
commitdiff
|
tree
2007-02-14
Sven Ve
r
do
o
laege
verify
.
h: mo
v
e
b
arvinok_opt
i
ons into verify_op
t
ions
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoolaege
barvino
k
_enumerate: pass parameter
names to c
h
e
ck_poly
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoolaege
ba
r
v
inok_enumerate: mor
e
polynomm
i
al approximation
s
commit
|
commitdiff
|
tree
2007-02-14
Sv
e
n V
e
rdoolaege
e
v
alue
.
c: add eval
u
e_frac2polyn
o
mial
commit
|
commitdiff
|
tree
2007-02-14
Sven Ve
r
d
oo
l
aege
evalue
.
c: extr
a
ct eval
u
e_split_do
m
a
ins_into_orthant
s
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sven
Verdoo
l
aege
po
l
ysign
.
c: fix cdd_polyh
e
dron_affine_sign prototype
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoolaege
Makef
i
le: on
l
y
check
l
exmin if it has been
co
m
p
i
led
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoolaege
add P
a
ram_Polyh
e
dron_Scale_Inte
g
er prototype
commit
|
commitdiff
|
tree
2007-02-12
Sv
e
n Ve
r
d
o
olaege
l
a
t
ti
c
e_point
.
c
c: add sani
t
y
c
heck
f
o
r
index o
f
cone
commit
|
commitdiff
|
tree
2007-02-12
Sv
e
n Verdo
o
laege
test
:
initi
a
lize nbM
a
t
commit
|
commitdiff
|
tree
2007-02-12
Sven
Verdoolaege
barvino
k
_
e
numerate:
o
p
tionally compute a
polyno
m
ial
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
S
ven Verdoolaege
Pr
o
vide repl
a
cemen
t
for n
e
w
PolyLib function P
a
ram_Polyhedro
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sven V
e
rdoolaege
add e
v
a
l
ue_div
(adapted from
Poly
L
ib)
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdool
a
ege
test: simple test for
PolyLib's Smith
commit
|
commitdiff
|
tree
2007-02-12
S
v
en Verdoolaege
Makefile
.
am: a
d
d
d
ependencies for checks
commit
|
commitdiff
|
tree
2007-02-11
S
v
en Verdoola
e
ge
genfun
.
cc:
s
hort_rat::normalize: mic
r
o-optimizations
commit
|
commitdiff
|
tree
2007-02-11
Sven Verdo
o
la
e
ge
QQ
:
canonicalize on read and
m
ulti
p
l
i
cation
commit
|
commitdiff
|
tree
2007-02-09
Sven Ve
r
doo
l
aege
doc: barvinok_se
r
ies requires poly
h
edron to have *rev
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sve
n
Ve
r
doolae
g
e
M
a
ke
f
ile
.
am: check barvinok_enumer
a
te --serie
s
d
u
ri
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
S
v
en Verdoo
l
a
ege
barvinok_e
n
umera
t
e
:
compu
t
e se
r
i
e
s
o
f
polyhedra
with
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sven Verdoolaege
util
.
c: move
P
olyhedron_h
a
s_positi
v
e_rays
f
rom barvi
n
ok
.
c
c
commit
|
commitdiff
|
tree
2007-02-09
Sven Verdoolaege
test all speci
a
lization
a
lgorithms during make check
commit
|
commitdiff
|
tree
2007-02-09
Sven Verdoola
e
g
e
pass
o
p
tions t
h
r
o
ugh to barvin
o
k_count in b
a
rvinok_e
n
u
m
e
rate
.
.
.
commit
|
commitdiff
|
tree
2007-02-08
Sven
Ve
r
doolaege
Handl
e
non-unimodular cones i
n
du
a
l
deco
m
posi
t
ion
commit
|
commitdiff
|
tree
2007-02-08
Sven Verdoolaege
barvinok_s
t
ats: rename unimodular_co
n
es to
bas
e
_cones
commit
|
commitdiff
|
tree
2007-02-08
Sven Verdoolaege
reducer
.
cc: extra san
i
ty ch
e
c
k
s
commit
|
commitdiff
|
tree
2007-02-08
S
v
e
n Verdoolae
g
e
Han
d
le non-unimodular cones
w
ith a specified maximal
.
.
.
commit
|
commitdiff
|
tree
2007-02-07
Sv
e
n Verdoolaege
decomposer
.
cc: decompose: minor c
l
e
a
n-up
commit
|
commitdiff
|
tree
2007-02-06
Sven V
e
rdoo
l
a
ege
ba
r
vi
n
ok_o
p
tions: include pointer to barvinok_stats
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sven
V
e
rdoolaeg
e
add barvinok_opt
i
on
s
_
f
ree
commit
|
commitdiff
|
tree
2007-02-06
Sven
Verdoolaege
b
arvinok_enumerate: c
o
llec
t
stats o
n
numb
e
r of un
i
modular
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sven Verd
o
olaege
d
ecompose
r
.
cc: pola
r
_deco
m
pose
:
r
emove comm
o
n div
i
sor
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sven Verdoolae
g
e
partial_reduce
r
: specialize li
s
t version o
f
base
commit
|
commitdiff
|
tree
2007-02-05
Sven Verdoolaege
reducer::r
e
d
u
ce: better
h
andlin
g
of terms with common
.
.
.
commit
|
commitdiff
|
tree
2007-02-05
Sven Verdoolaeg
e
re
d
ucer::red
u
ce:
combine nume
r
a
tors with equal unreduced
.
.
.
commit
|
commitdiff
|
tree
2007-02-03
Sv
e
n Verdoolaege
QQ: add oper
a
tor for multipli
c
ation
of
v
ector by a
.
.
.
commit
|
commitdiff
|
tree
2007-02-02
Sven Ve
r
do
o
laege
re
d
ucer::red
u
c
e
: take a
list of numerators as input
commit
|
commitdiff
|
tree
2007-02-02
S
v
e
n Verdoolaege
gen_fun::read: rea
d
gen_fun from file des
c
r
i
ptor
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
add gen_fun::add(sh
o
r
t
_rat
*r)
commit
|
commitdiff
|
tree
2007-02-02
Sven Verd
o
olae
g
e
NTL_Q
Q
.
cc: support
r
eading from stream
commit
|
commitdiff
|
tree
2007-02-02
Sven V
e
rd
o
olaege
gen_
f
u
n:
a
dd operator f
o
r pr
i
nting to
stream
commit
|
commitdiff
|
tree
2007-02-02
Sve
n
Verdoo
l
aege
g
enfun
.
c
c
: add
short_r
a
t cop
y
constructor
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
dpo
l
y_r: micro-optimiz
a
ti
o
ns
commit
|
commitdiff
|
tree
2007-02-02
S
v
en Verdool
a
e
g
e
d
poly: mark some more argu
m
e
n
ts/metho
d
s const
commit
|
commitdiff
|
tree
2007-02-02
Sven Ver
d
oolaege
short_rat::
a
dd:
mark
s
h
o
r
t_r
a
t argume
n
t const
commit
|
commitdiff
|
tree
2007-02-02
S
v
e
n Verdoolaege
NTL
_
QQ: attempt
t
o speed-up += oper
a
t
or
commit
|
commitdiff
|
tree
next