1gap> testpackage := Filename( DirectoriesPackageLibrary( "DeepThought", "tst" ), 2> "testpackage.g" );; 3gap> Read(testpackage);; 4 5# example group 14: 6gap> coll := Collector(ExamplesOfSomePcpGroups(14));; 7gap> Test_DTP_functions(coll, true, 10, 10); 8true 9 10# example group 15 11gap> coll := Collector(ExamplesOfSomePcpGroups(15));; 12gap> Test_DTP_pkg_consistency(coll, 50); 13true 14 15# example group 16 16gap> coll := Collector(ExamplesOfSomePcpGroups(16));; 17gap> Test_DTP_pkg_consistency(coll, 2); 18true 19 20# heisenberg 50 21gap> coll := Collector(HeisenbergPcpGroup(50));; 22gap> Test_DTP_functions(coll, true, 10, 10); 23true 24gap> Test_DTP_functions(coll, false, 10, 10); 25true 26 27# unitriangular 10 28gap> coll := Collector(UnitriangularPcpGroup(10, 0));; 29gap> Test_DTP_functions(coll, true, 10, 10); 30true 31gap> Test_DTP_functions(coll, false, 10, 10); 32true 33 34# Burde-Grunewald group 35gap> coll := Collector(BurdeGrunewaldPcpGroup(9, 7));; 36gap> Test_DTP_functions(coll, true, 10, 10); 37true 38gap> Test_DTP_functions(coll, false, 10, 10); 39true 40gap> Test_DTP_pkg_consistency(coll, 50); 41true 42