OSDN Git Service

Hulk did something
[bytom/vapor.git] / vendor / gonum.org / v1 / gonum / lapack / testlapack / dgeql2.go
diff --git a/vendor/gonum.org/v1/gonum/lapack/testlapack/dgeql2.go b/vendor/gonum.org/v1/gonum/lapack/testlapack/dgeql2.go
new file mode 100644 (file)
index 0000000..d9d0a31
--- /dev/null
@@ -0,0 +1,100 @@
+// 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 (
+       "testing"
+
+       "golang.org/x/exp/rand"
+
+       "gonum.org/v1/gonum/blas"
+       "gonum.org/v1/gonum/blas/blas64"
+       "gonum.org/v1/gonum/floats"
+)
+
+type Dgeql2er interface {
+       Dgeql2(m, n int, a []float64, lda int, tau, work []float64)
+}
+
+func Dgeql2Test(t *testing.T, impl Dgeql2er) {
+       rnd := rand.New(rand.NewSource(1))
+       // TODO(btracey): Add tests for m < n.
+       for _, test := range []struct {
+               m, n, lda int
+       }{
+               {5, 5, 0},
+               {5, 3, 0},
+               {5, 4, 0},
+       } {
+               m := test.m
+               n := test.n
+               lda := test.lda
+               if lda == 0 {
+                       lda = n
+               }
+               a := make([]float64, m*lda)
+               for i := range a {
+                       a[i] = rnd.NormFloat64()
+               }
+               tau := nanSlice(min(m, n))
+               work := nanSlice(n)
+
+               aCopy := make([]float64, len(a))
+               copy(aCopy, a)
+               impl.Dgeql2(m, n, a, lda, tau, work)
+
+               k := min(m, n)
+               // Construct Q.
+               q := blas64.General{
+                       Rows:   m,
+                       Cols:   m,
+                       Stride: m,
+                       Data:   make([]float64, m*m),
+               }
+               for i := 0; i < m; i++ {
+                       q.Data[i*q.Stride+i] = 1
+               }
+               for i := 0; i < k; i++ {
+                       h := blas64.General{Rows: m, Cols: m, Stride: m, Data: make([]float64, m*m)}
+                       for j := 0; j < m; j++ {
+                               h.Data[j*h.Stride+j] = 1
+                       }
+                       v := blas64.Vector{Inc: 1, Data: make([]float64, m)}
+                       v.Data[m-k+i] = 1
+                       for j := 0; j < m-k+i; j++ {
+                               v.Data[j] = a[j*lda+n-k+i]
+                       }
+                       blas64.Ger(-tau[i], v, v, h)
+                       qTmp := blas64.General{Rows: q.Rows, Cols: q.Cols, Stride: q.Stride, Data: make([]float64, len(q.Data))}
+                       copy(qTmp.Data, q.Data)
+                       blas64.Gemm(blas.NoTrans, blas.NoTrans, 1, h, qTmp, 0, q)
+               }
+               if !isOrthonormal(q) {
+                       t.Errorf("Q is not orthonormal")
+               }
+               l := blas64.General{
+                       Rows:   m,
+                       Cols:   n,
+                       Stride: n,
+                       Data:   make([]float64, m*n),
+               }
+               if m >= n {
+                       for i := m - n; i < m; i++ {
+                               for j := 0; j <= min(i-(m-n), n-1); j++ {
+                                       l.Data[i*l.Stride+j] = a[i*lda+j]
+                               }
+                       }
+               } else {
+                       panic("untested")
+               }
+               ans := blas64.General{Rows: m, Cols: n, Stride: lda, Data: make([]float64, len(a))}
+               copy(ans.Data, a)
+
+               blas64.Gemm(blas.NoTrans, blas.NoTrans, 1, q, l, 0, ans)
+               if !floats.EqualApprox(ans.Data, aCopy, 1e-10) {
+                       t.Errorf("Reconstruction mismatch: m = %v, n = %v", m, n)
+               }
+       }
+}