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/piecewise_lst.cpp: add minimize() method
2007-02-26
Sven Verdoolaege
bernstein/pi
e
cewise_lst
.
cp
p
: add minim
i
ze() metho
d
commit
|
commitdiff
|
tree
2007-02-26
S
ven Verd
o
olaege
barvinok_maximize: r
e
ad domains wit
h
UNIO
N
s
commit
|
commitdiff
|
tree
2007-02-26
S
v
en
Ve
r
do
o
l
aege
use Gi
N
aC cflags and libs
commit
|
commitdiff
|
tree
2007-02-23
Sve
n
Verdoo
l
aege
b
arvino
k
_maximize: optionally call evalue_split_periods
commit
|
commitdiff
|
tree
2007-02-23
Sven Verdoo
l
aege
evalue
.
c
:
add evalue_split_
p
er
i
ods
commit
|
commitdiff
|
tree
2007-02-23
Sven Verdoolaege
u
t
i
l
.
c: v
a
lue_lcm: mark argu
m
ents const
commit
|
commitdiff
|
tree
2007-02-23
S
ven Ver
d
oolaege
evalu
e
.
c
:
poly
n
omial_projec
t
ion: allow NUL
L
R ar
g
u
men
t
commit
|
commitdiff
|
tree
2007-02-23
Sven
V
er
d
o
o
l
aeg
e
evalue
.
c: extract fi
d
dl
i
ng
w
ith coefficients out of
.
.
.
commit
|
commitdiff
|
tree
2007-02-22
Sven Verd
o
olaege
evalue
_
b
ernstein_coeffici
e
nts: handle ea
c
h coset
of
.
.
.
commit
|
commitdiff
|
tree
2007-02-21
S
v
en Ve
r
doolaege
bar
v
inok
_
maxi
m
ize: read e
v
al
u
es with periodics
commit
|
commitdiff
|
tree
2007-02-21
Sven Verdoolaege
eval
u
e_b
e
rn
s
t
e
i
n_
c
oefficients:
h
a
n
d
l
e
p
eriod
i
cs
in
.
.
.
commit
|
commitdiff
|
tree
2007-02-21
Sven Ver
d
oolaege
b
ernstein: bernstei
n
Expa
n
sion:
a
ccept
list of polyno
m
ials
commit
|
commitdiff
|
tree
2007-02-19
Sven
Verd
o
o
l
a
e
g
e
barvinok_maximize:
m
ake eva
l
ue
p
a
rse a littl
e
bit more
.
.
.
commit
|
commitdiff
|
tree
2007-02-19
S
v
en Verdool
a
eg
e
ba
r
vinok_e
n
ume
r
ate
*
: be l
e
s
s
chatty by d
e
fault
commit
|
commitdiff
|
tree
2007-02-19
S
ven Verdoolaege
count/en
u
merate
:
w
a
r
n if
i
nput
i
s
a union
commit
|
commitdiff
|
tree
2007-02-19
Sven Verdoo
l
aege
DomainIncludes:
detect m
o
re c
a
s
es
+
adapt docum
e
ntation
commit
|
commitdiff
|
tree
2007-02-19
Sven Verdoolaege
evalue_
b
er
n
stein_coefficients: handle fra
c
tional
s
in
.
.
.
commit
|
commitdiff
|
tree
2007-02-19
S
ven Verdoolaege
eval
u
e_bernstein_
c
oefficients: handl
e
f
l
oor
i
n
g
s in
.
.
.
commit
|
commitdiff
|
tree
2007-02-18
Sve
n
Verdoolaege
barvinok_maxi
m
ize: new
t
o
ol for
maxim
i
zing p
i
ece
w
ise
.
.
.
commit
|
commitdiff
|
tree
2007-02-17
Sven Verdo
o
laege
ev
a
lue
.
c
:
evalue_frac2polynomial: improve a
c
curacy
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoola
e
g
e
evalue
.
c: add
c
om
m
e
n
t
commit
|
commitdiff
|
tree
2007-02-16
Sven Verd
o
o
laege
e
v
al
u
e
.
c: ad
d
function for c
h
ecking nesting
o
f an evalue
commit
|
commitdiff
|
tree
2007-02-16
Sven Ve
r
doola
e
g
e
ev
a
lu
e
.
c: ad
d
missing terms reo
r
derings
i
n eval
u
e_ra
n
g
e_redu
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoo
l
aege
evalue
.
c
: make arguments of ee
q
ual and evalue_denom
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoolaege
b
a
rvinok_enumer
a
te_e: a
d
d
-
-
verbose option
commit
|
commitdiff
|
tree
2007-02-16
Sve
n
V
e
rdool
a
ege
bernstein: mar
k
argu
m
ent
o
f value2numeric c
o
n
s
t
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoolaege
b
e
rnstein
.
cc: add (o
p
t
i
onal) o
p
tions argument to
e
value_bern
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
S
v
e
n
Verdoo
l
aeg
e
add mi
s
sing virtual destruc
t
ors
commit
|
commitdiff
|
tree
2007-02-16
Sven
V
er
d
oolaege
genfun
.
cc:
rename
s
truct cone to
a
void
c
o
nflict with
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
S
ven Verdoolaege
doc:
integer
points in the fundamental p
a
rall
e
l
epiped
.
.
.
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdool
a
ege
verif_ehrhart
.
c:
c
lean up indentation
commit
|
commitdiff
|
tree
2007-02-14
Sv
e
n Ver
d
oolaege
v
e
rif_e
h
rhart: o
p
tio
n
all
y
continue on
e
r
ror
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoolaege
verif
_
e
h
rhart: combine
check
_
p
o
ly f
r
om ba
r
vinok
_
enumerate_e
.
cc
commit
|
commitdiff
|
tree
2007-02-14
Sve
n
Verdo
o
lae
g
e
verif_ehrhart
.
c
:
check
l
owe
r
a
n
d upper pol
y
no
m
ia
l
appro
x
imations
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoolaege
v
e
rify
.
h: move
barvino
k
_options
i
n
t
o ve
r
ify_
o
ptions
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoolaege
barvinok_enu
m
erate
:
pass pa
r
ameter names
t
o check_
p
oly
commit
|
commitdiff
|
tree
2007-02-14
Sven V
e
rdoola
e
ge
barvinok_enume
r
ate: more polynommia
l
a
p
proxim
a
tions
commit
|
commitdiff
|
tree
2007-02-14
Sven Verd
o
olaege
e
v
alue
.
c: add
evalue
_
frac2polyn
o
mi
a
l
commit
|
commitdiff
|
tree
2007-02-14
Sve
n
Verd
o
olaeg
e
evalue
.
c:
e
xtract evalue
_
split_domains_into_or
t
hants
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sven Ver
d
oolaege
pol
y
sign
.
c: fix cdd_p
o
lyhedron
_
affin
e
_
s
ign p
r
ototype
commit
|
commitdiff
|
tree
2007-02-12
S
ven
Verdoolaege
Mak
e
file: only
check lexmin if it
has been
compiled
commit
|
commitdiff
|
tree
2007-02-12
Sve
n
Verdoolaege
add Pa
r
am_Polyhedron_Scale_Inte
g
er prototyp
e
commit
|
commitdiff
|
tree
2007-02-12
Sven
Verdoolaege
lat
t
i
c
e_
p
oint
.
cc: add sanity check for ind
e
x
of
cone
commit
|
commitdiff
|
tree
2007-02-12
Sven
V
erdoolaege
test
:
initialize nbMat
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoola
e
ge
barvinok_enumerate:
o
p
tionall
y
c
ompute a
polyno
m
ial
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoo
l
aege
Provide replace
m
ent for new PolyLib f
u
n
ction Param_Polyhedro
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdo
o
laege
a
d
d evalue_di
v
(ada
p
ted from PolyLi
b
)
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoolaege
test: simple t
e
st for PolyLib'
s
Sm
i
th
commit
|
commitdiff
|
tree
2007-02-12
S
v
e
n
Verdoolaege
M
a
kefile
.
am: add dependen
c
i
e
s
for checks
commit
|
commitdiff
|
tree
2007-02-11
Sven V
e
rdoolaege
genfun
.
cc:
short_rat::normalize: micro-opt
i
m
iz
a
ti
o
n
s
commit
|
commitdiff
|
tree
2007-02-11
Sven Verdoola
e
ge
QQ:
canonicali
z
e on read and multi
p
lic
a
tion
commit
|
commitdiff
|
tree
2007-02-09
Sven V
e
rdoolaege
doc: barvinok_ser
i
e
s
r
equires polyhedron to have *
r
e
v
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sve
n
Verdoolaege
Makefile
.
am: check ba
r
v
inok_enumerat
e
-
-
s
eries du
r
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sve
n
Verdoolaege
test all s
p
ecializ
a
tion algorit
h
m
s
during
m
a
ke
c
heck
commit
|
commitdiff
|
tree
2007-02-09
Sven Verdoolaege
pass options through to barvinok
_
cou
n
t
i
n b
a
rvinok_
e
numerate
.
.
.
commit
|
commitdiff
|
tree
2007-02-08
Sven Verdoolaege
Handle non
-
unimodular cones in dual de
c
om
p
osition
commit
|
commitdiff
|
tree
2007-02-08
Sven Verdoolaege
b
a
rvino
k
_
s
t
ats
:
rename unimodular_
c
o
n
e
s to base_cones
commit
|
commitdiff
|
tree
2007-02-08
S
v
en Verdoolaege
reduce
r
.
cc: extra
s
a
n
i
t
y
ch
e
cks
commit
|
commitdiff
|
tree
2007-02-08
S
v
en V
e
r
doolaege
Han
d
le non-unim
o
d
ular cones with a
s
pecif
i
ed maximal
.
.
.
commit
|
commitdiff
|
tree
2007-02-07
Sven Verdoolaege
decomposer
.
cc: decompose: m
i
n
or clean-up
commit
|
commitdiff
|
tree
2007-02-06
Sven Verdoolaege
barvinok_options: include poi
n
ter to barvinok_
s
t
ats
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sven
V
erd
o
o
laege
add b
a
rvinok_options_free
commit
|
commitdiff
|
tree
2007-02-06
Sven Verdoolaege
ba
r
vino
k
_enu
m
erate: c
o
llect s
t
ats on number of uni
m
o
d
u
l
a
r
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
S
v
en Ve
r
doolaege
d
e
composer
.
cc:
p
o
l
a
r_decompose:
r
emove
common divisor
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sven
V
erdoola
e
ge
p
artial_re
d
ucer:
sp
e
c
i
alize list version o
f
bas
e
commit
|
commitdiff
|
tree
2007-02-05
S
ven Verdoolaege
reducer::reduce:
bette
r
handlin
g
o
f
terms with common
.
.
.
commit
|
commitdiff
|
tree
2007-02-05
Sven
V
erd
o
olaege
reducer:
:
reduce: combi
n
e num
e
r
a
to
r
s with equal
unred
u
ce
d
.
.
.
commit
|
commitdiff
|
tree
2007-02-03
Sv
e
n Verdoolaeg
e
QQ: add operator for
m
ultiplica
t
ion of vector by a
.
.
.
commit
|
commitdiff
|
tree
2007-02-02
S
v
en V
e
r
doolaege
reducer::reduce: take a list of nume
r
a
tors as inpu
t
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
gen_fun:
:
read: r
e
ad gen_fun from file descriptor
commit
|
commitdiff
|
tree
2007-02-02
Sven
V
erd
o
olaege
add
gen_f
u
n::add(short_rat *r)
commit
|
commitdiff
|
tree
2007-02-02
S
v
en Verdool
a
ege
NTL_QQ
.
cc: su
p
port readi
n
g from str
e
am
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolae
g
e
ge
n
_
fun: add operator
f
or prin
t
ing to stream
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
ge
n
fun
.
cc: add short_
r
at
copy constr
u
ctor
commit
|
commitdiff
|
tree
2007-02-02
Sve
n
Verdoolaege
dpoly_r:
micro-o
p
timizat
i
ons
commit
|
commitdiff
|
tree
2007-02-02
Sven
V
e
rdoolaege
d
poly:
mark some more argume
n
ts/m
e
tho
d
s
const
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
short_rat::add
:
mark
short_rat argume
n
t con
s
t
commit
|
commitdiff
|
tree
2007-02-02
S
v
en Verdoolaege
NT
L
_QQ: attemp
t
t
o
s
peed
-
up += operator
commit
|
commitdiff
|
tree
2007-02-02
Sven Ve
r
d
o
olaege
dpoly
:
add some documen
t
ation
commit
|
commitdiff
|
tree
2007-02-02
Sven Ve
r
doo
l
aege
d
p
oly: add some more op
e
rations
commit
|
commitdiff
|
tree
2007-02-02
S
ven Verdoolaege
ba
r
vinok/genfun
.
h: fix comme
n
t
commit
|
commitdiff
|
tree
2007-02-02
S
v
en Verd
o
ola
e
ge
add
.
gitignore
commit
|
commitdiff
|
tree
2007-02-02
S
ven Verd
o
ola
e
ge
QQ: a
d
d operator fo
r
m
u
l
t
ipl
i
cati
o
n by a scal
a
r (
Z
Z)
commit
|
commitdiff
|
tree
2007-01-18
Sven Verdoolaege
M
a
k
e
f
ile
.
am: check-series:
check
--prim
a
l as well
commit
|
commitdiff
|
tree
2007-01-16
Sven Verd
o
olaege
Makefile
.
am: install (some) binarie
s
commit
|
commitdiff
|
tree
2007-01-15
Sven
Verdoolaege
undef
i
ne CS for Solaris 10
commit
|
commitdiff
|
tree
2007-01-14
Sven
Verdoolaege
b
ar
v
inok_enum
e
rate: handle
l
i
n
e
s in
input polyhedra
.
.
.
commit
|
commitdiff
|
tree
2007-01-10
Sven Verdoolaeg
e
util
.
c:
m
ove left_inverse
f
rom
lex
m
i
n
.
cc
commit
|
commitdiff
|
tree
2007-01-05
Sven Ve
r
d
o
o
l
ae
g
e
gen_fu
n
::coefficient: mov
e
p
ri
n
t
ing to
short_rat
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
gen_fu
n
::coeffi
c
i
e
nt: ne
w
version ret
u
rning ZZ
commit
|
commitdiff
|
tree
2007-01-05
Sv
e
n Verdo
o
l
ae
g
e
g
e
nfun
.
c
c: m
o
ve
co
e
fficient compu
t
ation t
o
s
hort_rat
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoo
l
aege
partial_reducer: res
t
art
c
o
m
p
u
tation if ran
d
om
ve
c
tor
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sv
e
n Verdoolaege
gen_fun:
expose clear_terms, a method
for cl
e
ari
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
g
e
n_fun::Hadamard_pr
o
duct: propagate fu
l
l options to
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sve
n
V
erdoolaege
barvinok_enumerate:
i
ntegrate
verif
_
ehrhart
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolae
g
e
b
a
rvinok_
e
numer
a
te: integrate barvi
n
ok
_
s
e
ri
e
s
commit
|
commitdiff
|
tree
2007-01-05
S
v
en Verd
o
olaege
barvino
k
_enumer
a
te
:
use argp
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdo
o
laeg
e
l
exmin:
m
ake lex
m
in options private
commit
|
commitdiff
|
tree
2007-01-05
S
v
en Verdoolaeg
e
Revert "bernstein/configure
.
in: remove r
e
dunda
n
t change
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
barv
i
no
k
.
cc:
m
ak
e
use of sampling for c
o
unting infi
n
ite
.
.
.
commit
|
commitdiff
|
tree
next