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
add Param_Polyhedron_Scale_Integer prototype
2007-02-12
Sven Verdoolaege
add
P
aram_P
o
lyhedron_Scale_Inte
g
e
r
prototype
commit
|
commitdiff
|
tree
2007-02-12
Sv
e
n Verdoola
e
ge
l
a
ttice_point
.
cc:
add sanity check for inde
x
o
f
cone
commit
|
commitdiff
|
tree
2007-02-12
Sve
n
Verdo
o
laege
test: initializ
e
nbMa
t
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoola
e
ge
barvinok_enumerate: o
p
tion
a
lly compu
t
e a
p
olynomial
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sven Ver
d
oolaege
Prov
i
de
r
ep
l
aceme
n
t for new
PolyLib
f
u
nction Param_
P
olyhedro
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
S
ven
V
e
r
doolaege
add evalue_d
i
v (adapted from PolyLib)
commit
|
commitdiff
|
tree
2007-02-12
Sve
n
Verdool
a
ege
test: simple
test for PolyLib's
S
mit
h
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoolaege
M
a
kefile
.
am
:
ad
d
dependenci
e
s for che
c
k
s
commit
|
commitdiff
|
tree
2007-02-11
Sven Verdoola
e
ge
genfun
.
cc: sh
o
rt_r
a
t::norm
a
l
i
ze:
micro-optimizations
commit
|
commitdiff
|
tree
2007-02-11
S
ven
V
erdoolaeg
e
QQ:
c
an
o
n
ic
a
lize
on rea
d
and mul
t
iplication
commit
|
commitdiff
|
tree
2007-02-09
S
v
en Verdoola
e
ge
doc
:
b
arvinok_seri
e
s
requi
r
es
po
l
y
h
edron to have
*
re
v
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sven Verdoo
l
aege
Mak
e
file
.
am:
c
heck barvinok
_
enumerate --s
e
ries durin
g
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sven Verdoo
l
aege
t
e
s
t all specialization algorithms during make check
commit
|
commitdiff
|
tree
2007-02-09
Sven Verdoolaege
pas
s
options
th
r
ough to barvinok_count in
barvinok_e
n
u
m
erate
.
.
.
commit
|
commitdiff
|
tree
2007-02-08
Sven Verdoolaege
Handle n
o
n-unimod
u
lar cones in dual d
e
c
o
mpo
s
ition
commit
|
commitdiff
|
tree
2007-02-08
Sven Verdoolaege
barvi
n
ok_s
t
at
s
:
r
ename
unimodular_c
o
nes to base_con
e
s
commit
|
commitdiff
|
tree
2007-02-08
Sven Verdoolaege
r
educer
.
cc: e
x
tra
sanity c
h
ecks
commit
|
commitdiff
|
tree
2007-02-08
Sve
n
Ver
d
oolaege
Handle non-u
n
imodula
r
cones with a s
p
eci
f
ie
d
maximal
.
.
.
commit
|
commitdiff
|
tree
2007-02-07
Sven Verdoola
e
ge
de
c
omposer
.
c
c
:
decompose:
m
in
o
r
c
lean-up
commit
|
commitdiff
|
tree
2007-02-06
Sven Ver
d
oo
l
ae
g
e
barvino
k
_options: include pointe
r
to barvinok_stat
s
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sv
e
n
Verdoolaege
add barv
i
n
o
k_o
p
t
i
o
ns_free
commit
|
commitdiff
|
tree
2007-02-06
Sven Verdoolaege
barvinok_enumerate: col
l
ec
t
st
a
ts on number of
unimodular
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sven Verd
o
o
l
aege
deco
m
pose
r
.
cc
:
polar_decompose: remove common divisor
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sven Verdoolaege
partial_reducer
:
sp
e
cia
l
i
z
e list vers
i
on of
b
ase
commit
|
commitdiff
|
tree
2007-02-05
Sven Verdo
o
laege
reducer:
:
red
u
ce: bette
r
handling
o
f
terms wi
t
h common
.
.
.
commit
|
commitdiff
|
tree
2007-02-05
Sven Verdo
o
laege
reduc
e
r::reduce: combine numera
t
ors with eq
u
al unreduc
e
d
.
.
.
commit
|
commitdiff
|
tree
2007-02-03
Sven Verdoo
l
aege
QQ: add operato
r
for multipl
i
cation of
vecto
r
by a
.
.
.
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
reducer::r
e
duce: take
a li
s
t of nume
r
at
o
rs as input
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
gen_fun::r
e
ad: rea
d
gen_f
u
n f
r
o
m file de
s
criptor
commit
|
commitdiff
|
tree
2007-02-02
Sven Ver
d
ool
a
ege
a
dd gen_fun::add(short_rat *r
)
commit
|
commitdiff
|
tree
2007-02-02
Sven Ve
r
doo
l
aege
NTL_QQ
.
cc: su
p
port reading from stream
commit
|
commitdiff
|
tree
2007-02-02
Sve
n
Verdoolae
g
e
gen_fun: a
d
d opera
t
or for printing to stream
commit
|
commitdiff
|
tree
2007-02-02
S
v
en
V
e
r
doolae
g
e
genfun
.
cc:
ad
d
short_
r
at copy co
n
st
r
uctor
commit
|
commitdiff
|
tree
2007-02-02
Sven Ver
d
oo
l
aege
d
p
oly_r: micro-optimi
z
ations
commit
|
commitdiff
|
tree
2007-02-02
Sve
n
Verdoolaeg
e
dpoly: m
a
rk
some m
o
re argu
m
ents/method
s
c
onst
commit
|
commitdiff
|
tree
2007-02-02
S
v
en Verdool
a
ege
sh
o
r
t
_
r
a
t:
:
a
d
d:
m
ark short_rat ar
g
u
m
ent con
s
t
commit
|
commitdiff
|
tree
2007-02-02
Sven Ve
r
d
o
o
l
aege
NTL_QQ: a
t
t
empt to
speed
-
up +=
o
perator
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
dpol
y
: add some d
o
cumentatio
n
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoola
e
ge
dpoly: add som
e
mo
r
e
operation
s
commit
|
commitdiff
|
tree
2007-02-02
Sven V
e
r
d
o
olaege
b
a
rvinok/genf
u
n
.
h: fix c
o
mment
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoola
e
ge
add
.
gitignore
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdo
o
laege
QQ: add op
e
rator
f
or mult
i
pli
c
ation
b
y a scalar
(ZZ)
commit
|
commitdiff
|
tree
2007-01-18
S
ven
Verdoolaege
Makefile
.
am:
c
h
eck-series:
c
heck --prima
l
as
w
ell
commit
|
commitdiff
|
tree
2007-01-16
Sven
Verdoolaege
Mak
e
file
.
am:
i
nstall
(so
m
e)
b
in
a
ries
commit
|
commitdiff
|
tree
2007-01-15
Sven Verdoolaeg
e
unde
f
ine CS for Solaris 10
commit
|
commitdiff
|
tree
2007-01-14
Sve
n
Ve
r
doo
l
aege
barvino
k
_e
n
umerate: handle
l
ines in input polyhedra
.
.
.
commit
|
commitdiff
|
tree
2007-01-10
S
v
en Verdoolaege
uti
l
.
c
: m
o
v
e
left_inv
e
rse fr
o
m lexmin
.
c
c
commit
|
commitdiff
|
tree
2007-01-05
Sv
e
n Ve
r
doolaege
gen_fun::coef
f
icient: mo
v
e
printing to short_rat
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
gen_fun
:
:c
o
effi
c
ient: new version ret
u
rning ZZ
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
g
e
n
f
un
.
cc: mov
e
coeffici
e
nt
co
m
putatio
n
to sh
o
rt
_
r
at
commit
|
commitdiff
|
tree
2007-01-05
S
v
en Verdoolaege
partial_reducer
:
restart compu
t
ation if random vector
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
S
v
e
n Verdoolaege
gen
_
fun: ex
p
ose clear_
t
erms, a method for cl
e
aring
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven
V
erdoolaege
g
en_fun:
:
Hadamard_pr
o
d
uct
:
propag
a
te ful
l
options to
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven
V
erdo
o
laeg
e
barvin
o
k
_
e
num
e
rate:
integrat
e
v
erif_ehrhart
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
barvinok_enumerat
e
: integra
t
e barvino
k
_
series
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdo
o
laege
b
arv
i
nok_e
n
umerat
e
: use argp
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
lexmin: make lexmin op
t
ions private
commit
|
commitdiff
|
tree
2007-01-05
Sv
e
n
V
erdoolaege
Revert
"
b
e
rns
t
ei
n
/
configure
.
in: remo
v
e redun
d
ant ch
a
ng
e
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
bar
v
inok
.
cc: ma
k
e
use of
sampling f
o
r c
o
unting inf
i
n
ite
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Ve
r
dool
a
ege
barvino
k
_enumerate_e: re
s
p
ect --table opti
o
n
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
lexmin
.
cc:
m
ove sele
c
ti
o
n
of gbr solver to options
.
c
commit
|
commitdiff
|
tree
2007-01-05
S
v
e
n Verdoolaege
lexmin
:
u
se argp
commit
|
commitdiff
|
tree
2007-01-04
Sven
Verdoolaege
barvinok_enumerate_e: extract out verification options
commit
|
commitdiff
|
tree
2007-01-04
S
v
en Verdoolaege
barvinok_enu
m
erate_e: pr
i
nt
wa
r
ning when --om
e
ga
o
r
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sv
e
n Verd
o
olaege
barvinok/po
l
ylib
.
h: define val
u
e_subtract and value_addmul
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdoolaege
decompo
s
er
.
cc: decomp
o
se: micro-optimization
commit
|
commitdiff
|
tree
2007-01-04
Sven
V
erdoolaege
signed_
c
one: store rays
o
f
cone
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdool
a
ege
l
e
xmin: d
i
sable use
o
f lookup-tables
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaeg
e
barvi
n
ok_enumerate_e
.
cc:
f
ix argp options parser
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
opt
i
ons
.
c: move choice o
f
use
of lookup-table
t
o
barv
i
nok_o
p
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
lattice_point
.
cc: fix #
i
f
ndef
USE_MODULO c
o
de path
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
decomp
o
ser
.
cc: sho
r
t
_
v
ector:
r
emove
r
edu
n
dant c
o
de
commit
|
commitdiff
|
tree
2007-01-03
Sven
V
erdoolaege
de
c
o
mposer
.
cc: short_v
e
ctor:
n
egate lambda
i
f z is
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven
Verdoolaege
barvinok
.
c
c
:
s
eries
:
only require rays to
be r
e
vlex
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven V
e
rdool
a
ege
barvinok
.
cc: se
r
i
e
s: pa
s
s full options to
b
arvinok
_
count
commit
|
commitdiff
|
tree
2007-01-03
Sven Ver
d
oo
l
aege
np_base::handle: pass arou
n
d
rays matrix ins
t
ead of
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
decompo
s
er
.
cc: support primal decom
p
osition
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolae
g
e
deco
m
po
s
er
.
cc:
b
arvi
n
ok_decompose: implement in ter
m
s
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sv
e
n Verdoo
l
aeg
e
bar
v
inok_en
u
merate: respect
i
ncr
e
mental_
s
pecia
l
i
z
ation
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven V
e
rd
o
olaeg
e
introduce signed_cone struct
commit
|
commitdiff
|
tree
2007-01-03
Sven Ver
d
oolae
g
e
separate out
d
e
c
o
m
pos
i
tion
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
t
es
t
:
u
se argp parser
commit
|
commitdiff
|
tree
2006-12-28
Sv
e
n Verdoo
l
a
e
ge
u
p
date
argp from gnulib a
n
d add pro
g
n
a
m
e module
commit
|
commitdiff
|
tree
2006-12-27
S
v
en
V
erdoolaege
b
arvin
o
k_en
u
mer
a
te_e
.
cc:
d
on't exit on u
n
recognized
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
Sven
V
erdoola
e
ge
lib/argp
.
h:
r
emove
_
_NTH f
o
r __argp
_
usage inline function
commit
|
commitdiff
|
tree
2006-12-27
Sven Verdoolaege
barvinok_
e
numerate_e
.
cc:
remov
e
an
o
ther d
u
pl
i
cat
e
definit
i
on
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
Sven Verdoolaeg
e
barvinok_
e
numerat
e
_e:
use
a
rgp parser
commit
|
commitdiff
|
tree
2006-12-27
Sven Verdoolaege
b
a
rvino
k
_c
o
un
t
: use argp parser
commit
|
commitdiff
|
tree
2006-12-26
Sven V
e
rdoolaege
options
.
c: add argp parse
commit
|
commitdiff
|
tree
2006-12-26
Sven Verd
o
olaege
add argp from gnul
i
b
commit
|
commitdiff
|
tree
2006-12-26
Sven Verdoolaege
s
carf
.
cc: make compa
t
i
ble wit
h
o
lder versi
o
ns of Pol
y
Lib
commit
|
commitdiff
|
tree
2006-12-26
Sven Ve
r
doolaege
add missi
n
g assert
.
h
#incl
u
des
commit
|
commitdiff
|
tree
2006-12-26
Sve
n
Verd
o
olaege
M
ake
f
ile
.
am: add remove_equ
a
lities
.
h to distribution
commit
|
commitdiff
|
tree
2006-12-26
Sve
n
Verdo
o
laege
config
u
re
.
i
n
: o
n
l
y configu
r
e bernstein if GiNaC was
.
.
.
commit
|
commitdiff
|
tree
2006-12-22
Sv
e
n Verdool
a
ege
b
er
n
stein: conf
i
g
u
re
.
in: check
for GiNaC
commit
|
commitdiff
|
tree
2006-12-19
Sven Verdoolaege
b
e
rnstein: remove ext
r
a qual
i
f
ic
a
t
ions
from polyn
o
mial
.
.
.
commit
|
commitdiff
|
tree
2006-12-19
Sven Verdoolaege
berns
t
ein/src/main
.
cpp: r
e
move
redundant inc
l
ud
e
commit
|
commitdiff
|
tree
2006-12-18
Sv
e
n Verdoolaege
s
h
ort_
r
at::
n
ormalize:
mak
e
powers in the deno
m
inator
.
.
.
commit
|
commitdiff
|
tree
2006-12-18
Sv
e
n Verdoolaege
g
en_fu
n
:
:substitute: normalize terms
commit
|
commitdiff
|
tree
2006-12-18
Sven Ver
d
o
o
laege
dpoly_r: store t
e
r
ms in
a
set rather th
a
n in a v
e
ctor
commit
|
commitdiff
|
tree
next