Merge pull request #1455 from zickgraf/master

Avoid using ZZ in tests because it is already used by StandardFF
homalg-project · Sep 1, 2023 · 7583f3b · 7583f3b
2 parents b33169c + 4243736
commit 7583f3b
Show file tree

Hide file tree

Showing 4 changed files with 14 additions and 14 deletions.
diff --git a/CAP/PackageInfo.g b/CAP/PackageInfo.g
@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "CAP",
 Subtitle := "Categories, Algorithms, Programming",
-Version := "2023.08-18",
+Version := "2023.09-01",
 Date := (function ( ) if IsBound( GAPInfo.SystemEnvironment.GAP_PKG_RELEASE_DATE ) then return GAPInfo.SystemEnvironment.GAP_PKG_RELEASE_DATE; else return Concatenation( ~.Version{[ 1 .. 4 ]}, "-", ~.Version{[ 6, 7 ]}, "-01" ); fi; end)( ),
 License := "GPL-2.0-or-later",
 

diff --git a/CAP/examples/ModulePresentationsMonoidalCategory.g b/CAP/examples/ModulePresentationsMonoidalCategory.g
@@ -5,10 +5,10 @@
 LoadPackage( "ModulePresentationsForCAP" );
 
 #! @Example
-ZZ := HomalgRingOfIntegers();;
-Ml := AsLeftPresentation( HomalgMatrix( [ [ 2 ] ], 1, 1, ZZ ) );
+ZZZ := HomalgRingOfIntegers();;
+Ml := AsLeftPresentation( HomalgMatrix( [ [ 2 ] ], 1, 1, ZZZ ) );
 #! <An object in Category of left presentations of Z>
-Nl := AsLeftPresentation( HomalgMatrix( [ [ 3 ] ], 1, 1, ZZ ) );
+Nl := AsLeftPresentation( HomalgMatrix( [ [ 3 ] ], 1, 1, ZZZ ) );
 #! <An object in Category of left presentations of Z>
 Tl := TensorProductOnObjects( Ml, Nl );
 #! <An object in Category of left presentations of Z>
@@ -55,9 +55,9 @@ IsEqualForMorphisms( LambdaIntroduction( morphism_l2 ), generator_l2 );
 #! false
 IsCongruentForMorphisms( LambdaIntroduction( morphism_l2 ), generator_l2 );
 #! true
-Mr := AsRightPresentation( HomalgMatrix( [ [ 2 ] ], 1, 1, ZZ ) );
+Mr := AsRightPresentation( HomalgMatrix( [ [ 2 ] ], 1, 1, ZZZ ) );
 #! <An object in Category of right presentations of Z>
-Nr := AsRightPresentation( HomalgMatrix( [ [ 3 ] ], 1, 1, ZZ ) );
+Nr := AsRightPresentation( HomalgMatrix( [ [ 3 ] ], 1, 1, ZZZ ) );
 #! <An object in Category of right presentations of Z>
 Tr := TensorProductOnObjects( Mr, Nr );
 #! <An object in Category of right presentations of Z>

diff --git a/ModulePresentationsForCAP/PackageInfo.g b/ModulePresentationsForCAP/PackageInfo.g
@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "ModulePresentationsForCAP",
 Subtitle := "Category R-pres for CAP",
-Version := "2023.08-03",
+Version := "2023.09-01",
 Date := (function ( ) if IsBound( GAPInfo.SystemEnvironment.GAP_PKG_RELEASE_DATE ) then return GAPInfo.SystemEnvironment.GAP_PKG_RELEASE_DATE; else return Concatenation( ~.Version{[ 1 .. 4 ]}, "-", ~.Version{[ 6, 7 ]}, "-01" ); fi; end)( ),
 License := "GPL-2.0-or-later",
 

diff --git a/ModulePresentationsForCAP/examples/Annihilator.g b/ModulePresentationsForCAP/examples/Annihilator.g
@@ -7,18 +7,18 @@ LoadPackage( "ModulePresentationsForCAP" );
 LoadPackage( "RingsForHomalg" );
 
 #! @Example
-ZZ := HomalgRingOfIntegersInSingular();;
-M1 := AsLeftPresentation( HomalgMatrix( [ [ "2" ] ], ZZ ) );;
-M2 := AsLeftPresentation( HomalgMatrix( [ [ "3" ] ], ZZ ) );;
-M3 := AsLeftPresentation( HomalgMatrix( [ [ "4" ] ], ZZ ) );;
+ZZZ := HomalgRingOfIntegersInSingular();;
+M1 := AsLeftPresentation( HomalgMatrix( [ [ "2" ] ], ZZZ ) );;
+M2 := AsLeftPresentation( HomalgMatrix( [ [ "3" ] ], ZZZ ) );;
+M3 := AsLeftPresentation( HomalgMatrix( [ [ "4" ] ], ZZZ ) );;
 M := DirectSum( M1, M2, M3 );;
 Display( Annihilator( M ) );
 #! 12
 #! 
 #! A monomorphism in Category of left presentations of Z
-M1 := AsRightPresentation( HomalgMatrix( [ [ "2" ] ], ZZ ) );;
-M2 := AsRightPresentation( HomalgMatrix( [ [ "3" ] ], ZZ ) );;
-M3 := AsRightPresentation( HomalgMatrix( [ [ "4" ] ], ZZ ) );;
+M1 := AsRightPresentation( HomalgMatrix( [ [ "2" ] ], ZZZ ) );;
+M2 := AsRightPresentation( HomalgMatrix( [ [ "3" ] ], ZZZ ) );;
+M3 := AsRightPresentation( HomalgMatrix( [ [ "4" ] ], ZZZ ) );;
 M := DirectSum( M1, M2, M3 );;
 Display( Annihilator( M ) );
 #! 12