mirror of
https://github.com/gonum/gonum.git
synced 2025-10-04 23:02:42 +08:00
127 lines
3.5 KiB
Go
127 lines
3.5 KiB
Go
// 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"
|
|
"testing"
|
|
|
|
"golang.org/x/exp/rand"
|
|
|
|
"gonum.org/v1/gonum/blas"
|
|
"gonum.org/v1/gonum/blas/blas64"
|
|
"gonum.org/v1/gonum/lapack"
|
|
)
|
|
|
|
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) {
|
|
const tol = 1e-14
|
|
|
|
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)
|
|
}
|
|
}
|
|
}
|
|
// Check that Z is orthogonal.
|
|
if resid := residualOrthogonal(z, false); resid > tol*float64(n) {
|
|
t.Errorf("Case %v: Z is not orthogonal; resid=%v, want<=%v", prefix, resid, tol*float64(n))
|
|
}
|
|
// Check that |Zᵀ*HOrig*Z - H| is small where H is the result from Dlaqr5.
|
|
hz := zeros(n, n, n)
|
|
blas64.Gemm(blas.NoTrans, blas.NoTrans, 1, hCopy, z, 0, hz)
|
|
zhz := cloneGeneral(h)
|
|
blas64.Gemm(blas.Trans, blas.NoTrans, 1, z, hz, -1, zhz)
|
|
resid := dlange(lapack.MaxColumnSum, n, n, zhz.Data, zhz.Stride)
|
|
if resid > tol*float64(n) {
|
|
t.Errorf("%v: |Zᵀ*HOrig*Z - H|=%v, want<=%v", prefix, resid, tol*float64(n))
|
|
}
|
|
}
|