--- /dev/null
+// Copyright ©2015 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 (
+ "testing"
+
+ "golang.org/x/exp/rand"
+
+ "gonum.org/v1/gonum/blas"
+ "gonum.org/v1/gonum/blas/blas64"
+ "gonum.org/v1/gonum/floats"
+ "gonum.org/v1/gonum/lapack"
+)
+
+type Dlarfter interface {
+ Dgeqr2er
+ Dlarft(direct lapack.Direct, store lapack.StoreV, n, k int, v []float64, ldv int, tau []float64, t []float64, ldt int)
+}
+
+func DlarftTest(t *testing.T, impl Dlarfter) {
+ rnd := rand.New(rand.NewSource(1))
+ for _, store := range []lapack.StoreV{lapack.ColumnWise, lapack.RowWise} {
+ for _, direct := range []lapack.Direct{lapack.Forward, lapack.Backward} {
+ for _, test := range []struct {
+ m, n, ldv, ldt int
+ }{
+ {6, 6, 0, 0},
+ {8, 6, 0, 0},
+ {6, 8, 0, 0},
+ {6, 6, 10, 15},
+ {8, 6, 10, 15},
+ {6, 8, 10, 15},
+ {6, 6, 15, 10},
+ {8, 6, 15, 10},
+ {6, 8, 15, 10},
+ } {
+ // Generate a matrix
+ m := test.m
+ n := test.n
+ lda := n
+ if lda == 0 {
+ lda = n
+ }
+
+ a := make([]float64, m*lda)
+ for i := 0; i < m; i++ {
+ for j := 0; j < lda; j++ {
+ a[i*lda+j] = rnd.Float64()
+ }
+ }
+ // Use dgeqr2 to find the v vectors
+ tau := make([]float64, n)
+ work := make([]float64, n)
+ impl.Dgeqr2(m, n, a, lda, tau, work)
+
+ // Construct H using these answers
+ vMatTmp := extractVMat(m, n, a, lda, lapack.Forward, lapack.ColumnWise)
+ vMat := constructVMat(vMatTmp, store, direct)
+ v := vMat.Data
+ ldv := vMat.Stride
+
+ h := constructH(tau, vMat, store, direct)
+
+ k := min(m, n)
+ ldt := test.ldt
+ if ldt == 0 {
+ ldt = k
+ }
+ // Find T from the actual function
+ tm := make([]float64, k*ldt)
+ for i := range tm {
+ tm[i] = 100 + rnd.Float64()
+ }
+ // The v data has been put into a.
+ impl.Dlarft(direct, store, m, k, v, ldv, tau, tm, ldt)
+
+ tData := make([]float64, len(tm))
+ copy(tData, tm)
+ if direct == lapack.Forward {
+ // Zero out the lower traingular portion.
+ for i := 0; i < k; i++ {
+ for j := 0; j < i; j++ {
+ tData[i*ldt+j] = 0
+ }
+ }
+ } else {
+ // Zero out the upper traingular portion.
+ for i := 0; i < k; i++ {
+ for j := i + 1; j < k; j++ {
+ tData[i*ldt+j] = 0
+ }
+ }
+ }
+
+ T := blas64.General{
+ Rows: k,
+ Cols: k,
+ Stride: ldt,
+ Data: tData,
+ }
+
+ vMatT := blas64.General{
+ Rows: vMat.Cols,
+ Cols: vMat.Rows,
+ Stride: vMat.Rows,
+ Data: make([]float64, vMat.Cols*vMat.Rows),
+ }
+ for i := 0; i < vMat.Rows; i++ {
+ for j := 0; j < vMat.Cols; j++ {
+ vMatT.Data[j*vMatT.Stride+i] = vMat.Data[i*vMat.Stride+j]
+ }
+ }
+ var comp blas64.General
+ if store == lapack.ColumnWise {
+ // H = I - V * T * V^T
+ tmp := blas64.General{
+ Rows: T.Rows,
+ Cols: vMatT.Cols,
+ Stride: vMatT.Cols,
+ Data: make([]float64, T.Rows*vMatT.Cols),
+ }
+ // T * V^T
+ blas64.Gemm(blas.NoTrans, blas.NoTrans, 1, T, vMatT, 0, tmp)
+ comp = blas64.General{
+ Rows: vMat.Rows,
+ Cols: tmp.Cols,
+ Stride: tmp.Cols,
+ Data: make([]float64, vMat.Rows*tmp.Cols),
+ }
+ // V * (T * V^T)
+ blas64.Gemm(blas.NoTrans, blas.NoTrans, 1, vMat, tmp, 0, comp)
+ } else {
+ // H = I - V^T * T * V
+ tmp := blas64.General{
+ Rows: T.Rows,
+ Cols: vMat.Cols,
+ Stride: vMat.Cols,
+ Data: make([]float64, T.Rows*vMat.Cols),
+ }
+ // T * V
+ blas64.Gemm(blas.NoTrans, blas.NoTrans, 1, T, vMat, 0, tmp)
+ comp = blas64.General{
+ Rows: vMatT.Rows,
+ Cols: tmp.Cols,
+ Stride: tmp.Cols,
+ Data: make([]float64, vMatT.Rows*tmp.Cols),
+ }
+ // V^T * (T * V)
+ blas64.Gemm(blas.NoTrans, blas.NoTrans, 1, vMatT, tmp, 0, comp)
+ }
+ // I - V^T * T * V
+ for i := 0; i < comp.Rows; i++ {
+ for j := 0; j < comp.Cols; j++ {
+ comp.Data[i*m+j] *= -1
+ if i == j {
+ comp.Data[i*m+j] += 1
+ }
+ }
+ }
+ if !floats.EqualApprox(comp.Data, h.Data, 1e-14) {
+ t.Errorf("T does not construct proper H. Store = %v, Direct = %v.\nWant %v\ngot %v.", string(store), string(direct), h.Data, comp.Data)
+ }
+ }
+ }
+ }
+}