Merge pull request #4 from alex-konovalov/master

Added a test file based on the 1st example from testdata/test.g

PackageInfo.g

@@ -122,6 +122,6 @@ Keywords := [
   "Covering group"
 ],
 
-#TestFile := "tst/testall.g",
+TestFile := "tst/testall.tst",
 
 ));

tst/testall.tst

@@ -0,0 +1,77 @@
+gap> START_TEST("testall.tst");
+gap> testdatadir := DirectoriesPackageLibrary( "cohomolo", "testdata" );;
+gap> CHMLINFO:=InfoLevel(InfoCohomolo);;
+gap> SetInfoLevel(InfoCohomolo,1);
+gap> Read( Filename ( testdatadir, "d8" ) );
+gap> chr:= CHR(G,2,F,m2);;
+gap> M:= SchurMultiplier( chr );
+#I   Cohomolo package: Calling external program.
+#I   External program complete.
+#I   Removing temporary files.
+[ 2 ]
+gap> D:= CoveringGroup( chr );;
+#I   Cohomolo package: Calling external program.
+#I   External program complete.
+#I   Removing temporary files.
+gap> Size( D );
+16
+gap> F:= FirstCohomologyDimension( chr );
+#I   Cohomolo package: Calling external program.
+#I   External program complete.
+#I   Removing temporary files.
+2
+gap> F:= SecondCohomologyDimension( chr );
+#I   Cohomolo package: Calling external program.
+#I   External program complete.
+#I   Removing temporary files.
+3
+gap> Ex:= SplitExtensionCHR( chr );;
+gap> Size(Ex);
+32
+gap> Ex:= NonsplitExtension( chr );;
+#I   Cohomolo package: Calling external program.
+#I   External program complete.
+#I   Cohomolo package: Calling external program.
+#I   External program complete.
+#I   Cohomolo package: Calling external program.
+#I   External program complete.
+#I   Removing temporary files.
+gap> Size(Ex);
+32
+gap> Ex:= NonsplitExtension( chr, [0,1,1] );;
+gap> Size(Ex);
+32
+gap> Read( Filename ( testdatadir, "a6" ) );
+gap> chr:= CHR( G, 3, F, m3 );;
+gap> M:= SchurMultiplier( chr );
+#I  Indices in the subgroup chain are:  10 4 
+#I   Cohomolo package: Calling external program.
+#I   External program complete.
+#I   Removing temporary files.
+[ 3 ]
+gap> D:= CoveringGroup( chr );;
+#I   Cohomolo package: Calling external program.
+#I   External program complete.
+#I   Removing temporary files.
+gap> Size(D);
+1080
+gap> F:= SecondCohomologyDimension( chr );
+#I   Cohomolo package: Calling external program.
+#I   External program complete.
+#I   Removing temporary files.
+2
+gap> Ex:= SplitExtensionCHR( chr );;
+gap> SE:= Subgroup( Ex, [Ex.4,Ex.5,Ex.6,Ex.7,Ex.8] );;
+gap> Index( Ex, SE );
+1080
+gap> Ex:= NonsplitExtension( chr, [1,2] );;
+#I   Cohomolo package: Calling external program.
+#I   External program complete.
+#I   Cohomolo package: Calling external program.
+#I   External program complete.
+#I   Removing temporary files.
+gap> SE:= Subgroup( Ex, [Ex.4,Ex.5,Ex.6,Ex.7,Ex.8] );;
+gap> Index( Ex, SE );
+1080
+gap> SetInfoLevel(InfoCohomolo,CHMLINFO);
+gap> STOP_TEST( "testall.tst", 10000 );