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
V
erdool
a
ege
b
e
rnstei
n
_coe
f
ficien
t
s: factorize doma
i
n if possible
commit
|
commitdiff
|
tree
2007-03-01
Sven Verd
o
ola
e
ge
Polyhe
d
ron_
F
actor: optionally return
r
elation between
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
S
ve
n
V
e
rdool
a
ege
be
r
nst
e
i
n
: expo
r
t replaceV
a
ri
a
b
l
esInPolyno
m
ial
commit
|
commitdiff
|
tree
2007-03-01
Sven Verdoo
l
aege
bernstein
.
cc: eva
l
ue2ex: r
e
pres
e
nt
f
ra
c
t
i
onal by scaled
.
.
.
commit
|
commitdiff
|
tree
2007-02-28
Sven Verdoolaege
barvinok_
m
aximize: fix handling of
UN
I
ONs in d
o
mai
n
s
.
commit
|
commitdiff
|
tree
2007-02-28
Sven Ver
d
oolae
g
e
be
r
nstein_coeffi
c
i
e
nt
s
: skip emp
t
y subdomains
commit
|
commitdiff
|
tree
2007-02-28
S
ven V
e
rdoolaege
ba
r
vinok_m
a
ximiz
e
: fix detection of end of
d
o
m
ain specification
commit
|
commitdiff
|
tree
2007-02-27
S
v
e
n V
e
rdoolaege
b
a
rvinok_max
i
mize:
a
d
d
input co
n
version
commit
|
commitdiff
|
tree
2007-02-27
Sv
e
n
V
er
d
oolaege
eval
u
e
_convert: extracted
fro
m
b
arvino
k
_enumera
t
e and
.
.
.
commit
|
commitdiff
|
tree
2007-02-27
Sven
Verdoolaege
util
.
c: move Polyhedro
n
_is_unb
o
unde
d
from bernstein
.
c
c
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdoo
l
a
e
ge
bernstein
_
coefficients: skip infi
n
ite (sub)domains
commit
|
commitdiff
|
tree
2007-02-26
Sven
Verdoolaege
barvinok_maximize
:
let use
r
s
p
ecif
y
variables o
v
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-02-26
Sven Verd
o
olaege
b
ernstein
_
co
e
ffici
e
nts:
s
k
i
p computations if d
o
m
a
in
.
.
.
commit
|
commitdiff
|
tree
2007-02-26
S
ven
V
erdoolaeg
e
barvinok_maximiz
e
: fix
a
ccess
to freed
m
emory
commit
|
commitdiff
|
tree
2007-02-26
Harald
D
evos
minimize as option of barvinok_maximize
commit
|
commitdiff
|
tree
2007-02-26
Sven
V
erdo
o
laege
bernste
i
n
/
p
iecewise
_
lst
.
c
pp: add
mi
n
imi
z
e
(
) method
commit
|
commitdiff
|
tree
2007-02-26
Sven Verd
o
olaege
barvinok_m
a
xi
m
ize:
read do
m
a
in
s
with UNIONs
commit
|
commitdiff
|
tree
2007-02-26
S
v
en
Verdoolaege
use
GiNaC c
f
la
g
s and libs
commit
|
commitdiff
|
tree
2007-02-23
S
ven V
e
rdoolaege
barvinok_maximi
z
e: optionally ca
l
l eva
l
ue_split
_
p
e
rio
d
s
commit
|
commitdiff
|
tree
2007-02-23
S
v
en Verdoola
e
ge
eval
u
e
.
c:
a
d
d evalue_s
p
lit_
p
e
r
i
o
ds
commit
|
commitdiff
|
tree
2007-02-23
Sv
e
n Ver
d
oolaege
uti
l
.
c: value_lcm: mark arguments
const
commit
|
commitdiff
|
tree
2007-02-23
Sven Verdoolae
g
e
evalue
.
c
: pol
y
n
o
mial
_
pro
j
ection: al
l
ow NULL R argument
commit
|
commitdiff
|
tree
2007-02-23
Sven Verdoolaeg
e
evalue
.
c: extract fid
d
ling with coefficients
out
of
.
.
.
commit
|
commitdiff
|
tree
2007-02-22
Sv
e
n Ve
r
do
o
laege
evalue_ber
n
stein_coefficients:
han
d
le each c
o
set of
.
.
.
commit
|
commitdiff
|
tree
2007-02-21
S
ven
V
erd
o
o
l
aege
ba
r
vinok_maximize: read evalues with periodics
commit
|
commitdiff
|
tree
2007-02-21
Sven Verdool
a
ege
evalue_bern
s
tein_coeffici
e
n
ts: hand
l
e
perio
d
ic
s
in
.
.
.
commit
|
commitdiff
|
tree
2007-02-21
Sven Ver
d
oolae
g
e
bernstei
n
: bernst
e
i
nExpa
n
sion: accept list of polynomials
commit
|
commitdiff
|
tree
2007-02-19
Sve
n
Verdoola
e
ge
barvinok_maximize
:
mak
e
evalue
p
ar
s
e a
l
i
t
t
l
e bit more
.
.
.
commit
|
commitdiff
|
tree
2007-02-19
S
ven
V
e
rdoolaege
barvinok_enu
m
era
t
e
*
: be
less chatty b
y
default
commit
|
commitdiff
|
tree
2007-02-19
Sve
n
V
e
rdoolaege
co
u
nt/enumerate:
w
a
rn
i
f input i
s
a union
commit
|
commitdiff
|
tree
2007-02-19
S
v
en Verdoo
l
a
e
ge
Dom
a
inIncludes
:
detect more cases + adapt docu
m
entation
commit
|
commitdiff
|
tree
2007-02-19
Sven V
e
rdoolaege
eva
l
ue_bernstein_coef
f
icien
t
s: handle fracti
o
nals
i
n
.
.
.
commit
|
commitdiff
|
tree
2007-02-19
Sven
V
erdoolaege
ev
a
lue_bernstein_coefficients: handl
e
floor
i
ngs in
.
.
.
commit
|
commitdiff
|
tree
2007-02-18
Sven Verdoolaege
barv
i
n
o
k
_
maxim
i
z
e
: new
tool for maximizing piec
e
wise
.
.
.
commit
|
commitdiff
|
tree
2007-02-17
Sven
Verdool
a
ege
evalue
.
c: eva
l
ue_
f
r
ac2po
l
y
nomia
l
: improve ac
c
u
rac
y
commit
|
commitdiff
|
tree
2007-02-16
Sve
n
Verdoolaege
evalue
.
c: add comment
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoolaege
e
v
alue
.
c: add functio
n
for ch
e
c
ki
n
g nesting of an
e
v
alu
e
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoolaege
eva
l
u
e
.
c:
add missing terms reorderings i
n
evalue
_
range_
r
ed
u
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
S
ven Verdoola
e
ge
e
v
a
l
ue
.
c: make a
r
guments
of eequal and evalue_denom
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoola
e
ge
barvinok
_
enu
m
erate_e: add --ve
r
b
o
se op
t
ion
commit
|
commitdiff
|
tree
2007-02-16
S
ven Verd
o
olaege
b
ernstein: mark
a
rgument
of
value2n
u
meric c
o
nst
commit
|
commitdiff
|
tree
2007-02-16
Sven
Ver
d
oolaege
bernst
e
in
.
cc: ad
d
(optional) options ar
g
u
men
t
to evalue_bern
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
S
ve
n
Ver
d
oolaege
add
m
i
s
sin
g
virtual destru
c
to
r
s
commit
|
commitdiff
|
tree
2007-02-16
Sve
n
V
e
rdoolaege
g
e
nfun
.
cc: rename struct cone to avoi
d
confl
i
c
t with
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sv
e
n Verdoola
e
g
e
doc: i
n
teger p
o
ints in the fu
n
damen
t
al parall
e
lep
i
ped
.
.
.
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoolaeg
e
verif_eh
r
h
a
rt
.
c
:
c
l
e
a
n up i
n
de
n
tation
commit
|
commitdiff
|
tree
2007-02-14
Sven Verd
o
o
l
aeg
e
v
e
rif_ehrhart: o
p
tionally
c
ontinue on error
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoo
l
aege
v
e
rif_ehrhart: co
m
bine c
h
eck_poly from b
a
rvinok_enumera
t
e
_
e
.
cc
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoolaege
verif_ehrhar
t
.
c: check lower
and upper poly
n
omi
a
l approximation
s
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoolaege
verify
.
h: move barvin
o
k
_
o
ptions into verify_options
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoolaege
barvinok_enumerate: pass
p
ara
m
eter names
t
o ch
e
ck
_
poly
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoo
l
aege
barvin
o
k_enumerate: more polynomm
i
al approximations
commit
|
commitdiff
|
tree
2007-02-14
Sven Ve
r
doo
l
aege
evalue
.
c: add evalu
e
_frac2polynom
i
al
commit
|
commitdiff
|
tree
2007-02-14
S
ven Ve
r
doolaege
ev
a
lue
.
c:
ext
r
a
ct evalue_split_domains_
i
n
t
o_orthants
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sven
Verd
o
olaeg
e
polysign
.
c: f
i
x cdd_polyhedro
n
_affine
_
s
ig
n
pr
o
totype
commit
|
commitdiff
|
tree
2007-02-12
Sv
e
n
V
erdoola
e
ge
Makefile: o
n
ly check lexm
i
n
i
f it has be
e
n compiled
commit
|
commitdiff
|
tree
2007-02-12
S
v
en
V
erdoolaege
ad
d
Para
m
_Pol
y
hedro
n
_Scale
_
Integ
e
r prot
o
ty
p
e
commit
|
commitdiff
|
tree
2007-02-12
Sven Ver
d
oolaeg
e
l
a
ttice_point
.
c
c
:
add sanity check for index of cone
commit
|
commitdiff
|
tree
2007-02-12
S
ve
n
Ver
d
oolaege
t
e
s
t: initi
a
l
i
ze nbMat
commit
|
commitdiff
|
tree
2007-02-12
S
v
e
n Verdool
a
e
ge
b
arv
i
nok_enum
e
rate:
optionally
c
omput
e
a polyn
o
mia
l
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sv
e
n Verdoolaege
P
rovide rep
l
acement for new
PolyLib
f
unction
Para
m
_Polyhedro
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
S
v
e
n Verdoolaege
add evalue_div (adapted from PolyLib
)
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdool
a
ege
tes
t
:
s
imple test for PolyLib's Smith
commit
|
commitdiff
|
tree
2007-02-12
S
v
en Verdoolaege
Makefile
.
am: add depe
n
d
e
n
c
ies for
checks
commit
|
commitdiff
|
tree
2007-02-11
Sve
n
Verdoolaege
g
enfun
.
c
c
: short_rat::norm
a
lize: micro-optimizations
commit
|
commitdiff
|
tree
2007-02-11
Sven V
e
r
doolaege
Q
Q
: canonicalize on
read and multi
p
l
ication
commit
|
commitdiff
|
tree
2007-02-09
Sv
e
n Verdo
o
laeg
e
doc: b
a
rvinok_series requires p
o
lyhed
r
o
n
to have *rev
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sv
e
n Verd
o
olaege
Makefile
.
am: check barvinok_enumerate --ser
i
es during
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sven Verdoolaege
barvi
n
ok_enumerate: compute
series of polyhedra wit
h
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sven Verdoo
l
a
e
ge
te
s
t
all speciali
z
atio
n
algorith
m
s during ma
k
e check
commit
|
commitdiff
|
tree
2007-02-09
Sv
e
n Verdoo
l
aege
pass optio
n
s
through
to barvinok_coun
t
in barvinok_enumerat
e
.
.
.
commit
|
commitdiff
|
tree
2007-02-08
Sven Verdoolaege
Handle non-unimodular co
n
es
in dual decomposition
commit
|
commitdiff
|
tree
2007-02-08
Sven Verdool
a
ege
bar
v
inok_stats: rename unimod
u
lar_cones
t
o bas
e
_
c
o
nes
commit
|
commitdiff
|
tree
2007-02-08
Sven
V
erdoolaege
reducer
.
cc: ext
r
a sanity checks
commit
|
commitdiff
|
tree
2007-02-08
Sven Verd
o
o
l
a
ege
Handle non-unimodu
l
ar c
o
nes with a specified maximal
.
.
.
commit
|
commitdiff
|
tree
2007-02-07
Sven Ver
d
oolae
g
e
decom
p
o
s
e
r
.
cc:
decompose: minor cl
e
an-up
commit
|
commitdiff
|
tree
2007-02-06
Sven Verdoolaege
b
arvinok_options:
i
n
c
lu
d
e pointer
to barvinok_stat
s
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sv
e
n Verdoolaege
add
barvinok_options_free
commit
|
commitdiff
|
tree
2007-02-06
Sven
V
erdoolaege
barvinok_enumerat
e
: collect stats
on
number
of unimodular
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sven Verd
o
olaeg
e
decompo
s
er
.
cc: pol
a
r_decompose: remo
v
e common
d
ivisor
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sven
Ve
r
d
o
o
l
aege
partial_reducer: specialize list version of base
commit
|
commitdiff
|
tree
2007-02-05
Sven Verdoolaege
re
d
uce
r
::red
u
c
e
: b
e
tter handling of terms
w
ith common
.
.
.
commit
|
commitdiff
|
tree
2007-02-05
Sven Verdoolaege
reducer::reduce
:
combine numerators wi
t
h equal unr
e
du
c
ed
.
.
.
commit
|
commitdiff
|
tree
2007-02-03
Sven Ver
d
oolaege
Q
Q:
add op
e
rator for mult
i
p
l
i
cation of vecto
r
by a
.
.
.
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaeg
e
reducer::
r
educe: ta
k
e
a
list
of numera
t
ors as input
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
gen_fun::read
:
read
g
en_fun
f
rom file descriptor
commit
|
commitdiff
|
tree
2007-02-02
Sven Ver
d
o
o
laege
a
d
d gen_f
u
n::a
d
d(short_
r
at
*
r)
commit
|
commitdiff
|
tree
2007-02-02
Sven Verd
o
o
laege
N
T
L_QQ
.
cc: s
u
pport reading from stream
commit
|
commitdiff
|
tree
2007-02-02
Sven
Verdo
o
laege
gen_fun:
add operat
o
r fo
r
printi
n
g to s
t
r
e
a
m
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdool
a
e
g
e
genfun
.
cc:
a
dd s
h
ort
_
r
at copy const
r
ucto
r
commit
|
commitdiff
|
tree
2007-02-02
Sven Ver
d
oolaege
dpoly_r: micro-opt
i
mizati
o
ns
commit
|
commitdiff
|
tree
2007-02-02
S
v
en Verdoolaege
dpoly: mark some mor
e
arg
u
ments/methods const
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaeg
e
short_rat
:
:a
d
d: mark
sho
r
t
_
rat argument co
n
st
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
NTL_QQ: attempt to spe
e
d-
u
p
+=
o
perator
commit
|
commitdiff
|
tree
2007-02-02
Sven Ver
d
oo
l
aege
dpol
y
:
a
d
d s
o
me d
o
cumentation
commit
|
commitdiff
|
tree
2007-02-02
S
ven Verdo
o
la
e
ge
dpo
l
y: add s
o
m
e more operations
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolae
g
e
barvinok/genfun
.
h: fix comment
commit
|
commitdiff
|
tree
2007-02-02
Sven V
e
rdoolaege
add
.
g
i
tignore
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
QQ: add operator for
m
ultipli
c
a
tion
b
y a scalar (ZZ)
commit
|
commitdiff
|
tree
2007-01-18
Sven Verdoola
e
ge
Makef
i
l
e
.
am: ch
e
ck-s
e
rie
s
: check -
-
primal a
s
w
ell
commit
|
commitdiff
|
tree
next