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
V
erdoolaeg
e
add Param_Pol
y
he
d
ron_S
c
ale_Integer pro
t
otype
commit
|
commitdiff
|
tree
2007-02-12
Sven
Verdoolaege
lattice_poi
n
t
.
cc:
a
dd sanit
y
ch
e
ck fo
r
index of cone
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdo
o
laege
t
e
st:
i
nitiali
z
e
nbMat
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoolaege
barvinok_enum
e
rate
:
op
t
i
onal
l
y com
p
ute a
polynom
i
al
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoolaege
Provide r
e
placement
f
or new PolyLib functio
n
P
a
ram_Polyhedro
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sven Ver
d
oolaege
add evalue_div
(
adapt
e
d from PolyLib)
commit
|
commitdiff
|
tree
2007-02-12
Sve
n
Ver
d
oolaege
test: s
i
mple test
for PolyLib's
Smith
commit
|
commitdiff
|
tree
2007-02-12
S
ven Verdo
o
laege
Makefile
.
am: add
d
ependencies
for check
s
commit
|
commitdiff
|
tree
2007-02-11
S
ven Verdoolaege
g
enfun
.
cc: short_rat::normalize: micro-optimizations
commit
|
commitdiff
|
tree
2007-02-11
S
ve
n
Verdoolaege
QQ: canonicali
z
e on
read and multipli
c
ati
o
n
commit
|
commitdiff
|
tree
2007-02-09
Sven Ver
d
oo
l
aege
doc: b
a
r
v
in
o
k_series requir
e
s
p
olyhed
r
o
n
to
h
ave
*
rev
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
S
ven Verdoola
e
ge
Make
f
ile
.
am: check b
a
rvino
k
_enu
m
erate
-
-series during
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sven V
e
rdoolaege
b
arvinok_enumerate: compute series
o
f polyhedra
with
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sven Ve
r
doolaege
util
.
c
:
move Polyhedro
n
_has_
p
ositive_rays from barvin
o
k
.
cc
commit
|
commitdiff
|
tree
2007-02-09
Sven Verdoo
l
ae
g
e
test all sp
e
cializatio
n
algorithms during make
c
heck
commit
|
commitdiff
|
tree
2007-02-09
Sven V
e
rdoolaege
pass op
t
ions through to barvi
n
ok
_
count in barvinok_
e
numerate
.
.
.
commit
|
commitdiff
|
tree
2007-02-08
S
ven V
e
rdo
o
l
a
e
ge
Ha
n
dle non-unimo
d
ular
c
o
n
es in dual decompos
i
tion
commit
|
commitdiff
|
tree
2007-02-08
Sven V
e
rdo
o
l
a
ege
barvinok_
s
tats
:
rename unimodular_cone
s
to base_c
o
nes
commit
|
commitdiff
|
tree
2007-02-08
Sven Ve
r
doo
l
aege
reducer
.
cc: extra sanity che
c
ks
commit
|
commitdiff
|
tree
2007-02-08
Sven Verdoolaeg
e
H
a
ndle non-unimo
d
ular cones with a specified maximal
.
.
.
commit
|
commitdiff
|
tree
2007-02-07
Sven V
e
rdo
o
laege
dec
o
mposer
.
cc: d
e
compose: min
o
r
clean-up
commit
|
commitdiff
|
tree
2007-02-06
Sven Verdoolaege
b
a
r
v
inok_optio
n
s: in
c
lud
e
pointer to
b
a
rv
i
nok_stats
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sven Ve
r
d
oolaege
add
b
arvinok_opti
o
ns_fr
e
e
commit
|
commitdiff
|
tree
2007-02-06
S
v
en
Verdool
a
ege
barvi
n
ok_
e
nume
r
ate:
c
ollec
t
stats
o
n number
of unimodular
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sven Verd
o
o
l
aege
decomposer
.
cc: polar_decompose
:
re
m
ove common divi
s
or
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sven Verdo
o
laege
part
i
al
_
r
e
ducer: specialize list version of base
commit
|
commitdiff
|
tree
2007-02-05
S
ven Verdool
a
e
ge
reducer::reduce:
b
etter
handling of t
e
rms with common
.
.
.
commit
|
commitdiff
|
tree
2007-02-05
Sv
e
n
V
erdoola
e
ge
reducer::reduce: c
o
mb
i
ne n
u
merators with equa
l
unre
d
u
ced
.
.
.
commit
|
commitdiff
|
tree
2007-02-03
Sve
n
Verdo
o
l
a
ege
QQ:
a
dd o
p
era
t
or fo
r
mu
l
t
i
plication of vector
b
y a
.
.
.
commit
|
commitdiff
|
tree
2007-02-02
S
ven Verdoolaege
red
u
cer::reduce:
take a lis
t
of numer
a
tors as input
commit
|
commitdiff
|
tree
2007-02-02
Sven Verd
o
olaege
gen_fun::
r
e
a
d: read gen_fun fr
o
m file descriptor
commit
|
commitdiff
|
tree
2007-02-02
Sven
Verdoolaege
add gen_fun::ad
d
(shor
t
_rat *r)
commit
|
commitdiff
|
tree
2007-02-02
Sven Verd
o
olaege
NTL_QQ
.
c
c: sup
p
ort
r
eading from stream
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoo
l
aege
g
e
n
_
fun: add ope
r
ato
r
for
p
rinting to stream
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolae
g
e
genfun
.
cc
:
add shor
t
_
r
at copy c
o
nst
r
uctor
commit
|
commitdiff
|
tree
2007-02-02
Sven Verd
o
olaeg
e
d
p
oly_r
:
micro-
o
ptimiza
t
ions
commit
|
commitdiff
|
tree
2007-02-02
Sve
n
Ver
d
oolaege
dpoly: mark some
m
ore arguments/methods c
o
nst
commit
|
commitdiff
|
tree
2007-02-02
Sven Ver
d
oolaege
short_rat::a
d
d: mark sho
r
t
_rat argument co
n
st
commit
|
commitdiff
|
tree
2007-02-02
S
v
en Verdoolaeg
e
NTL_QQ: at
t
em
p
t
t
o speed-u
p
+=
o
p
erator
commit
|
commitdiff
|
tree
2007-02-02
Sv
e
n V
e
r
d
oolaege
dpoly: add so
m
e docum
e
ntati
o
n
commit
|
commitdiff
|
tree
2007-02-02
Sven Ver
d
oo
l
aege
d
poly: add some
m
o
re
o
perations
commit
|
commitdiff
|
tree
2007-02-02
Sven
V
erd
o
olaeg
e
b
a
r
v
i
nok/genfun
.
h: fix comment
commit
|
commitdiff
|
tree
2007-02-02
S
v
e
n
Verdoolaege
add
.
gitignore
commit
|
commitdiff
|
tree
2007-02-02
Sven
V
erdo
o
laege
Q
Q: a
d
d operator
fo
r
mul
t
i
p
lic
a
tion by a scalar (ZZ)
commit
|
commitdiff
|
tree
2007-01-18
Sven Verdoolaege
Ma
k
efile
.
am: ch
e
c
k
-
series
:
c
h
eck --primal as well
commit
|
commitdiff
|
tree
2007-01-16
Sv
e
n Verdoolae
g
e
Makefile
.
am: i
n
stall
(
s
om
e
) binaries
commit
|
commitdiff
|
tree
2007-01-15
Sven Verdool
a
ege
undefine CS for Solaris
1
0
commit
|
commitdiff
|
tree
2007-01-14
Sven Verdoola
e
ge
b
arvinok_
e
n
u
merate: h
a
ndle
l
ines in input
polyhedra
.
.
.
commit
|
commitdiff
|
tree
2007-01-10
Sven Verdoolaege
u
til
.
c
:
move left_inv
e
rse from lexm
i
n
.
cc
commit
|
commitdiff
|
tree
2007-01-05
Sven Verd
o
olaege
gen_fu
n
::
c
oefficient: mov
e
pr
i
nting to shor
t
_rat
commit
|
commitdiff
|
tree
2007-01-05
Sven V
e
rdo
o
laege
gen_fun::coeff
i
ci
e
nt: new version returning ZZ
commit
|
commitdiff
|
tree
2007-01-05
Sven
Ve
r
doolaege
genfun
.
cc: move coefficient computati
o
n to
s
hor
t
_rat
commit
|
commitdiff
|
tree
2007-01-05
Sven Ver
d
oolae
g
e
partial_r
e
ducer:
r
e
s
tart comput
a
t
ion
if random
v
e
c
t
or
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sv
e
n Ve
r
d
o
olae
g
e
ge
n
_fun: ex
p
ose cle
a
r_te
r
ms
,
a method for c
l
earing
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdo
o
laege
gen
_
fun::
H
adamard
_
product: propagate full
o
ptions to
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
barvinok_enumerate: int
e
grat
e
v
e
rif_ehrhart
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdool
a
ege
b
a
r
v
inok_en
u
merate: integrate barvinok_seri
e
s
commit
|
commitdiff
|
tree
2007-01-05
Sven
V
erdoolae
g
e
b
a
rvino
k
_
en
u
merate:
u
s
e
argp
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoo
l
a
ege
lexm
i
n: m
a
ke
l
exmin o
p
tion
s
p
r
i
v
a
t
e
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolae
g
e
Revert "bern
s
te
i
n/configur
e
.
in: remove
r
e
dundant change
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sve
n
V
erdoo
l
aege
barv
i
no
k
.
cc: make use of
sampling f
o
r coun
t
in
g
i
nfin
i
te
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
barvinok_enumerate_e: respect --table option
commit
|
commitdiff
|
tree
2007-01-05
Sven
V
erdoolaege
le
x
min
.
cc: m
o
ve selection of gbr solv
e
r to
o
ptions
.
c
commit
|
commitdiff
|
tree
2007-01-05
S
v
en Verdoolaege
l
e
x
mi
n
: use
a
rgp
commit
|
commitdiff
|
tree
2007-01-04
Sven
V
e
r
doolaeg
e
barvinok_enumer
a
te_e: ex
t
ract
o
ut verifica
t
ion op
t
ions
commit
|
commitdiff
|
tree
2007-01-04
S
v
en Verdoola
e
g
e
b
a
rvinok_enumerate_e: print warning w
h
en
--omega or
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sv
e
n Verdoolaege
bernstein/c
o
n
fig
u
r
e
.
in: remove redundant chang
e
to
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sven Verd
o
olaege
barvinok/pol
y
l
i
b
.
h: d
e
f
ine value_
s
ubtract a
n
d value_addmul
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdool
a
ege
d
eco
m
p
oser
.
cc: dec
o
m
pose: micro-op
t
imization
commit
|
commitdiff
|
tree
2007-01-04
Sven
V
e
rdoolaege
signed_c
o
ne: store
r
a
ys of c
o
ne
commit
|
commitdiff
|
tree
2007-01-04
Harald Devo
s
omega/parser
.
y: remove bra
c
kets
aroun
d
typ
e
in new
commit
|
commitdiff
|
tree
2007-01-03
Sven Verd
o
o
la
e
ge
l
exmin: disable use of lookup-tables
commit
|
commitdiff
|
tree
2007-01-03
S
ven Verdoola
e
g
e
barvinok_enumerat
e
_e
.
cc: f
i
x argp options parser
commit
|
commitdiff
|
tree
2007-01-03
Sv
e
n Verdoo
l
aege
o
p
t
i
ons
.
c: move cho
i
ce of use
o
f loo
k
up-table to barvin
o
k_op
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sve
n
Ver
d
oolaege
l
a
ttice_poin
t
.
cc: f
i
x #ifndef
U
SE_M
O
D
UL
O
code path
commit
|
commitdiff
|
tree
2007-01-03
Sv
e
n
V
e
rdoo
l
aege
decompos
e
r
.
cc
:
short
_
vector: remove redundant code
commit
|
commitdiff
|
tree
2007-01-03
Sven
V
e
rdoola
e
ge
de
c
omposer
.
cc: short_vector: negate lambda if z is
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
S
v
en Verdoolaeg
e
ba
r
vinok
.
cc:
series: only r
e
quire rays to be rev
l
ex
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoola
e
g
e
barvinok
.
cc
:
se
r
ies: pass full op
t
i
ons
to
ba
r
v
inok_count
commit
|
commitdiff
|
tree
2007-01-03
Sv
e
n Verdo
o
laege
n
p
_ba
s
e::handle:
pass around rays
ma
t
r
i
x instead o
f
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
d
e
composer
.
cc:
s
u
pport primal decompos
i
ti
o
n
commit
|
commitdiff
|
tree
2007-01-03
Sven V
e
rdoolaege
decomposer
.
cc
:
barvin
o
k_d
e
com
p
ose: implement in terms
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sve
n
Ver
d
o
o
l
aeg
e
barvinok_enumera
t
e: respec
t
incremental
_
speciali
z
a
tion
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven V
e
rdoolaege
introduce signe
d
_cone
s
t
ruct
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdo
o
laege
separate out dec
o
m
posit
i
on
commit
|
commitdiff
|
tree
2007-01-03
Sv
e
n
Verdoolaege
t
e
st: use
a
r
g
p parse
r
commit
|
commitdiff
|
tree
2006-12-28
Sven Verdoolaege
upda
t
e argp from gnuli
b
and add p
r
ogna
m
e mod
u
le
commit
|
commitdiff
|
tree
2006-12-27
Sven Ve
r
dool
a
ege
bar
v
inok_enu
m
erate_e
.
cc: don't ex
i
t on unrec
o
gnized
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
S
v
en V
e
rdoolaege
lib/argp
.
h: remove
_
_NTH for __
a
r
g
p_usage inl
i
n
e
function
commit
|
commitdiff
|
tree
2006-12-27
Sve
n
Verdoolaege
barvinok
_
enu
m
e
rate_
e
.
cc: remove anothe
r
duplicate
defi
n
ition
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
S
ven Verdoolaege
barvinok_enumerate_e:
use argp
parser
commit
|
commitdiff
|
tree
2006-12-27
Sv
e
n Verdoolae
g
e
barvin
o
k_co
u
nt:
use argp parser
commit
|
commitdiff
|
tree
2006-12-26
Sven
V
erdoolaege
option
s
.
c: add arg
p
parse
commit
|
commitdiff
|
tree
2006-12-26
S
ven Ve
r
doolae
g
e
add argp from
g
n
ulib
commit
|
commitdiff
|
tree
2006-12-26
Sve
n
V
erdoolaege
sca
r
f
.
cc: make compatible
w
ith o
l
der vers
i
ons of PolyLib
commit
|
commitdiff
|
tree
2006-12-26
Sven Verdoolae
g
e
ad
d
missing
a
ssert
.
h #includes
commit
|
commitdiff
|
tree
2006-12-26
Sven Ver
d
o
o
laege
Makefile
.
am:
a
dd remove
_
equ
a
lit
i
es
.
h t
o
distribution
commit
|
commitdiff
|
tree
2006-12-26
Sve
n
V
e
rdoolaege
configure
.
in: only
c
onf
i
gur
e
bernstein if
GiNaC was
.
.
.
commit
|
commitdiff
|
tree
2006-12-22
Sv
e
n Verdoolaege
berns
t
ein: co
n
f
ig
u
re
.
in: check for
G
iNaC
commit
|
commitdiff
|
tree
2006-12-19
Sven Verdoolaege
bernste
i
n: remove extra qua
l
ifications from poly
n
omial
.
.
.
commit
|
commitdiff
|
tree
next