84   VERIFY(res.isApprox(res_d) && "mat*p");  in sparse_permutations()
90   VERIFY(res.isApprox(res_d) && "p*mat");  in sparse_permutations()
96   VERIFY(res.isApprox(res_d) && "mat*inv(p)");  in sparse_permutations()
102   VERIFY(res.isApprox(res_d) && "inv(p)*mat");  in sparse_permutations()
108   VERIFY(res.isApprox(res_d) && "p*mat*inv(p)");  in sparse_permutations()
113   VERIFY(res.isApprox(res_d) && "full selfadjoint upper to full");  in sparse_permutations()
117   VERIFY(res.isApprox(res_d) && "full selfadjoint lower to full");  in sparse_permutations()
122   VERIFY(res.isApprox(res_d) && "upper selfadjoint to full");  in sparse_permutations()
126   VERIFY(res.isApprox(res_d) && "lower selfadjoint full");  in sparse_permutations()
131   VERIFY(res.isApprox(res_d) && "full selfadjoint upper to full");  in sparse_permutations()
135   VERIFY(res.isApprox(res_d) && "full selfadjoint lower to full");  in sparse_permutations()
139   VERIFY(res.isApprox(res_d) && "upper selfadjoint to full");  in sparse_permutations()
143   VERIFY(res.isApprox(res_d) && "lower selfadjoint full");  in sparse_permutations()
148   VERIFY(res.isApprox(res_d) && "full selfadjoint upper to upper");  in sparse_permutations()
152   VERIFY(res.isApprox(res_d) && "full selfadjoint upper to lower");  in sparse_permutations()
156   VERIFY(res.isApprox(res_d) && "full selfadjoint lower to upper");  in sparse_permutations()
160   VERIFY(res.isApprox(res_d) && "full selfadjoint lower to lower");  in sparse_permutations()
166   VERIFY(res.isApprox(res_d) && "full selfadjoint upper twisted to upper");  in sparse_permutations()
170   VERIFY(res.isApprox(res_d) && "full selfadjoint lower twisted to upper");  in sparse_permutations()
174   VERIFY(res.isApprox(res_d) && "full selfadjoint lower twisted to lower");  in sparse_permutations()
178   VERIFY(res.isApprox(res_d) && "full selfadjoint upper twisted to lower");  in sparse_permutations()
183   VERIFY(res.isApprox(res_d) && "upper selfadjoint twisted to upper");  in sparse_permutations()
187   VERIFY(res.isApprox(res_d) && "lower selfadjoint twisted to upper");  in sparse_permutations()
191   VERIFY(res.isApprox(res_d) && "lower selfadjoint twisted to lower");  in sparse_permutations()
195   VERIFY(res.isApprox(res_d) && "upper selfadjoint twisted to lower");  in sparse_permutations()
200   VERIFY(res.isApprox(res_d) && "full selfadjoint upper twisted to full");  in sparse_permutations()
204   VERIFY(res.isApprox(res_d) && "full selfadjoint lower twisted to full");  in sparse_permutations()
208   VERIFY(res.isApprox(res_d) && "upper selfadjoint twisted to full");  in sparse_permutations()
212   VERIFY(res.isApprox(res_d) && "lower selfadjoint twisted to full");  in sparse_permutations()