Spracherkennung für: .tst vermutete Sprache: Lisp {Lisp[40] Masm[40] MT940[40]} [Methode: maximale Elemente, drei 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.4 Sekunden, vorverarbeitet 2026-10-25]
