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
lattice_point.cc: add sanity check for index of cone
2007-02-12
Sven Verdoo
l
aeg
e
lat
t
ice_poin
t
.
c
c
: add sanit
y
check fo
r
index of
c
o
ne
commit
|
commitdiff
|
tree
2007-02-12
Sven Ve
r
doolaege
test
:
i
n
itializ
e
nbMat
commit
|
commitdiff
|
tree
2007-02-12
Sven V
e
rdoo
l
a
e
ge
barvinok_enumerate:
o
ptionally compute a
p
ol
y
no
m
ial
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
S
v
e
n Verdo
o
laege
Provide replacement for n
e
w
P
o
l
yLib f
u
nction
Param_Polyhedro
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sven
Verd
o
olaege
ad
d
eval
u
e
_
div (adapted from PolyL
i
b)
commit
|
commitdiff
|
tree
2007-02-12
Sv
e
n
Verdo
o
l
a
ege
test: s
i
m
p
le
t
e
st for
P
o
l
yLib's
S
mith
commit
|
commitdiff
|
tree
2007-02-12
Sv
e
n Verdoolae
g
e
Makefile
.
am
:
add depend
e
nci
e
s for
ch
e
cks
commit
|
commitdiff
|
tree
2007-02-11
S
ven Verdoolaege
genfun
.
cc: short_rat::normalize
:
micro-optimizations
commit
|
commitdiff
|
tree
2007-02-11
Sven Verdo
o
lae
g
e
QQ: canonicalize on read and mul
t
iplicat
i
on
commit
|
commitdiff
|
tree
2007-02-09
Sven Verd
o
olaege
doc:
b
a
rvinok
_
series
require
s
polyhedron to hav
e
*rev
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
S
ven Verdoolaege
M
akefile
.
am: check barv
i
n
ok_en
u
mer
a
te --series during
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sven Ve
r
doolaege
barvinok_enumerate:
compute se
r
i
es of polyhedra with
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sven Verdoolaeg
e
test all specializati
o
n
a
l
gorith
m
s dur
i
ng make check
commit
|
commitdiff
|
tree
2007-02-09
S
v
en Verdoolaege
pass
o
ptions t
h
r
o
ugh to
b
arvi
n
ok_cou
n
t in barvinok_en
u
merate
.
.
.
commit
|
commitdiff
|
tree
2007-02-08
Sven Verdool
a
ege
Handle no
n
-un
i
modular
c
o
n
es in
dual decompo
s
ition
commit
|
commitdiff
|
tree
2007-02-08
Sven
Verdoo
l
a
e
ge
barvino
k
_
s
tats: rename unimodula
r
_cones to base
_
con
e
s
commit
|
commitdiff
|
tree
2007-02-08
Sven
V
erdoolaege
reducer
.
c
c: extra sanity
che
c
ks
commit
|
commitdiff
|
tree
2007-02-08
Sven Ve
r
doolaege
Handle no
n
-unimodul
a
r cones wi
t
h a specifi
e
d maxima
l
.
.
.
commit
|
commitdiff
|
tree
2007-02-07
S
ven Ve
r
doolaege
decom
p
oser
.
cc: decompo
s
e: minor cl
e
an-up
commit
|
commitdiff
|
tree
2007-02-06
Sven Ve
r
do
o
laeg
e
b
a
rvin
o
k
_options: includ
e
pointer to bar
v
inok_stats
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sven
V
erdoola
e
ge
a
d
d ba
r
vin
o
k_opti
o
ns_free
commit
|
commitdiff
|
tree
2007-02-06
Sven Ve
r
doolaege
barv
i
nok_e
n
umerate: collect st
a
ts on number
of uni
m
odular
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sven Verdoolaege
decomposer
.
cc: polar
_
decompose:
r
e
m
o
ve co
m
m
on divisor
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sven Verdo
o
l
a
ege
partial_reducer: special
i
ze list version of base
commit
|
commitdiff
|
tree
2007-02-05
Sven V
e
rdoolae
g
e
r
ed
u
cer
:
:re
d
u
c
e: be
t
ter
handli
n
g of term
s
with c
o
mmon
.
.
.
commit
|
commitdiff
|
tree
2007-02-05
Sven Verdoolae
g
e
reducer:
:
re
d
uce: combine
n
u
m
e
rators with equal
unr
e
du
c
ed
.
.
.
commit
|
commitdiff
|
tree
2007-02-03
Sven
V
erdoolaeg
e
Q
Q
: ad
d
operator for mul
t
i
p
lic
a
tion of vector by
a
.
.
.
commit
|
commitdiff
|
tree
2007-02-02
S
v
e
n
Verdoolae
g
e
redu
c
er
:
:reduce: tak
e
a list of numer
a
tors as input
commit
|
commitdiff
|
tree
2007-02-02
Sven
V
e
r
doolaege
ge
n
_
fun
:
:read: read gen
_
fun from file descriptor
commit
|
commitdiff
|
tree
2007-02-02
S
v
en Verdoola
e
ge
add g
e
n_fun::add(short_rat *r)
commit
|
commitdiff
|
tree
2007-02-02
Sv
e
n Ver
d
o
o
la
e
g
e
NTL_Q
Q
.
cc: suppor
t
reading from stre
a
m
commit
|
commitdiff
|
tree
2007-02-02
Sv
e
n
V
erdoolaege
g
e
n
_fu
n
: add ope
r
a
tor for pr
i
nting
t
o s
t
ream
commit
|
commitdiff
|
tree
2007-02-02
Sven
Verdoolaege
ge
n
f
u
n
.
cc:
ad
d
short_rat copy constructor
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
dpol
y
_r: micro-op
t
imi
z
a
tions
commit
|
commitdiff
|
tree
2007-02-02
Sve
n
Verdo
o
laege
dpoly: mark some mor
e
arguments/m
e
t
h
o
ds co
n
st
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaeg
e
short_r
a
t::
a
dd
:
mark
s
h
ort_r
a
t ar
g
ument const
commit
|
commitdiff
|
tree
2007-02-02
Sven
Verdoolaege
NTL_
Q
Q: attempt to spee
d
-up += op
e
r
ator
commit
|
commitdiff
|
tree
2007-02-02
Sven
Verdoolaege
dpoly: add some d
o
cumentation
commit
|
commitdiff
|
tree
2007-02-02
Sv
e
n Verdoolaege
dp
o
ly:
add some mor
e
operations
commit
|
commitdiff
|
tree
2007-02-02
Sven
V
e
r
do
o
laege
barvi
n
ok/genfun
.
h:
f
i
x
comment
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoo
l
aege
add
.
g
itignore
commit
|
commitdiff
|
tree
2007-02-02
Sven
V
erdoolaege
QQ: add op
e
rator for multiplication by a scalar (ZZ)
commit
|
commitdiff
|
tree
2007-01-18
Sven Verdoolaege
Makef
i
le
.
am: check-se
r
ies:
chec
k
--prim
a
l as well
commit
|
commitdiff
|
tree
2007-01-16
Sven Verdoolaege
Makefile
.
am: ins
t
al
l
(
some)
binaries
commit
|
commitdiff
|
tree
2007-01-15
Sven
Verdo
o
l
a
ege
unde
f
ine CS for So
l
aris 1
0
commit
|
commitdiff
|
tree
2007-01-14
Sven
V
erdoolaege
barvinok_enumerate: hand
l
e
l
i
nes in inp
u
t
p
olyhedra
.
.
.
commit
|
commitdiff
|
tree
2007-01-10
Sven Verdoolaege
util
.
c:
m
ove le
f
t_inverse f
r
o
m
lexmin
.
cc
commit
|
commitdiff
|
tree
2007-01-05
S
ven
V
erd
o
olaege
gen
_
f
u
n::coefficient: move printing to short_rat
commit
|
commitdiff
|
tree
2007-01-05
Sv
e
n
Verdoola
e
ge
ge
n
_fun::coefficient: new version
r
eturning
ZZ
commit
|
commitdiff
|
tree
2007-01-05
Sven
V
erdool
a
ege
g
e
nfun
.
cc: mov
e
coe
f
ficient computa
t
i
o
n
to short_rat
commit
|
commitdiff
|
tree
2007-01-05
Sven V
e
r
d
oolaege
partial_
r
educer: re
s
t
a
rt comp
u
tatio
n
i
f
random vector
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdo
o
l
a
ege
ge
n
_fu
n
:
expos
e
clear_term
s
, a method for cle
a
ring
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Ve
r
doolaege
gen_fun
:
:
H
adamard
_
prod
u
ct:
p
r
o
pagate full options to
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Ver
d
oolae
g
e
barvin
o
k_enumerate
:
i
n
tegrate verif_ehrhart
commit
|
commitdiff
|
tree
2007-01-05
Sv
e
n
Verd
o
ol
a
ege
barvi
n
ok
_
enumerate: integrate barvinok_seri
e
s
commit
|
commitdiff
|
tree
2007-01-05
Sve
n
V
e
rdool
a
ege
b
a
rvinok_enumerate: use
a
rgp
commit
|
commitdiff
|
tree
2007-01-05
S
ven Verdoolaege
lexmin
:
make lexmin optio
n
s priv
a
te
commit
|
commitdiff
|
tree
2007-01-05
Sven
V
erdoolaege
Revert "bernste
i
n/configure
.
in: r
e
m
o
ve re
d
u
ndant change
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sv
e
n
V
e
r
do
o
laege
barvinok
.
cc
:
make use of sampl
i
ng for counting infin
i
te
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven
V
erdoola
e
ge
barvinok_enumerate_e
:
res
p
ect --
t
able
option
commit
|
commitdiff
|
tree
2007-01-05
Sve
n
Verdoo
l
a
e
g
e
lexmi
n
.
cc: move selection of gbr
solver to
options
.
c
commit
|
commitdiff
|
tree
2007-01-05
Sve
n
V
erdoolaege
l
e
xmin: use argp
commit
|
commitdiff
|
tree
2007-01-04
Sve
n
Ver
d
o
olaege
ba
r
vi
n
ok_
e
numerate_e: ex
t
ract o
u
t verificat
i
on
o
p
tions
commit
|
commitdiff
|
tree
2007-01-04
Sve
n
Verdoolaege
ba
r
v
ino
k
_enumerate_e:
print warning when
--omeg
a
or
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdool
a
ege
barvinok/polylib
.
h: de
f
ine value_
s
ubt
r
act
a
n
d
va
l
ue_a
d
d
m
ul
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sven V
e
r
doolaege
de
c
ompos
e
r
.
cc: deco
m
pose: micro-op
t
imization
commit
|
commitdiff
|
tree
2007-01-04
Sven Ver
d
o
o
l
a
ege
signed_cone: store rays of cone
commit
|
commitdiff
|
tree
2007-01-04
H
a
r
ald Devos
om
e
ga/parser
.
y: remove brack
e
ts around type
i
n new
commit
|
commitdiff
|
tree
2007-01-03
S
v
en
Verdo
o
laege
lexmi
n
: disable use
o
f
lookup-t
a
b
l
es
commit
|
commitdiff
|
tree
2007-01-03
Sven V
e
r
d
oolaege
barvinok
_
enumerate_
e
.
cc: fix argp op
t
io
n
s parser
commit
|
commitdiff
|
tree
2007-01-03
Sven Ver
d
oolaege
opt
i
ons
.
c: move choice of use
of loo
k
up-table t
o
barvinok_
o
p
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sv
e
n Verdoolae
g
e
latt
i
ce_poin
t
.
c
c
: fix
#
i
fndef USE_MODU
L
O
code
p
at
h
commit
|
commitdiff
|
tree
2007-01-03
S
ven
V
erdoolaege
deco
m
poser
.
cc: sh
o
rt_vector
:
remove redund
a
nt code
commit
|
commitdiff
|
tree
2007-01-03
Sven V
e
rdo
o
l
aege
d
e
compo
s
e
r
.
c
c
:
s
h
ort_vector: nega
t
e lam
b
da
if z is
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
barvinok
.
cc: series: only requir
e
rays to
be revle
x
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
S
v
e
n
Verdo
o
la
e
ge
b
arvino
k
.
cc: series
:
p
ass f
u
ll options to barvin
o
k_cou
n
t
commit
|
commitdiff
|
tree
2007-01-03
Sve
n
Verdoolaege
n
p
_base::handl
e
:
pass around rays ma
t
rix inste
a
d
o
f
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Ve
r
dool
a
ege
decompos
e
r
.
cc: sup
p
ort
prima
l
dec
o
m
pos
i
tion
commit
|
commitdiff
|
tree
2007-01-03
Sven Ve
r
doolaege
decomposer
.
cc: bar
v
inok_decom
p
ose: implement in term
s
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
S
ven Verdoolaege
b
arvi
n
ok
_
enum
e
r
ate: res
p
ect
increm
e
n
tal_specialization
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
S
v
en
V
e
r
d
ool
a
ege
introduce s
i
g
ned_cone struct
commit
|
commitdiff
|
tree
2007-01-03
Sve
n
V
e
rd
o
o
l
aege
separ
a
t
e out d
e
compositi
o
n
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolae
g
e
test:
u
se argp parser
commit
|
commitdiff
|
tree
2006-12-28
Sven
Verdoolaege
u
p
date argp
f
r
o
m gnulib and add progn
a
me
m
o
dule
commit
|
commitdiff
|
tree
2006-12-27
Sven V
e
rdoolaege
barvinok_enumerate_e
.
cc:
d
o
n't e
x
it on unrecognized
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
S
v
en Verdool
a
ege
l
ib/arg
p
.
h:
r
emove
_
_
NTH for __argp_u
s
age inline function
commit
|
commitdiff
|
tree
2006-12-27
Sve
n
Verdoolaege
ba
r
v
i
nok_enumerate_e
.
cc
:
re
m
ove another duplicat
e
d
e
finition
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
S
v
en
Verdoolaege
barvinok_enumerate_e
:
u
se argp parser
commit
|
commitdiff
|
tree
2006-12-27
Sven Verd
o
olae
g
e
b
arvin
o
k_count: use argp pa
r
ser
commit
|
commitdiff
|
tree
2006-12-26
Sve
n
Ver
d
oolaege
options
.
c: add ar
g
p
p
arse
commit
|
commitdiff
|
tree
2006-12-26
S
v
en
V
erd
o
o
laege
a
d
d arg
p
from g
n
ulib
commit
|
commitdiff
|
tree
2006-12-26
Sven V
e
rdoolaege
scarf
.
cc: make compatib
l
e with
o
lde
r
versions of Po
l
y
L
ib
commit
|
commitdiff
|
tree
2006-12-26
Sve
n
Verdo
o
l
aege
add missing assert
.
h #in
c
ludes
commit
|
commitdiff
|
tree
2006-12-26
S
ven Verdoola
e
ge
M
a
kefile
.
am
:
add
remove_equa
l
i
ties
.
h to distri
b
u
t
i
o
n
commit
|
commitdiff
|
tree
2006-12-26
Sven Verd
o
olaeg
e
c
o
nfigure
.
in:
only configure bernstein
if Gi
N
aC was
.
.
.
commit
|
commitdiff
|
tree
2006-12-22
Sven Verdoolaege
berns
t
ein: con
f
igure
.
in: check for GiNaC
commit
|
commitdiff
|
tree
2006-12-19
Sven Verdoolaeg
e
bernstein:
r
emove
e
xtra qualificati
o
n
s from
p
olynomial
.
.
.
commit
|
commitdiff
|
tree
2006-12-19
S
ven V
e
rdo
o
laege
bernst
e
in/src
/
ma
i
n
.
c
pp: remove re
d
undant inc
l
ude
commit
|
commitdiff
|
tree
2006-12-18
Sven Verd
o
ol
a
e
g
e
short_rat::normali
z
e: make powers in the denominator
.
.
.
commit
|
commitdiff
|
tree
2006-12-18
Sve
n
Verd
o
o
laeg
e
gen_f
u
n
:
:
s
ubstitute:
n
o
r
m
alize terms
commit
|
commitdiff
|
tree
next