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 Ve
r
d
oolae
g
e
l
attice_poin
t
.
cc: add sanit
y
c
he
c
k for i
n
dex of cone
commit
|
commitdiff
|
tree
2007-02-12
Sv
e
n Verdoolaege
test: ini
t
ialize
n
b
Mat
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdo
o
laege
barvinok_enumerate: optionally compute a polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdo
o
lae
g
e
Pro
v
ide replacement for new PolyLib functi
o
n Par
a
m_Polyhedr
o
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
S
v
en Verdoolaege
add eva
l
ue_div (ad
a
pt
e
d
f
r
om
P
olyLib
)
commit
|
commitdiff
|
tree
2007-02-12
Sven Ve
r
doolaege
test: simple test
f
or PolyL
i
b'
s
Smith
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoo
l
aege
M
akefile
.
am: add dependencies for checks
commit
|
commitdiff
|
tree
2007-02-11
Sven Verdoolaege
genfun
.
cc: shor
t
_
r
a
t
::normalize: m
i
cro-optimizations
commit
|
commitdiff
|
tree
2007-02-11
Sv
e
n
Verdoolae
g
e
QQ: cano
n
i
calize o
n
re
a
d and multiplication
commit
|
commitdiff
|
tree
2007-02-09
Sve
n
Verdool
a
ege
d
o
c: barv
i
n
o
k_series
requir
e
s polyhed
r
on to ha
v
e *re
v
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sven Verdoolaege
Makefile
.
a
m
: check barvinok_enumerate --
s
eries during
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sven V
e
rdoo
l
aege
ba
r
vinok_enumerat
e
: compute series of polyhedra with
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
S
v
en Verdoolaeg
e
u
t
i
l
.
c: move Polyhedron_has_positive_rays
f
rom barvinok
.
cc
commit
|
commitdiff
|
tree
2007-02-09
Sven Verdoolaeg
e
test
all
specialization algorithms dur
i
ng make check
commit
|
commitdiff
|
tree
2007-02-09
Sven Verdoolaege
pass opt
i
on
s
th
r
oug
h
t
o barvinok
_
count in ba
r
vi
n
ok_enumerate
.
.
.
commit
|
commitdiff
|
tree
2007-02-08
Sven Verdoolaege
H
andle
non-uni
m
odular cones
i
n dua
l
decompos
i
tion
commit
|
commitdiff
|
tree
2007-02-08
S
ven Verdoolaeg
e
barvinok_
s
tats
:
r
e
n
ame unimodular_con
e
s to
b
a
se_cones
commit
|
commitdiff
|
tree
2007-02-08
Sven Verdoolaege
reduce
r
.
cc: e
x
tra
s
a
nity checks
commit
|
commitdiff
|
tree
2007-02-08
Sven
V
erdo
o
laege
Handle non-unimo
d
ular con
e
s with
a
speci
f
ied
m
aximal
.
.
.
commit
|
commitdiff
|
tree
2007-02-07
Sven
Verdoo
l
aege
decomp
o
ser
.
cc: d
e
compose: minor
c
lean-
u
p
commit
|
commitdiff
|
tree
2007-02-06
Sven Verdoolaege
b
arvinok_options: include po
i
nter to b
a
rvinok_st
a
ts
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
S
ven V
e
r
d
ool
a
ege
add
b
a
rvin
o
k_options_
f
ree
commit
|
commitdiff
|
tree
2007-02-06
Sven Verdo
o
la
e
ge
barvino
k
_enumerate: collect
sta
t
s
on number of unimodular
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
S
v
e
n
Ve
r
doolaege
decomposer
.
cc
:
p
o
lar_dec
o
mpo
s
e: re
m
ove common divisor
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
S
v
en Ve
r
doolaege
p
artial_reducer:
sp
e
c
ialize list v
e
rsion
of base
commit
|
commitdiff
|
tree
2007-02-05
Sv
e
n Verdoolaege
reducer::reduce: be
t
t
er h
a
ndling of terms with
c
o
m
m
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-02-05
S
ven Verdoolaege
reducer::reduce:
combine n
u
merat
o
rs with equal unr
e
duced
.
.
.
commit
|
commitdiff
|
tree
2007-02-03
Sve
n
Verdoolaege
QQ: add
o
pera
t
or for mul
t
iplication
of vecto
r
by a
.
.
.
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
r
e
ducer::reduce: take a list of numerator
s
as inp
u
t
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolae
g
e
gen_f
u
n
::read:
read ge
n
_fun from fi
l
e
descriptor
commit
|
commitdiff
|
tree
2007-02-02
Sven Ver
d
oolae
g
e
add g
e
n
_
fun::a
d
d(short_rat *
r
)
commit
|
commitdiff
|
tree
2007-02-02
S
v
en
Verdoolaege
N
TL_Q
Q
.
cc: support reading from
stream
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolae
g
e
gen_fun: add o
p
e
rator for printing to stream
commit
|
commitdiff
|
tree
2007-02-02
Sven Verd
o
ol
a
e
ge
genfun
.
cc:
add
sho
r
t
_
rat copy const
r
uct
o
r
commit
|
commitdiff
|
tree
2007-02-02
S
v
en Verdoolaege
d
p
oly_
r
:
mic
r
o-optimizations
commit
|
commitdiff
|
tree
2007-02-02
Sv
e
n Ve
r
doolaeg
e
dpoly:
mark some more arguments
/
methods
c
onst
commit
|
commitdiff
|
tree
2007-02-02
S
ven Ve
r
doo
l
a
e
ge
s
hort_rat::add: mark shor
t
_r
a
t
argument const
commit
|
commitdiff
|
tree
2007-02-02
Sve
n
V
erdoo
l
aege
NTL_QQ: attempt to speed-up +=
operator
commit
|
commitdiff
|
tree
2007-02-02
Sve
n
Verdoolaege
dpoly: add some
d
ocumenta
t
ion
commit
|
commitdiff
|
tree
2007-02-02
S
v
en Verdoolaege
dpol
y
:
add some m
o
re operation
s
commit
|
commitdiff
|
tree
2007-02-02
Sven
Ver
d
oolaege
barvin
o
k/g
e
nfun
.
h: fix comment
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdo
o
laege
add
.
gitign
o
re
commit
|
commitdiff
|
tree
2007-02-02
Sv
e
n Ver
d
o
o
laege
QQ
:
a
dd operator
for multiplicati
o
n by a s
c
al
a
r (Z
Z
)
commit
|
commitdiff
|
tree
2007-01-18
S
v
e
n Ve
r
doolaege
Make
f
ile
.
a
m
: check-series: check -
-
pr
i
mal
as well
commit
|
commitdiff
|
tree
2007-01-16
Sven Verdoolaege
M
a
ke
f
ile
.
am: i
n
sta
l
l (so
m
e) b
i
naries
commit
|
commitdiff
|
tree
2007-01-15
S
v
en Verdoolaege
undefine CS for
Solari
s
10
commit
|
commitdiff
|
tree
2007-01-14
Sven Ve
r
dool
a
eg
e
b
a
rvinok_enum
e
rate
:
ha
n
dle
li
n
es
i
n input polyhedr
a
.
.
.
commit
|
commitdiff
|
tree
2007-01-10
Sven Ver
d
o
o
laege
util
.
c: move left_inverse
from le
x
min
.
c
c
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
gen
_
fun::coefficien
t
:
move prin
t
i
ng to s
h
ort_rat
commit
|
commitdiff
|
tree
2007-01-05
S
v
en
Verdoolaege
g
en_fun::coefficient: new ve
r
sion
return
i
ng ZZ
commit
|
commitdiff
|
tree
2007-01-05
Sven V
e
r
d
oolaege
genfun
.
cc: mo
v
e coeffic
i
ent computatio
n
t
o
short_rat
commit
|
commitdiff
|
tree
2007-01-05
Sven
V
e
r
doo
l
a
ege
par
t
ial_r
e
ducer: resta
r
t com
p
utation
i
f ra
n
do
m
ve
c
to
r
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
S
v
e
n
Verdoolaege
g
e
n
_fun: e
x
pose clear_terms, a method
f
or cl
e
aring
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
S
v
en Ver
d
oolaege
gen_fun::Hadamard_pr
o
d
uct: pr
o
pagate full options
t
o
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sve
n
Verd
o
olaege
barvin
o
k_enum
e
rate: integrate verif_
e
hrh
a
rt
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
ba
r
vi
n
ok_enume
r
ate:
integ
r
ate barv
i
nok
_
ser
i
es
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdool
a
ege
b
a
rvi
n
ok_enum
e
rate: use a
r
g
p
commit
|
commitdiff
|
tree
2007-01-05
Sven
Verdool
a
e
g
e
lexmi
n
: make lexmin
o
ptions priv
a
te
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaeg
e
Rev
e
rt "
b
ernst
e
in/con
f
ig
u
r
e
.
in: remove redun
d
ant change
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Verd
o
ol
a
ege
barvi
n
ok
.
cc: mak
e
use o
f
s
a
m
pling for counting infinite
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven
Verd
o
olaege
b
a
rvinok_enumerate_
e
: respect --table option
commit
|
commitdiff
|
tree
2007-01-05
S
v
en Verdoolaege
lexmin
.
cc: move
selection
of gbr
solver to options
.
c
commit
|
commitdiff
|
tree
2007-01-05
S
ven Verd
o
o
l
aege
lexmin: use argp
commit
|
commitdiff
|
tree
2007-01-04
Sv
e
n Verdoolaege
ba
r
v
i
nok
_
enu
m
e
ra
t
e_e:
extract out verification
o
pti
o
ns
commit
|
commitdiff
|
tree
2007-01-04
S
v
en Ver
d
oolaege
barvin
o
k
_
en
u
merate_e
:
print
w
arning when --omega or
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdoolae
g
e
ber
n
s
t
ei
n
/configu
r
e
.
in: rem
o
v
e
redundant cha
n
ge
t
o
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
S
ven Verdoo
l
aege
b
a
r
vinok/polylib
.
h: define
v
alue_subtract and value
_
addmul
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sven Ver
d
oolaege
d
e
composer
.
c
c
: decompose: micro-optimization
commit
|
commitdiff
|
tree
2007-01-04
Sven Ve
r
d
o
o
l
aege
signed_cone: stor
e
rays of
c
one
commit
|
commitdiff
|
tree
2007-01-04
H
a
rald De
v
os
omega/p
a
rser
.
y: remove brackets around
type
in new
commit
|
commitdiff
|
tree
2007-01-03
Sv
e
n Verdoolaege
l
exmin: di
s
able us
e
of lookup-table
s
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
b
a
rvinok_enumerate_e
.
cc: f
i
x argp
options parse
r
commit
|
commitdiff
|
tree
2007-01-03
Sven Ver
d
oolaege
options
.
c: mo
v
e c
h
o
i
ce of use
o
f
lookup
-
table to
b
a
rvinok_o
p
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sve
n
Verdoolaege
lattice_point
.
c
c
: fix
#
ifn
d
e
f USE_M
O
DULO code path
commit
|
commitdiff
|
tree
2007-01-03
S
ven V
e
rdoolaege
decomposer
.
c
c
: short_vec
t
or: remov
e
redund
a
n
t
code
commit
|
commitdiff
|
tree
2007-01-03
Sven V
e
rdoolaege
decomposer
.
cc: short_vector: negate
lambd
a
if z is
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven
V
erdoolae
g
e
barvinok
.
cc: series: only requi
r
e rays to be revlex
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdo
o
laege
barvinok
.
c
c:
s
eries: pas
s
full
o
p
tions to barvinok_
c
o
unt
commit
|
commitdiff
|
tree
2007-01-03
S
ven Verdoola
e
ge
n
p_ba
s
e
::ha
n
dle: pass around rays matr
i
x i
n
stead of
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven
Verd
o
olae
g
e
decomposer
.
cc
:
su
p
port primal
d
ecompositi
o
n
commit
|
commitdiff
|
tree
2007-01-03
Sven
V
erdoolaeg
e
decom
p
oser
.
cc:
barvin
o
k_deco
m
pose: imp
l
e
m
e
nt in terms
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verd
o
ol
a
ege
b
arvin
o
k
_enumerate: r
e
s
p
ect
incremental_spe
c
iali
z
ation
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdo
o
l
a
e
ge
introduce signed_con
e
struct
commit
|
commitdiff
|
tree
2007-01-03
Sven
V
erdoolaege
separa
t
e out dec
o
m
po
s
ition
commit
|
commitdiff
|
tree
2007-01-03
Sven Ver
d
oolae
g
e
te
s
t: use
a
r
gp parser
commit
|
commitdiff
|
tree
2006-12-28
Sven Verdoolaege
update argp from gnulib and a
d
d
p
rogname m
o
dule
commit
|
commitdiff
|
tree
2006-12-27
Sven V
e
rdo
o
laege
barvi
n
ok_enumerate_e
.
cc: don
'
t
e
x
i
t on
u
n
re
c
ognized
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
Sven Verdoolaege
l
i
b/argp
.
h: re
m
o
v
e __NTH
fo
r
__argp_us
a
ge inl
i
n
e function
commit
|
commitdiff
|
tree
2006-12-27
Sven Verdoolaege
barvino
k
_enume
r
ate_e
.
cc: remove anothe
r
duplicate definition
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
Sven Verdoolaege
b
arvi
n
o
k
_enumera
t
e_e: use argp p
a
r
s
er
commit
|
commitdiff
|
tree
2006-12-27
S
v
en V
e
rdoo
l
aege
b
a
rvinok_count: use ar
g
p parser
commit
|
commitdiff
|
tree
2006-12-26
Sven
V
erdoolaege
option
s
.
c: add argp
parse
commit
|
commitdiff
|
tree
2006-12-26
Sven
Verdool
a
ege
ad
d
argp from gnulib
commit
|
commitdiff
|
tree
2006-12-26
S
v
en Verdoolaege
scarf
.
cc: make compat
i
ble with o
l
d
e
r
v
ersions of PolyLib
commit
|
commitdiff
|
tree
2006-12-26
Sven Verdoolaege
add mi
s
s
i
ng assert
.
h #includes
commit
|
commitdiff
|
tree
2006-12-26
Sven Verdo
o
laege
M
akefile
.
a
m
: add remove_
e
qual
i
ties
.
h t
o
dis
t
r
ibution
commit
|
commitdiff
|
tree
2006-12-26
Sven Verdoolaege
c
onf
i
gure
.
i
n
: o
n
ly configure
bernstein
if GiNaC was
.
.
.
commit
|
commitdiff
|
tree
2006-12-22
Sven Verdoolae
g
e
ber
n
stein: configur
e
.
in: check for
GiN
a
C
commit
|
commitdiff
|
tree
2006-12-19
Sve
n
Verdoo
l
aege
b
ern
s
tein:
remove extra qualifica
t
ions from polyn
o
mial
.
.
.
commit
|
commitdiff
|
tree
2006-12-19
S
v
en Verd
o
ol
a
ege
b
ernstein/s
r
c/main
.
cp
p
:
r
e
m
o
v
e redund
a
nt inc
l
ude
commit
|
commitdiff
|
tree
next