Lines Matching refs:VERIFY
59 VERIFY((MatrixType::Zero(rows,cols).fullPivLu().image(MatrixType::Zero(rows,cols)).cols() == 1)); in lu_non_invertible()
85 VERIFY(rank == lu.rank()); in lu_non_invertible()
86 VERIFY(cols - lu.rank() == lu.dimensionOfKernel()); in lu_non_invertible()
87 VERIFY(!lu.isInjective()); in lu_non_invertible()
88 VERIFY(!lu.isInvertible()); in lu_non_invertible()
89 VERIFY(!lu.isSurjective()); in lu_non_invertible()
90 VERIFY((m1 * m1kernel).isMuchSmallerThan(m1)); in lu_non_invertible()
91 VERIFY(m1image.fullPivLu().rank() == rank); in lu_non_invertible()
141 VERIFY(0 == lu.dimensionOfKernel()); in lu_invertible()
142 VERIFY(lu.kernel().cols() == 1); // the kernel() should consist of a single (zero) column vector in lu_invertible()
143 VERIFY(size == lu.rank()); in lu_invertible()
144 VERIFY(lu.isInjective()); in lu_invertible()
145 VERIFY(lu.isSurjective()); in lu_invertible()
146 VERIFY(lu.isInvertible()); in lu_invertible()
147 VERIFY(lu.image(m1).fullPivLu().isInvertible()); in lu_invertible()
158 VERIFY(rcond_est > rcond / 10 && rcond_est < rcond * 10); in lu_invertible()
203 VERIFY(rcond_est > rcond / 10 && rcond_est < rcond * 10); in lu_partial_piv()