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