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: export replaceVariablesInPolynomial
2007-03-01
S
ven Verdo
o
laege
bernstein: exp
o
rt replaceVariablesInP
o
lynomial
commit
|
commitdiff
|
tree
2007-03-01
Sven Verdoolae
g
e
bernstein
.
cc: evalue2ex: repres
e
nt fra
c
tional
b
y
s
caled
.
.
.
commit
|
commitdiff
|
tree
2007-02-28
Sven
V
erdool
a
ege
bar
v
inok_maximize: fix handling of UNION
s
in
d
om
a
ins
.
commit
|
commitdiff
|
tree
2007-02-28
Sven Ver
d
oo
l
aege
bernstein_coefficients
:
skip empty
sub
d
omains
commit
|
commitdiff
|
tree
2007-02-28
Sven Verdoolae
g
e
b
a
rvinok_maximize:
f
ix detection of
end of domain
s
p
ecifi
c
ation
commit
|
commitdiff
|
tree
2007-02-27
S
ven V
e
rdoolaege
bar
v
ino
k
_ma
x
i
m
ize: a
d
d input conversion
commit
|
commitdiff
|
tree
2007-02-27
Sv
e
n Verdoolae
g
e
eval
u
e_convert: extracted from b
a
rvinok_en
u
merate and
.
.
.
commit
|
commitdiff
|
tree
2007-02-27
Sven
V
erdoolaege
util
.
c:
m
ove Polyhe
d
ron_is_un
b
ounde
d
from bernstein
.
cc
commit
|
commitdiff
|
tree
2007-02-26
Sven V
e
r
d
oola
e
g
e
bernstein_coeffici
e
nts: s
k
ip infini
t
e (sub)domains
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdoolaege
barvinok_maximize: let user specify var
i
a
b
les over
.
.
.
commit
|
commitdiff
|
tree
2007-02-26
Sv
e
n Verdool
a
ege
bernste
i
n
_
c
o
e
fficients: skip
computations if domain
.
.
.
commit
|
commitdiff
|
tree
2007-02-26
Sven Ver
d
oo
l
aege
ba
r
vinok_m
a
x
i
m
i
z
e
: fix acc
e
ss to freed memor
y
commit
|
commitdiff
|
tree
2007-02-26
Harald D
e
vos
m
i
nimize as o
p
tio
n
of barvinok_ma
x
imize
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdoo
l
aege
berns
t
ein/p
i
e
c
ewise_lst
.
cpp: add mini
m
ize() method
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdoolaeg
e
b
a
rvinok_
m
aximize
:
read domain
s
with UNIO
N
s
commit
|
commitdiff
|
tree
2007-02-26
Sve
n
Verdoolaege
use
G
iNaC
c
flags and
li
b
s
commit
|
commitdiff
|
tree
2007-02-23
Sve
n
Verdoo
l
a
ege
b
ar
v
in
o
k
_m
a
ximize: optionally call evalu
e
_split_periods
commit
|
commitdiff
|
tree
2007-02-23
S
ven Verd
o
olaege
evalue
.
c:
add evalu
e
_split_periods
commit
|
commitdiff
|
tree
2007-02-23
Sven Verdoo
l
aege
u
t
i
l
.
c
:
value_lcm:
m
a
rk
a
rguments const
commit
|
commitdiff
|
tree
2007-02-23
Sven V
e
r
d
oolaege
e
v
alue
.
c: poly
n
omial_
p
rojection: a
l
low NULL R argume
n
t
commit
|
commitdiff
|
tree
2007-02-23
Sven Verdoolaege
e
v
alue
.
c
:
e
xtract fiddling
w
ith
coe
f
fici
e
nts out of
.
.
.
commit
|
commitdiff
|
tree
2007-02-22
S
v
en Verdoolaege
evalue_bernstein_coefficients: handle
each c
o
set of
.
.
.
commit
|
commitdiff
|
tree
2007-02-21
S
v
e
n Verdoolaege
ba
r
vinok_
m
a
xim
i
ze
:
read evalues with periodics
commit
|
commitdiff
|
tree
2007-02-21
Sven
Ve
r
do
o
laege
e
v
alue_
b
ernstein_coefficients: ha
n
dle perio
d
i
c
s in
.
.
.
commit
|
commitdiff
|
tree
2007-02-21
Sven Verdoolaege
bernstein: bernsteinEx
p
a
n
sio
n
: accept list of
polynomials
commit
|
commitdiff
|
tree
2007-02-19
Sven
V
er
d
oolaege
barvinok_maximiz
e
: make eval
u
e parse a littl
e
bit more
.
.
.
commit
|
commitdiff
|
tree
2007-02-19
Sven Verd
o
olaege
barvinok
_
en
u
merate*: b
e
le
s
s ch
a
t
ty
b
y def
a
ult
commit
|
commitdiff
|
tree
2007-02-19
S
v
en V
e
rdoolaege
c
o
un
t
/
enu
m
era
t
e
:
warn if input is a union
commit
|
commitdiff
|
tree
2007-02-19
Sven
Ve
r
do
o
l
a
ege
DomainIncludes: det
e
ct more cases
+
adapt do
c
umentatio
n
commit
|
commitdiff
|
tree
2007-02-19
Sven Ver
d
oola
e
ge
eval
u
e_be
r
nst
e
in_coeff
i
cie
n
ts: handl
e
fraction
a
ls
i
n
.
.
.
commit
|
commitdiff
|
tree
2007-02-19
S
v
en V
e
rd
o
olaege
ev
a
lue_bernstein_coefficients: ha
n
d
le floor
i
n
gs in
.
.
.
commit
|
commitdiff
|
tree
2007-02-18
Sven Verdoolaege
barvinok
_
maxim
i
ze: n
e
w tool for
maximizing piecewise
.
.
.
commit
|
commitdiff
|
tree
2007-02-17
Sven V
e
rdoolaeg
e
eva
l
ue
.
c
:
evalue_f
r
ac
2
polynomial
:
improve accuracy
commit
|
commitdiff
|
tree
2007-02-16
Sve
n
Verdo
o
laege
evalue
.
c: add c
o
mment
commit
|
commitdiff
|
tree
2007-02-16
S
v
en
Verdoo
l
a
ege
evalue
.
c: add fun
c
t
ion for che
c
k
i
ng
nesting of an evalue
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoo
l
a
ege
evalue
.
c
: add missing
terms reo
r
der
i
n
g
s in e
v
alu
e
_ra
n
ge_red
u
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sve
n
Verdoolaege
evalue
.
c: make argume
n
t
s of eequal a
n
d
e
value_denom
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdo
o
laege
ba
r
vinok_enumerat
e
_
e
:
a
dd --verbose
o
pti
o
n
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoolaege
bernstein:
mark argumen
t
of
va
l
ue2numer
i
c const
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdool
a
ege
b
e
rnstein
.
cc: ad
d
(optional)
o
ptions argument to eval
u
e_bern
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoolaege
a
dd missing virtua
l
d
e
structors
commit
|
commitdiff
|
tree
2007-02-16
Sven V
e
rd
o
o
laege
genfun
.
cc:
r
ena
m
e struct cone to avoid confl
i
ct
w
ith
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven V
e
rdoola
e
ge
d
oc: inte
g
er poi
n
t
s in the
funda
m
e
n
tal paral
l
elepiped
.
.
.
commit
|
commitdiff
|
tree
2007-02-14
Sven Ve
r
doola
e
ge
verif_
e
hrhart
.
c: cle
a
n
u
p indentation
commit
|
commitdiff
|
tree
2007-02-14
Sven
V
erd
o
olae
g
e
ve
r
if_ehrhart: option
a
l
ly continue on error
commit
|
commitdiff
|
tree
2007-02-14
Sv
e
n V
e
r
d
oo
l
aege
verif_ehrhart: combine check_poly from barvinok
_
e
numerate_e
.
cc
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoola
e
g
e
verif_ehrhart
.
c: c
h
e
ck lower an
d
upper polynomia
l
appro
x
imations
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdo
o
laege
verify
.
h: move barv
i
no
k
_options into verify
_
options
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoolaege
b
a
rv
i
nok_en
u
merate: pass pa
r
ameter n
a
mes to check_po
l
y
commit
|
commitdiff
|
tree
2007-02-14
Sven Ve
r
do
o
laege
barvinok_
e
n
umerate:
more
polynommial approxima
t
ions
commit
|
commitdiff
|
tree
2007-02-14
S
v
en Ver
d
o
o
laege
eval
u
e
.
c: add evalue_frac2polynom
i
al
commit
|
commitdiff
|
tree
2007-02-14
Sven
V
erdoolaege
eva
l
ue
.
c:
extract evalue_split_dom
a
in
s
_
i
nto
_
orthants
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sven
Verdo
o
laege
polysign
.
c: fix cdd_polyhedron_affine_sign pro
t
otype
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoolaege
Makefil
e
:
only check lexmin i
f
it h
a
s been compiled
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdo
o
laege
add Pa
r
a
m
_Polyhedro
n
_Sc
a
l
e
_Intege
r
prototype
commit
|
commitdiff
|
tree
2007-02-12
Sve
n
Verdoolaege
lattice_point
.
cc: add sani
t
y
ch
e
c
k for i
n
d
ex o
f
c
one
commit
|
commitdiff
|
tree
2007-02-12
Sven Ve
r
do
o
laege
t
e
st: initialize nbMat
commit
|
commitdiff
|
tree
2007-02-12
Sven Ve
r
doolaege
barvi
n
ok_enume
r
ate: o
p
tionally comp
u
te a po
l
y
n
o
m
ial
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
S
ven Verdoolaege
P
rovi
d
e r
e
plac
e
men
t
for new
P
olyLi
b
function Param_Polyh
e
dro
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sven
V
erdo
o
l
a
ege
add ev
a
lue_div (ad
a
pted from
Pol
y
Li
b
)
commit
|
commitdiff
|
tree
2007-02-12
Sve
n
Verdoolaege
test: s
i
m
p
l
e te
s
t
for
PolyLib's S
m
i
th
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoo
l
a
e
g
e
M
a
kefile
.
am: add depend
e
ncies
for checks
commit
|
commitdiff
|
tree
2007-02-11
Sven Verdoolae
g
e
g
e
nfun
.
cc: short_rat::no
r
mali
z
e: micro-
o
pt
i
mizatio
n
s
commit
|
commitdiff
|
tree
2007-02-11
Sven Verdoolae
g
e
Q
Q: canonicaliz
e
on read
and m
u
ltiplication
commit
|
commitdiff
|
tree
2007-02-09
Sven
V
erdoola
e
ge
doc: barvinok
_
seri
e
s requires polyhedron t
o
h
a
v
e
*
rev
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sve
n
Verdoolaege
M
akefi
l
e
.
am:
c
hec
k
barv
i
nok_enumerate --
s
eries during
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sve
n
Ve
r
doo
l
ae
g
e
barvinok_en
u
merate: compute
s
e
r
ies of
p
olyhedra with
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sven Verdoolaege
t
e
s
t all
specialization algo
r
ithms durin
g
make
c
he
c
k
commit
|
commitdiff
|
tree
2007-02-09
S
v
en Verdoolaege
pa
s
s options throu
g
h to
b
a
rvinok_
c
ount in b
a
rvinok_enumerate
.
.
.
commit
|
commitdiff
|
tree
2007-02-08
Sven Verdoo
l
a
ege
Handle no
n
-u
n
imodular con
e
s
in dual decomposition
commit
|
commitdiff
|
tree
2007-02-08
Sven Verdoolaege
barvinok_stats:
r
ename un
i
modular_cones to
b
ase_cones
commit
|
commitdiff
|
tree
2007-02-08
Sv
e
n Verdoo
l
aege
reducer
.
cc: e
x
tra sani
t
y
checks
commit
|
commitdiff
|
tree
2007-02-08
Sven Verdoo
l
aege
Ha
n
d
le non-unim
o
dular co
n
es with
a specified
maximal
.
.
.
commit
|
commitdiff
|
tree
2007-02-07
S
ven Verdoolaege
d
e
c
o
mposer
.
c
c
: de
c
ompos
e
: mi
n
o
r
clean-up
commit
|
commitdiff
|
tree
2007-02-06
Sv
e
n Verdoo
l
a
e
g
e
barvinok_opt
i
ons: include poi
n
ter to ba
r
vi
n
ok_stats
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sven Verdoolaeg
e
add
b
arv
i
nok
_
options
_
free
commit
|
commitdiff
|
tree
2007-02-06
Sven V
e
rdoolaege
barvinok_enumerate: collect stats on numb
e
r
o
f u
n
imod
u
lar
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sven
Ver
d
oolaege
decomposer
.
c
c: polar_de
c
o
mpose: remo
v
e common
d
i
v
isor
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
S
ven
V
e
r
dool
a
ege
par
t
i
a
l
_r
e
ducer: specialize list
v
ersion of base
commit
|
commitdiff
|
tree
2007-02-05
Sven Verdoolaege
r
educer
:
:reduce: better
han
d
l
ing of term
s
w
i
t
h
c
ommon
.
.
.
commit
|
commitdiff
|
tree
2007-02-05
Sv
e
n
Verdoolaege
red
u
cer::reduce: combine numerat
o
rs with
eq
u
al unreduced
.
.
.
commit
|
commitdiff
|
tree
2007-02-03
S
v
en Verdoolaege
QQ: add ope
r
ator for multipl
i
cation of vector by a
.
.
.
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdool
a
ege
red
u
c
e
r:
:
reduce
:
ta
k
e a list of nu
m
erato
r
s as input
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
gen_
f
un
:
:read:
r
ead
ge
n
_f
u
n from
file descrip
t
or
commit
|
commitdiff
|
tree
2007-02-02
Sv
e
n Verdoolaege
add gen_fun
:
:
a
dd(
s
h
ort_ra
t
*r)
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
NTL_
Q
Q
.
cc: support readin
g
from stream
commit
|
commitdiff
|
tree
2007-02-02
Sv
e
n Verdoolaege
gen_
f
un: add o
p
e
r
a
t
or for printing to stre
a
m
commit
|
commitdiff
|
tree
2007-02-02
Sven V
e
rdo
o
la
e
g
e
g
e
nfu
n
.
c
c
:
a
dd sh
o
r
t
_r
a
t c
o
py co
n
structor
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
dpoly_r: micro-o
p
timiz
a
tio
n
s
commit
|
commitdiff
|
tree
2007-02-02
Sven
Verdoo
l
aege
dpoly:
ma
r
k some more ar
g
um
e
nts
/
met
h
ods co
n
st
commit
|
commitdiff
|
tree
2007-02-02
Sven
V
erdoolae
g
e
short_rat:
:
add:
ma
r
k sh
o
rt_rat a
r
gument c
o
n
s
t
commit
|
commitdiff
|
tree
2007-02-02
S
ven Verdoola
e
ge
NT
L
_QQ: atte
m
pt to speed-up += operator
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
dpol
y
:
a
d
d
s
ome documen
t
atio
n
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
d
poly:
a
dd some
m
o
re operati
o
ns
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
barvinok/genfun
.
h
:
fix comment
commit
|
commitdiff
|
tree
2007-02-02
S
v
e
n
Verdoo
l
aege
a
dd
.
gitig
n
ore
commit
|
commitdiff
|
tree
2007-02-02
Sven Ve
r
doolaege
Q
Q
: add operator for
multi
p
lica
t
ion by a sca
l
ar (
Z
Z)
commit
|
commitdiff
|
tree
2007-01-18
S
v
e
n Verdoola
e
ge
Makefile
.
am: che
c
k-series
:
c
h
eck --primal as well
commit
|
commitdiff
|
tree
2007-01-16
Sven Verdoolaege
Mak
e
fi
l
e
.
a
m
:
i
nsta
l
l (some
)
bi
n
aries
commit
|
commitdiff
|
tree
2007-01-15
S
ven
Verdoolaeg
e
un
d
efine CS for So
l
aris
1
0
commit
|
commitdiff
|
tree
next