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
evalue.c: add function for checking nesting of an evalue
2007-02-16
Sven Verdoolaeg
e
evalue
.
c: add function for checking nesting of
an e
v
alue
commit
|
commitdiff
|
tree
2007-02-16
Sven Ver
d
o
olaeg
e
evalu
e
.
c:
add missing te
r
ms reorde
r
in
g
s in evalue_range_redu
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sv
e
n
Verd
o
ol
a
ege
evalue
.
c: make arguments of ee
q
ual and evalue_denom
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven
Verdoola
e
ge
barvinok_enumerate_e: add --
v
erbose
op
t
i
o
n
commit
|
commitdiff
|
tree
2007-02-16
Sve
n
Verdoolaege
be
r
nstein: mark a
r
gument of value2num
e
ric const
commit
|
commitdiff
|
tree
2007-02-16
Sv
e
n Ve
r
doolae
g
e
be
r
nstein
.
cc: add (o
p
tional)
opti
o
ns argumen
t
to eval
u
e_ber
n
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
S
ven Verdoolaege
add
m
iss
i
n
g
virtual destructor
s
commit
|
commitdiff
|
tree
2007-02-16
S
v
en Verdoola
e
ge
g
e
nfun
.
cc:
r
e
name s
t
ruct cone to avoid conflict with
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
S
ven Verdoolaege
d
oc: i
n
teger
points
i
n the fu
n
damental par
a
llel
e
piped
.
.
.
commit
|
commitdiff
|
tree
2007-02-14
S
v
en V
e
r
d
oolaege
ver
i
f_eh
r
hart
.
c:
c
l
e
an
u
p indentation
commit
|
commitdiff
|
tree
2007-02-14
S
ve
n
Verd
o
olaege
ver
i
f_ehrhart:
o
pti
o
nally c
o
ntinue on error
commit
|
commitdiff
|
tree
2007-02-14
Sve
n
Verdool
a
ege
verif_ehrhart: combine check_po
l
y from barvinok_
e
numerate_e
.
cc
commit
|
commitdiff
|
tree
2007-02-14
Sve
n
Verdoolaege
verif_ehrha
r
t
.
c
:
che
c
k lower and
u
pper polyn
o
mial approxim
a
t
i
ons
commit
|
commitdiff
|
tree
2007-02-14
Sven Verd
o
olae
g
e
verify
.
h: move
b
a
r
v
i
n
ok_options into verify_options
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoolaege
barvi
n
ok
_
enumerate:
pa
s
s param
e
ter nam
e
s to
c
heck_p
o
ly
commit
|
commitdiff
|
tree
2007-02-14
S
v
en Verdoolaege
barvinok_enumerate: m
o
re poly
n
ommial
appro
x
imations
commit
|
commitdiff
|
tree
2007-02-14
Sven V
e
rdoolaege
e
v
alue
.
c:
a
dd
e
valu
e
_frac2poly
n
omial
commit
|
commitdiff
|
tree
2007-02-14
Sven Verd
o
olaege
evalue
.
c:
e
xtract evalue_split_domai
n
s
_i
n
to_orthant
s
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sven
V
erdoolaege
poly
s
ig
n
.
c
:
fix cdd_polyhedron_affine_sign pro
t
o
type
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoolaege
Mak
e
file: on
l
y check
lexmin if
i
t h
a
s been compile
d
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoolaege
add Param_P
o
l
y
h
edron_
S
cale_Integer prototyp
e
commit
|
commitdiff
|
tree
2007-02-12
Sv
e
n
V
erdo
o
l
aege
l
attice
_
poi
n
t
.
cc: add sanity
c
heck fo
r
index of con
e
commit
|
commitdiff
|
tree
2007-02-12
Sve
n
Verdoo
l
ae
g
e
t
est: initialize nbMat
commit
|
commitdiff
|
tree
2007-02-12
Sven V
e
rdoolaege
barvin
o
k_en
u
merate: optionally compute a polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
S
v
en
V
erd
o
olaege
P
rovide replacemen
t
for new Po
l
yLib func
t
ion Param_Polyhedro
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoolaege
add
e
valu
e
_div (adapted
fr
o
m Poly
L
ib
)
commit
|
commitdiff
|
tree
2007-02-12
S
ven Ve
r
d
o
olaeg
e
test: sim
p
le test for P
o
lyLib's Smith
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdo
o
laege
Makefile
.
am: add d
e
pende
n
cie
s
for
c
he
c
ks
commit
|
commitdiff
|
tree
2007-02-11
Sven V
e
rdoolaege
g
enfun
.
cc: sh
o
rt_rat::normalize:
micro-opti
m
izations
commit
|
commitdiff
|
tree
2007-02-11
Sven
Verdoolaege
QQ: canonicaliz
e
on read and
m
ultiplication
commit
|
commitdiff
|
tree
2007-02-09
Sven Verd
o
olaege
doc: barvinok_s
e
ries requires polyhedron
t
o have *rev
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sven Verdoolaege
M
akefile
.
am: check bar
v
inok_enumerate
--series duri
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sven
Verd
o
olaege
barvinok_enumerate
:
c
om
p
u
te ser
i
es of polyh
e
dra
w
it
h
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sven Verdoolaege
util
.
c: move P
o
lyhedro
n
_has_positive_rays
f
r
om bar
v
inok
.
cc
commit
|
commitdiff
|
tree
2007-02-09
S
v
en
V
erdoolaeg
e
test all
sp
e
ci
a
liza
t
ion algo
r
ithms durin
g
m
ake c
h
eck
commit
|
commitdiff
|
tree
2007-02-09
Sven
Verdoolaege
pass opt
i
ons thro
u
gh to b
a
r
v
inok_count in barvinok
_
enumerate
.
.
.
commit
|
commitdiff
|
tree
2007-02-08
Sv
e
n Verdoolaege
Handle non-u
n
imodular cones
in
dual decompos
i
tion
commit
|
commitdiff
|
tree
2007-02-08
S
v
en Verdoolae
g
e
ba
r
vinok_st
a
t
s:
r
ename unimodula
r
_
c
o
nes to bas
e
_cones
commit
|
commitdiff
|
tree
2007-02-08
Sven V
e
rdoolaege
reduce
r
.
cc: extra sani
t
y ch
e
cks
commit
|
commitdiff
|
tree
2007-02-08
Sven
V
erdoolaege
H
a
ndl
e
non-unimo
d
ular cones with
a
specified maximal
.
.
.
commit
|
commitdiff
|
tree
2007-02-07
Sven Ve
r
d
oolaege
decomposer
.
cc: d
e
c
ompose: m
i
nor clean
-
up
commit
|
commitdiff
|
tree
2007-02-06
S
ven Verdo
o
laege
barvinok_op
t
ions: include poin
t
er to barvin
o
k
_
stats
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sven Verdoola
e
ge
add b
a
rvin
o
k_options
_
free
commit
|
commitdiff
|
tree
2007-02-06
Sven V
e
rdoolae
g
e
b
arvi
n
ok
_
enum
e
r
a
te:
c
olle
c
t stats on numbe
r
of unimodular
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sven Verdoola
e
g
e
dec
o
mposer
.
cc: po
l
a
r_decompose:
remove common diviso
r
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
S
ven
Verd
o
olaege
p
a
r
t
ial_reducer: specializ
e
lis
t
version
of b
a
se
commit
|
commitdiff
|
tree
2007-02-05
Sven V
e
rd
o
olaege
r
e
ducer::reduce
:
better handling
of terms with common
.
.
.
commit
|
commitdiff
|
tree
2007-02-05
Sv
e
n
Ve
r
doolaege
reducer::red
u
ce:
c
ombine
numerators with equal
u
nreduced
.
.
.
commit
|
commitdiff
|
tree
2007-02-03
Sven V
e
rdool
a
ege
Q
Q: add
o
perator f
o
r multi
p
lication of vector by
a
.
.
.
commit
|
commitdiff
|
tree
2007-02-02
Sv
e
n Verdoo
l
ae
g
e
red
u
cer
:
:reduce: take a list of
n
u
m
erators a
s
in
p
ut
commit
|
commitdiff
|
tree
2007-02-02
Sven Ver
d
oolae
g
e
gen_fu
n
::read: r
e
ad gen_fu
n
from file
d
escriptor
commit
|
commitdiff
|
tree
2007-02-02
Sven V
e
rdoolaege
add gen
_
fun:
:
add(
s
hor
t
_
rat *r)
commit
|
commitdiff
|
tree
2007-02-02
S
v
en
V
erdoolaege
N
TL_QQ
.
c
c: support reading from st
r
e
am
commit
|
commitdiff
|
tree
2007-02-02
Sv
e
n Verdoolaege
gen_fun
:
add operator fo
r
printing to st
r
e
a
m
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoo
l
aege
g
e
nfun
.
cc:
a
dd short_
r
at copy cons
t
ructor
commit
|
commitdiff
|
tree
2007-02-02
Sven V
e
rdoolaeg
e
d
poly_r
:
micro
-
optimizations
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdo
o
l
aege
d
p
o
l
y
:
mark some mo
r
e arguments/m
e
tho
d
s const
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
shor
t
_rat::
a
d
d
:
mark shor
t
_rat argument const
commit
|
commitdiff
|
tree
2007-02-02
S
ven
V
erdoolaege
NTL_QQ: atte
m
pt to speed-up += operator
commit
|
commitdiff
|
tree
2007-02-02
Sven Ver
d
oolaege
dpoly: add s
o
me doc
u
ment
a
tion
commit
|
commitdiff
|
tree
2007-02-02
Sven
V
e
r
doo
l
aege
dpoly: add some more
oper
a
t
ion
s
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
ba
r
vinok/genfun
.
h: fix comment
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdo
o
laege
add
.
gitignore
commit
|
commitdiff
|
tree
2007-02-02
Sven Ver
d
oolaege
QQ: add opera
t
o
r f
o
r m
u
ltiplic
a
ti
o
n by
a scalar (ZZ
)
commit
|
commitdiff
|
tree
2007-01-18
S
ven
V
erdoolaege
Makefil
e
.
a
m
: check-series: c
h
eck --pr
i
mal
a
s
well
commit
|
commitdiff
|
tree
2007-01-16
Sven Verdoolaege
Makefile
.
am: install (some) b
i
naries
commit
|
commitdiff
|
tree
2007-01-15
S
v
en Ve
r
doolaege
und
e
fine CS for Sol
a
ris 10
commit
|
commitdiff
|
tree
2007-01-14
Sven Verdoolaege
barv
i
nok_
e
n
u
mer
a
te:
handle lines in input polyhedra
.
.
.
commit
|
commitdiff
|
tree
2007-01-10
Sven Verd
o
olaege
util
.
c:
move left_i
n
ver
s
e from lex
m
in
.
c
c
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
gen
_
f
u
n::coeffic
i
ent
:
move prin
t
ing to short
_
rat
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
gen_
f
un::co
e
fficient: new vers
i
on r
e
turnin
g
ZZ
commit
|
commitdiff
|
tree
2007-01-05
Sven
V
erdoolaege
genfun
.
c
c
: mo
v
e coefficient computat
i
on to
short_rat
commit
|
commitdiff
|
tree
2007-01-05
Sv
e
n Verdoolaege
p
arti
a
l_reducer:
r
e
start
c
om
p
u
tation if ra
n
d
o
m v
e
ctor
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
S
v
en Verdoolaege
gen_fun: e
x
p
ose clear_terms, a method for clearing
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
S
v
en Verdoolaege
gen
_
fun::
H
ada
m
ar
d
_prod
u
c
t
: propagate
f
ul
l
optio
n
s
to
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
b
a
rvinok_enumerate: integrate verif_eh
r
hart
commit
|
commitdiff
|
tree
2007-01-05
Sv
e
n Verdoolaege
bar
v
inok_enumera
t
e
: integrate ba
r
vinok_series
commit
|
commitdiff
|
tree
2007-01-05
Sven Ver
d
oo
l
ae
g
e
barv
i
nok_enumera
t
e: use a
r
gp
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
lexmin:
m
a
ke lexmin options private
commit
|
commitdiff
|
tree
2007-01-05
Sven
V
erdoolaege
R
evert "bernstein/conf
i
gure
.
i
n:
r
emove redund
a
nt change
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Ver
d
oolaege
barv
i
nok
.
cc: make
use o
f
sampling
for counting
i
n
finite
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven V
e
rdoolae
g
e
barvin
o
k_enumerate_e
:
respect --ta
b
le
o
ption
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
lexmin
.
cc: mo
v
e se
l
ection of
g
br
s
olver to options
.
c
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
lexmin: use
a
r
gp
commit
|
commitdiff
|
tree
2007-01-04
Sven Ve
r
d
oolaege
barvinok_enumer
a
te_e: ex
t
rac
t
ou
t
verification o
p
tions
commit
|
commitdiff
|
tree
2007-01-04
Sven
Verdoolaege
barvinok_enumerate_e: print warning w
h
en --omega or
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdoolaege
bernst
e
in/c
o
n
f
igure
.
in: remove redunda
n
t
change to
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdo
o
la
e
ge
barvinok/polyli
b
.
h
:
define value
_
subtract and value_addm
u
l
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sv
e
n
Verdoola
e
ge
d
ecompos
e
r
.
cc: de
c
o
m
pose
:
mi
c
ro-optimization
commit
|
commitdiff
|
tree
2007-01-04
Sv
e
n Verdoolaege
si
g
ned_
c
one:
store
rays of co
n
e
commit
|
commitdiff
|
tree
2007-01-04
H
a
rald De
v
os
omega/parse
r
.
y: r
e
move brackets aroun
d
t
y
pe in new
commit
|
commitdiff
|
tree
2007-01-03
Sven Ve
r
doo
l
aege
lex
m
i
n
:
d
isable use of lookup-tables
commit
|
commitdiff
|
tree
2007-01-03
Sven Ve
r
doolaege
ba
r
vinok_
e
n
u
merate_e
.
cc: fix argp option
s
parser
commit
|
commitdiff
|
tree
2007-01-03
S
v
e
n
Verdoolaege
o
ptions
.
c:
move
ch
o
i
ce
o
f use
o
f lookup-ta
b
le
t
o barvinok_op
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Ver
d
oolaege
latti
c
e_po
i
nt
.
cc
:
fix #ifndef USE_MODULO
code
path
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdo
o
lae
g
e
decompose
r
.
cc: short_vector: remo
v
e redundant code
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
deco
m
poser
.
cc: short_vector: negate lam
b
d
a
if z is
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
ba
r
vinok
.
cc:
s
e
r
ies: only re
q
ui
r
e r
a
y
s t
o
be revlex
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
S
ven Verdoolaege
barvinok
.
cc
:
series:
p
a
ss full options t
o
barvinok
_
cou
n
t
commit
|
commitdiff
|
tree
2007-01-03
Sven Ver
d
oolaege
np_base::handle: pass aro
u
nd rays mat
r
ix
i
ns
t
e
a
d of
.
.
.
commit
|
commitdiff
|
tree
next