397
397
NTetrahedron* tet[5];
399
399
for (i = 0; i < 5; i++)
400
tet[i] = new NTetrahedron;
401
tet[0]->joinTo(0, tet[4], NPerm(1,0,2,3));
402
tet[0]->joinTo(1, tet[3], NPerm(0,2,3,1));
403
tet[0]->joinTo(2, tet[1], NPerm(0,1,3,2));
404
tet[0]->joinTo(3, tet[2], NPerm(2,1,3,0));
405
tet[1]->joinTo(0, tet[3], NPerm(1,3,2,0));
406
tet[1]->joinTo(1, tet[2], NPerm(0,2,3,1));
407
tet[1]->joinTo(2, tet[4], NPerm(2,1,0,3));
408
tet[2]->joinTo(1, tet[4], NPerm(0,2,3,1));
409
tet[2]->joinTo(3, tet[3], NPerm(3,1,2,0));
410
tet[3]->joinTo(3, tet[4], NPerm(0,1,2,3));
411
for (i = 0; i < 5; i++)
412
tri->addTetrahedron(tet[i]);
400
tet[i] = tri->newTetrahedron();
401
tet[0]->joinTo(0, tet[4], NPerm4(1,0,2,3));
402
tet[0]->joinTo(1, tet[3], NPerm4(0,2,3,1));
403
tet[0]->joinTo(2, tet[1], NPerm4(0,1,3,2));
404
tet[0]->joinTo(3, tet[2], NPerm4(2,1,3,0));
405
tet[1]->joinTo(0, tet[3], NPerm4(1,3,2,0));
406
tet[1]->joinTo(1, tet[2], NPerm4(0,2,3,1));
407
tet[1]->joinTo(2, tet[4], NPerm4(2,1,0,3));
408
tet[2]->joinTo(1, tet[4], NPerm4(0,2,3,1));
409
tet[2]->joinTo(3, tet[3], NPerm4(3,1,2,0));
410
tet[3]->joinTo(3, tet[4], NPerm4(0,1,2,3));
413
411
delete verifyPrime(tri, "the Poincare homology sphere (plugged)",