Merge pull request #1253 from mohamed-barakat/InternalExteriorAlgebraForCAP

start testing InternalExteriorAlgebraForCAP

Author: zickgraf

InternalExteriorAlgebraForCAP/PackageInfo.g

@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "InternalExteriorAlgebraForCAP",
 Subtitle := "Constructions for Modules over the Internal Exterior Algebra for CAP",
-Version := "2022.12-01",
+Version := "2023.02-01",
 Date := Concatenation( "01/", ~.Version{[ 6, 7 ]}, "/", ~.Version{[ 1 .. 4 ]} ),
 License := "GPL-2.0-or-later",
 

InternalExteriorAlgebraForCAP/examples/InternalExteriorAlgebraModulesTest.g

@@ -1,30 +1,46 @@
-LoadPackage( "InternalExteriorAlgebraForCAP" );
+#! @Chapter Examples and Tests
 
-LoadPackage( "HomologicalAlgebraForCAP" ); # necessary for computing spectral sequences
+#! @Section Basic Commands
 
+#! @Example
+LoadPackage( "InternalExteriorAlgebraForCAP" );
+#! true
+LoadPackage( "HomologicalAlgebraForCAP" ); # needed for computing spectral sequences
+#! true
 RepG := RepresentationCategoryZGraded( SymmetricGroup( 4 ) );
-
+#! The skeletal Z-graded representation category of SymmetricGroup( [ 1 .. 4 ] )
 G := UnderlyingGroupForRepresentationCategory( RepG );
-
+#! Sym( [ 1 .. 4 ] )
 irr := Irr( G );
-
+#! [ Character( CharacterTable( Sym( [ 1 .. 4 ] ) ), [ 1, -1, 1, 1, -1 ] ),
+#!   Character( CharacterTable( Sym( [ 1 .. 4 ] ) ), [ 3, -1, -1, 0, 1 ] ),
+#!   Character( CharacterTable( Sym( [ 1 .. 4 ] ) ), [ 2, 0, 2, -1, 0 ] ),
+#!   Character( CharacterTable( Sym( [ 1 .. 4 ] ) ), [ 3, 1, -1, 0, -1 ] ),
+#!   Character( CharacterTable( Sym( [ 1 .. 4 ] ) ), [ 1, 1, 1, 1, 1 ] ) ]
 v := RepresentationCategoryZGradedObject( -1, irr[2], RepG );
-
+#! 1*(x_[-1, 2])
 cat := EModuleActionCategory( v );
-
+#! Module category of the internal exterior algebra modeled
+#! via right actions of 1*(x_[-1, 2])
 h := RepresentationCategoryZGradedObject( 3, irr[2], RepG );
-
+#! 1*(x_[3, 2])
 F := FreeEModule( h, cat );
-
+#! <An object in Module category of the internal exterior algebra modeled
+#!  via right actions of 1*(x_[-1, 2])>
 chi := Support( ActionDomain( F ) )[8];
-
+#! <x_[2, 4]>
 c := ComponentInclusionMorphism( ActionDomain( F ), chi );
-
+#! <A morphism in The skeletal Z-graded representation category of
+#!  SymmetricGroup( [ 1 .. 4 ] )>
 u := UniversalMorphismFromFreeModule( F, c );
-
+#! <A morphism in Module category of the internal exterior algebra
+#!  modeled via right actions of 1*(x_[-1, 2])>
 t := FilteredTateResolution( u );
-
+#! <An object in Cocomplex category of Descending filtered object category of
+#!  The skeletal Z-graded representation category of SymmetricGroup( [ 1 .. 4 ] )>
 s := SpectralSequenceEntryOfDescendingFilteredCocomplex( t, 2, 0, 1 );
-
+#! <A morphism in Generalized morphism category of
+#!  The skeletal Z-graded representation category of SymmetricGroup( [ 1 .. 4 ] )>
 Display( UnderlyingHonestObject( Source( s ) ) );
-# 1*(χ_[2, 3]) + 1*(χ_[2, 5])
+#! 1*(x_[2, 3]) + 1*(x_[2, 5])
+#! @EndExample

InternalExteriorAlgebraForCAP/tst/100_LoadPackage.tst

@@ -7,9 +7,18 @@
 gap> PushOptions( rec( OnlyNeeded := true ) );
 gap> package_loading_info_level := InfoLevel( InfoPackageLoading );;
 gap> SetInfoLevel( InfoPackageLoading, PACKAGE_ERROR );;
+gap> LoadPackage( "IO_ForHomalg", false );
+true
+gap> LoadPackage( "HomologicalAlgebraForCAP", false );
+true
 gap> LoadPackage( "InternalExteriorAlgebraForCAP", false );
 true
 gap> SetInfoLevel( InfoPackageLoading, PACKAGE_INFO );;
+gap> LoadPackage( "IO_ForHomalg" );
+true
+gap> LoadPackage( "HomologicalAlgebraForCAP" );
+true
 gap> LoadPackage( "InternalExteriorAlgebraForCAP" );
 true
 gap> SetInfoLevel( InfoPackageLoading, package_loading_info_level );;
+gap> HOMALG_IO.show_banners := false;;