Spracherkennung für: .tst vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
gap> START_TEST("HAP library");
gap> P:=BianchiPolyhedron(-5);
3-dimensional Bianchi polyhedron over OQ( Sqrt(
-5) ) involving hemispheres of minimum squared radius 1/
20 and non-cuspidal vertices of minimum squared height 1/25 .
gap> SwanBianchiCriterion(P);
true
gap> STOP_TEST( "tst.tst", 1000 );
[ Dauer der Verarbeitung: 0.25 Sekunden
]