public void TruncatedTetrahedronTest()
{
SimpleGraph truncatedTetrahedron =
SimpleGraphFactory.MakeTruncatedTetrahedron();
SimpleQuotientGraph quotientGraph =
new SimpleQuotientGraph(truncatedTetrahedron);
CheckParameters(quotientGraph, 1, 1, 1);
}