+++ /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 (
- "log"
- "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 Dpoconer interface {
- Dpotrfer
- Dgeconer
- Dlansy(norm lapack.MatrixNorm, uplo blas.Uplo, n int, a []float64, lda int, work []float64) float64
- Dpocon(uplo blas.Uplo, n int, a []float64, lda int, anorm float64, work []float64, iwork []int) float64
-}
-
-func DpoconTest(t *testing.T, impl Dpoconer) {
- for _, test := range []struct {
- a []float64
- n int
- cond float64
- uplo blas.Uplo
- }{
- {
- a: []float64{
- 89, 59, 77,
- 0, 107, 59,
- 0, 0, 89,
- },
- uplo: blas.Upper,
- n: 3,
- cond: 0.050052137643379,
- },
- {
- a: []float64{
- 89, 0, 0,
- 59, 107, 0,
- 77, 59, 89,
- },
- uplo: blas.Lower,
- n: 3,
- cond: 0.050052137643379,
- },
- // Dgecon does not match Dpocon for this case. https://github.com/xianyi/OpenBLAS/issues/664.
- {
- a: []float64{
- 2.9995576045549965, -2.0898894566158663, 3.965560740124006,
- 0, 1.9634729526261008, -2.8681002706874104,
- 0, 0, 5.502416670471008,
- },
- uplo: blas.Upper,
- n: 3,
- cond: 0.024054837369015203,
- },
- } {
- n := test.n
- a := make([]float64, len(test.a))
- copy(a, test.a)
- lda := n
- uplo := test.uplo
- work := make([]float64, 3*n)
- anorm := impl.Dlansy(lapack.MaxColumnSum, uplo, n, a, lda, work)
- // Compute cholesky decomposition
- ok := impl.Dpotrf(uplo, n, a, lda)
- if !ok {
- t.Errorf("Bad test, matrix not positive definite")
- continue
- }
- iwork := make([]int, n)
- cond := impl.Dpocon(uplo, n, a, lda, anorm, work, iwork)
- // Error if not the same order, otherwise log the difference.
- if !floats.EqualWithinAbsOrRel(cond, test.cond, 1e0, 1e0) {
- t.Errorf("Cond mismatch. Want %v, got %v.", test.cond, cond)
- } else if !floats.EqualWithinAbsOrRel(cond, test.cond, 1e-14, 1e-14) {
- log.Printf("Dpocon cond mismatch. Want %v, got %v.", test.cond, cond)
- }
- }
- rnd := rand.New(rand.NewSource(1))
- bi := blas64.Implementation()
- // Randomized tests compared against Dgecon.
- for _, uplo := range []blas.Uplo{blas.Lower, blas.Upper} {
- for _, test := range []struct {
- n, lda int
- }{
- {3, 0},
- {3, 5},
- } {
- for trial := 0; trial < 100; trial++ {
- n := test.n
- lda := test.lda
- if lda == 0 {
- lda = n
- }
- a := make([]float64, n*lda)
- for i := range a {
- a[i] = rnd.NormFloat64()
- }
-
- // Multiply a by itself to make it symmetric positive definite.
- aCopy := make([]float64, len(a))
- copy(aCopy, a)
- bi.Dgemm(blas.Trans, blas.NoTrans, n, n, n, 1, aCopy, lda, aCopy, lda, 0, a, lda)
-
- aDat := make([]float64, len(aCopy))
- copy(aDat, a)
-
- aDense := make([]float64, len(a))
- if uplo == blas.Upper {
- for i := 0; i < n; i++ {
- for j := i; j < n; j++ {
- v := a[i*lda+j]
- aDense[i*lda+j] = v
- aDense[j*lda+i] = v
- }
- }
- } else {
- for i := 0; i < n; i++ {
- for j := 0; j <= i; j++ {
- v := a[i*lda+j]
- aDense[i*lda+j] = v
- aDense[j*lda+i] = v
- }
- }
- }
- work := make([]float64, 4*n)
- iwork := make([]int, n)
-
- anorm := impl.Dlansy(lapack.MaxColumnSum, uplo, n, a, lda, work)
- ok := impl.Dpotrf(uplo, n, a, lda)
- if !ok {
- t.Errorf("Bad test, matrix not positive definite")
- continue
- }
- got := impl.Dpocon(uplo, n, a, lda, anorm, work, iwork)
-
- denseNorm := impl.Dlange(lapack.MaxColumnSum, n, n, aDense, lda, work)
- ipiv := make([]int, n)
- impl.Dgetrf(n, n, aDense, lda, ipiv)
- want := impl.Dgecon(lapack.MaxColumnSum, n, aDense, lda, denseNorm, work, iwork)
- // Error if not the same order, otherwise log the difference.
- if !floats.EqualWithinAbsOrRel(want, got, 1e0, 1e0) {
- t.Errorf("Dpocon and Dgecon mismatch. Dpocon %v, Dgecon %v.", got, want)
- } else if !floats.EqualWithinAbsOrRel(want, got, 1e-14, 1e-14) {
- log.Printf("Dpocon and Dgecon mismatch. Dpocon %v, Dgecon %v.", got, want)
- }
- }
- }
- }
-}