61   VERIFY_IS_APPROX((m1*m1.transpose())*m2,  m1*(m1.transpose()*m2));  in product()
64   VERIFY_IS_APPROX(m3,                      m1 * (m1.transpose()*m2));  in product()
65   VERIFY_IS_APPROX(m3,                      m1 * (m1.transpose()*m2));  in product()
68   VERIFY_IS_APPROX(square*(m1 + m2),        square*m1+square*m2);  in product()
69   VERIFY_IS_APPROX(square*(m1 - m2),        square*m1-square*m2);  in product()
72   VERIFY_IS_APPROX(s1*(square*m1),          (s1*square)*m1);  in product()
73   VERIFY_IS_APPROX(s1*(square*m1),          square*(m1*s1));  in product()
76   VERIFY_IS_APPROX(v1,                      identity*v1);  in product()
77   VERIFY_IS_APPROX(v1.transpose(),          v1.transpose() * identity);  in product()
79   VERIFY_IS_APPROX(MatrixType::Identity(rows, cols)(r,c), static_cast<Scalar>(r==c));  in product()
94   VERIFY_IS_APPROX(res, square + m1 * m2.transpose());  in product()
101   VERIFY_IS_APPROX(vcres, vc2 + m1.transpose() * v1);  in product()
106   VERIFY_IS_APPROX(res, square - (m1 * m2.transpose()));  in product()
113   VERIFY_IS_APPROX(vcres, vc2 - m1.transpose() * v1);  in product()
116   VERIFY_IS_APPROX(tm1.transpose() * v1, m1.transpose() * v1);  in product()
117   VERIFY_IS_APPROX(v1.transpose() * tm1, v1.transpose() * m1);  in product()
122   VERIFY_IS_APPROX(res, m1 * m2.transpose());  in product()
126   VERIFY_IS_APPROX(res, m1 * m2.transpose());  in product()
130   VERIFY_IS_APPROX(res2, square2 + m1.transpose() * m2);  in product()
136 …VERIFY_IS_APPROX(res.col(r).noalias() = square.adjoint() * square.col(r), (square.adjoint() * squa…  in product()
137   VERIFY_IS_APPROX(res.col(r).noalias() = square * square.col(r), (square * square.col(r)).eval());  in product()
141   VERIFY_IS_APPROX(x, square2.row(c).transpose().cwiseProduct(square2.col(c2)).sum());  in product()
144   VERIFY_IS_APPROX(m1.col(c) * m1.row(r), m1.block(0,c,rows,1) * m1.block(r,0,1,cols));  in product()
145 …VERIFY_IS_APPROX(m1.row(r).transpose() * m1.col(c).transpose(), m1.block(r,0,1,cols).transpose() *…  in product()
146   VERIFY_IS_APPROX(m1.block(0,c,rows,1) * m1.row(r), m1.block(0,c,rows,1) * m1.block(r,0,1,cols));  in product()
147   VERIFY_IS_APPROX(m1.col(c) * m1.block(r,0,1,cols), m1.block(0,c,rows,1) * m1.block(r,0,1,cols));  in product()
148   VERIFY_IS_APPROX(m1.leftCols(1) * m1.row(r), m1.block(0,0,rows,1) * m1.block(r,0,1,cols));  in product()
149   VERIFY_IS_APPROX(m1.col(c) * m1.topRows(1), m1.block(0,c,rows,1) * m1.block(0,0,1,cols));    in product()