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 );

