• Home
  • Raw
  • Download

Lines Matching refs:VERIFY

49   VERIFY(res.isApprox(res_d) && "mat*p");  in sparse_permutations()
53 VERIFY(res.isApprox(res_d) && "p*mat"); in sparse_permutations()
57 VERIFY(res.isApprox(res_d) && "mat*inv(p)"); in sparse_permutations()
61 VERIFY(res.isApprox(res_d) && "inv(p)*mat"); in sparse_permutations()
65 VERIFY(res.isApprox(res_d) && "p*mat*inv(p)"); in sparse_permutations()
70 VERIFY(res.isApprox(res_d) && "full selfadjoint upper to full"); in sparse_permutations()
74 VERIFY(res.isApprox(res_d) && "full selfadjoint lower to full"); in sparse_permutations()
79 VERIFY(res.isApprox(res_d) && "upper selfadjoint to full"); in sparse_permutations()
83 VERIFY(res.isApprox(res_d) && "lower selfadjoint full"); in sparse_permutations()
88 VERIFY(res.isApprox(res_d) && "full selfadjoint upper to full"); in sparse_permutations()
92 VERIFY(res.isApprox(res_d) && "full selfadjoint lower to full"); in sparse_permutations()
96 VERIFY(res.isApprox(res_d) && "upper selfadjoint to full"); in sparse_permutations()
100 VERIFY(res.isApprox(res_d) && "lower selfadjoint full"); in sparse_permutations()
105 VERIFY(res.isApprox(res_d) && "full selfadjoint upper to upper"); in sparse_permutations()
109 VERIFY(res.isApprox(res_d) && "full selfadjoint upper to lower"); in sparse_permutations()
113 VERIFY(res.isApprox(res_d) && "full selfadjoint lower to upper"); in sparse_permutations()
117 VERIFY(res.isApprox(res_d) && "full selfadjoint lower to lower"); in sparse_permutations()
123 VERIFY(res.isApprox(res_d) && "full selfadjoint upper twisted to upper"); in sparse_permutations()
127 VERIFY(res.isApprox(res_d) && "full selfadjoint lower twisted to upper"); in sparse_permutations()
131 VERIFY(res.isApprox(res_d) && "full selfadjoint lower twisted to lower"); in sparse_permutations()
135 VERIFY(res.isApprox(res_d) && "full selfadjoint upper twisted to lower"); in sparse_permutations()
140 VERIFY(res.isApprox(res_d) && "upper selfadjoint twisted to upper"); in sparse_permutations()
144 VERIFY(res.isApprox(res_d) && "lower selfadjoint twisted to upper"); in sparse_permutations()
148 VERIFY(res.isApprox(res_d) && "lower selfadjoint twisted to lower"); in sparse_permutations()
152 VERIFY(res.isApprox(res_d) && "upper selfadjoint twisted to lower"); in sparse_permutations()
157 VERIFY(res.isApprox(res_d) && "full selfadjoint upper twisted to full"); in sparse_permutations()
161 VERIFY(res.isApprox(res_d) && "full selfadjoint lower twisted to full"); in sparse_permutations()
165 VERIFY(res.isApprox(res_d) && "upper selfadjoint twisted to full"); in sparse_permutations()
169 VERIFY(res.isApprox(res_d) && "lower selfadjoint twisted to full"); in sparse_permutations()