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
barvinok_enumerate: optionally compute a polynomial approximation
2007-02-12
Sven Verdoolaeg
e
barvinok_e
n
um
e
rat
e
: op
t
ionally c
o
mpute
a
polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoolae
g
e
P
rovide replacement f
o
r new Po
l
yLib
f
unction Param_Polyhedro
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
S
ven Verdoolaege
ad
d
evalue_div (adap
t
ed from PolyLib)
commit
|
commitdiff
|
tree
2007-02-12
S
v
en Ver
d
oolaege
test: simple
te
s
t f
o
r
P
o
l
yLib's Smi
t
h
commit
|
commitdiff
|
tree
2007-02-12
Sven
Verdoolaege
Makefil
e
.
a
m
: add d
e
p
endencies for
c
hecks
commit
|
commitdiff
|
tree
2007-02-11
Sven
Verdoolaege
g
enfun
.
cc:
s
hort_rat::normal
i
z
e
:
m
i
cro-op
t
im
i
z
ation
s
commit
|
commitdiff
|
tree
2007-02-11
S
v
en Verdo
o
la
e
ge
Q
Q: canonicalize on read and
m
ultiplic
a
tion
commit
|
commitdiff
|
tree
2007-02-09
Sven
V
e
r
d
oolaege
d
oc:
barvinok_series require
s
polyhedron to h
a
ve *re
v
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sven Ver
d
oolaege
Makefile
.
am: ch
e
c
k
barvi
n
ok_enumerate
-
-serie
s
during
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sven Verdoolaeg
e
bar
v
inok
_
enumerate: compute s
e
ries of polyhedra
w
i
th
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
S
v
en
V
e
rdoo
l
a
e
ge
util
.
c: move Polyhedron_h
a
s_positive_rays fro
m
ba
r
vinok
.
c
c
commit
|
commitdiff
|
tree
2007-02-09
Sven Verdoolaege
t
e
st all spe
c
ializ
a
tion algorithms durin
g
make check
commit
|
commitdiff
|
tree
2007-02-09
Sven
Verdoolaege
pass opt
i
ons through to barvinok_c
o
unt in barvino
k
_enumera
t
e
.
.
.
commit
|
commitdiff
|
tree
2007-02-08
S
ven Ver
d
oo
l
a
e
ge
H
andle non-u
n
imodula
r
c
ones in dual decomposition
commit
|
commitdiff
|
tree
2007-02-08
Sven Verdoolaege
barvinok_st
a
ts: rename
u
ni
m
odular
_
cones
to ba
s
e_cone
s
commit
|
commitdiff
|
tree
2007-02-08
S
ven Verdoolaege
red
u
ce
r
.
cc: ex
t
r
a
sanity checks
commit
|
commitdiff
|
tree
2007-02-08
Sven Verdoolaege
Hand
l
e non-unim
o
du
l
a
r
cone
s
wi
t
h a specif
i
e
d
maximal
.
.
.
commit
|
commitdiff
|
tree
2007-02-07
Sven Verdoolaege
deco
m
p
o
ser
.
c
c
:
d
e
compose: mi
n
or clea
n
-up
commit
|
commitdiff
|
tree
2007-02-06
S
v
e
n Verdoolaege
b
a
rv
i
nok_o
p
tio
n
s: include pointer
t
o ba
r
vin
o
k_sta
t
s
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sv
e
n Verdoolaege
a
d
d barvinok_op
t
i
o
ns_free
commit
|
commitdiff
|
tree
2007-02-06
Sven Verdoolaege
barvinok_e
n
u
merate: collect
stats on nu
m
be
r
of
u
ni
m
od
u
l
ar
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sven Verdoolaege
decomposer
.
cc: polar_decompose: remove common divisor
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sven Ver
d
oolaege
par
t
ial
_
reducer: speci
a
liz
e
li
s
t version of b
a
se
commit
|
commitdiff
|
tree
2007-02-05
Sven Verdo
o
laege
reducer::
r
educe: better handl
i
n
g
of
t
e
r
ms with co
m
mon
.
.
.
commit
|
commitdiff
|
tree
2007-02-05
Sven Verdool
a
ege
reducer::reduce:
comb
i
ne numerators with equal unreduc
e
d
.
.
.
commit
|
commitdiff
|
tree
2007-02-03
Sven Verdoola
e
ge
QQ: add operator for m
u
l
ti
p
licatio
n
of vector by a
.
.
.
commit
|
commitdiff
|
tree
2007-02-02
Sven Ver
d
oolae
g
e
r
e
d
u
cer::reduce: take a
list of numera
t
ors as
i
n
put
commit
|
commitdiff
|
tree
2007-02-02
S
v
en
V
erdoolaege
g
e
n
_
fun::read: r
e
ad gen_fun from file descriptor
commit
|
commitdiff
|
tree
2007-02-02
S
v
en Verdoola
e
g
e
add gen
_
fun::a
d
d(sh
o
rt_rat
*
r)
commit
|
commitdiff
|
tree
2007-02-02
S
v
en Verdoolaege
N
T
L
_QQ
.
cc:
s
upport re
a
ding fr
o
m stream
commit
|
commitdiff
|
tree
2007-02-02
S
v
en Verdoolaege
gen_fun: add operator for printin
g
t
o
s
tream
commit
|
commitdiff
|
tree
2007-02-02
S
ven Verdoolaege
genfun
.
cc: add
short_rat copy cons
t
ruct
o
r
commit
|
commitdiff
|
tree
2007-02-02
Sve
n
Verdoolaeg
e
d
poly_r
:
m
i
cro-optimizations
commit
|
commitdiff
|
tree
2007-02-02
S
v
en Verdoolaege
dpoly:
mark som
e
mor
e
argumen
t
s
/me
t
hods
c
o
n
st
commit
|
commitdiff
|
tree
2007-02-02
Sven Verd
o
olaege
short_
r
at::add
:
mark short_ra
t
argument
c
o
nst
commit
|
commitdiff
|
tree
2007-02-02
Sve
n
Verd
o
o
l
aege
NTL_QQ:
attempt
t
o
speed
-
up += oper
a
tor
commit
|
commitdiff
|
tree
2007-02-02
Sve
n
Ve
r
doolaege
dp
o
ly: add
some documenta
t
ion
commit
|
commitdiff
|
tree
2007-02-02
Sven
Verdoola
e
g
e
d
poly: add som
e
more
operations
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoola
e
ge
barvinok
/
g
e
n
fun
.
h: fix comment
commit
|
commitdiff
|
tree
2007-02-02
S
ven
V
erdo
o
laege
a
dd
.
git
i
gnore
commit
|
commitdiff
|
tree
2007-02-02
Sven Ve
r
doolaeg
e
Q
Q
:
a
dd operator for multiplication by a
s
c
alar (ZZ
)
commit
|
commitdiff
|
tree
2007-01-18
S
ven
V
erdoolaege
Makefile
.
am: chec
k
-ser
i
es: c
h
e
c
k --prim
a
l as well
commit
|
commitdiff
|
tree
2007-01-16
Sven Verdool
a
e
ge
Ma
k
efile
.
am: install (some)
bi
n
arie
s
commit
|
commitdiff
|
tree
2007-01-15
Sven Verdoolae
g
e
undefi
n
e
CS for Solar
i
s 10
commit
|
commitdiff
|
tree
2007-01-14
Sven Verdool
a
ege
barvinok_enumerate: handle lines in input
p
olyhedr
a
.
.
.
commit
|
commitdiff
|
tree
2007-01-10
Sven Verdoolaege
util
.
c: move left_i
n
ve
r
s
e
f
rom lexmin
.
cc
commit
|
commitdiff
|
tree
2007-01-05
Sve
n
Ve
r
doolaege
g
e
n_fun::coef
f
i
c
i
ent: move printing to short_r
a
t
commit
|
commitdiff
|
tree
2007-01-05
S
v
en
V
e
r
doolaege
g
e
n_
f
un::coefficient: new versio
n
r
e
turning ZZ
commit
|
commitdiff
|
tree
2007-01-05
Sven Verd
o
ola
e
g
e
genfun
.
cc: m
o
ve coefficient
c
omputation to short_ra
t
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
partial
_
redu
c
er: restart compu
t
a
t
ion if ra
n
dom vect
o
r
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
g
en
_
fun: ex
p
ose
c
lear_term
s
, a
m
e
thod
for clearing
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sv
e
n Verdoolaege
gen_fun::Had
a
mard_pr
o
duct: prop
a
gate f
u
ll options to
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
S
ven
Verdoo
l
aege
b
arv
i
nok_enum
e
rate: i
n
tegr
a
te verif_ehrhart
commit
|
commitdiff
|
tree
2007-01-05
Sv
e
n Ve
r
doolaege
barvi
n
ok_enume
r
ate: int
e
grat
e
bar
v
inok_
s
er
i
es
commit
|
commitdiff
|
tree
2007-01-05
Sven Ve
r
doolaege
ba
r
vino
k
_
enumerate: use a
r
gp
commit
|
commitdiff
|
tree
2007-01-05
Sven V
e
rdool
a
e
g
e
lexm
i
n:
make lex
m
in o
p
tio
n
s p
r
ivate
commit
|
commitdiff
|
tree
2007-01-05
Sven
V
erdoolaege
Re
v
ert "bernste
i
n/configure
.
in
:
remo
v
e redundant
chan
g
e
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven
V
erd
o
olaege
barvinok
.
c
c: make u
s
e of sampling f
o
r counting infinit
e
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
S
v
en Verdoolaege
barvinok_enumerate_e: respec
t
--table option
commit
|
commitdiff
|
tree
2007-01-05
Sve
n
Ver
d
oolaege
le
x
min
.
cc: move selection of
g
br so
l
v
e
r
to option
s
.
c
commit
|
commitdiff
|
tree
2007-01-05
Sv
e
n Verdoolaeg
e
l
e
x
m
in: u
s
e argp
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdo
o
laege
barvinok_enumerate_e: ext
r
act out verification optio
n
s
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdo
o
lae
g
e
b
a
rvinok_enumerate_e
:
print w
a
rning when --omega
or
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdoolaege
bernstein/c
o
nfigure
.
i
n
: remove redund
a
nt change to
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sven Ver
d
oolaege
ba
r
vi
n
ok/po
l
ylib
.
h: defi
n
e value
_
subtrac
t
and val
u
e_addmu
l
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sven
V
erdoo
l
aege
decomposer
.
cc:
d
ecompose:
micro-
o
ptimization
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdoolaege
s
igned
_
cone: store
r
a
ys of cone
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
l
e
x
min: disable us
e
of lookup-tables
commit
|
commitdiff
|
tree
2007-01-03
Sven
Verdoo
l
ae
g
e
barvinok_enumerate_
e
.
cc: f
i
x argp options parser
commit
|
commitdiff
|
tree
2007-01-03
S
ven Ver
d
oolaege
optio
n
s
.
c:
move choice of use of
lookup
-
ta
b
le to barvinok_op
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdo
o
l
a
ege
lattice_point
.
cc: f
i
x
#
ifndef USE_MODULO co
d
e
p
ath
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaeg
e
dec
o
mposer
.
cc: short_
v
e
ctor: remove redundan
t
code
commit
|
commitdiff
|
tree
2007-01-03
S
v
e
n V
e
rdoolaeg
e
decom
p
oser
.
cc: short_vector
:
negate la
m
b
d
a
if z
i
s
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
S
v
e
n
Verdoolaege
b
arvino
k
.
cc: series: only r
e
quire
rays
t
o be
revlex
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
S
ven Verdoolaege
b
a
rvinok
.
cc:
s
eri
e
s: pass full opti
o
ns
t
o barvino
k
_count
commit
|
commitdiff
|
tree
2007-01-03
S
v
en Verd
o
olaeg
e
n
p_b
a
se::handle: pass around ray
s
matrix i
n
stead
o
f
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven V
e
rd
o
o
l
aege
dec
o
m
p
oser
.
cc
:
s
u
pport p
r
imal
decomposition
commit
|
commitdiff
|
tree
2007-01-03
Sven Verd
o
olaege
decompo
s
er
.
cc: barvino
k
_decomp
o
se:
i
mplemen
t
in t
e
rms
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdool
a
ege
barvinok_enumerate: re
s
p
e
ct inc
r
em
e
ntal_specialization
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sv
e
n Ve
r
doolaege
introduce sign
e
d_
c
one s
t
ruct
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdool
a
eg
e
s
e
parate out decomposition
commit
|
commitdiff
|
tree
2007-01-03
Sven Ver
d
oolaege
te
s
t: use argp
parser
commit
|
commitdiff
|
tree
2006-12-28
Sven Verdoolaeg
e
upda
t
e argp
f
rom gnulib
a
nd add
p
rogname module
commit
|
commitdiff
|
tree
2006-12-27
Sven Verdoola
e
ge
barvinok
_
enumera
t
e_e
.
cc:
d
on't exi
t
on unrecogniz
e
d
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
S
v
en
V
erd
o
ola
e
ge
li
b
/argp
.
h: remove __NTH
f
or __argp
_
usage inl
i
n
e fun
c
tion
commit
|
commitdiff
|
tree
2006-12-27
Sven
V
erdoolaege
barv
i
no
k
_enumerate_e
.
cc:
remove a
n
ot
h
er duplicate definiti
o
n
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
Sven
V
erdoola
e
g
e
ba
r
v
inok_en
u
m
erate_e: use argp
parser
commit
|
commitdiff
|
tree
2006-12-27
Sven Verdo
o
l
a
ege
barvinok_count: use argp parser
commit
|
commitdiff
|
tree
2006-12-26
Sven
V
e
r
doolaege
opti
o
ns
.
c: add
a
r
g
p
pa
r
se
commit
|
commitdiff
|
tree
2006-12-26
S
v
e
n Verdoolaege
add argp from gnu
l
ib
commit
|
commitdiff
|
tree
2006-12-26
S
ven V
e
rdool
a
ege
scarf
.
cc: make compa
t
ible with older
versions
o
f
PolyLib
commit
|
commitdiff
|
tree
2006-12-26
Sv
e
n
V
erdoolaege
add missing ass
e
rt
.
h
#
includes
commit
|
commitdiff
|
tree
2006-12-26
Sven Verdoolaege
Makefile
.
am: add
remove_equalities
.
h to d
i
s
t
ribution
commit
|
commitdiff
|
tree
2006-12-26
S
v
en Verdoolaege
configure
.
in: only configure bernst
e
i
n
if GiN
a
C
was
.
.
.
commit
|
commitdiff
|
tree
2006-12-22
Sven
Verdoo
l
aege
bernstein: co
n
figure
.
in: chec
k
for GiNaC
commit
|
commitdiff
|
tree
2006-12-19
Sven Verdoolae
g
e
berns
t
e
in: rem
o
ve extra qualifications
from polynomial
.
.
.
commit
|
commitdiff
|
tree
2006-12-19
S
v
en
Verdo
o
laeg
e
bernstein
/
src/main
.
cpp: remove redundant include
commit
|
commitdiff
|
tree
2006-12-18
Sven Verdoolaege
sh
o
rt_rat:
:
normalize: make
p
o
wers in the
denominator
.
.
.
commit
|
commitdiff
|
tree
2006-12-18
Sve
n
Verdool
a
ege
gen_fun::
s
ubs
t
itute: norm
a
liz
e
term
s
commit
|
commitdiff
|
tree
2006-12-18
Sven Verdoolaege
dpoly_r
:
sto
r
e terms in a set rathe
r
t
han in a
v
ecto
r
commit
|
commitdiff
|
tree
next