Files
gonum/lapack/testlapack/dorgql.go
Vladimir Chalupecky 929014505b blas/blas64: reorder struct fields
Reorder vector and matrix struct fields to match the order in which BLAS
routines accept them. This makes calls with inline declarations with
unnamed fields consistent and easier to understand.
2018-08-16 18:54:07 +02:00

132 lines
3.3 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"
)
type Dorgqler interface {
Dorgql(m, n, k int, a []float64, lda int, tau, work []float64, lwork int)
Dlarfger
}
func DorgqlTest(t *testing.T, impl Dorgqler) {
const tol = 1e-14
type Dorg2ler interface {
Dorg2l(m, n, k int, a []float64, lda int, tau, work []float64)
}
dorg2ler, hasDorg2l := impl.(Dorg2ler)
rnd := rand.New(rand.NewSource(1))
for _, m := range []int{0, 1, 2, 3, 4, 5, 7, 10, 15, 30, 50, 150} {
for _, extra := range []int{0, 11} {
for _, wl := range []worklen{minimumWork, mediumWork, optimumWork} {
var k int
if m >= 129 {
// For large matrices make sure that k
// is large enough to trigger blocked
// path.
k = 129 + rnd.Intn(m-129+1)
} else {
k = rnd.Intn(m + 1)
}
n := k + rnd.Intn(m-k+1)
if m == 0 || n == 0 {
m = 0
n = 0
k = 0
}
// Generate k elementary reflectors in the last
// k columns of A.
a := nanGeneral(m, n, n+extra)
tau := make([]float64, k)
for l := 0; l < k; l++ {
jj := m - k + l
v := randomSlice(jj, rnd)
_, tau[l] = impl.Dlarfg(len(v)+1, rnd.NormFloat64(), v, 1)
j := n - k + l
for i := 0; i < jj; i++ {
a.Data[i*a.Stride+j] = v[i]
}
}
aCopy := cloneGeneral(a)
// Compute the full matrix Q by forming the
// Householder reflectors explicitly.
q := eye(m, m)
qCopy := eye(m, m)
for l := 0; l < k; l++ {
h := eye(m, m)
jj := m - k + l
j := n - k + l
v := blas64.Vector{make([]float64, m), 1}
for i := 0; i < jj; i++ {
v.Data[i] = a.Data[i*a.Stride+j]
}
v.Data[jj] = 1
blas64.Ger(-tau[l], v, v, h)
copy(qCopy.Data, q.Data)
blas64.Gemm(blas.NoTrans, blas.NoTrans, 1, h, qCopy, 0, q)
}
// View the last n columns of Q as 'want'.
want := blas64.General{
Rows: m,
Cols: n,
Stride: q.Stride,
Data: q.Data[m-n:],
}
var lwork int
switch wl {
case minimumWork:
lwork = max(1, n)
case mediumWork:
work := make([]float64, 1)
impl.Dorgql(m, n, k, nil, a.Stride, nil, work, -1)
lwork = (int(work[0]) + n) / 2
lwork = max(1, lwork)
case optimumWork:
work := make([]float64, 1)
impl.Dorgql(m, n, k, nil, a.Stride, nil, work, -1)
lwork = int(work[0])
}
work := make([]float64, lwork)
// Compute the last n columns of Q by a call to
// Dorgql.
impl.Dorgql(m, n, k, a.Data, a.Stride, tau, work, len(work))
prefix := fmt.Sprintf("Case m=%v,n=%v,k=%v,wl=%v", m, n, k, wl)
if !generalOutsideAllNaN(a) {
t.Errorf("%v: out-of-range write to A", prefix)
}
if !equalApproxGeneral(want, a, tol) {
t.Errorf("%v: unexpected Q", prefix)
}
// Compute the last n columns of Q by a call to
// Dorg2l and check that we get the same result.
if !hasDorg2l {
continue
}
dorg2ler.Dorg2l(m, n, k, aCopy.Data, aCopy.Stride, tau, work)
if !equalApproxGeneral(aCopy, a, tol) {
t.Errorf("%v: mismatch between Dorgql and Dorg2l", prefix)
}
}
}
}
}