15   E.resize(F.rows()*F.cols(),F.cols()-1);  in oriented_facets()
20       E.block(0*F.rows(),0,F.rows(),1) = F.col(1).template cast<EScalar>();  in oriented_facets()
21       E.block(0*F.rows(),1,F.rows(),1) = F.col(3).template cast<EScalar>();  in oriented_facets()
22       E.block(0*F.rows(),2,F.rows(),1) = F.col(2).template cast<EScalar>();  in oriented_facets()
24       E.block(1*F.rows(),0,F.rows(),1) = F.col(0).template cast<EScalar>();  in oriented_facets()
25       E.block(1*F.rows(),1,F.rows(),1) = F.col(2).template cast<EScalar>();  in oriented_facets()
26       E.block(1*F.rows(),2,F.rows(),1) = F.col(3).template cast<EScalar>();  in oriented_facets()
28       E.block(2*F.rows(),0,F.rows(),1) = F.col(0).template cast<EScalar>();  in oriented_facets()
29       E.block(2*F.rows(),1,F.rows(),1) = F.col(3).template cast<EScalar>();  in oriented_facets()
30       E.block(2*F.rows(),2,F.rows(),1) = F.col(1).template cast<EScalar>();  in oriented_facets()
32       E.block(3*F.rows(),0,F.rows(),1) = F.col(0).template cast<EScalar>();  in oriented_facets()
33       E.block(3*F.rows(),1,F.rows(),1) = F.col(1).template cast<EScalar>();  in oriented_facets()
34       E.block(3*F.rows(),2,F.rows(),1) = F.col(2).template cast<EScalar>();  in oriented_facets()
37       E.block(0*F.rows(),0,F.rows(),1) = F.col(1).template cast<EScalar>();  in oriented_facets()
38       E.block(0*F.rows(),1,F.rows(),1) = F.col(2).template cast<EScalar>();  in oriented_facets()
39       E.block(1*F.rows(),0,F.rows(),1) = F.col(2).template cast<EScalar>();  in oriented_facets()
40       E.block(1*F.rows(),1,F.rows(),1) = F.col(0).template cast<EScalar>();  in oriented_facets()
41       E.block(2*F.rows(),0,F.rows(),1) = F.col(0).template cast<EScalar>();  in oriented_facets()
42       E.block(2*F.rows(),1,F.rows(),1) = F.col(1).template cast<EScalar>();  in oriented_facets()