forked from gonum/gonum
/
dlaqr5.go
137 lines (123 loc) · 3.51 KB
/
dlaqr5.go
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
// Copyright ©2016 The Gonum Authors. All rights reserved.
// Use of this source code is governed by a BSD-style
// license that can be found in the LICENSE file.
package testlapack
import (
"fmt"
"math"
"testing"
"golang.org/x/exp/rand"
"gonum.org/v1/gonum/blas"
"gonum.org/v1/gonum/blas/blas64"
)
type Dlaqr5er interface {
Dlaqr5(wantt, wantz bool, kacc22 int, n, ktop, kbot, nshfts int, sr, si []float64, h []float64, ldh int, iloz, ihiz int, z []float64, ldz int, v []float64, ldv int, u []float64, ldu int, nh int, wh []float64, ldwh int, nv int, wv []float64, ldwv int)
}
func Dlaqr5Test(t *testing.T, impl Dlaqr5er) {
rnd := rand.New(rand.NewSource(1))
for _, n := range []int{1, 2, 3, 4, 5, 6, 10, 30} {
for _, extra := range []int{0, 1, 20} {
for _, kacc22 := range []int{0, 1, 2} {
for cas := 0; cas < 100; cas++ {
testDlaqr5(t, impl, n, extra, kacc22, rnd)
}
}
}
}
}
func testDlaqr5(t *testing.T, impl Dlaqr5er, n, extra, kacc22 int, rnd *rand.Rand) {
wantt := true
wantz := true
nshfts := 2 * n
sr := make([]float64, nshfts)
si := make([]float64, nshfts)
for i := 0; i < n; i++ {
re := rnd.NormFloat64()
im := rnd.NormFloat64()
sr[2*i], sr[2*i+1] = re, re
si[2*i], si[2*i+1] = im, -im
}
ktop := rnd.Intn(n)
kbot := rnd.Intn(n)
if kbot < ktop {
ktop, kbot = kbot, ktop
}
v := randomGeneral(nshfts/2, 3, 3+extra, rnd)
u := randomGeneral(3*nshfts-3, 3*nshfts-3, 3*nshfts-3+extra, rnd)
nh := n
wh := randomGeneral(3*nshfts-3, n, n+extra, rnd)
nv := n
wv := randomGeneral(n, 3*nshfts-3, 3*nshfts-3+extra, rnd)
h := randomHessenberg(n, n+extra, rnd)
if ktop > 0 {
h.Data[ktop*h.Stride+ktop-1] = 0
}
if kbot < n-1 {
h.Data[(kbot+1)*h.Stride+kbot] = 0
}
hCopy := h
hCopy.Data = make([]float64, len(h.Data))
copy(hCopy.Data, h.Data)
z := eye(n, n+extra)
impl.Dlaqr5(wantt, wantz, kacc22,
n, ktop, kbot,
nshfts, sr, si,
h.Data, h.Stride,
0, n-1, z.Data, z.Stride,
v.Data, v.Stride,
u.Data, u.Stride,
nv, wv.Data, wv.Stride,
nh, wh.Data, wh.Stride)
prefix := fmt.Sprintf("Case n=%v, extra=%v, kacc22=%v", n, extra, kacc22)
if !generalOutsideAllNaN(h) {
t.Errorf("%v: out-of-range write to H\n%v", prefix, h.Data)
}
if !generalOutsideAllNaN(z) {
t.Errorf("%v: out-of-range write to Z\n%v", prefix, z.Data)
}
if !generalOutsideAllNaN(u) {
t.Errorf("%v: out-of-range write to U\n%v", prefix, u.Data)
}
if !generalOutsideAllNaN(v) {
t.Errorf("%v: out-of-range write to V\n%v", prefix, v.Data)
}
if !generalOutsideAllNaN(wh) {
t.Errorf("%v: out-of-range write to WH\n%v", prefix, wh.Data)
}
if !generalOutsideAllNaN(wv) {
t.Errorf("%v: out-of-range write to WV\n%v", prefix, wv.Data)
}
for i := 0; i < n; i++ {
for j := 0; j < i-1; j++ {
if h.Data[i*h.Stride+j] != 0 {
t.Errorf("%v: H is not Hessenberg, H[%v,%v]!=0", prefix, i, j)
}
}
}
if !isOrthogonal(z) {
t.Errorf("%v: Z is not orthogonal", prefix)
}
// Construct Zᵀ * HOrig * Z and check that it is equal to H from Dlaqr5.
hz := blas64.General{
Rows: n,
Cols: n,
Stride: n,
Data: make([]float64, n*n),
}
blas64.Gemm(blas.NoTrans, blas.NoTrans, 1, hCopy, z, 0, hz)
zhz := blas64.General{
Rows: n,
Cols: n,
Stride: n,
Data: make([]float64, n*n),
}
blas64.Gemm(blas.Trans, blas.NoTrans, 1, z, hz, 0, zhz)
for i := 0; i < n; i++ {
for j := 0; j < n; j++ {
diff := zhz.Data[i*zhz.Stride+j] - h.Data[i*h.Stride+j]
if math.Abs(diff) > 1e-13 {
t.Errorf("%v: Zᵀ*HOrig*Z and H are not equal, diff at [%v,%v]=%v", prefix, i, j, diff)
}
}
}
}