Lines Matching refs:VERIFY
31 VERIFY(rank == cod.rank());
32 VERIFY(cols - cod.rank() == cod.dimensionOfKernel());
33 VERIFY(!cod.isInjective());
34 VERIFY(!cod.isInvertible());
35 VERIFY(!cod.isSurjective());
56 // Verify that we get the same minimum-norm solution as the SVD.
76 VERIFY(rank == cod.rank());
77 VERIFY(Cols - cod.rank() == cod.dimensionOfKernel());
78 VERIFY(cod.isInjective() == (rank == Rows));
79 VERIFY(cod.isSurjective() == (rank == Cols));
80 VERIFY(cod.isInvertible() == (cod.isInjective() && cod.isSurjective()));
88 // Verify that we get the same minimum-norm solution as the SVD.
110 VERIFY(!qr.isInjective());
111 VERIFY(!qr.isInvertible());
112 VERIFY(!qr.isSurjective());
121 // Verify that the absolute value of the diagonal elements in R are
184 // Verify that the absolute value of the diagonal elements in R are
203 // This test is meant to verify that pivots are chosen such that
