blob: 9b7d7c4e6fb8db94652fcf5e24d2df504fb01f14 [file] [log] [blame]
Gael Guennebaud86ccd992008-11-05 13:47:55 +00001// This file is part of Eigen, a lightweight C++ template library
Benoit Jacob6347b1d2009-05-22 20:25:33 +02002// for linear algebra.
Gael Guennebaud86ccd992008-11-05 13:47:55 +00003//
4// Copyright (C) 2008 Daniel Gomez Ferro <dgomezferro@gmail.com>
5//
6// Eigen is free software; you can redistribute it and/or
7// modify it under the terms of the GNU Lesser General Public
8// License as published by the Free Software Foundation; either
9// version 3 of the License, or (at your option) any later version.
10//
11// Alternatively, you can redistribute it and/or
12// modify it under the terms of the GNU General Public License as
13// published by the Free Software Foundation; either version 2 of
14// the License, or (at your option) any later version.
15//
16// Eigen is distributed in the hope that it will be useful, but WITHOUT ANY
17// WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS
18// FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License or the
19// GNU General Public License for more details.
20//
21// You should have received a copy of the GNU Lesser General Public
22// License and a copy of the GNU General Public License along with
23// Eigen. If not, see <http://www.gnu.org/licenses/>.
24
25#include "sparse.h"
26
Gael Guennebaudd3dcb042009-01-23 09:50:16 +000027template<typename SetterType,typename DenseType, typename Scalar, int Options>
28bool test_random_setter(SparseMatrix<Scalar,Options>& sm, const DenseType& ref, const std::vector<Vector2i>& nonzeroCoords)
Gael Guennebaud86ccd992008-11-05 13:47:55 +000029{
Gael Guennebaudd3dcb042009-01-23 09:50:16 +000030 typedef SparseMatrix<Scalar,Options> SparseType;
Gael Guennebaud86ccd992008-11-05 13:47:55 +000031 {
32 sm.setZero();
33 SetterType w(sm);
34 std::vector<Vector2i> remaining = nonzeroCoords;
35 while(!remaining.empty())
36 {
37 int i = ei_random<int>(0,remaining.size()-1);
38 w(remaining[i].x(),remaining[i].y()) = ref.coeff(remaining[i].x(),remaining[i].y());
39 remaining[i] = remaining.back();
40 remaining.pop_back();
41 }
42 }
43 return sm.isApprox(ref);
44}
45
Gael Guennebaud178858f2009-01-19 15:20:45 +000046template<typename SetterType,typename DenseType, typename T>
47bool test_random_setter(DynamicSparseMatrix<T>& sm, const DenseType& ref, const std::vector<Vector2i>& nonzeroCoords)
Gael Guennebaud86ccd992008-11-05 13:47:55 +000048{
Gael Guennebaud178858f2009-01-19 15:20:45 +000049 sm.setZero();
50 std::vector<Vector2i> remaining = nonzeroCoords;
51 while(!remaining.empty())
52 {
53 int i = ei_random<int>(0,remaining.size()-1);
54 sm.coeffRef(remaining[i].x(),remaining[i].y()) = ref.coeff(remaining[i].x(),remaining[i].y());
55 remaining[i] = remaining.back();
56 remaining.pop_back();
57 }
58 return sm.isApprox(ref);
59}
60
61template<typename SparseMatrixType> void sparse_basic(const SparseMatrixType& ref)
62{
63 const int rows = ref.rows();
64 const int cols = ref.cols();
65 typedef typename SparseMatrixType::Scalar Scalar;
66 enum { Flags = SparseMatrixType::Flags };
67
Gael Guennebaud86ccd992008-11-05 13:47:55 +000068 double density = std::max(8./(rows*cols), 0.01);
69 typedef Matrix<Scalar,Dynamic,Dynamic> DenseMatrix;
70 typedef Matrix<Scalar,Dynamic,1> DenseVector;
71 Scalar eps = 1e-6;
72
Gael Guennebaud178858f2009-01-19 15:20:45 +000073 SparseMatrixType m(rows, cols);
Gael Guennebaud86ccd992008-11-05 13:47:55 +000074 DenseMatrix refMat = DenseMatrix::Zero(rows, cols);
75 DenseVector vec1 = DenseVector::Random(rows);
Gael Guennebaud2d534662009-01-14 21:27:54 +000076 Scalar s1 = ei_random<Scalar>();
Gael Guennebaud86ccd992008-11-05 13:47:55 +000077
78 std::vector<Vector2i> zeroCoords;
79 std::vector<Vector2i> nonzeroCoords;
80 initSparse<Scalar>(density, refMat, m, 0, &zeroCoords, &nonzeroCoords);
Gael Guennebaud178858f2009-01-19 15:20:45 +000081
Gael Guennebaud86ccd992008-11-05 13:47:55 +000082 if (zeroCoords.size()==0 || nonzeroCoords.size()==0)
83 return;
84
85 // test coeff and coeffRef
86 for (int i=0; i<(int)zeroCoords.size(); ++i)
87 {
88 VERIFY_IS_MUCH_SMALLER_THAN( m.coeff(zeroCoords[i].x(),zeroCoords[i].y()), eps );
Gael Guennebaud178858f2009-01-19 15:20:45 +000089 if(ei_is_same_type<SparseMatrixType,SparseMatrix<Scalar,Flags> >::ret)
90 VERIFY_RAISES_ASSERT( m.coeffRef(zeroCoords[0].x(),zeroCoords[0].y()) = 5 );
Gael Guennebaud86ccd992008-11-05 13:47:55 +000091 }
92 VERIFY_IS_APPROX(m, refMat);
93
94 m.coeffRef(nonzeroCoords[0].x(), nonzeroCoords[0].y()) = Scalar(5);
95 refMat.coeffRef(nonzeroCoords[0].x(), nonzeroCoords[0].y()) = Scalar(5);
96
97 VERIFY_IS_APPROX(m, refMat);
Gael Guennebaudc4c70662009-01-14 14:24:10 +000098 /*
Gael Guennebaud86ccd992008-11-05 13:47:55 +000099 // test InnerIterators and Block expressions
100 for (int t=0; t<10; ++t)
101 {
102 int j = ei_random<int>(0,cols-1);
103 int i = ei_random<int>(0,rows-1);
104 int w = ei_random<int>(1,cols-j-1);
105 int h = ei_random<int>(1,rows-i-1);
106
Gael Guennebaudc4c70662009-01-14 14:24:10 +0000107// VERIFY_IS_APPROX(m.block(i,j,h,w), refMat.block(i,j,h,w));
Gael Guennebaud86ccd992008-11-05 13:47:55 +0000108 for(int c=0; c<w; c++)
109 {
110 VERIFY_IS_APPROX(m.block(i,j,h,w).col(c), refMat.block(i,j,h,w).col(c));
111 for(int r=0; r<h; r++)
112 {
Gael Guennebaudc4c70662009-01-14 14:24:10 +0000113// VERIFY_IS_APPROX(m.block(i,j,h,w).col(c).coeff(r), refMat.block(i,j,h,w).col(c).coeff(r));
Gael Guennebaud86ccd992008-11-05 13:47:55 +0000114 }
115 }
Gael Guennebaudc4c70662009-01-14 14:24:10 +0000116// for(int r=0; r<h; r++)
117// {
118// VERIFY_IS_APPROX(m.block(i,j,h,w).row(r), refMat.block(i,j,h,w).row(r));
119// for(int c=0; c<w; c++)
120// {
121// VERIFY_IS_APPROX(m.block(i,j,h,w).row(r).coeff(c), refMat.block(i,j,h,w).row(r).coeff(c));
122// }
123// }
Gael Guennebaud86ccd992008-11-05 13:47:55 +0000124 }
125
126 for(int c=0; c<cols; c++)
127 {
128 VERIFY_IS_APPROX(m.col(c) + m.col(c), (m + m).col(c));
129 VERIFY_IS_APPROX(m.col(c) + m.col(c), refMat.col(c) + refMat.col(c));
130 }
131
132 for(int r=0; r<rows; r++)
133 {
134 VERIFY_IS_APPROX(m.row(r) + m.row(r), (m + m).row(r));
135 VERIFY_IS_APPROX(m.row(r) + m.row(r), refMat.row(r) + refMat.row(r));
136 }
137 */
138
139 // test SparseSetters
140 // coherent setter
141 // TODO extend the MatrixSetter
142// {
143// m.setZero();
144// VERIFY_IS_NOT_APPROX(m, refMat);
Gael Guennebaud178858f2009-01-19 15:20:45 +0000145// SparseSetter<SparseMatrixType, FullyCoherentAccessPattern> w(m);
Gael Guennebaud86ccd992008-11-05 13:47:55 +0000146// for (int i=0; i<nonzeroCoords.size(); ++i)
147// {
148// w->coeffRef(nonzeroCoords[i].x(),nonzeroCoords[i].y()) = refMat.coeff(nonzeroCoords[i].x(),nonzeroCoords[i].y());
149// }
150// }
151// VERIFY_IS_APPROX(m, refMat);
152
153 // random setter
154// {
155// m.setZero();
156// VERIFY_IS_NOT_APPROX(m, refMat);
Gael Guennebaud178858f2009-01-19 15:20:45 +0000157// SparseSetter<SparseMatrixType, RandomAccessPattern> w(m);
Gael Guennebaud86ccd992008-11-05 13:47:55 +0000158// std::vector<Vector2i> remaining = nonzeroCoords;
159// while(!remaining.empty())
160// {
161// int i = ei_random<int>(0,remaining.size()-1);
162// w->coeffRef(remaining[i].x(),remaining[i].y()) = refMat.coeff(remaining[i].x(),remaining[i].y());
163// remaining[i] = remaining.back();
164// remaining.pop_back();
165// }
166// }
167// VERIFY_IS_APPROX(m, refMat);
168
Gael Guennebaud178858f2009-01-19 15:20:45 +0000169 VERIFY(( test_random_setter<RandomSetter<SparseMatrixType, StdMapTraits> >(m,refMat,nonzeroCoords) ));
Gael Guennebaud6a722602009-01-23 12:26:32 +0000170 #ifdef EIGEN_UNORDERED_MAP_SUPPORT
171 VERIFY(( test_random_setter<RandomSetter<SparseMatrixType, StdUnorderedMapTraits> >(m,refMat,nonzeroCoords) ));
Gael Guennebaud86ccd992008-11-05 13:47:55 +0000172 #endif
173 #ifdef _DENSE_HASH_MAP_H_
Gael Guennebaud178858f2009-01-19 15:20:45 +0000174 VERIFY(( test_random_setter<RandomSetter<SparseMatrixType, GoogleDenseHashMapTraits> >(m,refMat,nonzeroCoords) ));
Gael Guennebaud86ccd992008-11-05 13:47:55 +0000175 #endif
176 #ifdef _SPARSE_HASH_MAP_H_
Gael Guennebaud178858f2009-01-19 15:20:45 +0000177 VERIFY(( test_random_setter<RandomSetter<SparseMatrixType, GoogleSparseHashMapTraits> >(m,refMat,nonzeroCoords) ));
Gael Guennebaud86ccd992008-11-05 13:47:55 +0000178 #endif
Gael Guennebaud5015e482008-12-11 18:26:24 +0000179
Gael Guennebaud28293142009-05-04 14:25:12 +0000180 // test insert (inner random)
Gael Guennebaud5015e482008-12-11 18:26:24 +0000181 {
182 DenseMatrix m1(rows,cols);
183 m1.setZero();
Gael Guennebaud178858f2009-01-19 15:20:45 +0000184 SparseMatrixType m2(rows,cols);
Gael Guennebaud28293142009-05-04 14:25:12 +0000185 m2.reserve(10);
Gael Guennebaud5015e482008-12-11 18:26:24 +0000186 for (int j=0; j<cols; ++j)
187 {
188 for (int k=0; k<rows/2; ++k)
189 {
190 int i = ei_random<int>(0,rows-1);
191 if (m1.coeff(i,j)==Scalar(0))
Gael Guennebaud28293142009-05-04 14:25:12 +0000192 m2.insert(i,j) = m1(i,j) = ei_random<Scalar>();
Gael Guennebaud5015e482008-12-11 18:26:24 +0000193 }
194 }
Gael Guennebaud28293142009-05-04 14:25:12 +0000195 m2.finalize();
196 VERIFY_IS_APPROX(m2,m1);
197 }
198
199 // test insert (fully random)
200 {
201 DenseMatrix m1(rows,cols);
202 m1.setZero();
203 SparseMatrixType m2(rows,cols);
204 m2.reserve(10);
205 for (int k=0; k<rows*cols; ++k)
206 {
207 int i = ei_random<int>(0,rows-1);
208 int j = ei_random<int>(0,cols-1);
209 if (m1.coeff(i,j)==Scalar(0))
210 m2.insert(i,j) = m1(i,j) = ei_random<Scalar>();
211 }
212 m2.finalize();
Gael Guennebaudc4c70662009-01-14 14:24:10 +0000213 VERIFY_IS_APPROX(m2,m1);
Gael Guennebaud5015e482008-12-11 18:26:24 +0000214 }
Gael Guennebaud9a4b7992009-01-15 14:16:41 +0000215
Gael Guennebaud87241082009-01-15 13:30:50 +0000216 // test RandomSetter
Gael Guennebaud178858f2009-01-19 15:20:45 +0000217 /*{
218 SparseMatrixType m1(rows,cols), m2(rows,cols);
Gael Guennebaud87241082009-01-15 13:30:50 +0000219 DenseMatrix refM1 = DenseMatrix::Zero(rows, rows);
220 initSparse<Scalar>(density, refM1, m1);
221 {
Gael Guennebaud178858f2009-01-19 15:20:45 +0000222 Eigen::RandomSetter<SparseMatrixType > setter(m2);
Gael Guennebaud87241082009-01-15 13:30:50 +0000223 for (int j=0; j<m1.outerSize(); ++j)
Gael Guennebaud178858f2009-01-19 15:20:45 +0000224 for (typename SparseMatrixType::InnerIterator i(m1,j); i; ++i)
Gael Guennebaud87241082009-01-15 13:30:50 +0000225 setter(i.index(), j) = i.value();
226 }
227 VERIFY_IS_APPROX(m1, m2);
Gael Guennebaud178858f2009-01-19 15:20:45 +0000228 }*/
Gael Guennebaud86ccd992008-11-05 13:47:55 +0000229// std::cerr << m.transpose() << "\n\n" << refMat.transpose() << "\n\n";
230// VERIFY_IS_APPROX(m, refMat);
231
Gael Guennebaud2d534662009-01-14 21:27:54 +0000232 // test basic computations
233 {
234 DenseMatrix refM1 = DenseMatrix::Zero(rows, rows);
235 DenseMatrix refM2 = DenseMatrix::Zero(rows, rows);
236 DenseMatrix refM3 = DenseMatrix::Zero(rows, rows);
237 DenseMatrix refM4 = DenseMatrix::Zero(rows, rows);
Gael Guennebaud178858f2009-01-19 15:20:45 +0000238 SparseMatrixType m1(rows, rows);
239 SparseMatrixType m2(rows, rows);
240 SparseMatrixType m3(rows, rows);
241 SparseMatrixType m4(rows, rows);
Gael Guennebaud2d534662009-01-14 21:27:54 +0000242 initSparse<Scalar>(density, refM1, m1);
243 initSparse<Scalar>(density, refM2, m2);
244 initSparse<Scalar>(density, refM3, m3);
245 initSparse<Scalar>(density, refM4, m4);
246
247 VERIFY_IS_APPROX(m1+m2, refM1+refM2);
248 VERIFY_IS_APPROX(m1+m2+m3, refM1+refM2+refM3);
249 VERIFY_IS_APPROX(m3.cwise()*(m1+m2), refM3.cwise()*(refM1+refM2));
250 VERIFY_IS_APPROX(m1*s1-m2, refM1*s1-refM2);
251
252 VERIFY_IS_APPROX(m1*=s1, refM1*=s1);
253 VERIFY_IS_APPROX(m1/=s1, refM1/=s1);
Gael Guennebaude7c48fa2009-01-23 13:59:32 +0000254
255 VERIFY_IS_APPROX(m1+=m2, refM1+=refM2);
256 VERIFY_IS_APPROX(m1-=m2, refM1-=refM2);
257
Gael Guennebauda9688f02009-02-09 09:59:30 +0000258 VERIFY_IS_APPROX(m1.col(0).dot(refM2.row(0)), refM1.col(0).dot(refM2.row(0)));
259
Gael Guennebaud2d534662009-01-14 21:27:54 +0000260 refM4.setRandom();
261 // sparse cwise* dense
262 VERIFY_IS_APPROX(m3.cwise()*refM4, refM3.cwise()*refM4);
263// VERIFY_IS_APPROX(m3.cwise()/refM4, refM3.cwise()/refM4);
264 }
265
Gael Guennebaudc4c70662009-01-14 14:24:10 +0000266 // test innerVector()
267 {
268 DenseMatrix refMat2 = DenseMatrix::Zero(rows, rows);
Gael Guennebaud178858f2009-01-19 15:20:45 +0000269 SparseMatrixType m2(rows, rows);
Gael Guennebaudc4c70662009-01-14 14:24:10 +0000270 initSparse<Scalar>(density, refMat2, m2);
271 int j0 = ei_random(0,rows-1);
272 int j1 = ei_random(0,rows-1);
Gael Guennebaud2d534662009-01-14 21:27:54 +0000273 VERIFY_IS_APPROX(m2.innerVector(j0), refMat2.col(j0));
274 VERIFY_IS_APPROX(m2.innerVector(j0)+m2.innerVector(j1), refMat2.col(j0)+refMat2.col(j1));
Gael Guennebaud8ce45032009-01-27 22:48:17 +0000275 //m2.innerVector(j0) = 2*m2.innerVector(j1);
276 //refMat2.col(j0) = 2*refMat2.col(j1);
277 //VERIFY_IS_APPROX(m2, refMat2);
278 }
279
280 // test innerVectors()
281 {
282 DenseMatrix refMat2 = DenseMatrix::Zero(rows, rows);
283 SparseMatrixType m2(rows, rows);
284 initSparse<Scalar>(density, refMat2, m2);
285 int j0 = ei_random(0,rows-2);
286 int j1 = ei_random(0,rows-2);
287 int n0 = ei_random<int>(1,rows-std::max(j0,j1));
288 VERIFY_IS_APPROX(m2.innerVectors(j0,n0), refMat2.block(0,j0,rows,n0));
289 VERIFY_IS_APPROX(m2.innerVectors(j0,n0)+m2.innerVectors(j1,n0),
290 refMat2.block(0,j0,rows,n0)+refMat2.block(0,j1,rows,n0));
291 //m2.innerVectors(j0,n0) = m2.innerVectors(j0,n0) + m2.innerVectors(j1,n0);
292 //refMat2.block(0,j0,rows,n0) = refMat2.block(0,j0,rows,n0) + refMat2.block(0,j1,rows,n0);
Gael Guennebaudc4c70662009-01-14 14:24:10 +0000293 }
294
Gael Guennebaud86ccd992008-11-05 13:47:55 +0000295 // test transpose
296 {
297 DenseMatrix refMat2 = DenseMatrix::Zero(rows, rows);
Gael Guennebaud178858f2009-01-19 15:20:45 +0000298 SparseMatrixType m2(rows, rows);
Gael Guennebaud86ccd992008-11-05 13:47:55 +0000299 initSparse<Scalar>(density, refMat2, m2);
300 VERIFY_IS_APPROX(m2.transpose().eval(), refMat2.transpose().eval());
301 VERIFY_IS_APPROX(m2.transpose(), refMat2.transpose());
302 }
Gael Guennebaud52cf07d2009-01-21 18:46:04 +0000303
304 // test prune
305 {
306 SparseMatrixType m2(rows, rows);
307 DenseMatrix refM2(rows, rows);
308 refM2.setZero();
309 int countFalseNonZero = 0;
310 int countTrueNonZero = 0;
Gael Guennebaud52cf07d2009-01-21 18:46:04 +0000311 for (int j=0; j<m2.outerSize(); ++j)
Gael Guennebaud28293142009-05-04 14:25:12 +0000312 {
313 m2.startVec(j);
Gael Guennebaud52cf07d2009-01-21 18:46:04 +0000314 for (int i=0; i<m2.innerSize(); ++i)
315 {
316 float x = ei_random<float>(0,1);
317 if (x<0.1)
318 {
319 // do nothing
320 }
321 else if (x<0.5)
322 {
323 countFalseNonZero++;
Gael Guennebaud28293142009-05-04 14:25:12 +0000324 m2.insertBack(j,i) = Scalar(0);
Gael Guennebaud52cf07d2009-01-21 18:46:04 +0000325 }
326 else
327 {
328 countTrueNonZero++;
Gael Guennebaud28293142009-05-04 14:25:12 +0000329 m2.insertBack(j,i) = refM2(i,j) = Scalar(1);
Gael Guennebaud52cf07d2009-01-21 18:46:04 +0000330 }
331 }
Gael Guennebaud28293142009-05-04 14:25:12 +0000332 }
333 m2.finalize();
Gael Guennebaud52cf07d2009-01-21 18:46:04 +0000334 VERIFY(countFalseNonZero+countTrueNonZero == m2.nonZeros());
335 VERIFY_IS_APPROX(m2, refM2);
336 m2.prune(1);
337 VERIFY(countTrueNonZero==m2.nonZeros());
338 VERIFY_IS_APPROX(m2, refM2);
339 }
Gael Guennebaud86ccd992008-11-05 13:47:55 +0000340}
341
342void test_sparse_basic()
343{
344 for(int i = 0; i < g_repeat; i++) {
Gael Guennebaud52cf07d2009-01-21 18:46:04 +0000345 CALL_SUBTEST( sparse_basic(SparseMatrix<double>(8, 8)) );
346 CALL_SUBTEST( sparse_basic(SparseMatrix<std::complex<double> >(16, 16)) );
347 CALL_SUBTEST( sparse_basic(SparseMatrix<double>(33, 33)) );
Gael Guennebaud178858f2009-01-19 15:20:45 +0000348
349 CALL_SUBTEST( sparse_basic(DynamicSparseMatrix<double>(8, 8)) );
Gael Guennebaud86ccd992008-11-05 13:47:55 +0000350 }
351}