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: skip infinite (sub)domains
2007-02-26
Sven
Verdoolaege
be
r
nstei
n
_coefficients: skip infinite (sub)do
m
ains
commit
|
commitdiff
|
tree
2007-02-26
Sv
e
n
V
erdoolaege
barvinok_maximize: l
e
t user spe
c
ify
v
ariab
l
e
s ove
r
.
.
.
commit
|
commitdiff
|
tree
2007-02-26
Sv
e
n
V
e
r
doolaeg
e
b
e
rnstein
_
coefficien
t
s: skip computati
o
ns
i
f
domain
.
.
.
commit
|
commitdiff
|
tree
2007-02-26
S
v
en
V
e
rd
o
olaege
b
a
rvino
k
_ma
x
imize:
f
i
x acce
s
s
t
o
f
reed memory
commit
|
commitdiff
|
tree
2007-02-26
Sven V
e
rdoolaeg
e
bernstein/piecewi
s
e
_lst
.
cp
p
: add minimi
z
e() method
commit
|
commitdiff
|
tree
2007-02-26
Sven
Ve
r
doolaege
barvinok_maxi
m
ize: read domains with U
N
IONs
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdoo
l
aege
use GiNaC cflags and libs
commit
|
commitdiff
|
tree
2007-02-23
Sven Verdo
o
laege
barvinok_max
i
mize: op
t
ional
l
y call evalue_sp
l
i
t
_periods
commit
|
commitdiff
|
tree
2007-02-23
Sven Verdoolaeg
e
eva
l
u
e
.
c: add eva
l
ue
_
split_period
s
commit
|
commitdiff
|
tree
2007-02-23
S
ven Verdoolaege
util
.
c
: v
a
l
u
e_lcm
:
mark ar
g
u
ments const
commit
|
commitdiff
|
tree
2007-02-23
Sve
n
Verdoolaege
e
v
a
l
ue
.
c: p
o
lynom
i
al_projecti
o
n
:
allow
N
U
L
L R argumen
t
commit
|
commitdiff
|
tree
2007-02-23
Sv
e
n Verdoolaege
evalue
.
c: ex
t
ract fiddl
i
ng with
coefficients out of
.
.
.
commit
|
commitdiff
|
tree
2007-02-22
Sve
n
Verdoolae
g
e
eva
l
ue_bernstein_
c
oe
f
f
i
cients:
h
andle each coset of
.
.
.
commit
|
commitdiff
|
tree
2007-02-21
Sven Verdoolaege
bar
v
inok_maxi
m
i
ze:
read evalues wit
h
periodics
commit
|
commitdiff
|
tree
2007-02-21
Sven Verdoolaege
evalu
e
_
bernstein_coe
f
ficients: han
d
l
e periodi
c
s
i
n
.
.
.
commit
|
commitdiff
|
tree
2007-02-21
Sven Ver
d
oolaege
bernstein: bern
s
teinExpa
n
sion: accept li
s
t of
p
olynomials
commit
|
commitdiff
|
tree
2007-02-19
Sven
V
erdoolaeg
e
barvinok_maximize
:
ma
k
e
e
val
u
e pa
r
se a little bit more
.
.
.
commit
|
commitdiff
|
tree
2007-02-19
Sven Ver
d
oolaege
barvinok_en
u
merate*: be les
s
c
h
a
tty by defaul
t
commit
|
commitdiff
|
tree
2007-02-19
Sven Verdoo
l
aege
count/enum
e
rate
:
warn if input is a unio
n
commit
|
commitdiff
|
tree
2007-02-19
Sven
Verdoolaege
Dom
a
inIncludes: detect
mo
r
e cases + adapt
documentation
commit
|
commitdiff
|
tree
2007-02-19
Sven
Verdoolaege
evalue_bernstein_coefficients: han
d
le fractionals i
n
.
.
.
commit
|
commitdiff
|
tree
2007-02-19
Sven Verdoolaege
e
value_berns
t
ein_
c
o
e
ffici
e
nts: handl
e
f
l
oorings i
n
.
.
.
commit
|
commitdiff
|
tree
2007-02-18
Sven Ver
d
oolae
g
e
barvinok_
m
aximize: new too
l
for maxi
m
i
zing
p
iecewis
e
.
.
.
commit
|
commitdiff
|
tree
2007-02-17
Sven Verd
o
olaege
eval
u
e
.
c: evalue_frac
2
polynomial: impr
o
ve accur
a
cy
commit
|
commitdiff
|
tree
2007-02-16
Sven V
e
rdoola
e
ge
e
value
.
c:
add comment
commit
|
commitdiff
|
tree
2007-02-16
S
v
e
n
Ve
r
doolaege
e
v
alue
.
c: add function fo
r
che
c
king nesting of
an evalue
commit
|
commitdiff
|
tree
2007-02-16
S
ven
Verd
o
olaege
e
value
.
c: add mi
s
sin
g
t
erms reor
d
erings in evalue_range_
r
edu
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven
Verdo
o
la
e
g
e
evalue
.
c: make arg
u
ment
s
o
f eequal and
evalue_
d
e
n
om
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoolaege
bar
v
i
nok_enumerate_e: add --ve
r
bos
e
option
commit
|
commitdiff
|
tree
2007-02-16
Sven
V
erdoolaege
be
r
nstein: mark a
r
gument of
v
alu
e
2numer
i
c const
commit
|
commitdiff
|
tree
2007-02-16
S
v
en Verdoo
l
aege
bernstein
.
cc: add (optional)
o
ptions
argu
m
ent to evalue_bern
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
S
ve
n
Verdoolaege
ad
d
missing vi
r
tual de
s
tructors
commit
|
commitdiff
|
tree
2007-02-16
Sve
n
Ve
r
doolae
g
e
genfun
.
cc:
r
e
name s
t
ruc
t
cone to avoid
conflict with
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven V
e
r
d
o
olaege
doc: in
t
e
g
er poin
t
s in the fundamental parallelepiped
.
.
.
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoo
l
aege
v
e
rif_ehrhart
.
c: clean up indentation
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoola
e
g
e
v
er
i
f_eh
r
hart
:
o
ptional
l
y continue on erro
r
commit
|
commitdiff
|
tree
2007-02-14
Sven Ver
d
oolaege
verif
_
e
h
rhart: combine
c
h
eck_po
l
y from barvi
n
ok_enume
r
ate_e
.
c
c
commit
|
commitdiff
|
tree
2007-02-14
Sven Ve
r
d
o
o
l
aege
verif_ehrhart
.
c:
che
c
k lower and uppe
r
polyno
m
i
al ap
p
rox
i
mat
i
ons
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoolaege
verify
.
h: move
b
arvin
o
k_op
t
io
n
s
i
nto verif
y
_op
t
ions
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoolaege
b
arvin
o
k_enu
m
erat
e
: pas
s
param
e
ter nam
e
s to check_poly
commit
|
commitdiff
|
tree
2007-02-14
Sv
e
n Verdoola
e
ge
barvinok_en
u
merate: more polynommi
a
l approximat
i
ons
commit
|
commitdiff
|
tree
2007-02-14
S
v
en Verdoolaege
evalue
.
c: add eva
l
ue_frac2pol
y
nomial
commit
|
commitdiff
|
tree
2007-02-14
Sve
n
Verdoolaege
evalue
.
c: extract
ev
a
lue_split
_
domains_into_orthants
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
S
ven Verdoolaege
polysign
.
c: fix
cdd_
p
ol
y
hed
r
on_affine
_
s
i
g
n proto
t
ype
commit
|
commitdiff
|
tree
2007-02-12
S
v
en Verdool
a
eg
e
Makefile: only che
c
k lexmin if it has been compiled
commit
|
commitdiff
|
tree
2007-02-12
S
v
e
n
V
e
r
d
o
o
l
aeg
e
add Param_P
o
lyhedron_S
c
ale_Integer
prototype
commit
|
commitdiff
|
tree
2007-02-12
S
v
en Verd
o
olaege
la
t
tice_poin
t
.
c
c: a
d
d sanity chec
k
for index of cone
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoolae
g
e
test: initialize n
b
Mat
commit
|
commitdiff
|
tree
2007-02-12
Sv
e
n Verdoolaege
b
arvinok_e
n
umerate: opti
o
nally compute a polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sven
V
erdoo
l
aeg
e
Provide rep
l
ace
m
ent for new PolyL
i
b functi
o
n Param_
P
ol
y
hedro
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoolaege
ad
d
evalue
_
div (
a
da
p
t
ed f
r
om
PolyL
i
b)
commit
|
commitdiff
|
tree
2007-02-12
Sven Ve
r
dool
a
ege
te
s
t: s
i
mp
l
e test for PolyLib's S
m
ith
commit
|
commitdiff
|
tree
2007-02-12
Sv
e
n Verd
o
olaege
M
akefil
e
.
a
m
: add dependencies for checks
commit
|
commitdiff
|
tree
2007-02-11
Sven
V
erdoolaege
genfun
.
cc: short
_
rat::nor
m
aliz
e
: m
i
cro-optimiz
a
tion
s
commit
|
commitdiff
|
tree
2007-02-11
Sv
e
n Verdoolae
g
e
QQ: canonicalize on re
a
d and
m
u
l
t
ipli
c
ation
commit
|
commitdiff
|
tree
2007-02-09
Sven Ve
r
doolaege
doc: barvino
k
_
s
eries requ
i
res polyhedron to have *rev
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sven Verdo
o
laege
Ma
k
e
f
ile
.
am: check barvinok_enum
e
rate --seri
e
s
d
ur
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sven Verdoo
l
aege
t
e
s
t
al
l
specialization algor
i
thms during
m
ake
c
heck
commit
|
commitdiff
|
tree
2007-02-09
Sven V
e
rdo
o
laege
pass options
through
to barvino
k
_count in barvinok_enumerate
.
.
.
commit
|
commitdiff
|
tree
2007-02-08
Sven Verdoolaege
H
andle non-
u
n
imodular cones in dua
l
de
c
omposition
commit
|
commitdiff
|
tree
2007-02-08
Sven V
e
r
d
oo
l
aege
b
arv
i
n
o
k_st
a
t
s
: rename unimodular_co
n
es to base_cones
commit
|
commitdiff
|
tree
2007-02-08
S
ven V
e
rd
o
olaege
r
educer
.
cc: extr
a
sanity checks
commit
|
commitdiff
|
tree
2007-02-08
Sven Ve
r
doolae
g
e
Handl
e
non-uni
m
odular cones with a sp
e
cified
maximal
.
.
.
commit
|
commitdiff
|
tree
2007-02-07
Sven
Verdo
o
laege
d
ecomp
o
s
er
.
cc: decompose: minor clean-u
p
commit
|
commitdiff
|
tree
2007-02-06
Sv
e
n Verd
o
o
laege
ba
r
vinok_options: inclu
d
e pointe
r
to
b
arvin
o
k_stats
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
S
v
en Verdoolaege
a
d
d b
a
r
v
inok_o
p
tions_free
commit
|
commitdiff
|
tree
2007-02-06
S
ven
Verdoolae
g
e
barvino
k
_enumera
t
e: collect
s
t
a
ts on num
b
er of unimodular
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sven Verdoola
e
ge
dec
o
mposer
.
cc: polar
_
decompose: re
m
ov
e
common divisor
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sven Verd
o
olaege
partial_re
d
uce
r
: sp
e
cialize list
v
e
r
si
o
n of base
commit
|
commitdiff
|
tree
2007-02-05
S
v
e
n
Ve
r
doolaege
reducer::reduce:
better ha
n
dling of terms with common
.
.
.
commit
|
commitdiff
|
tree
2007-02-05
Sven Verdoolaege
reducer::re
d
uce: co
m
bine nu
m
erato
r
s
w
i
t
h
equal
unre
d
uced
.
.
.
commit
|
commitdiff
|
tree
2007-02-03
S
v
e
n Ve
r
doolaege
QQ: ad
d
o
perator for multiplication of ve
c
tor
b
y a
.
.
.
commit
|
commitdiff
|
tree
2007-02-02
S
v
en
V
erd
o
o
l
a
eg
e
reducer::reduce:
t
ake a li
s
t of num
e
r
ator
s
as input
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
gen_
f
un::read:
r
e
ad gen_fun from fi
l
e
d
escriptor
commit
|
commitdiff
|
tree
2007-02-02
S
ven Verdoolaege
add gen_f
u
n::
a
dd
(
short_rat
*
r)
commit
|
commitdiff
|
tree
2007-02-02
S
v
e
n Ver
d
oolaeg
e
N
TL
_
QQ
.
c
c
: suppor
t
readin
g
f
rom s
t
ream
commit
|
commitdiff
|
tree
2007-02-02
S
v
en Verdoola
e
ge
g
en_f
u
n: add operator for
p
rinting
to
stream
commit
|
commitdiff
|
tree
2007-02-02
Sv
e
n Verdoolaeg
e
genfu
n
.
c
c
:
a
dd
s
hor
t
_rat co
p
y
const
r
uct
o
r
commit
|
commitdiff
|
tree
2007-02-02
Sve
n
Verdoolaege
dpoly_r: micro-optimizations
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
dpol
y
:
mark some more
a
rg
u
ments/methods const
commit
|
commitdiff
|
tree
2007-02-02
S
v
en
Ve
r
d
o
olaege
short
_
r
a
t::ad
d
: mark short_rat argum
e
nt
con
s
t
commit
|
commitdiff
|
tree
2007-02-02
Sv
e
n Verdoolae
g
e
NTL_QQ:
attempt to speed-up +
=
op
e
ra
t
o
r
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
dpo
l
y
:
a
d
d some documentation
commit
|
commitdiff
|
tree
2007-02-02
Sven Ve
r
doolae
g
e
dpo
l
y:
add
some more operation
s
commit
|
commitdiff
|
tree
2007-02-02
Sven
Ve
r
doolaege
bar
v
i
nok/genf
u
n
.
h: fix
comme
n
t
commit
|
commitdiff
|
tree
2007-02-02
Sv
e
n Verdoolaege
a
dd
.
gitignore
commit
|
commitdiff
|
tree
2007-02-02
S
ven Verdoola
e
ge
QQ: add opera
t
or for multipl
i
cation by a sca
l
ar
(ZZ
)
commit
|
commitdiff
|
tree
2007-01-18
Sven Ve
r
d
o
ol
a
ege
Makefile
.
am: chec
k
-seri
e
s: check --primal as well
commit
|
commitdiff
|
tree
2007-01-16
Sven Verdoolaege
Mak
e
file
.
am
:
insta
l
l
(
some) b
i
naries
commit
|
commitdiff
|
tree
2007-01-15
Sv
e
n Verdoolaege
undefi
n
e CS
f
or Solaris 10
commit
|
commitdiff
|
tree
2007-01-14
Sven Verdoolaege
barvinok
_
enum
e
rate: handle l
i
nes in
input poly
h
edra
.
.
.
commit
|
commitdiff
|
tree
2007-01-10
Sven Verdoolaege
util
.
c: m
o
ve left_inverse from lexmin
.
cc
commit
|
commitdiff
|
tree
2007-01-05
S
ven Ve
r
doo
l
a
e
ge
gen_
f
un::c
o
eff
i
cient:
move p
r
inting to
sh
o
rt_ra
t
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoola
e
g
e
gen_fun::coef
f
icient: new ver
s
ion re
t
urning Z
Z
commit
|
commitdiff
|
tree
2007-01-05
Sve
n
Verdoolaeg
e
genfun
.
cc: move co
e
fficie
n
t
comp
u
tat
i
on to shor
t
_rat
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaeg
e
partial_reducer: r
e
start compu
t
ation if ran
d
om vector
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven
Verdo
o
laege
ge
n
_fun: exp
o
se clear_
t
e
rm
s
, a method
for clea
r
ing
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
S
v
en Ve
r
doolaege
gen_
f
un
:
:Hadamard_p
r
oduc
t
: propag
a
te full opti
o
n
s
t
o
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven
V
erdoolaege
barvinok_enumerate:
inte
g
rate verif
_
ehrhart
commit
|
commitdiff
|
tree
2007-01-05
Sven Ver
d
oolae
g
e
b
a
rvinok_e
n
u
m
e
r
a
te
:
i
ntegr
a
t
e
barvinok_series
commit
|
commitdiff
|
tree
next