2007-10-14 00:56:24 +08:00
|
|
|
// This file is part of Eigen, a lightweight C++ template library
|
2009-05-23 02:25:33 +08:00
|
|
|
// for linear algebra.
|
2007-10-14 00:56:24 +08:00
|
|
|
//
|
2008-11-24 21:40:43 +08:00
|
|
|
// Copyright (C) 2006-2008 Benoit Jacob <jacob.benoit.1@gmail.com>
|
2007-10-14 00:56:24 +08:00
|
|
|
//
|
2008-02-28 23:44:45 +08:00
|
|
|
// Eigen is free software; you can redistribute it and/or
|
|
|
|
// modify it under the terms of the GNU Lesser General Public
|
2008-03-03 19:02:52 +08:00
|
|
|
// License as published by the Free Software Foundation; either
|
2008-02-28 23:44:45 +08:00
|
|
|
// version 3 of the License, or (at your option) any later version.
|
|
|
|
//
|
|
|
|
// Alternatively, you can redistribute it and/or
|
|
|
|
// modify it under the terms of the GNU General Public License as
|
2008-03-03 19:02:52 +08:00
|
|
|
// published by the Free Software Foundation; either version 2 of
|
2008-02-28 23:44:45 +08:00
|
|
|
// the License, or (at your option) any later version.
|
2007-10-14 00:56:24 +08:00
|
|
|
//
|
|
|
|
// Eigen is distributed in the hope that it will be useful, but WITHOUT ANY
|
|
|
|
// WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS
|
2008-02-28 23:44:45 +08:00
|
|
|
// FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License or the
|
|
|
|
// GNU General Public License for more details.
|
2007-10-14 00:56:24 +08:00
|
|
|
//
|
2008-03-03 19:02:52 +08:00
|
|
|
// You should have received a copy of the GNU Lesser General Public
|
2008-02-28 23:44:45 +08:00
|
|
|
// License and a copy of the GNU General Public License along with
|
|
|
|
// Eigen. If not, see <http://www.gnu.org/licenses/>.
|
2007-10-14 00:56:24 +08:00
|
|
|
|
|
|
|
#include "main.h"
|
|
|
|
|
|
|
|
template<typename MatrixType> void basicStuff(const MatrixType& m)
|
|
|
|
{
|
|
|
|
typedef typename MatrixType::Scalar Scalar;
|
2008-03-13 01:17:36 +08:00
|
|
|
typedef Matrix<Scalar, MatrixType::RowsAtCompileTime, 1> VectorType;
|
2008-03-03 19:02:52 +08:00
|
|
|
|
2007-10-14 00:56:24 +08:00
|
|
|
int rows = m.rows();
|
|
|
|
int cols = m.cols();
|
2008-03-03 19:02:52 +08:00
|
|
|
|
2007-11-26 16:47:07 +08:00
|
|
|
// this test relies a lot on Random.h, and there's not much more that we can do
|
|
|
|
// to test it, hence I consider that we will have tested Random.h
|
2008-09-02 01:31:21 +08:00
|
|
|
MatrixType m1 = MatrixType::Random(rows, cols),
|
|
|
|
m2 = MatrixType::Random(rows, cols),
|
2007-11-26 16:47:07 +08:00
|
|
|
m3(rows, cols),
|
2008-07-21 08:34:46 +08:00
|
|
|
mzero = MatrixType::Zero(rows, cols),
|
2008-03-13 01:17:36 +08:00
|
|
|
identity = Matrix<Scalar, MatrixType::RowsAtCompileTime, MatrixType::RowsAtCompileTime>
|
2008-07-21 08:34:46 +08:00
|
|
|
::Identity(rows, rows),
|
2008-09-02 01:31:21 +08:00
|
|
|
square = Matrix<Scalar, MatrixType::RowsAtCompileTime, MatrixType::RowsAtCompileTime>::Random(rows, rows);
|
|
|
|
VectorType v1 = VectorType::Random(rows),
|
|
|
|
v2 = VectorType::Random(rows),
|
2008-07-21 08:34:46 +08:00
|
|
|
vzero = VectorType::Zero(rows);
|
2007-10-14 00:56:24 +08:00
|
|
|
|
2008-09-02 01:31:21 +08:00
|
|
|
Scalar x = ei_random<Scalar>();
|
2008-08-18 20:33:14 +08:00
|
|
|
|
2008-02-28 20:38:12 +08:00
|
|
|
int r = ei_random<int>(0, rows-1),
|
|
|
|
c = ei_random<int>(0, cols-1);
|
2008-03-03 19:02:52 +08:00
|
|
|
|
2008-08-18 20:33:14 +08:00
|
|
|
m1.coeffRef(r,c) = x;
|
|
|
|
VERIFY_IS_APPROX(x, m1.coeff(r,c));
|
|
|
|
m1(r,c) = x;
|
|
|
|
VERIFY_IS_APPROX(x, m1(r,c));
|
|
|
|
v1.coeffRef(r) = x;
|
|
|
|
VERIFY_IS_APPROX(x, v1.coeff(r));
|
|
|
|
v1(r) = x;
|
|
|
|
VERIFY_IS_APPROX(x, v1(r));
|
|
|
|
v1[r] = x;
|
|
|
|
VERIFY_IS_APPROX(x, v1[r]);
|
|
|
|
|
2007-12-03 18:23:08 +08:00
|
|
|
VERIFY_IS_APPROX( v1, v1);
|
|
|
|
VERIFY_IS_NOT_APPROX( v1, 2*v1);
|
|
|
|
VERIFY_IS_MUCH_SMALLER_THAN( vzero, v1);
|
2007-12-03 02:32:59 +08:00
|
|
|
if(NumTraits<Scalar>::HasFloatingPoint)
|
2007-12-03 18:23:08 +08:00
|
|
|
VERIFY_IS_MUCH_SMALLER_THAN( vzero, v1.norm());
|
|
|
|
VERIFY_IS_NOT_MUCH_SMALLER_THAN(v1, v1);
|
|
|
|
VERIFY_IS_APPROX( vzero, v1-v1);
|
|
|
|
VERIFY_IS_APPROX( m1, m1);
|
|
|
|
VERIFY_IS_NOT_APPROX( m1, 2*m1);
|
|
|
|
VERIFY_IS_MUCH_SMALLER_THAN( mzero, m1);
|
|
|
|
VERIFY_IS_NOT_MUCH_SMALLER_THAN(m1, m1);
|
|
|
|
VERIFY_IS_APPROX( mzero, m1-m1);
|
2008-03-03 19:02:52 +08:00
|
|
|
|
2007-12-13 01:48:20 +08:00
|
|
|
// always test operator() on each read-only expression class,
|
|
|
|
// in order to check const-qualifiers.
|
|
|
|
// indeed, if an expression class (here Zero) is meant to be read-only,
|
|
|
|
// hence has no _write() method, the corresponding MatrixBase method (here zero())
|
|
|
|
// should return a const-qualified object so that it is the const-qualified
|
|
|
|
// operator() that gets called, which in turn calls _read().
|
2008-07-21 08:34:46 +08:00
|
|
|
VERIFY_IS_MUCH_SMALLER_THAN(MatrixType::Zero(rows,cols)(r,c), static_cast<Scalar>(1));
|
2008-03-03 19:02:52 +08:00
|
|
|
|
2007-12-26 01:20:58 +08:00
|
|
|
// now test copying a row-vector into a (column-)vector and conversely.
|
|
|
|
square.col(r) = square.row(r).eval();
|
2008-03-13 01:17:36 +08:00
|
|
|
Matrix<Scalar, 1, MatrixType::RowsAtCompileTime> rv(rows);
|
|
|
|
Matrix<Scalar, MatrixType::RowsAtCompileTime, 1> cv(rows);
|
2008-03-31 02:43:22 +08:00
|
|
|
rv = square.row(r);
|
|
|
|
cv = square.col(r);
|
2007-12-26 01:20:58 +08:00
|
|
|
VERIFY_IS_APPROX(rv, cv.transpose());
|
2008-03-09 03:02:24 +08:00
|
|
|
|
2008-03-13 01:17:36 +08:00
|
|
|
if(cols!=1 && rows!=1 && MatrixType::SizeAtCompileTime!=Dynamic)
|
2008-03-09 03:02:24 +08:00
|
|
|
{
|
|
|
|
VERIFY_RAISES_ASSERT(m1 = (m2.block(0,0, rows-1, cols-1)));
|
|
|
|
}
|
2008-07-03 00:05:33 +08:00
|
|
|
|
2009-01-22 01:10:23 +08:00
|
|
|
VERIFY_IS_APPROX(m3 = m1,m1);
|
|
|
|
MatrixType m4;
|
|
|
|
VERIFY_IS_APPROX(m4 = m1,m1);
|
2008-10-25 05:42:03 +08:00
|
|
|
|
2009-05-20 21:41:23 +08:00
|
|
|
m3.real() = m1.real();
|
|
|
|
VERIFY_IS_APPROX(static_cast<const MatrixType&>(m3).real(), static_cast<const MatrixType&>(m1).real());
|
|
|
|
VERIFY_IS_APPROX(static_cast<const MatrixType&>(m3).real(), m1.real());
|
2010-01-18 06:57:59 +08:00
|
|
|
|
|
|
|
// check == / != operators
|
|
|
|
VERIFY(m1==m1);
|
|
|
|
VERIFY(m1!=m2);
|
|
|
|
VERIFY(!(m1==m2));
|
|
|
|
VERIFY(!(m1!=m1));
|
|
|
|
m1 = m2;
|
|
|
|
VERIFY(m1==m2);
|
|
|
|
VERIFY(!(m1!=m2));
|
2009-05-20 21:41:23 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
template<typename MatrixType> void basicStuffComplex(const MatrixType& m)
|
|
|
|
{
|
|
|
|
typedef typename MatrixType::Scalar Scalar;
|
|
|
|
typedef typename NumTraits<Scalar>::Real RealScalar;
|
|
|
|
typedef Matrix<RealScalar, MatrixType::RowsAtCompileTime, MatrixType::ColsAtCompileTime> RealMatrixType;
|
|
|
|
|
|
|
|
int rows = m.rows();
|
|
|
|
int cols = m.cols();
|
2009-07-10 22:10:03 +08:00
|
|
|
|
2009-05-20 21:41:23 +08:00
|
|
|
Scalar s1 = ei_random<Scalar>(),
|
|
|
|
s2 = ei_random<Scalar>();
|
2009-07-10 22:10:03 +08:00
|
|
|
|
2009-05-20 21:41:23 +08:00
|
|
|
VERIFY(ei_real(s1)==ei_real_ref(s1));
|
|
|
|
VERIFY(ei_imag(s1)==ei_imag_ref(s1));
|
|
|
|
ei_real_ref(s1) = ei_real(s2);
|
|
|
|
ei_imag_ref(s1) = ei_imag(s2);
|
|
|
|
VERIFY(s1==s2);
|
2009-07-10 22:10:03 +08:00
|
|
|
|
2009-05-20 21:41:23 +08:00
|
|
|
RealMatrixType rm1 = RealMatrixType::Random(rows,cols),
|
|
|
|
rm2 = RealMatrixType::Random(rows,cols);
|
|
|
|
MatrixType cm(rows,cols);
|
|
|
|
cm.real() = rm1;
|
|
|
|
cm.imag() = rm2;
|
|
|
|
VERIFY_IS_APPROX(static_cast<const MatrixType&>(cm).real(), rm1);
|
|
|
|
VERIFY_IS_APPROX(static_cast<const MatrixType&>(cm).imag(), rm2);
|
|
|
|
cm.real().setZero();
|
|
|
|
VERIFY(static_cast<const MatrixType&>(cm).real().isZero());
|
|
|
|
VERIFY(!static_cast<const MatrixType&>(cm).imag().isZero());
|
2007-10-14 00:56:24 +08:00
|
|
|
}
|
|
|
|
|
2009-04-29 22:51:19 +08:00
|
|
|
void casting()
|
|
|
|
{
|
|
|
|
Matrix4f m = Matrix4f::Random(), m2;
|
|
|
|
Matrix4d n = m.cast<double>();
|
|
|
|
VERIFY(m.isApprox(n.cast<float>()));
|
|
|
|
m2 = m.cast<float>(); // check the specialization when NewType == Type
|
|
|
|
VERIFY(m.isApprox(m2));
|
|
|
|
}
|
|
|
|
|
2008-05-22 20:18:55 +08:00
|
|
|
void test_basicstuff()
|
2007-10-14 00:56:24 +08:00
|
|
|
{
|
2008-05-22 20:18:55 +08:00
|
|
|
for(int i = 0; i < g_repeat; i++) {
|
2009-10-29 06:19:29 +08:00
|
|
|
CALL_SUBTEST_1( basicStuff(Matrix<float, 1, 1>()) );
|
|
|
|
CALL_SUBTEST_2( basicStuff(Matrix4d()) );
|
|
|
|
CALL_SUBTEST_3( basicStuff(MatrixXcf(3, 3)) );
|
|
|
|
CALL_SUBTEST_4( basicStuff(MatrixXi(8, 12)) );
|
|
|
|
CALL_SUBTEST_5( basicStuff(MatrixXcd(20, 20)) );
|
|
|
|
CALL_SUBTEST_6( basicStuff(Matrix<float, 100, 100>()) );
|
|
|
|
CALL_SUBTEST_7( basicStuff(Matrix<long double,Dynamic,Dynamic>(10,10)) );
|
|
|
|
|
|
|
|
CALL_SUBTEST_3( basicStuffComplex(MatrixXcf(21, 17)) );
|
|
|
|
CALL_SUBTEST_5( basicStuffComplex(MatrixXcd(2, 3)) );
|
2008-03-09 03:02:24 +08:00
|
|
|
}
|
2009-04-30 01:01:10 +08:00
|
|
|
|
2009-10-29 06:19:29 +08:00
|
|
|
CALL_SUBTEST_2(casting());
|
2007-10-14 00:56:24 +08:00
|
|
|
}
|