From 42437360aadd6790f8c8b9e249c9c93692415d9e Mon Sep 17 00:00:00 2001 From: Fabian Zickgraf Date: Fri, 1 Sep 2023 08:43:10 +0200 Subject: [PATCH] Avoid using ZZ in tests because it is already used by StandardFF --- CAP/PackageInfo.g | 2 +- CAP/examples/ModulePresentationsMonoidalCategory.g | 10 +++++----- ModulePresentationsForCAP/PackageInfo.g | 2 +- ModulePresentationsForCAP/examples/Annihilator.g | 14 +++++++------- 4 files changed, 14 insertions(+), 14 deletions(-) diff --git a/CAP/PackageInfo.g b/CAP/PackageInfo.g index 55a61fa226..78be9a1e7f 100644 --- 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 index da4fb01cce..627eb7420f 100644 --- 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 ) ); #! -Nl := AsLeftPresentation( HomalgMatrix( [ [ 3 ] ], 1, 1, ZZ ) ); +Nl := AsLeftPresentation( HomalgMatrix( [ [ 3 ] ], 1, 1, ZZZ ) ); #! Tl := TensorProductOnObjects( Ml, Nl ); #! @@ -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 ) ); #! -Nr := AsRightPresentation( HomalgMatrix( [ [ 3 ] ], 1, 1, ZZ ) ); +Nr := AsRightPresentation( HomalgMatrix( [ [ 3 ] ], 1, 1, ZZZ ) ); #! Tr := TensorProductOnObjects( Mr, Nr ); #! diff --git a/ModulePresentationsForCAP/PackageInfo.g b/ModulePresentationsForCAP/PackageInfo.g index 13649f6a22..4c1edc6d08 100644 --- 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 index 4ac69f3e9a..b292135e78 100644 --- 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