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
Makefile.am: add dependencies for checks
2007-02-12
Sven Verdoolaege
Makefile
.
am: add
d
ependencies for checks
commit
|
commitdiff
|
tree
2007-02-11
Sven Ver
d
o
o
l
a
e
ge
genfun
.
cc: short_rat::normal
i
z
e
:
micro-op
t
i
m
izations
commit
|
commitdiff
|
tree
2007-02-11
S
ven
Ve
r
doolaege
QQ: canonic
a
lize on
read
a
nd multiplication
commit
|
commitdiff
|
tree
2007-02-09
Sve
n
V
erdoolaege
doc: barv
i
nok_series requires polyhedron to have *rev
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sven V
e
rdool
a
ege
Makefile
.
am: che
c
k barvinok
_
en
u
mera
t
e --series during
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sven Verdoolaege
barvinok_enumerat
e
: comput
e
series of polyh
e
dra with
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sven Ver
d
oo
l
a
e
g
e
util
.
c: move Polyhedron_has_pos
i
tive_r
a
ys from barvinok
.
c
c
commit
|
commitdiff
|
tree
2007-02-09
Sven Ve
r
doolae
g
e
test all spec
i
a
l
ization algor
i
thms during m
a
ke
c
h
e
ck
commit
|
commitdiff
|
tree
2007-02-09
Sven Verdoolaege
pas
s
option
s
through to barvin
o
k_count in barvinok_enumera
t
e
.
.
.
commit
|
commitdiff
|
tree
2007-02-08
Sven
V
e
r
d
ool
a
ege
Handle non-unimodular con
e
s i
n
dual de
c
omposition
commit
|
commitdiff
|
tree
2007-02-08
Sven Verd
o
olae
g
e
barvinok
_
s
t
a
ts:
rename unimodular_cones to base_cones
commit
|
commitdiff
|
tree
2007-02-08
Sven Verdoolaege
reducer
.
cc: ext
r
a sanity checks
commit
|
commitdiff
|
tree
2007-02-08
Sven Verd
o
olaege
Handle non-unimodula
r
con
e
s wi
t
h
a specified maxima
l
.
.
.
commit
|
commitdiff
|
tree
2007-02-07
Sven Ve
r
d
oo
l
aege
decompos
e
r
.
cc: decompose:
minor cl
e
a
n
-up
commit
|
commitdiff
|
tree
2007-02-06
Sven Verdoolaege
barvinok_options: inc
l
ude pointer to barvinok_stats
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sven Ve
r
doolaeg
e
a
d
d
barvinok_opt
i
ons_free
commit
|
commitdiff
|
tree
2007-02-06
Sven Ver
d
o
o
laege
ba
r
vinok_
e
numera
t
e: collect stats on n
u
mbe
r
of
unimodular
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
S
v
en Verdoolaege
deco
m
p
oser
.
cc:
p
olar_de
c
ompose: remove common
d
iv
i
so
r
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sven Verdo
o
laege
partia
l
_
reducer: specialize
l
i
s
t version
of
b
ase
commit
|
commitdiff
|
tree
2007-02-05
Sven
Verdool
a
ege
red
u
c
er::redu
c
e:
b
etter
h
andl
i
n
g of te
r
ms with commo
n
.
.
.
commit
|
commitdiff
|
tree
2007-02-05
Sve
n
Verdo
o
laege
reducer::reduce:
combin
e
numer
a
t
ors with
equa
l
unred
u
ced
.
.
.
commit
|
commitdiff
|
tree
2007-02-03
Sven Verdoolaege
QQ: a
d
d operato
r
f
or
m
ultiplication of vecto
r
by a
.
.
.
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
red
u
cer::reduc
e
:
take a list
of n
u
merator
s
as in
p
ut
commit
|
commitdiff
|
tree
2007-02-02
S
v
en Ve
r
doolaege
gen_fun::read: r
e
ad gen_
f
un from file descriptor
commit
|
commitdiff
|
tree
2007-02-02
Sv
e
n Verdoo
l
ae
g
e
add gen_fun:
:
ad
d
(sho
r
t_r
a
t *r)
commit
|
commitdiff
|
tree
2007-02-02
Sven Ver
d
o
ol
a
ege
NTL_QQ
.
c
c
:
suppo
r
t readin
g
from stream
commit
|
commitdiff
|
tree
2007-02-02
Sven Ver
d
oo
l
aege
gen
_
f
u
n: add
operator
f
or print
i
ng
to st
r
eam
commit
|
commitdiff
|
tree
2007-02-02
Sven
V
erdoolae
g
e
genfun
.
c
c
: add s
h
ort_r
a
t copy
constructor
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoola
e
ge
dpoly
_
r: mi
c
ro-optim
i
zations
commit
|
commitdiff
|
tree
2007-02-02
Sven
V
erdoolaege
dpoly: mark some more
a
r
g
uments/met
h
ods con
s
t
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaeg
e
short_rat::add
:
mar
k
shor
t
_rat a
r
gu
m
e
nt
co
n
s
t
commit
|
commitdiff
|
tree
2007-02-02
Sven V
e
r
d
oolaege
NTL_QQ: at
t
em
p
t
to speed-up +=
operator
commit
|
commitdiff
|
tree
2007-02-02
S
v
en
V
erdo
o
laege
dpoly: add some documentation
commit
|
commitdiff
|
tree
2007-02-02
S
ven
Verd
o
olaege
dpoly: ad
d
some more
op
e
r
ations
commit
|
commitdiff
|
tree
2007-02-02
Sven
V
erdo
o
l
ae
g
e
barvinok/genfun
.
h:
fix comment
commit
|
commitdiff
|
tree
2007-02-02
Sven
V
erd
o
olaege
ad
d
.
gitignore
commit
|
commitdiff
|
tree
2007-02-02
S
v
e
n
Verdoolae
g
e
QQ: add operator for m
u
lt
i
plication by a s
c
alar (ZZ)
commit
|
commitdiff
|
tree
2007-01-18
Sven Ve
r
dool
a
ege
M
a
kefile
.
am
:
check-series: check --
p
rimal as well
commit
|
commitdiff
|
tree
2007-01-16
Sven Verd
o
olaege
Makefile
.
am
:
instal
l
(some)
b
inari
e
s
commit
|
commitdiff
|
tree
2007-01-15
Sven Verdool
a
ege
undefine CS f
o
r So
l
a
r
is 10
commit
|
commitdiff
|
tree
2007-01-14
Sv
e
n Verdoolaege
b
a
rvinok_enumerate:
hand
l
e lines in inpu
t
polyhe
d
ra
.
.
.
commit
|
commitdiff
|
tree
2007-01-10
Sven Verdoolaege
util
.
c
:
m
ov
e
left_invers
e
from le
x
mi
n
.
cc
commit
|
commitdiff
|
tree
2007-01-05
Sven
V
e
rdoo
l
ae
g
e
gen
_
f
u
n::coeff
i
cient: move printing t
o
short
_
ra
t
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
g
en_f
u
n::
c
oe
f
ficient
:
new version return
i
ng ZZ
commit
|
commitdiff
|
tree
2007-01-05
Sven Ve
r
doo
l
aege
genfu
n
.
c
c
: move coefficient com
p
utation
to
s
hort_rat
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
par
t
ia
l
_
r
educer: restart compu
t
ation if rand
o
m vector
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven V
e
rdoolaege
gen
_
fun
:
expose clear_te
r
ms, a method for
c
le
a
r
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
gen_fun::Hada
m
ard_pro
d
uc
t
:
propagate
f
ull options to
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Verd
o
ol
a
e
g
e
b
a
r
v
in
o
k
_enumera
t
e:
integrat
e
v
erif_ehrhart
commit
|
commitdiff
|
tree
2007-01-05
Sve
n
Verdoo
l
a
e
ge
barvinok_
e
numerate: integrate
b
arvinok_series
commit
|
commitdiff
|
tree
2007-01-05
S
v
en Verdoolaege
bar
v
in
o
k_enu
m
e
r
at
e
: use
a
rgp
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
lexmin: make lexmin options private
commit
|
commitdiff
|
tree
2007-01-05
Sven Ve
r
do
o
l
a
ege
R
evert "
b
ernste
i
n/configure
.
in: re
m
ove red
u
ndant change
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Verd
o
olaege
b
a
r
v
inok
.
cc:
m
ak
e
us
e
of s
a
mpling for
c
ou
n
ting infinite
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Verd
o
olaege
ba
r
vinok_enu
m
er
a
te_e
:
respect --table o
p
t
ion
commit
|
commitdiff
|
tree
2007-01-05
Sven
V
erdoolaege
l
e
xmin
.
cc: move
s
election
of gb
r
solv
e
r to options
.
c
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolae
g
e
lex
m
in: use argp
commit
|
commitdiff
|
tree
2007-01-04
Sven V
e
rd
o
olaege
barvi
n
o
k
_e
n
u
merate
_
e: extract
out
verificatio
n
op
t
i
on
s
commit
|
commitdiff
|
tree
2007-01-04
Sven Ve
r
d
o
o
l
aege
barvinok_enumerate_e: p
r
i
n
t wa
r
ning when --omega or
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sven
V
er
d
oolaege
bernstei
n
/configure
.
in
:
remove redu
n
dant change to
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sven
Verdoolaege
barv
i
nok/polyli
b
.
h: define value
_
su
b
t
ract
a
nd val
u
e_addmul
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdool
a
ege
de
c
omposer
.
cc: decompose: micro-
o
pt
i
mizati
o
n
commit
|
commitdiff
|
tree
2007-01-04
S
v
en Verdoolaege
sign
e
d
_con
e
:
st
o
re rays of co
n
e
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
lex
m
in:
disable use of lookup-t
a
bles
commit
|
commitdiff
|
tree
2007-01-03
S
v
en Verdoo
l
aege
barvi
n
ok_enu
m
erate_e
.
cc:
fix
argp
options
p
ar
s
er
commit
|
commitdiff
|
tree
2007-01-03
Sven
V
erdoolaeg
e
options
.
c: move
c
hoice of use
o
f lookup-table
t
o
ba
r
vinok_op
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sv
e
n Verdoolaege
l
a
ttic
e
_
point
.
cc: fix
#
if
n
def
USE
_
MODU
L
O code path
commit
|
commitdiff
|
tree
2007-01-03
Sven
V
erdoolaege
d
ecomposer
.
cc: short_vecto
r
: r
e
move r
e
dundant co
d
e
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoola
e
ge
d
ecom
p
oser
.
cc:
shor
t
_vect
o
r: negate lambda i
f
z is
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven
Ver
d
o
o
lae
g
e
barv
i
nok
.
cc: series
:
o
n
l
y requi
r
e rays to be
revlex
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
S
ven Ve
r
d
o
olaege
b
a
rv
i
nok
.
cc: ser
i
es: pa
s
s
full
options
to barvinok
_
count
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
np_
b
ase:
:
handle:
pass arou
n
d
r
ays ma
t
r
ix instead
of
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Ve
r
d
o
olaege
decomposer
.
cc: support primal decomposition
commit
|
commitdiff
|
tree
2007-01-03
S
v
en Verdoo
l
a
e
ge
decomposer
.
cc: bar
v
inok_
d
ecompos
e
: impl
e
ment i
n
terms
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoo
l
aege
barvino
k
_en
u
m
erate: respect incr
e
mental_specialization
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven V
e
r
d
o
olaeg
e
introduce sign
e
d_
c
one s
t
ruc
t
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
separate
out decompositi
o
n
commit
|
commitdiff
|
tree
2007-01-03
Sven Verd
o
olaege
t
e
st: use argp parser
commit
|
commitdiff
|
tree
2006-12-28
Sven Verdool
a
e
ge
update
a
rgp
from gnul
i
b and add progname module
commit
|
commitdiff
|
tree
2006-12-27
Sven V
e
rdoolaege
b
a
r
vinok_enumerate_e
.
cc: don't
exit on u
n
r
ecognized
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
S
ven Ver
d
o
o
l
a
ege
lib/argp
.
h:
remove __N
T
H for
_
_argp_usage inline functi
o
n
commit
|
commitdiff
|
tree
2006-12-27
Sven
V
erdoolaege
barvi
n
ok_enumerate_e
.
cc:
remove another
d
u
plicate definition
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
S
ven Verdoolaege
barvinok_
e
n
u
m
era
t
e_e: use argp parser
commit
|
commitdiff
|
tree
2006-12-27
Sven Verd
o
olae
g
e
b
arvinok_count: use argp p
a
rs
e
r
commit
|
commitdiff
|
tree
2006-12-26
S
v
en Verdo
o
laege
options
.
c: add argp parse
commit
|
commitdiff
|
tree
2006-12-26
Sv
e
n Ve
r
do
o
laege
add a
r
g
p
from gn
u
lib
commit
|
commitdiff
|
tree
2006-12-26
Sven Verdo
o
laeg
e
scarf
.
cc:
m
ake comp
a
tible with
o
lder version
s
o
f
P
oly
L
ib
commit
|
commitdiff
|
tree
2006-12-26
Sven Verdoolaege
add miss
i
ng
a
ssert
.
h #
i
ncludes
commit
|
commitdiff
|
tree
2006-12-26
S
ven Verdoolaege
Makefile
.
am: a
d
d remove_
e
qualities
.
h to distribution
commit
|
commitdiff
|
tree
2006-12-26
S
v
en Verdoolaege
con
f
i
gu
r
e
.
in
:
only
c
on
f
i
gure bernste
i
n if GiNaC was
.
.
.
commit
|
commitdiff
|
tree
2006-12-22
Sve
n
V
e
r
doolaege
bernstein
:
c
onfig
u
re
.
in: chec
k
for G
i
NaC
commit
|
commitdiff
|
tree
2006-12-19
Sven Verd
o
olaeg
e
bernste
i
n: remo
v
e
e
xtra qualificat
i
ons fro
m
polynomial
.
.
.
commit
|
commitdiff
|
tree
2006-12-19
Sv
e
n Verdoo
l
aege
bernstein/src/ma
i
n
.
cpp: remove redun
d
a
n
t include
commit
|
commitdiff
|
tree
2006-12-18
Sven
V
erdo
o
laege
s
hort_rat::normalize: make p
o
wers i
n
the d
e
nominator
.
.
.
commit
|
commitdiff
|
tree
2006-12-18
Sven V
e
rdool
a
e
ge
gen_fun
:
:
substitute: normalize t
e
r
m
s
commit
|
commitdiff
|
tree
2006-12-18
Sven
Ver
d
o
o
laege
dp
o
ly_
r
: store terms i
n
a
set
r
ather
t
han in
a
v
ect
o
r
commit
|
commitdiff
|
tree
2006-12-18
Sven Verdoola
e
ge
gen_f
u
n: s
t
o
r
e term
s
in
a se
t
r
ather than in a vector
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
l
e
xmin: allow
e
mpt
i
ness check through
c
ounting
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdool
a
ege
lexmin
.
c
c
: move constructio
n
o
f
s
ubdoma
i
ns to edomain
.
cc
commit
|
commitdiff
|
tree
2006-12-11
Sven Verd
o
ola
e
ge
e
d
omain
.
cc: m
o
ve sample comp
u
tati
o
n
completely to EDomain
commit
|
commitdiff
|
tree
next