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
e
rdoo
l
a
ege
berns
t
ein_coeffici
e
nts: factorize domain if possible
commit
|
commitdiff
|
tree
2007-03-01
S
v
en Verdoolaeg
e
Polyhedron_Facto
r
: optio
n
a
ll
y
return re
l
ation b
e
tween
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sven Verdoolaege
berns
t
ein
:
export r
e
placeVar
i
ablesI
n
Polynomial
commit
|
commitdiff
|
tree
2007-03-01
Sv
e
n Verdoolaege
berns
t
ein
.
cc: eval
u
e
2
ex:
r
epre
s
ent fractio
n
al by scale
d
.
.
.
commit
|
commitdiff
|
tree
2007-02-28
Sve
n
Ve
r
do
o
laege
barvi
n
ok_max
i
mize:
f
ix
h
and
l
ing of UNIONs in d
o
mains
.
commit
|
commitdiff
|
tree
2007-02-28
Sven Verdo
o
laege
bernst
e
in_coe
f
ficient
s
: skip empty subdoma
i
ns
commit
|
commitdiff
|
tree
2007-02-28
Sven V
e
rdoolaeg
e
ba
r
vinok_maximize: f
i
x detection of end o
f
domain speci
f
ication
commit
|
commitdiff
|
tree
2007-02-27
Sven
Verdoola
e
ge
barvinok_maximize: add input
c
onversion
commit
|
commitdiff
|
tree
2007-02-27
Sven V
e
rdo
o
laege
evalue
_
convert: ext
r
acted from barvinok_enumerate a
n
d
.
.
.
commit
|
commitdiff
|
tree
2007-02-27
Sven Verdoolaege
u
t
il
.
c: move Polyh
e
dr
o
n_is_unbounded from be
r
nstein
.
cc
commit
|
commitdiff
|
tree
2007-02-26
Sven Ver
d
o
o
laege
b
e
rn
s
t
e
in_coeff
i
c
ie
n
t
s: skip infinite (sub
)
domains
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdo
o
laege
barvi
n
ok_max
i
mi
z
e
: l
e
t
us
e
r specify variables over
.
.
.
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdoolaege
bernstein_coef
f
icients:
s
ki
p
computati
o
n
s if domain
.
.
.
commit
|
commitdiff
|
tree
2007-02-26
Sv
e
n
Verdoolaege
barvinok_
m
ax
i
m
ize: fix access t
o
freed memory
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdoolaege
b
e
rnstein/piece
w
ise_lst
.
cpp
:
add minimize() method
commit
|
commitdiff
|
tree
2007-02-26
S
ven V
e
rdoolaege
barvinok_maximiz
e
:
read domains
with UNI
O
N
s
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdoolaege
use Gi
N
a
C
cflags and libs
commit
|
commitdiff
|
tree
2007-02-23
Sven Verdoolaege
b
a
rvinok_maximi
z
e: option
a
lly cal
l
evalue_spli
t
_peri
o
d
s
commit
|
commitdiff
|
tree
2007-02-23
S
ven Verdoolaege
evalue
.
c: a
d
d evalue_spl
i
t_
p
e
r
iods
commit
|
commitdiff
|
tree
2007-02-23
S
v
e
n Verdoola
e
ge
util
.
c: va
l
ue_
l
c
m
: mark ar
g
ument
s
const
commit
|
commitdiff
|
tree
2007-02-23
Sven Ve
r
doolae
g
e
eva
l
ue
.
c: polynomial_projecti
o
n: a
l
l
o
w NULL
R argument
commit
|
commitdiff
|
tree
2007-02-23
Sv
e
n Verdoolaege
evalue
.
c: ext
r
a
ct fi
d
d
l
ing with c
o
e
fficients
o
ut o
f
.
.
.
commit
|
commitdiff
|
tree
2007-02-22
Sven Verdoola
e
g
e
evalue_bernstein
_
co
e
fficients: handle ea
c
h cose
t
of
.
.
.
commit
|
commitdiff
|
tree
2007-02-21
Sven Verdoolaeg
e
barvino
k
_maximize:
r
e
a
d
e
values wi
t
h periodics
commit
|
commitdiff
|
tree
2007-02-21
Sve
n
Verdoolaege
eval
u
e
_ber
n
ste
i
n
_
coeffic
i
e
nts: handl
e
perio
d
ics in
.
.
.
commit
|
commitdiff
|
tree
2007-02-21
S
ven
Verdoolaege
bernstei
n
: bernsteinExpansion:
a
c
cept list of poly
n
o
m
ials
commit
|
commitdiff
|
tree
2007-02-19
Sve
n
Verdoolae
g
e
ba
r
vin
o
k_maximize
:
make evalue pa
r
se a lit
t
le
b
it
m
ore
.
.
.
commit
|
commitdiff
|
tree
2007-02-19
Sven Verdoolaege
barvin
o
k_enum
e
r
ate*: be less chat
t
y by default
commit
|
commitdiff
|
tree
2007-02-19
Sv
e
n Verdoolaege
count/enumerate
:
warn if input is a
union
commit
|
commitdiff
|
tree
2007-02-19
Sven Ver
d
oolaege
D
o
mainInc
l
udes: detect mor
e
cases + ada
p
t
d
ocumentation
commit
|
commitdiff
|
tree
2007-02-19
Sven Verdoo
l
aege
eval
u
e_be
r
n
stein_coefficients: handle
f
r
a
ctionals in
.
.
.
commit
|
commitdiff
|
tree
2007-02-19
Sv
e
n
V
erdoolae
g
e
e
value_bernstein_coeffi
c
i
e
nts: ha
n
dle f
l
oorin
g
s in
.
.
.
commit
|
commitdiff
|
tree
2007-02-18
Sven V
e
rdoolaege
barvinok_maximize: new
t
ool
f
or ma
x
im
i
zing
p
i
ecewise
.
.
.
commit
|
commitdiff
|
tree
2007-02-17
Sv
e
n
Verdoolaege
evalue
.
c:
ev
a
lue_frac2poly
n
o
m
i
a
l
:
i
mprove accurac
y
commit
|
commitdiff
|
tree
2007-02-16
Sven Verd
o
ola
e
ge
ev
a
l
ue
.
c: add c
o
mment
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoolaeg
e
evalue
.
c: add function f
o
r ch
e
ck
i
ng nesting of
a
n evalu
e
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoolaege
e
v
alue
.
c: add missing terms
r
eorderi
n
gs in evalue_
r
ang
e
_re
d
u
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven Ver
d
o
olae
g
e
eval
u
e
.
c:
make ar
g
uments of eequal
a
nd evalue_denom
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sv
e
n Verdoolaege
ba
r
vi
n
ok_enu
m
era
t
e_e:
a
dd
--ve
r
bos
e
option
commit
|
commitdiff
|
tree
2007-02-16
S
v
e
n
Verdoolae
g
e
bernstei
n
: mark
argument of
value2numeric co
n
st
commit
|
commitdiff
|
tree
2007-02-16
Sv
e
n
Verdoolaege
bernstein
.
cc: add (opt
i
onal) op
t
ions argument to e
v
alue_
b
ern
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoolae
g
e
add
m
issing virtua
l
destructor
s
commit
|
commitdiff
|
tree
2007-02-16
S
v
en V
e
r
d
oolaege
genf
u
n
.
cc: rename struct cone to
a
v
oid con
f
l
ict
w
i
th
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sv
e
n V
e
rdoolae
g
e
doc: inte
g
e
r points i
n
the fu
n
damental par
a
l
l
e
l
epiped
.
.
.
commit
|
commitdiff
|
tree
2007-02-14
Sven V
e
r
d
oolaege
v
e
rif_ehrh
a
rt
.
c: clean up
indentation
commit
|
commitdiff
|
tree
2007-02-14
S
v
en Verdoolaege
verif_ehrha
r
t: opt
i
o
nally co
n
t
inue on e
r
ror
commit
|
commitdiff
|
tree
2007-02-14
Sv
e
n Verdoolaege
v
e
rif_ehrhart: combin
e
c
heck_poly
f
ro
m
barvino
k
_enu
m
erate_e
.
cc
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoolaege
verif_ehrhar
t
.
c
: chec
k
lower
a
nd upper polynomial approximations
commit
|
commitdiff
|
tree
2007-02-14
Sve
n
Verdoolae
g
e
ver
i
f
y
.
h: mov
e
bar
v
in
o
k_optio
n
s
int
o
v
erif
y
_options
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoolae
g
e
barvinok_enumerate: pass para
m
e
ter names to check_poly
commit
|
commitdiff
|
tree
2007-02-14
Sve
n
Verdoolaege
barv
i
no
k
_
e
numerate:
m
o
re poly
n
om
m
ial approximations
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoolaege
e
v
a
l
u
e
.
c: add
eva
l
ue_frac2pol
y
nomial
commit
|
commitdiff
|
tree
2007-02-14
S
ven V
e
rdool
a
e
g
e
evalue
.
c
: extract
evalu
e
_split_doma
i
n
s_into_orthants
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sven
V
e
rdoo
l
aege
polysign
.
c
:
fix cdd_polyhedro
n
_
affine_sign p
r
ototype
commit
|
commitdiff
|
tree
2007-02-12
Sven Verd
o
olaege
M
akef
i
le:
only check lexmin
if it
h
as
been com
p
iled
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoolaege
add Par
a
m_Polyhe
d
r
on_Scale
_
Integer prot
o
type
commit
|
commitdiff
|
tree
2007-02-12
Sv
e
n Verdoolaege
lattice_p
o
int
.
cc: add sanity check for index
o
f cone
commit
|
commitdiff
|
tree
2007-02-12
Sven Ver
d
oolaege
test:
init
i
alize
n
b
Mat
commit
|
commitdiff
|
tree
2007-02-12
S
ven Verdoolaege
b
a
rvinok_enumer
a
te: o
p
ti
o
nal
l
y compute a polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoolaege
Provide repl
a
cem
e
nt for
new
P
olyLi
b
function Param_Polyhedro
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sven
V
e
rdoola
e
ge
a
d
d ev
a
lue_div
(
ada
p
t
e
d from
P
olyL
i
b)
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoolaege
test: simple test for P
o
lyLib's Smith
commit
|
commitdiff
|
tree
2007-02-12
S
ven Ver
d
oolaeg
e
Makefile
.
am:
add depend
e
ncies for
c
h
e
cks
commit
|
commitdiff
|
tree
2007-02-11
Sve
n
Ve
r
d
o
olaege
g
enf
u
n
.
cc
:
short_rat::normalize: micro-
o
pti
m
izations
commit
|
commitdiff
|
tree
2007-02-11
Sven Verdoolaege
QQ: canonicalize on r
e
ad and mul
t
i
p
lication
commit
|
commitdiff
|
tree
2007-02-09
Sven Verdoolaege
doc:
b
arvinok_series requires p
o
lyhedron to have
*rev
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sve
n
Verdoolaege
M
a
kefile
.
am:
c
heck barvinok_enumera
t
e
-
-series during
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
S
v
e
n
Verdoolaege
b
arvinok_enumerate:
c
ompute series
of polyhedra with
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sven Ver
d
oolaege
util
.
c: move Po
l
yhe
d
ro
n
_has_positive_rays fro
m
barv
i
nok
.
cc
commit
|
commitdiff
|
tree
2007-02-09
Sv
e
n
V
er
d
o
o
la
e
g
e
test all specializatio
n
algorithms during make che
c
k
commit
|
commitdiff
|
tree
2007-02-09
Sven Verdoolaege
pass options through
t
o barvino
k
_count
i
n barvinok_
e
numerate
.
.
.
commit
|
commitdiff
|
tree
2007-02-08
Sven
Verdo
o
l
aege
H
a
ndle non
-
u
nimod
u
lar cones in dual decomposition
commit
|
commitdiff
|
tree
2007-02-08
Sven Verd
o
olaege
bar
v
i
n
ok_stats: rename unimodular_con
e
s
t
o base_cones
commit
|
commitdiff
|
tree
2007-02-08
Sven Ver
d
oolaege
reducer
.
cc: ext
r
a sanity
c
hecks
commit
|
commitdiff
|
tree
2007-02-08
Sven Verdoolaege
H
a
ndle n
o
n-unimodular cones wit
h
a
specified
m
aximal
.
.
.
commit
|
commitdiff
|
tree
2007-02-07
Sv
e
n Verdoolae
g
e
decomposer
.
cc: decompose: m
i
nor clean-up
commit
|
commitdiff
|
tree
2007-02-06
Sven Verdoo
l
aege
barvinok_
o
ptions: include
pointer to barvinok_
s
tats
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sven Verdoolaeg
e
add barvin
o
k_op
t
ions_fre
e
commit
|
commitdiff
|
tree
2007-02-06
Sven Verdool
a
ege
barvinok_enumerate: collect
s
tats on
n
um
b
er of unimodular
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
S
ven Verdoolae
g
e
decomposer
.
cc: polar_deco
m
pose: remove common di
v
isor
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sven
V
e
rdool
a
ege
partial_
r
educer: spe
c
iali
z
e l
i
s
t vers
i
on of bas
e
commit
|
commitdiff
|
tree
2007-02-05
Sv
e
n Verdool
a
ege
re
d
u
c
e
r
::red
u
ce: better handling
of t
e
rms with common
.
.
.
commit
|
commitdiff
|
tree
2007-02-05
Sven Verd
o
o
l
aeg
e
reducer::reduce: comb
i
ne n
u
merators with equal unreduced
.
.
.
commit
|
commitdiff
|
tree
2007-02-03
Sven Verdoolaeg
e
QQ: ad
d
operator for multipl
i
cation of vector
by a
.
.
.
commit
|
commitdiff
|
tree
2007-02-02
Sven Ve
r
do
o
lae
g
e
reducer::red
u
ce
:
t
a
k
e
a
l
i
st
o
f
n
u
m
e
rator
s
as in
p
ut
commit
|
commitdiff
|
tree
2007-02-02
Sven V
e
rdoolaege
g
e
n
_fun::read
:
read
g
e
n_fu
n
from fi
l
e
d
e
scriptor
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoo
l
aeg
e
add
g
e
n_fu
n
:
:
add(shor
t
_rat *r)
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
N
T
L_QQ
.
cc:
s
upport re
a
ding
from
s
tream
commit
|
commitdiff
|
tree
2007-02-02
Sven Verd
o
olaege
gen_f
u
n:
a
dd oper
a
tor
f
or printing to stream
commit
|
commitdiff
|
tree
2007-02-02
Sv
e
n
Verdoolaege
genfun
.
cc: add short
_
rat c
o
py co
n
struc
t
or
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolae
g
e
dpoly_r: micro-op
t
im
i
zations
commit
|
commitdiff
|
tree
2007-02-02
Sven V
e
rd
o
olaege
dpo
l
y: mark some more argume
n
ts/m
e
thods
const
commit
|
commitdiff
|
tree
2007-02-02
Sv
e
n
V
e
r
d
oolaege
short_rat::add: mark short
_
r
at argum
e
nt
const
commit
|
commitdiff
|
tree
2007-02-02
Sven
V
er
d
o
o
laege
NTL_QQ: atte
m
pt to speed-up += operator
commit
|
commitdiff
|
tree
2007-02-02
Sven Ver
d
oolaege
dpol
y
:
add some doc
u
men
t
ation
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoo
l
aege
d
poly: add some
m
ore operatio
n
s
commit
|
commitdiff
|
tree
2007-02-02
S
v
en Verdoolaege
barvino
k
/gen
f
un
.
h:
f
ix comment
commit
|
commitdiff
|
tree
2007-02-02
Sven Verd
o
olaege
add
.
gitigno
r
e
commit
|
commitdiff
|
tree
2007-02-02
Sv
e
n Verdoola
e
ge
QQ: add
operator for multipli
c
ation by a scalar
(ZZ)
commit
|
commitdiff
|
tree
2007-01-18
Sven Verdoolaege
Makefile
.
am: check-s
e
ries: check --primal as
we
l
l
commit
|
commitdiff
|
tree
next