From 1260d01c717037159df0fa20f5af59664ec92404 Mon Sep 17 00:00:00 2001 From: Mohamed Barakat Date: Fri, 1 Sep 2023 11:09:02 +0200 Subject: [PATCH] renamed variable ZZ -> zz in the tested documentation examples see https://github.com/gap-system/PackageDistro/pull/821#issuecomment-1702262330 --- ExamplesForHomalg/PackageInfo.g | 2 +- ExamplesForHomalg/examples/BC_2.g | 18 ++--- ExamplesForHomalg/examples/BC_3.g | 6 +- ExamplesForHomalg/examples/BC_4.g | 6 +- ExamplesForHomalg/examples/BC_6.g | 6 +- ExamplesForHomalg/examples/BV_4.g | 14 ++-- ExamplesForHomalg/examples/BZ^3.g | 6 +- ExamplesForHomalg/examples/BZ^3_Q.g | 6 +- ExamplesForHomalg/examples/H0H1.g | 6 +- LocalizeRingForHomalg/PackageInfo.g | 2 +- LocalizeRingForHomalg/examples/QuickstartZ.g | 8 +- MatricesForHomalg/PackageInfo.g | 2 +- MatricesForHomalg/examples/COLEM-LIMAT.g | 2 +- MatricesForHomalg/examples/CoercedMatrix.g | 6 +- MatricesForHomalg/examples/Inverse.g | 4 +- MatricesForHomalg/examples/IsRegular.g | 4 +- MatricesForHomalg/examples/Minors.g | 4 +- MatricesForHomalg/gap/HomalgMatrix.gd | 6 +- MatricesForHomalg/gap/HomalgMatrix.gi | 64 +++++++-------- MatricesForHomalg/gap/HomalgRing.gd | 4 +- MatricesForHomalg/gap/ResidueClassRing.gi | 6 +- MatricesForHomalg/gap/Tools.gi | 10 +-- MatricesForHomalg/tst/HomalgRowVector.tst | 6 +- MatricesForHomalg/tst/UniqueRightDivide.tst | 6 +- Modules/PackageInfo.g | 2 +- Modules/examples/BC.g | 14 ++-- Modules/examples/BCt.g | 14 ++-- Modules/examples/ExtExt.g | 8 +- Modules/examples/H0H1.g | 6 +- .../examples/Hom(Hom(-,Z128),Z16)_On_Seq.g | 10 +-- Modules/examples/Ideals.g | 6 +- Modules/examples/LTensorProduct_Z.g | 12 +-- Modules/examples/Purity.g | 4 +- Modules/examples/RHom_Z.g | 12 +-- Modules/examples/Saturate.g | 14 ++-- Modules/examples/Submodules.g | 6 +- Modules/examples/TorExt.g | 4 +- Modules/examples/TorExt_Grothendieck.g | 6 +- Modules/examples/WhySpectral.g | 8 +- Modules/examples/doc/HomalgRing_module.g | 12 +-- .../examples/doc/HomalgRing_module_element.g | 12 +-- Modules/examples/doc/IsElementOfIntegers.g | 12 +-- Modules/examples/doc/LT_module_element.g | 12 +-- Modules/gap/BasicFunctors.gi | 78 +++++++++---------- Modules/gap/GrothendieckGroup.gi | 6 +- Modules/gap/HomalgMap.gi | 24 +++--- Modules/gap/HomalgModule.gi | 44 +++++------ RingsForHomalg/PackageInfo.g | 2 +- .../examples/RingConstructionsExternalGAP.g | 24 +++--- .../examples/RingConstructionsMAGMA.g | 20 ++--- .../examples/RingConstructionsMacaulay2.g | 20 ++--- .../examples/RingConstructionsMaple.g | 24 +++--- .../examples/RingConstructionsSage.g | 20 ++--- .../examples/RingConstructionsSingular.g | 24 +++--- RingsForHomalg/examples/gap_ZZ.g | 6 +- RingsForHomalg/examples/magma_ZZ.g | 6 +- RingsForHomalg/examples/maple_ZZ.g | 6 +- RingsForHomalg/examples/sage_ZZ.g | 6 +- RingsForHomalg/gap/GAPHomalg.gi | 4 +- RingsForHomalg/gap/MAGMA.gi | 4 +- RingsForHomalg/gap/Macaulay2.gi | 4 +- RingsForHomalg/gap/MapleHomalg.gi | 4 +- RingsForHomalg/gap/Oscar.gi | 14 ++-- RingsForHomalg/gap/Sage.gi | 4 +- RingsForHomalg/gap/Singular.gi | 4 +- homalg/PackageInfo.g | 2 +- homalg/examples/ExtExt.g | 8 +- homalg/examples/Hom(Hom(-,Z128),Z16)_On_Seq.g | 10 +-- homalg/examples/LTensorProduct_Z.g | 12 +-- homalg/examples/Purity.g | 4 +- homalg/examples/RHom_Z.g | 12 +-- homalg/examples/Saturate.g | 14 ++-- homalg/examples/TorExt.g | 4 +- homalg/examples/TorExt_Grothendieck.g | 6 +- homalg/examples/WhySpectral.g | 8 +- homalg/examples/doc/HomalgElement_in.g | 22 +++--- homalg/gap/HomalgBicomplex.gi | 4 +- homalg/gap/HomalgBigradedObject.gi | 8 +- homalg/gap/HomalgChainMorphism.gi | 14 ++-- homalg/gap/HomalgComplex.gi | 28 +++---- homalg/gap/HomalgFunctor.gd | 6 +- homalg/gap/HomalgFunctor.gi | 6 +- homalg/gap/HomalgMorphism.gi | 8 +- homalg/gap/HomalgSpectralSequence.gi | 4 +- 84 files changed, 453 insertions(+), 453 deletions(-) diff --git a/ExamplesForHomalg/PackageInfo.g b/ExamplesForHomalg/PackageInfo.g index b65a1bcba..6beaee7cf 100644 --- a/ExamplesForHomalg/PackageInfo.g +++ b/ExamplesForHomalg/PackageInfo.g @@ -11,7 +11,7 @@ SetPackageInfo( rec( PackageName := "ExamplesForHomalg", Subtitle := "Examples for the GAP Package homalg", -Version := "2023.08-01", +Version := "2023.08-02", 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/ExamplesForHomalg/examples/BC_2.g b/ExamplesForHomalg/examples/BC_2.g index 3d7b7bb50..b79e0392f 100644 --- a/ExamplesForHomalg/examples/BC_2.g +++ b/ExamplesForHomalg/examples/BC_2.g @@ -7,16 +7,16 @@ Zx := HomalgRingOfIntegersInDefaultCAS( ) * "x"; ZC2 := Zx / "x^2 - 1"; zz := HomalgMatrix( "[ x - 1 ]", 1, 1, ZC2 ); -ZZ := LeftPresentation( zz ); +zz := LeftPresentation( zz ); -ext := Ext( 6, ZZ, ZZ, "a" ); +ext := Ext( 6, zz, zz, "a" ); ByASmallerPresentation( ext ); zt := HomalgMatrix( "[ x + 1 ]", 1, 1, ZC2 ); ZT := LeftPresentation( zt ); -extt := Ext( 6, ZZ, ZT, "a" ); +extt := Ext( 6, zz, ZT, "a" ); ByASmallerPresentation( extt ); @@ -26,35 +26,35 @@ x, -1, \ ]", 2, 2, ZC2 ); ZC := LeftPresentation( zc ); -extc := Ext( 6, ZZ, ZC, "a" ); +extc := Ext( 6, zz, ZC, "a" ); ByASmallerPresentation( extc ); z2 := HomalgMatrix( "[ 2, x - 1 ]", 2, 1, ZC2 ); Z2 := LeftPresentation( z2 ); -ext2 := Ext( 6, ZZ, Z2, "a" ); +ext2 := Ext( 6, zz, Z2, "a" ); ByASmallerPresentation( ext2 ); z3 := HomalgMatrix( "[ 3, x + 1 ]", 2, 1, ZC2 ); Z3 := LeftPresentation( z3 ); -ext3 := Ext( 6, ZZ, Z3, "a" ); +ext3 := Ext( 6, zz, Z3, "a" ); ByASmallerPresentation( ext3 ); z4 := HomalgMatrix( "[ 4, x - 1 ]", 2, 1, ZC2 ); Z4 := LeftPresentation( z4 ); -ext4 := Ext( 6, ZZ, Z4, "a" ); +ext4 := Ext( 6, zz, Z4, "a" ); ByASmallerPresentation( ext4 ); z4t := HomalgMatrix( "[ 4, x + 1 ]", 2, 1, ZC2 ); Z4T := LeftPresentation( z4t ); -ext4t := Ext( 6, ZZ, Z4T, "a" ); +ext4t := Ext( 6, zz, Z4T, "a" ); ByASmallerPresentation( ext4t ); @@ -66,7 +66,7 @@ x, -1, \ ]", 4, 2, ZC2 ); ZV4 := LeftPresentation( zv4 ); -extv4 := Ext( 6, ZZ, ZV4, "a" ); +extv4 := Ext( 6, zz, ZV4, "a" ); ByASmallerPresentation( extv4 ); diff --git a/ExamplesForHomalg/examples/BC_3.g b/ExamplesForHomalg/examples/BC_3.g index 092e58638..c89e19e8a 100644 --- a/ExamplesForHomalg/examples/BC_3.g +++ b/ExamplesForHomalg/examples/BC_3.g @@ -7,16 +7,16 @@ Zx := HomalgRingOfIntegersInDefaultCAS( ) * "x"; ZC3 := Zx / "x^3 - 1"; zz := HomalgMatrix( "[ x - 1 ]", 1, 1, ZC3 ); -ZZ := LeftPresentation( zz ); +zz := LeftPresentation( zz ); -ext := Ext( 6, ZZ, ZZ, "a" ); +ext := Ext( 6, zz, zz, "a" ); ByASmallerPresentation( ext ); zt := HomalgMatrix( "[ x^2 + x + 1 ]", 1, 1, ZC3 ); ZT := LeftPresentation( zt ); -extt := Ext( 6, ZZ, ZT, "a" ); +extt := Ext( 6, zz, ZT, "a" ); ByASmallerPresentation( extt ); diff --git a/ExamplesForHomalg/examples/BC_4.g b/ExamplesForHomalg/examples/BC_4.g index e7d0df6fe..69db5babe 100644 --- a/ExamplesForHomalg/examples/BC_4.g +++ b/ExamplesForHomalg/examples/BC_4.g @@ -7,16 +7,16 @@ Zx := HomalgRingOfIntegersInDefaultCAS( ) * "x"; ZC4 := Zx / "x^4 - 1"; zz := HomalgMatrix( "[ x - 1 ]", 1, 1, ZC4 ); -ZZ := LeftPresentation( zz ); +zz := LeftPresentation( zz ); -ext := Ext( 6, ZZ, ZZ, "a" ); +ext := Ext( 6, zz, zz, "a" ); ByASmallerPresentation( ext ); zt := HomalgMatrix( "[ x^2 + 1 ]", 1, 1, ZC4 ); ZT := LeftPresentation( zt ); -extt := Ext( 6, ZZ, ZT, "a" ); +extt := Ext( 6, zz, ZT, "a" ); ByASmallerPresentation( extt ); diff --git a/ExamplesForHomalg/examples/BC_6.g b/ExamplesForHomalg/examples/BC_6.g index d8ad5d7dc..389755a03 100644 --- a/ExamplesForHomalg/examples/BC_6.g +++ b/ExamplesForHomalg/examples/BC_6.g @@ -7,16 +7,16 @@ Zx := HomalgRingOfIntegersInDefaultCAS( ) * "x"; ZC6 := Zx / "x^6 - 1"; zz := HomalgMatrix( "[ x - 1 ]", 1, 1, ZC6 ); -ZZ := LeftPresentation( zz ); +zz := LeftPresentation( zz ); -ext := Ext( 6, ZZ, ZZ, "a" ); +ext := Ext( 6, zz, zz, "a" ); ByASmallerPresentation( ext ); zt := HomalgMatrix( "[ x^2 - x + 1 ]", 1, 1, ZC6 ); ZT := LeftPresentation( zt ); -extt := Ext( 6, ZZ, ZT, "a" ); +extt := Ext( 6, zz, ZT, "a" ); ByASmallerPresentation( extt ); diff --git a/ExamplesForHomalg/examples/BV_4.g b/ExamplesForHomalg/examples/BV_4.g index 0d6b6218b..8c03f5116 100644 --- a/ExamplesForHomalg/examples/BV_4.g +++ b/ExamplesForHomalg/examples/BV_4.g @@ -7,16 +7,16 @@ Zxy := HomalgRingOfIntegersInDefaultCAS( ) * "x,y"; ZV4 := Zxy / [ "x^2 - 1", "y^2 - 1" ]; zz := HomalgMatrix( "[ x - 1, y - 1 ]", 2, 1, ZV4 ); -ZZ := LeftPresentation( zz ); +zz := LeftPresentation( zz ); -ext := Ext( 10, ZZ, ZZ, "a" ); +ext := Ext( 10, zz, zz, "a" ); ByASmallerPresentation( ext ); zt := HomalgMatrix( "[ x + 1, y - 1 ]", 2, 1, ZV4 ); ZT := LeftPresentation( zt ); -extt := Ext( 10, ZZ, ZT, "a" ); +extt := Ext( 10, zz, ZT, "a" ); ByASmallerPresentation( extt ); @@ -28,28 +28,28 @@ y, 1, \ ]", 4, 2, ZV4 ); ZC := LeftPresentation( zc ); -extc := Ext( 6, ZZ, ZC, "a" ); +extc := Ext( 6, zz, ZC, "a" ); ByASmallerPresentation( extc ); z2 := HomalgMatrix( "[ 2, x - 1, y - 1 ]", 3, 1, ZV4 ); Z2 := LeftPresentation( z2 ); -ext2 := Ext( 10, ZZ, Z2, "a" ); +ext2 := Ext( 10, zz, Z2, "a" ); ByASmallerPresentation( ext2 ); z3 := HomalgMatrix( "[ 3, x - 1, y - 1 ]", 3, 1, ZV4 ); Z3 := LeftPresentation( z3 ); -ext3 := Ext( 10, ZZ, Z3, "a" ); +ext3 := Ext( 10, zz, Z3, "a" ); ByASmallerPresentation( ext3 ); z3t := HomalgMatrix( "[ 3, x + 1, y + 1 ]", 3, 1, ZV4 ); Z3T := LeftPresentation( z3t ); -ext3t := Ext( 10, ZZ, Z3T, "a" ); +ext3t := Ext( 10, zz, Z3T, "a" ); ByASmallerPresentation( ext3t ); diff --git a/ExamplesForHomalg/examples/BZ^3.g b/ExamplesForHomalg/examples/BZ^3.g index d83e24bc5..434174854 100644 --- a/ExamplesForHomalg/examples/BZ^3.g +++ b/ExamplesForHomalg/examples/BZ^3.g @@ -6,10 +6,10 @@ ZX := HomalgRingOfIntegersInDefaultCAS( ) * "x,y,a,X,Y,A"; ZZ3 := ZX / [ "x*X-1", "y*Y-1", "a*A-1" ]; -zz := HomalgMatrix( "[ x - 1, y - 1, a - 1 ]", 3, 1, ZZ3 ); +zz := HomalgMatrix( "[ x - 1, y - 1, a - 1 ]", 3, 1, zz3 ); -ZZ := LeftPresentation( zz ); +zz := LeftPresentation( zz ); -ext := Ext( 5, ZZ, ZZ, "a" ); +ext := Ext( 5, zz, zz, "a" ); ByASmallerPresentation( ext ); diff --git a/ExamplesForHomalg/examples/BZ^3_Q.g b/ExamplesForHomalg/examples/BZ^3_Q.g index 8c028823c..a79d4d315 100644 --- a/ExamplesForHomalg/examples/BZ^3_Q.g +++ b/ExamplesForHomalg/examples/BZ^3_Q.g @@ -6,10 +6,10 @@ ZX := HomalgFieldOfRationalsInDefaultCAS( ) * "x,y,a,X,Y,A"; ZZ3 := ZX / [ "x*X-1", "y*Y-1", "a*A-1" ]; -zz := HomalgMatrix( "[ x - 1, y - 1, a - 1 ]", 3, 1, ZZ3 ); +zz := HomalgMatrix( "[ x - 1, y - 1, a - 1 ]", 3, 1, zz3 ); -ZZ := LeftPresentation( zz ); +zz := LeftPresentation( zz ); -ext := Ext( 5, ZZ, ZZ, "a" ); +ext := Ext( 5, zz, zz, "a" ); ByASmallerPresentation( ext ); diff --git a/ExamplesForHomalg/examples/H0H1.g b/ExamplesForHomalg/examples/H0H1.g index b4fbb9485..aa64bf1f3 100644 --- a/ExamplesForHomalg/examples/H0H1.g +++ b/ExamplesForHomalg/examples/H0H1.g @@ -2,12 +2,12 @@ LoadPackage( "RingsForHomalg" ); LoadPackage( "Modules" ); -ZZ := HomalgRingOfIntegersInDefaultCAS( ); +zz := HomalgRingOfIntegersInDefaultCAS( ); ## the line -deltaL := HomalgMap( [[1,-1]], ZZ ); +deltaL := HomalgMap( [[1,-1]], zz ); ## the 1-sphere -deltaS := HomalgMap( [[0,-1,1],[1,0,-1],[-1,1,0]], ZZ ); +deltaS := HomalgMap( [[0,-1,1],[1,0,-1],[-1,1,0]], zz ); ## the 0-th homology of L: H0_L := Cokernel( deltaL ); diff --git a/LocalizeRingForHomalg/PackageInfo.g b/LocalizeRingForHomalg/PackageInfo.g index 9b0057c1f..8bed29dc5 100644 --- a/LocalizeRingForHomalg/PackageInfo.g +++ b/LocalizeRingForHomalg/PackageInfo.g @@ -11,7 +11,7 @@ SetPackageInfo( rec( PackageName := "LocalizeRingForHomalg", Subtitle := "A Package for Localization of Polynomial Rings", -Version := "2023.08-01", +Version := "2023.08-02", 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/LocalizeRingForHomalg/examples/QuickstartZ.g b/LocalizeRingForHomalg/examples/QuickstartZ.g index b254e7c08..daab5745f 100644 --- a/LocalizeRingForHomalg/examples/QuickstartZ.g +++ b/LocalizeRingForHomalg/examples/QuickstartZ.g @@ -14,9 +14,9 @@ ## ## LoadPackage( "LocalizeRingForHomalg" );; -## gap> ZZ := HomalgRingOfIntegers( ); +## gap> zz := HomalgRingOfIntegers( ); ## Z -## gap> R := LocalizeAt( ZZ , [ 2 ] ); +## gap> R := LocalizeAt( zz , [ 2 ] ); ## Z_< 2 > ## gap> Display( R ); ## @@ -49,8 +49,8 @@ ## <#/GAPDoc> LoadPackage( "LocalizeRingForHomalg" );; -ZZ := HomalgRingOfIntegers( );; -R := LocalizeAt( ZZ , [ 2 ] ); +zz := HomalgRingOfIntegers( );; +R := LocalizeAt( zz , [ 2 ] ); LoadPackage( "Modules" ); M := LeftPresentation( HomalgMatrix( [ 2^5 ], R ) ); diff --git a/MatricesForHomalg/PackageInfo.g b/MatricesForHomalg/PackageInfo.g index 187173b7c..b3947da98 100644 --- a/MatricesForHomalg/PackageInfo.g +++ b/MatricesForHomalg/PackageInfo.g @@ -11,7 +11,7 @@ SetPackageInfo( rec( PackageName := "MatricesForHomalg", Subtitle := "Matrices for the homalg project", -Version := "2023.08-01", +Version := "2023.08-02", 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/MatricesForHomalg/examples/COLEM-LIMAT.g b/MatricesForHomalg/examples/COLEM-LIMAT.g index 025ead5ec..39a8ec7be 100644 --- a/MatricesForHomalg/examples/COLEM-LIMAT.g +++ b/MatricesForHomalg/examples/COLEM-LIMAT.g @@ -12,7 +12,7 @@ N := LeftInverse( M ); Id := HomalgIdentityMatrix( 3, R ); -ZZ := HomalgZeroMatrix( 3, 3, R ); +zz := HomalgZeroMatrix( 3, 3, R ); A := UnionOfColumns( Id, -M ); diff --git a/MatricesForHomalg/examples/CoercedMatrix.g b/MatricesForHomalg/examples/CoercedMatrix.g index e7e2f0306..8ba3ea04e 100644 --- a/MatricesForHomalg/examples/CoercedMatrix.g +++ b/MatricesForHomalg/examples/CoercedMatrix.g @@ -1,12 +1,12 @@ LoadPackage( "MatricesForHomalg" ); LoadPackage( "GaussForHomalg" ); -ZZ := HomalgRingOfIntegers( ); +zz := HomalgRingOfIntegers( ); QQ := HomalgFieldOfRationals( ); -M := HomalgMatrix( [ 1, 2, 3, 4 ], 2, 2, ZZ ); +M := HomalgMatrix( [ 1, 2, 3, 4 ], 2, 2, zz ); N := CoercedMatrix( QQ, M ); -P := CoercedMatrix( ZZ, QQ, M ); +P := CoercedMatrix( zz, QQ, M ); Assert( 0, N = P ); Assert( 0, NumberRows( N ) = NumberRows( M ) and NrCols( N ) = NrCols( M ) ); Assert( 0, IsIdenticalObj( HomalgRing( N ), QQ ) ); diff --git a/MatricesForHomalg/examples/Inverse.g b/MatricesForHomalg/examples/Inverse.g index 7b90663cf..8b02a814a 100644 --- a/MatricesForHomalg/examples/Inverse.g +++ b/MatricesForHomalg/examples/Inverse.g @@ -1,7 +1,7 @@ LoadPackage( "homalg" ); -ZZ := HomalgRingOfIntegers( ); -R := ZZ / 2^8; +zz := HomalgRingOfIntegers( ); +R := zz / 2^8; r := (1/3*One(R)+1/5)+3/7; diff --git a/MatricesForHomalg/examples/IsRegular.g b/MatricesForHomalg/examples/IsRegular.g index ab1b7703e..3458fe96f 100644 --- a/MatricesForHomalg/examples/IsRegular.g +++ b/MatricesForHomalg/examples/IsRegular.g @@ -1,7 +1,7 @@ LoadPackage( "homalg" ); -ZZ := HomalgRingOfIntegers( ); -R := ZZ / 2^8; +zz := HomalgRingOfIntegers( ); +R := zz / 2^8; r := 3 * One( R ); diff --git a/MatricesForHomalg/examples/Minors.g b/MatricesForHomalg/examples/Minors.g index d579b9591..10aec8f80 100644 --- a/MatricesForHomalg/examples/Minors.g +++ b/MatricesForHomalg/examples/Minors.g @@ -1,11 +1,11 @@ LoadPackage( "MatricesForHomalg" ); -ZZ := HomalgRingOfIntegers( ); +zz := HomalgRingOfIntegers( ); m := HomalgMatrix( "[ \ 2, 0, 0, \ 0, 12, 0 \ -]", 2, 3, ZZ ); +]", 2, 3, zz ); Assert( 0, Minors( -1, m ) = [ 1 ] ); Assert( 0, Minors( 0, m ) = [ 1 ] ); diff --git a/MatricesForHomalg/gap/HomalgMatrix.gd b/MatricesForHomalg/gap/HomalgMatrix.gd index a16ff82d9..faac06dbc 100644 --- a/MatricesForHomalg/gap/HomalgMatrix.gd +++ b/MatricesForHomalg/gap/HomalgMatrix.gd @@ -90,11 +90,11 @@ DeclareFilter( "IsVoidMatrix", ## Check if the &homalg; matrix A is a zero matrix, taking possible ring relations into account.

## (for the installed standard method see ) ## ZZ := HomalgRingOfIntegers( ); +## gap> zz := HomalgRingOfIntegers( ); ## Z -## gap> A := HomalgMatrix( "[ 2 ]", ZZ ); +## gap> A := HomalgMatrix( "[ 2 ]", zz ); ## -## gap> Z2 := ZZ / 2; +## gap> Z2 := zz / 2; ## Z/( 2 ) ## gap> A := Z2 * A; ## diff --git a/MatricesForHomalg/gap/HomalgMatrix.gi b/MatricesForHomalg/gap/HomalgMatrix.gi index d3ddbb0b4..f03909ec4 100644 --- a/MatricesForHomalg/gap/HomalgMatrix.gi +++ b/MatricesForHomalg/gap/HomalgMatrix.gi @@ -94,13 +94,13 @@ end ); ## ## The &homalg; ring of the &homalg; matrix mat. ## ZZ := HomalgRingOfIntegers( ); +## gap> zz := HomalgRingOfIntegers( ); ## Z -## gap> d := HomalgDiagonalMatrix( [ 2 .. 4 ], ZZ ); +## gap> d := HomalgDiagonalMatrix( [ 2 .. 4 ], zz ); ## ## gap> R := HomalgRing( d ); ## Z -## gap> IsIdenticalObj( R, ZZ ); +## gap> IsIdenticalObj( R, zz ); ## true ## ]]> ## @@ -962,13 +962,13 @@ end ); ## taking possible ring relations into account.

## (for the installed standard method see ) ## ZZ := HomalgRingOfIntegers( ); +## gap> zz := HomalgRingOfIntegers( ); ## Z -## gap> A := HomalgMatrix( "[ 1 ]", ZZ ); +## gap> A := HomalgMatrix( "[ 1 ]", zz ); ## -## gap> B := HomalgMatrix( "[ 3 ]", ZZ ); +## gap> B := HomalgMatrix( "[ 3 ]", zz ); ## -## gap> Z2 := ZZ / 2; +## gap> Z2 := zz / 2; ## Z/( 2 ) ## gap> A := Z2 * A; ## @@ -2548,37 +2548,37 @@ end ); ## ## An immutable evaluated m \times n &homalg; matrix over the &homalg; ring R. ## ZZ := HomalgRingOfIntegers( ); +## gap> zz := HomalgRingOfIntegers( ); ## Z -## gap> m := HomalgMatrix( [ [ 1, 2, 3 ], [ 4, 5, 6 ] ], ZZ ); +## gap> m := HomalgMatrix( [ [ 1, 2, 3 ], [ 4, 5, 6 ] ], zz ); ## ## gap> Display( m ); ## [ [ 1, 2, 3 ], ## [ 4, 5, 6 ] ] ## ]]> ## m := HomalgMatrix( [ [ 1, 2, 3 ], [ 4, 5, 6 ] ], 2, 3, ZZ ); +## gap> m := HomalgMatrix( [ [ 1, 2, 3 ], [ 4, 5, 6 ] ], 2, 3, zz ); ## ## gap> Display( m ); ## [ [ 1, 2, 3 ], ## [ 4, 5, 6 ] ] ## ]]> ## m := HomalgMatrix( [ 1, 2, 3, 4, 5, 6 ], 2, 3, ZZ ); +## gap> m := HomalgMatrix( [ 1, 2, 3, 4, 5, 6 ], 2, 3, zz ); ## ## gap> Display( m ); ## [ [ 1, 2, 3 ], ## [ 4, 5, 6 ] ] ## ]]> ## m := HomalgMatrix( "[ [ 1, 2, 3 ], [ 4, 5, 6 ] ]", ZZ ); +## gap> m := HomalgMatrix( "[ [ 1, 2, 3 ], [ 4, 5, 6 ] ]", zz ); ## ## gap> Display( m ); ## [ [ 1, 2, 3 ], ## [ 4, 5, 6 ] ] ## ]]> ## m := HomalgMatrix( "[ [ 1, 2, 3 ], [ 4, 5, 6 ] ]", 2, 3, ZZ ); +## gap> m := HomalgMatrix( "[ [ 1, 2, 3 ], [ 4, 5, 6 ] ]", 2, 3, zz ); ## ## gap> Display( m ); ## [ [ 1, 2, 3 ], @@ -2589,7 +2589,7 @@ end ); ## (&see; ) are ignored, ## they can be used as optical delimiters: ## m := HomalgMatrix( "[ 1, 2, 3, 4, 5, 6 ]", 2, 3, ZZ ); +## gap> m := HomalgMatrix( "[ 1, 2, 3, 4, 5, 6 ]", 2, 3, zz ); ## ## gap> Display( m ); ## [ [ 1, 2, 3 ], @@ -2600,7 +2600,7 @@ end ); ## gap> m := HomalgMatrix( "[ \ ## > 1, 2, 3, \ ## > 4, 5, 6 \ -## > ]", 2, 3, ZZ ); +## > ]", 2, 3, zz ); ## ## gap> Display( m ); ## [ [ 1, 2, 3 ], @@ -2893,9 +2893,9 @@ end ); ## ## An immutable unevaluated m \times n &homalg; zero matrix over the &homalg; ring R. ## ZZ := HomalgRingOfIntegers( ); +## gap> zz := HomalgRingOfIntegers( ); ## Z -## gap> z := HomalgZeroMatrix( 2, 3, ZZ ); +## gap> z := HomalgZeroMatrix( 2, 3, zz ); ## ## gap> Display( z ); ## [ [ 0, 0, 0 ], @@ -2982,9 +2982,9 @@ end ); ## ## An immutable unevaluated m \times m &homalg; identity matrix over the &homalg; ring R. ## ZZ := HomalgRingOfIntegers( ); +## gap> zz := HomalgRingOfIntegers( ); ## Z -## gap> id := HomalgIdentityMatrix( 3, ZZ ); +## gap> id := HomalgIdentityMatrix( 3, zz ); ## ## gap> Display( id ); ## [ [ 1, 0, 0 ], @@ -3048,9 +3048,9 @@ end ); ## until the matrix is explicitly made immutable using (&see; ). ## ZZ := HomalgRingOfIntegers( ); +## gap> zz := HomalgRingOfIntegers( ); ## Z -## gap> z := HomalgInitialMatrix( 2, 3, ZZ ); +## gap> z := HomalgInitialMatrix( 2, 3, zz ); ## ## gap> HasIsZero( z ); ## false @@ -3062,7 +3062,7 @@ end ); ## false ## ]]> ## n := HomalgInitialMatrix( 2, 3, ZZ ); +## gap> n := HomalgInitialMatrix( 2, 3, zz ); ## ## gap> n[ 1, 1 ] := "1";; ## gap> n[ 2, 3 ] := "1";; @@ -3153,9 +3153,9 @@ end ); ## until the matrix is explicitly made immutable using (&see; ). ## ZZ := HomalgRingOfIntegers( ); +## gap> zz := HomalgRingOfIntegers( ); ## Z -## gap> id := HomalgInitialIdentityMatrix( 3, ZZ ); +## gap> id := HomalgInitialIdentityMatrix( 3, zz ); ## ## gap> HasIsOne( id ); ## false @@ -3167,7 +3167,7 @@ end ); ## false ## ]]> ## e := HomalgInitialIdentityMatrix( 3, ZZ ); +## gap> e := HomalgInitialIdentityMatrix( 3, zz ); ## ## gap> e[ 1, 2 ] := "1";; ## gap> e[ 2, 1 ] := "-1";; @@ -3302,9 +3302,9 @@ end ); ## An immutable unevaluated diagonal &homalg; matrix over the &homalg; ring R. The diagonal ## consists of the entries of the list diag. ## ZZ := HomalgRingOfIntegers( ); +## gap> zz := HomalgRingOfIntegers( ); ## Z -## gap> d := HomalgDiagonalMatrix( [ 1, 2, 3 ], ZZ ); +## gap> d := HomalgDiagonalMatrix( [ 1, 2, 3 ], zz ); ## ## gap> Display( d ); ## [ [ 1, 0, 0 ], @@ -3385,9 +3385,9 @@ end ); ## An immutable unevaluated n \times n scalar &homalg; matrix over the &homalg; ring R with ## the ring element r as diagonal scalar. ## ZZ := HomalgRingOfIntegers( ); +## gap> zz := HomalgRingOfIntegers( ); ## Z -## gap> d := HomalgScalarMatrix( 2, 3, ZZ ); +## gap> d := HomalgScalarMatrix( 2, 3, zz ); ## ## gap> Display( d ); ## [ [ 2, 0, 0 ], @@ -3469,13 +3469,13 @@ end ); ## An immutable evaluated &homalg; matrix over the &homalg; ring R having the ## same entries as the matrix mat. Syntax: R * mat or mat * R ## ZZ := HomalgRingOfIntegers( ); +## gap> zz := HomalgRingOfIntegers( ); ## Z -## gap> Z4 := ZZ / 4; +## gap> Z4 := zz / 4; ## Z/( 4 ) ## gap> Display( Z4 ); ## -## gap> d := HomalgDiagonalMatrix( [ 2 .. 4 ], ZZ ); +## gap> d := HomalgDiagonalMatrix( [ 2 .. 4 ], zz ); ## ## gap> d2 := Z4 * d; ## or d2 := d * Z4; ## diff --git a/MatricesForHomalg/gap/HomalgRing.gd b/MatricesForHomalg/gap/HomalgRing.gd index 655d44552..9eee023d2 100644 --- a/MatricesForHomalg/gap/HomalgRing.gd +++ b/MatricesForHomalg/gap/HomalgRing.gd @@ -967,8 +967,8 @@ DeclareProperty( "IsIrreducibleHomalgRingElement", ## ## The inverse of the &homalg; ring element r. ## ZZ := HomalgRingOfIntegers( );; -## gap> R := ZZ / 2^8; +## gap> zz := HomalgRingOfIntegers( );; +## gap> R := zz / 2^8; ## Z/( 256 ) ## gap> r := (1/3*One(R)+1/5)+3/7; ## |[ 157 ]| diff --git a/MatricesForHomalg/gap/ResidueClassRing.gi b/MatricesForHomalg/gap/ResidueClassRing.gi index bae3c6047..bc9121e3f 100644 --- a/MatricesForHomalg/gap/ResidueClassRing.gi +++ b/MatricesForHomalg/gap/ResidueClassRing.gi @@ -539,11 +539,11 @@ end ); ## If ring_rel is not a set of relations, a left set of relations is constructed.

## The operation SetRingProperties is automatically invoked to set the ring properties. ## ZZ := HomalgRingOfIntegers( ); +## gap> zz := HomalgRingOfIntegers( ); ## Z -## gap> Display( ZZ ); +## gap> Display( zz ); ## -## gap> Z256 := ZZ / 2^8; +## gap> Z256 := zz / 2^8; ## Z/( 256 ) ## gap> Display( Z256 ); ## diff --git a/MatricesForHomalg/gap/Tools.gi b/MatricesForHomalg/gap/Tools.gi index 672b5973d..a94f6a275 100644 --- a/MatricesForHomalg/gap/Tools.gi +++ b/MatricesForHomalg/gap/Tools.gi @@ -7781,7 +7781,7 @@ InstallMethod( AMaximalIdealContaining, [ IsHomalgMatrix ], function( I ) - local R, ZZ, one, indets, S, gens, gens0, lcm, p, Fp; + local R, zz, one, indets, S, gens, gens0, lcm, p, Fp; R := HomalgRing( I ); @@ -7789,15 +7789,15 @@ InstallMethod( AMaximalIdealContaining, TryNextMethod( ); fi; - ZZ := CoefficientsRing( R ); + zz := CoefficientsRing( R ); - if not ( HasIsIntegersForHomalg( ZZ ) and IsIntegersForHomalg( ZZ ) ) then + if not ( HasIsIntegersForHomalg( zz ) and IsIntegersForHomalg( zz ) ) then TryNextMethod( ); fi; indets := Indeterminates( R ); - S := ZZ * indets; + S := zz * indets; I := S * I; @@ -7839,7 +7839,7 @@ InstallMethod( AMaximalIdealContaining, Assert( 4, not ( p / S ) in I ); - Fp := HomalgRingOfIntegersInUnderlyingCAS( p, ZZ ); + Fp := HomalgRingOfIntegersInUnderlyingCAS( p, zz ); S := Fp * indets; I := S * I; diff --git a/MatricesForHomalg/tst/HomalgRowVector.tst b/MatricesForHomalg/tst/HomalgRowVector.tst index fe8a89a7b..95a7fa361 100644 --- a/MatricesForHomalg/tst/HomalgRowVector.tst +++ b/MatricesForHomalg/tst/HomalgRowVector.tst @@ -3,13 +3,13 @@ gap> START_TEST( "HomalgRowVector" ); # gap> LoadPackage( "MatricesForHomalg", false : OnlyNeeded ); true -gap> ZZ := HomalgRingOfIntegers( ); +gap> zz := HomalgRingOfIntegers( ); Z -gap> row_vector := HomalgRowVector( [ 1, 2, 3 ], 3, ZZ ); +gap> row_vector := HomalgRowVector( [ 1, 2, 3 ], 3, zz ); gap> EntriesOfHomalgRowVector( row_vector ); [ 1, 2, 3 ] -gap> column_vector := HomalgColumnVector( [ 1, 2, 3 ], 3, ZZ ); +gap> column_vector := HomalgColumnVector( [ 1, 2, 3 ], 3, zz ); gap> EntriesOfHomalgColumnVector( column_vector ); [ 1, 2, 3 ] diff --git a/MatricesForHomalg/tst/UniqueRightDivide.tst b/MatricesForHomalg/tst/UniqueRightDivide.tst index 6b17025d9..8e271c9ff 100644 --- a/MatricesForHomalg/tst/UniqueRightDivide.tst +++ b/MatricesForHomalg/tst/UniqueRightDivide.tst @@ -5,9 +5,9 @@ gap> LoadPackage( "MatricesForHomalg", false : OnlyNeeded ); true gap> old_assertion_level := AssertionLevel( );; gap> SetAssertionLevel( 5 ); -gap> ZZ := HomalgRingOfIntegers( );; -gap> A := HomalgMatrix( [ [ 3 ] ], 1, 1, ZZ );; -gap> B := HomalgMatrix( [ [ 6 ] ], 1, 1, ZZ );; +gap> zz := HomalgRingOfIntegers( );; +gap> A := HomalgMatrix( [ [ 3 ] ], 1, 1, zz );; +gap> B := HomalgMatrix( [ [ 6 ] ], 1, 1, zz );; gap> T := UniqueRightDivide( B, A );; gap> Display( T ); [ [ 2 ] ] diff --git a/Modules/PackageInfo.g b/Modules/PackageInfo.g index db989ed24..66d52b47b 100644 --- a/Modules/PackageInfo.g +++ b/Modules/PackageInfo.g @@ -11,7 +11,7 @@ SetPackageInfo( rec( PackageName := "Modules", Subtitle := "A homalg based package for the Abelian category of finitely presented modules over computable rings", -Version := "2023.08-01", +Version := "2023.08-02", 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/Modules/examples/BC.g b/Modules/examples/BC.g index ff916f200..32994f50c 100644 --- a/Modules/examples/BC.g +++ b/Modules/examples/BC.g @@ -1,18 +1,18 @@ LoadPackage( "Modules" ); -ZZ := HomalgRingOfIntegers( ); +zz := HomalgRingOfIntegers( ); -C0 := HomalgComplex( 3 * ZZ ); +C0 := HomalgComplex( 3 * zz ); -Add( C0, HomalgMatrix( "[ 0, 1, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0 ]", 4, 3, ZZ ) ); +Add( C0, HomalgMatrix( "[ 0, 1, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0 ]", 4, 3, zz ) ); -C1 := HomalgComplex( 0 * ZZ ); +C1 := HomalgComplex( 0 * zz ); -Add( C1, 2 * ZZ ); +Add( C1, 2 * zz ); -cm := HomalgChainMorphism( HomalgZeroMatrix( 3, 0, ZZ ), C0, C1 ); +cm := HomalgChainMorphism( HomalgZeroMatrix( 3, 0, zz ), C0, C1 ); -Add( cm, HomalgMatrix( "[ -1, 0, 0, -1, 2, 0, 0, 12 ]", 4, 2, ZZ ) ); +Add( cm, HomalgMatrix( "[ -1, 0, 0, -1, 2, 0, 0, 12 ]", 4, 2, zz ) ); C := HomalgCocomplex( cm ); diff --git a/Modules/examples/BCt.g b/Modules/examples/BCt.g index 36039ae8f..c2ee118c1 100644 --- a/Modules/examples/BCt.g +++ b/Modules/examples/BCt.g @@ -1,18 +1,18 @@ LoadPackage( "Modules" ); -ZZ := HomalgRingOfIntegers( ); +zz := HomalgRingOfIntegers( ); -C0 := HomalgComplex( 2 * ZZ ); +C0 := HomalgComplex( 2 * zz ); -Add( C0, HomalgMatrix( "[ -1, 0, 0, -1, 2, 0, 0, 12 ]", 4, 2, ZZ ) ); +Add( C0, HomalgMatrix( "[ -1, 0, 0, -1, 2, 0, 0, 12 ]", 4, 2, zz ) ); -C1 := HomalgComplex( 0 * ZZ ); +C1 := HomalgComplex( 0 * zz ); -Add( C1, 3 * ZZ ); +Add( C1, 3 * zz ); -cm := HomalgChainMorphism( HomalgZeroMatrix( 2, 0, ZZ ), C0, C1 ); +cm := HomalgChainMorphism( HomalgZeroMatrix( 2, 0, zz ), C0, C1 ); -Add( cm, HomalgMatrix( "[ 0, 1, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0 ]", 4, 3, ZZ ) ); +Add( cm, HomalgMatrix( "[ 0, 1, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0 ]", 4, 3, zz ) ); C := HomalgCocomplex( cm ); diff --git a/Modules/examples/ExtExt.g b/Modules/examples/ExtExt.g index 53d23196e..7cca6377f 100644 --- a/Modules/examples/ExtExt.g +++ b/Modules/examples/ExtExt.g @@ -3,7 +3,7 @@ ## ExtExt ## This corresponds to Example B.2 in . ## ZZ := HomalgRingOfIntegers( ); +## gap> zz := HomalgRingOfIntegers( ); ## Z ## gap> imat := HomalgMatrix( "[ \ ## > 262, -33, 75, -40, \ @@ -11,15 +11,15 @@ ## > 1186, -151, 341, -180, \ ## > -1932, 248, -556, 292, \ ## > 1018, -127, 293, -156 \ -## > ]", 5, 4, ZZ ); +## > ]", 5, 4, zz ); ## ## gap> M := LeftPresentation( imat ); ## -## gap> N := Hom( ZZ, M ); +## gap> N := Hom( zz, M ); ## ## gap> F := InsertObjectInMultiFunctor( Functor_Hom_for_fp_modules, 2, N, "TensorN" ); ## -## gap> G := LeftDualizingFunctor( ZZ );; +## gap> G := LeftDualizingFunctor( zz );; ## gap> II_E := GrothendieckSpectralSequence( F, G, M ); ## ## 0 -> M_=&ZZ;/2^2&ZZ; --alpha_1--> M=&ZZ;/2^5&ZZ; --alpha_2--> \_M=&ZZ;/2^3&ZZ; -> 0. ## ZZ := HomalgRingOfIntegers( ); +## gap> zz := HomalgRingOfIntegers( ); ## Z -## gap> Display( ZZ ); +## gap> Display( zz ); ## -## gap> R := ZZ / 2^8; +## gap> R := zz / 2^8; ## Z/( 256 ) ## gap> Display( R ); ## @@ -236,8 +236,8 @@ LoadPackage( "Modules" ); LoadPackage( "Modules" ); -ZZ := HomalgRingOfIntegers( ); -R := ZZ / 2^8; +zz := HomalgRingOfIntegers( ); +R := zz / 2^8; M := LeftPresentation( [ 2^5 ], R ); _M := LeftPresentation( [ 2^3 ], R ); diff --git a/Modules/examples/Ideals.g b/Modules/examples/Ideals.g index 47965c0d9..c7320ad46 100644 --- a/Modules/examples/Ideals.g +++ b/Modules/examples/Ideals.g @@ -1,9 +1,9 @@ LoadPackage( "Modules" ); -ZZ := HomalgRingOfIntegers( ); +zz := HomalgRingOfIntegers( ); -I := RightSubmodule( "4", ZZ ); ## or I := RightSubmodule( HomalgMatrix( "[ 4 ]", 1, 1, ZZ ) ); -J := RightSubmodule( "6", ZZ ); ## or J := RightSubmodule( HomalgMatrix( "[ 6 ]", 1, 1, ZZ ) ); +I := RightSubmodule( "4", zz ); ## or I := RightSubmodule( HomalgMatrix( "[ 4 ]", 1, 1, zz ) ); +J := RightSubmodule( "6", zz ); ## or J := RightSubmodule( HomalgMatrix( "[ 6 ]", 1, 1, zz ) ); IpJ := I + J; diff --git a/Modules/examples/LTensorProduct_Z.g b/Modules/examples/LTensorProduct_Z.g index e124a2046..4e970362c 100644 --- a/Modules/examples/LTensorProduct_Z.g +++ b/Modules/examples/LTensorProduct_Z.g @@ -1,15 +1,15 @@ ## <#GAPDoc Label="LTensorProduct_Z"> ## ZZ := HomalgRingOfIntegers( ); +## gap> zz := HomalgRingOfIntegers( ); ## Z -## gap> m := HomalgMatrix( [ [ 8, 0 ], [ 0, 2 ] ], ZZ );; +## gap> m := HomalgMatrix( [ [ 8, 0 ], [ 0, 2 ] ], zz );; ## gap> M := LeftPresentation( m ); ## ## gap> Display( M ); ## Z/< 8 > + Z/< 2 > ## gap> M; ## -## gap> a := HomalgMatrix( [ [ 2, 0 ] ], ZZ );; +## gap> a := HomalgMatrix( [ [ 2, 0 ] ], zz );; ## gap> alpha := HomalgMap( a, "free", M ); ## ## gap> pi := CokernelEpi( alpha ); @@ -117,10 +117,10 @@ ## <#/GAPDoc> LoadPackage( "Modules" ); -ZZ := HomalgRingOfIntegers( ); -m := HomalgMatrix( [ [ 8, 0 ], [ 0, 2 ] ], ZZ ); +zz := HomalgRingOfIntegers( ); +m := HomalgMatrix( [ [ 8, 0 ], [ 0, 2 ] ], zz ); M := LeftPresentation( m ); -a := HomalgMatrix( [ [ 2, 0 ] ], ZZ ); +a := HomalgMatrix( [ [ 2, 0 ] ], zz ); alpha := HomalgMap( a, "free", M ); pi := CokernelEpi( alpha ); iota := KernelEmb( pi ); diff --git a/Modules/examples/Purity.g b/Modules/examples/Purity.g index ed9cc6b10..f46690e94 100644 --- a/Modules/examples/Purity.g +++ b/Modules/examples/Purity.g @@ -3,7 +3,7 @@ ## Purity ## This corresponds to Example B.3 in . ## ZZ := HomalgRingOfIntegers( ); +## gap> zz := HomalgRingOfIntegers( ); ## Z ## gap> imat := HomalgMatrix( "[ \ ## > 262, -33, 75, -40, \ @@ -11,7 +11,7 @@ ## > 1186, -151, 341, -180, \ ## > -1932, 248, -556, 292, \ ## > 1018, -127, 293, -156 \ -## > ]", 5, 4, ZZ ); +## > ]", 5, 4, zz ); ## ## gap> M := LeftPresentation( imat ); ## diff --git a/Modules/examples/RHom_Z.g b/Modules/examples/RHom_Z.g index 400d1f7ac..3f05e6ee0 100644 --- a/Modules/examples/RHom_Z.g +++ b/Modules/examples/RHom_Z.g @@ -1,15 +1,15 @@ ## <#GAPDoc Label="RHom_Z"> ## ZZ := HomalgRingOfIntegers( ); +## gap> zz := HomalgRingOfIntegers( ); ## Z -## gap> m := HomalgMatrix( [ [ 8, 0 ], [ 0, 2 ] ], ZZ );; +## gap> m := HomalgMatrix( [ [ 8, 0 ], [ 0, 2 ] ], zz );; ## gap> M := LeftPresentation( m ); ## ## gap> Display( M ); ## Z/< 8 > + Z/< 2 > ## gap> M; ## -## gap> a := HomalgMatrix( [ [ 2, 0 ] ], ZZ );; +## gap> a := HomalgMatrix( [ [ 2, 0 ] ], zz );; ## gap> alpha := HomalgMap( a, "free", M ); ## ## gap> pi := CokernelEpi( alpha ); @@ -117,10 +117,10 @@ ## <#/GAPDoc> LoadPackage( "Modules" ); -ZZ := HomalgRingOfIntegers( ); -m := HomalgMatrix( [ [ 8, 0 ], [ 0, 2 ] ], ZZ ); +zz := HomalgRingOfIntegers( ); +m := HomalgMatrix( [ [ 8, 0 ], [ 0, 2 ] ], zz ); M := LeftPresentation( m ); -a := HomalgMatrix( [ [ 2, 0 ] ], ZZ ); +a := HomalgMatrix( [ [ 2, 0 ] ], zz ); alpha := HomalgMap( a, "free", M ); pi := CokernelEpi( alpha ); iota := KernelEmb( pi ); diff --git a/Modules/examples/Saturate.g b/Modules/examples/Saturate.g index 2494809a0..abd950527 100644 --- a/Modules/examples/Saturate.g +++ b/Modules/examples/Saturate.g @@ -1,16 +1,16 @@ ## <#GAPDoc Label="Saturate:example"> ## ZZ := HomalgRingOfIntegers( ); +## gap> zz := HomalgRingOfIntegers( ); ## Z -## gap> Display( ZZ ); +## gap> Display( zz ); ## -## gap> m := LeftSubmodule( "2", ZZ ); +## gap> m := LeftSubmodule( "2", zz ); ## ## gap> Display( m ); ## [ [ 2 ] ] ## ## A (left) ideal generated by the entry of the above matrix -## gap> J := LeftSubmodule( "3", ZZ ); +## gap> J := LeftSubmodule( "3", zz ); ## ## gap> Display( J ); ## [ [ 3 ] ] @@ -41,11 +41,11 @@ LoadPackage( "Modules" ); -ZZ := HomalgRingOfIntegers( ); +zz := HomalgRingOfIntegers( ); -m := LeftSubmodule( "2", ZZ ); +m := LeftSubmodule( "2", zz ); -J := LeftSubmodule( "3", ZZ ); +J := LeftSubmodule( "3", zz ); I := Intersect( J, m^3 ); diff --git a/Modules/examples/Submodules.g b/Modules/examples/Submodules.g index 36003425d..5b659675e 100644 --- a/Modules/examples/Submodules.g +++ b/Modules/examples/Submodules.g @@ -1,8 +1,8 @@ LoadPackage( "Modules" ); -ZZ := HomalgRingOfIntegers( ); +zz := HomalgRingOfIntegers( ); -I := RightSubmodule( "4", ZZ ); +I := RightSubmodule( "4", zz ); -J := Subobject( HomalgMatrix( "[ 6 ]", 1, 1, ZZ ), UnderlyingObject( I ) ); +J := Subobject( HomalgMatrix( "[ 6 ]", 1, 1, zz ), UnderlyingObject( I ) ); diff --git a/Modules/examples/TorExt.g b/Modules/examples/TorExt.g index 59d1d1583..45306c83b 100644 --- a/Modules/examples/TorExt.g +++ b/Modules/examples/TorExt.g @@ -3,7 +3,7 @@ ## TorExt ## This corresponds to Example B.6 in . ## ZZ := HomalgRingOfIntegers( ); +## gap> zz := HomalgRingOfIntegers( ); ## Z ## gap> imat := HomalgMatrix( "[ \ ## > 262, -33, 75, -40, \ @@ -11,7 +11,7 @@ ## > 1186, -151, 341, -180, \ ## > -1932, 248, -556, 292, \ ## > 1018, -127, 293, -156 \ -## > ]", 5, 4, ZZ ); +## > ]", 5, 4, zz ); ## ## gap> M := LeftPresentation( imat ); ## diff --git a/Modules/examples/TorExt_Grothendieck.g b/Modules/examples/TorExt_Grothendieck.g index 752a10700..e838bd983 100644 --- a/Modules/examples/TorExt_Grothendieck.g +++ b/Modules/examples/TorExt_Grothendieck.g @@ -3,7 +3,7 @@ ## TorExt-Grothendieck ## This corresponds to Example B.5 in . ## ZZ := HomalgRingOfIntegers( ); +## gap> zz := HomalgRingOfIntegers( ); ## Z ## gap> imat := HomalgMatrix( "[ \ ## > 262, -33, 75, -40, \ @@ -11,13 +11,13 @@ ## > 1186, -151, 341, -180, \ ## > -1932, 248, -556, 292, \ ## > 1018, -127, 293, -156 \ -## > ]", 5, 4, ZZ ); +## > ]", 5, 4, zz ); ## ## gap> M := LeftPresentation( imat ); ## ## gap> F := InsertObjectInMultiFunctor( Functor_TensorProduct_for_fp_modules, 2, M, "TensorM" ); ## -## gap> G := LeftDualizingFunctor( ZZ );; +## gap> G := LeftDualizingFunctor( zz );; ## gap> II_E := GrothendieckSpectralSequence( F, G, M ); ## ## ZZ := HomalgRingOfIntegers( ); +## gap> zz := HomalgRingOfIntegers( ); ## Z -## gap> M := ZZ * 4; +## gap> M := zz * 4; ## ## gap> R := HomalgRing( M ); ## Z -## gap> IsIdenticalObj( R, ZZ ); +## gap> IsIdenticalObj( R, zz ); ## true ## ]]> ## <#/GAPDoc> LoadPackage( "Modules" ); -ZZ := HomalgRingOfIntegers( ); -M := ZZ * 4; +zz := HomalgRingOfIntegers( ); +M := zz * 4; R := HomalgRing( M ); -Assert( 0, IsIdenticalObj( R, ZZ ) ); +Assert( 0, IsIdenticalObj( R, zz ) ); diff --git a/Modules/examples/doc/HomalgRing_module_element.g b/Modules/examples/doc/HomalgRing_module_element.g index 4c374ba8c..8470989a0 100644 --- a/Modules/examples/doc/HomalgRing_module_element.g +++ b/Modules/examples/doc/HomalgRing_module_element.g @@ -1,16 +1,16 @@ ## <#GAPDoc Label="HomalgRing:module_element:example"> ## ZZ := HomalgRingOfIntegers( ); +## gap> zz := HomalgRingOfIntegers( ); ## Z -## gap> a := HomalgElement( HomalgMap( "[[2]]", 1 * ZZ, 1 * ZZ ) ); +## gap> a := HomalgElement( HomalgMap( "[[2]]", 1 * zz, 1 * zz ) ); ## 2 -## gap> IsIdenticalObj( ZZ, HomalgRing( a ) ); +## gap> IsIdenticalObj( zz, HomalgRing( a ) ); ## true ## ]]> ## <#/GAPDoc> LoadPackage( "Modules" ); -ZZ := HomalgRingOfIntegers( ); -a := HomalgElement( HomalgMap( "[[2]]", 1 * ZZ, 1 * ZZ ) ); -Assert( 0, IsIdenticalObj( ZZ, HomalgRing( a ) ) ); +zz := HomalgRingOfIntegers( ); +a := HomalgElement( HomalgMap( "[[2]]", 1 * zz, 1 * zz ) ); +Assert( 0, IsIdenticalObj( zz, HomalgRing( a ) ) ); diff --git a/Modules/examples/doc/IsElementOfIntegers.g b/Modules/examples/doc/IsElementOfIntegers.g index 8965a1f3e..d16a8895c 100644 --- a/Modules/examples/doc/IsElementOfIntegers.g +++ b/Modules/examples/doc/IsElementOfIntegers.g @@ -1,12 +1,12 @@ ## <#GAPDoc Label="IsElementOfIntegers:example"> ## ZZ := HomalgRingOfIntegers( ); +## gap> zz := HomalgRingOfIntegers( ); ## Z -## gap> a := HomalgElement( HomalgMap( "[[2]]", 1 * ZZ, 1 * ZZ ) ); +## gap> a := HomalgElement( HomalgMap( "[[2]]", 1 * zz, 1 * zz ) ); ## 2 ## gap> IsElementOfIntegers( a ); ## true -## gap> Z4 := ZZ / 4; +## gap> Z4 := zz / 4; ## Z/( 4 ) ## gap> b := HomalgElement( HomalgMap( "[[-1]]", 1 * Z4, 1 * Z4 ) ); ## |[ 3 ]| @@ -17,10 +17,10 @@ LoadPackage( "Modules" ); -ZZ := HomalgRingOfIntegers( ); -a := HomalgElement( HomalgMap( "[[2]]", 1 * ZZ, 1 * ZZ ) ); +zz := HomalgRingOfIntegers( ); +a := HomalgElement( HomalgMap( "[[2]]", 1 * zz, 1 * zz ) ); Assert( 0, IsElementOfIntegers( a ) = true ); -Z4 := ZZ / 4; +Z4 := zz / 4; b := HomalgElement( HomalgMap( "[[-1]]", 1 * Z4, 1 * Z4 ) ); Assert( 0, IsElementOfIntegers( b ) = false ); diff --git a/Modules/examples/doc/LT_module_element.g b/Modules/examples/doc/LT_module_element.g index 3fec095a2..6f14d4fbd 100644 --- a/Modules/examples/doc/LT_module_element.g +++ b/Modules/examples/doc/LT_module_element.g @@ -1,12 +1,12 @@ ## <#GAPDoc Label="LT:module_element:example"> ## ZZ := HomalgRingOfIntegers( ); +## gap> zz := HomalgRingOfIntegers( ); ## Z -## gap> a := HomalgElement( HomalgMap( "[[2]]", 1 * ZZ, 1 * ZZ ) ); +## gap> a := HomalgElement( HomalgMap( "[[2]]", 1 * zz, 1 * zz ) ); ## 2 ## gap> a < 6 * a; ## true -## gap> F19 := ZZ / 19; +## gap> F19 := zz / 19; ## ## gap> b := HomalgElement( HomalgMap( "[[2]]", 1 * F19, 1 * F19 ) ); ## |[ 2 ]| @@ -17,10 +17,10 @@ LoadPackage( "Modules" ); -ZZ := HomalgRingOfIntegers( ); -a := HomalgElement( HomalgMap( "[[2]]", 1 * ZZ, 1 * ZZ ) ); +zz := HomalgRingOfIntegers( ); +a := HomalgElement( HomalgMap( "[[2]]", 1 * zz, 1 * zz ) ); Assert( 0, IsElementOfIntegers( a ) = true ); -F19 := ZZ / 19; +F19 := zz / 19; b := HomalgElement( HomalgMap( "[[2]]", 1 * F19, 1 * F19 ) ); Assert( 0, IsElementOfIntegers( b ) = false ); diff --git a/Modules/gap/BasicFunctors.gi b/Modules/gap/BasicFunctors.gi index 4ba5534ff..2934b85dd 100644 --- a/Modules/gap/BasicFunctors.gi +++ b/Modules/gap/BasicFunctors.gi @@ -929,19 +929,19 @@ functor_BaseChange_for_fp_modules!.ContainerForWeakPointersOnComputedBasicObject ## ## The following example also makes use of the natural transformation CokernelEpi. ## ZZ := HomalgRingOfIntegers( ); +## gap> zz := HomalgRingOfIntegers( ); ## Z -## gap> M := HomalgMatrix( "[ 2, 3, 4, 5, 6, 7 ]", 2, 3, ZZ );; +## gap> M := HomalgMatrix( "[ 2, 3, 4, 5, 6, 7 ]", 2, 3, zz );; ## gap> M := LeftPresentation( M ); ## -## gap> N := HomalgMatrix( "[ 2, 3, 4, 5, 6, 7, 8, 9 ]", 2, 4, ZZ );; +## gap> N := HomalgMatrix( "[ 2, 3, 4, 5, 6, 7, 8, 9 ]", 2, 4, zz );; ## gap> N := LeftPresentation( N ); ## ## gap> mat := HomalgMatrix( "[ \ ## > 1, 0, -3, -6, \ ## > 0, 1, 6, 11, \ ## > 1, 0, -3, -6 \ -## > ]", 3, 4, ZZ );; +## > ]", 3, 4, zz );; ## gap> phi := HomalgMap( mat, M, N );; ## gap> IsMorphism( phi ); ## true @@ -1002,19 +1002,19 @@ InstallFunctor( functor_Cokernel_for_fp_modules ); ## The following example also makes use of the natural transformations ImageObjectEpi ## and ImageObjectEmb. ## ZZ := HomalgRingOfIntegers( ); +## gap> zz := HomalgRingOfIntegers( ); ## Z -## gap> M := HomalgMatrix( "[ 2, 3, 4, 5, 6, 7 ]", 2, 3, ZZ );; +## gap> M := HomalgMatrix( "[ 2, 3, 4, 5, 6, 7 ]", 2, 3, zz );; ## gap> M := LeftPresentation( M ); ## -## gap> N := HomalgMatrix( "[ 2, 3, 4, 5, 6, 7, 8, 9 ]", 2, 4, ZZ );; +## gap> N := HomalgMatrix( "[ 2, 3, 4, 5, 6, 7, 8, 9 ]", 2, 4, zz );; ## gap> N := LeftPresentation( N ); ## ## gap> mat := HomalgMatrix( "[ \ ## > 1, 0, -3, -6, \ ## > 0, 1, 6, 11, \ ## > 1, 0, -3, -6 \ -## > ]", 3, 4, ZZ );; +## > ]", 3, 4, zz );; ## gap> phi := HomalgMap( mat, M, N );; ## gap> IsMorphism( phi ); ## true @@ -1047,19 +1047,19 @@ InstallFunctorOnObjects( functor_ImageObject_for_fp_modules ); ## ## The following example also makes use of the natural transformation KernelEmb. ## ZZ := HomalgRingOfIntegers( ); +## gap> zz := HomalgRingOfIntegers( ); ## Z -## gap> M := HomalgMatrix( "[ 2, 3, 4, 5, 6, 7 ]", 2, 3, ZZ );; +## gap> M := HomalgMatrix( "[ 2, 3, 4, 5, 6, 7 ]", 2, 3, zz );; ## gap> M := LeftPresentation( M ); ## -## gap> N := HomalgMatrix( "[ 2, 3, 4, 5, 6, 7, 8, 9 ]", 2, 4, ZZ );; +## gap> N := HomalgMatrix( "[ 2, 3, 4, 5, 6, 7, 8, 9 ]", 2, 4, zz );; ## gap> N := LeftPresentation( N ); ## ## gap> mat := HomalgMatrix( "[ \ ## > 1, 0, -3, -6, \ ## > 0, 1, 6, 11, \ ## > 1, 0, -3, -6 \ -## > ]", 3, 4, ZZ );; +## > ]", 3, 4, zz );; ## gap> phi := HomalgMap( mat, M, N );; ## gap> IsMorphism( phi ); ## true @@ -1109,12 +1109,12 @@ InstallFunctorOnObjects( functor_ImageObject_for_fp_modules ); ##

## The following example also makes use of the natural transformation KernelEmb. ## ZZ := HomalgRingOfIntegers( ); +## gap> zz := HomalgRingOfIntegers( ); ## Z -## gap> M := HomalgMatrix( "[ 2, 3, 4, 0, 5, 6, 7, 0 ]", 2, 4, ZZ );; +## gap> M := HomalgMatrix( "[ 2, 3, 4, 0, 5, 6, 7, 0 ]", 2, 4, zz );; ## gap> M := LeftPresentation( M ); ## -## gap> N := HomalgMatrix( "[ 2, 3, 4, 5, 6, 7, 8, 9 ]", 2, 4, ZZ );; +## gap> N := HomalgMatrix( "[ 2, 3, 4, 5, 6, 7, 8, 9 ]", 2, 4, zz );; ## gap> N := LeftPresentation( N ); ## ## gap> mat := HomalgMatrix( "[ \ @@ -1122,7 +1122,7 @@ InstallFunctorOnObjects( functor_ImageObject_for_fp_modules ); ## > 0, 3, 10, 17, \ ## > 1, 3, 3, 3, \ ## > 0, 0, 0, 0 \ -## > ]", 4, 4, ZZ );; +## > ]", 4, 4, zz );; ## gap> phi := HomalgMap( mat, M, N );; ## gap> IsMorphism( phi ); ## true @@ -1132,9 +1132,9 @@ InstallFunctorOnObjects( functor_ImageObject_for_fp_modules ); ## ## gap> DefectOfExactness( iota, phi ); ## -## gap> hom_iota := Hom( iota ); ## a shorthand for Hom( iota, ZZ ); +## gap> hom_iota := Hom( iota ); ## a shorthand for Hom( iota, zz ); ## -## gap> hom_phi := Hom( phi ); ## a shorthand for Hom( phi, ZZ ); +## gap> hom_phi := Hom( phi ); ## a shorthand for Hom( phi, zz ); ## ## gap> DefectOfExactness( hom_iota, hom_phi ); ## @@ -1170,19 +1170,19 @@ InstallFunctorOnObjects( functor_ImageObject_for_fp_modules ); ##

## Each generator of a module of homomorphisms is displayed as a matrix of appropriate dimensions. ## ZZ := HomalgRingOfIntegers( ); +## gap> zz := HomalgRingOfIntegers( ); ## Z -## gap> M := HomalgMatrix( "[ 2, 3, 4, 5, 6, 7 ]", 2, 3, ZZ );; +## gap> M := HomalgMatrix( "[ 2, 3, 4, 5, 6, 7 ]", 2, 3, zz );; ## gap> M := LeftPresentation( M ); ## -## gap> N := HomalgMatrix( "[ 2, 3, 4, 5, 6, 7, 8, 9 ]", 2, 4, ZZ );; +## gap> N := HomalgMatrix( "[ 2, 3, 4, 5, 6, 7, 8, 9 ]", 2, 4, zz );; ## gap> N := LeftPresentation( N ); ## ## gap> mat := HomalgMatrix( "[ \ ## > 1, 0, -3, -6, \ ## > 0, 1, 6, 11, \ ## > 1, 0, -3, -6 \ -## > ]", 3, 4, ZZ );; +## > ]", 3, 4, zz );; ## gap> phi := HomalgMap( mat, M, N );; ## gap> IsMorphism( phi ); ## true @@ -1415,13 +1415,13 @@ InstallFunctor( Functor_Hom_for_fp_modules ); ## The symbol * is a shorthand for several operations associated with the functor Functor_TensorProduct_for_fp_modules ## installed under the name TensorProduct. ## ZZ := HomalgRingOfIntegers( ); +## gap> zz := HomalgRingOfIntegers( ); ## Z -## gap> M := HomalgMatrix( "[ 2, 3, 4, 5, 6, 7 ]", 2, 3, ZZ ); +## gap> M := HomalgMatrix( "[ 2, 3, 4, 5, 6, 7 ]", 2, 3, zz ); ## ## gap> M := LeftPresentation( M ); ## -## gap> N := HomalgMatrix( "[ 2, 3, 4, 5, 6, 7, 8, 9 ]", 2, 4, ZZ ); +## gap> N := HomalgMatrix( "[ 2, 3, 4, 5, 6, 7, 8, 9 ]", 2, 4, zz ); ## ## gap> N := LeftPresentation( N ); ## @@ -1429,7 +1429,7 @@ InstallFunctor( Functor_Hom_for_fp_modules ); ## > 1, 0, -3, -6, \ ## > 0, 1, 6, 11, \ ## > 1, 0, -3, -6 \ -## > ]", 3, 4, ZZ ); +## > ]", 3, 4, zz ); ## ## gap> phi := HomalgMap( mat, M, N ); ## @@ -1437,7 +1437,7 @@ InstallFunctor( Functor_Hom_for_fp_modules ); ## true ## gap> phi; ## -## gap> L := Hom( ZZ, M ); +## gap> L := Hom( zz, M ); ## ## gap> ByASmallerPresentation( L ); ## @@ -1608,15 +1608,15 @@ end ); ## ## CAUTION: So it is not suited for general base change. ## ZZ := HomalgRingOfIntegers( ); +## gap> zz := HomalgRingOfIntegers( ); ## Z -## gap> Display( ZZ ); +## gap> Display( zz ); ## -## gap> Z4 := ZZ / 4; +## gap> Z4 := zz / 4; ## Z/( 4 ) ## gap> Display( Z4 ); ## -## gap> M := HomalgDiagonalMatrix( [ 2 .. 4 ], ZZ ); +## gap> M := HomalgDiagonalMatrix( [ 2 .. 4 ], zz ); ## ## gap> M := LeftPresentation( M ); ## @@ -1634,16 +1634,16 @@ end ); ## ## ]]> ## ZZ := HomalgRingOfIntegers( ); +## gap> zz := HomalgRingOfIntegers( ); ## Z ## gap> M := HomalgMatrix( "[ \ ## > 2, 3, 4, \ ## > 5, 6, 7 \ -## > ]", 2, 3, ZZ ); +## > ]", 2, 3, zz ); ## ## gap> M := LeftPresentation( M ); ## -## gap> Z4 := ZZ / 4; +## gap> Z4 := zz / 4; ## Z/( 4 ) ## gap> Display( Z4 ); ## @@ -1669,7 +1669,7 @@ end ); ## ## gap> D := Hom( DD, Z4 ); ## -## gap> C := ZZ * D; +## gap> C := zz * D; ## ## gap> LowestDegreeObject( C ); ## @@ -1743,9 +1743,9 @@ RightSatelliteOfCofunctor( Functor_Hom_for_fp_modules, "Ext" ); ##

## Each generator of a module of extensions is displayed as a matrix of appropriate dimensions. ## ZZ := HomalgRingOfIntegers( ); +## gap> zz := HomalgRingOfIntegers( ); ## Z -## gap> M := HomalgMatrix( "[ 2, 3, 4, 5, 6, 7 ]", 2, 3, ZZ );; +## gap> M := HomalgMatrix( "[ 2, 3, 4, 5, 6, 7 ]", 2, 3, zz );; ## gap> M := LeftPresentation( M ); ## ## gap> N := TorsionObject( M ); @@ -1820,9 +1820,9 @@ LeftSatelliteOfFunctor( Functor_TensorProduct_for_fp_modules, "Tor" ); ## Tor_i(o1,o2) for 0 \leq i \leq d is computed, ## where d is the length of the internally computed free resolution of o1. ## ZZ := HomalgRingOfIntegers( ); +## gap> zz := HomalgRingOfIntegers( ); ## Z -## gap> M := HomalgMatrix( "[ 2, 3, 4, 5, 6, 7 ]", 2, 3, ZZ );; +## gap> M := HomalgMatrix( "[ 2, 3, 4, 5, 6, 7 ]", 2, 3, zz );; ## gap> M := LeftPresentation( M ); ## ## gap> N := TorsionObject( M ); diff --git a/Modules/gap/GrothendieckGroup.gi b/Modules/gap/GrothendieckGroup.gi index fc78eb6a0..a9e8764bc 100644 --- a/Modules/gap/GrothendieckGroup.gi +++ b/Modules/gap/GrothendieckGroup.gi @@ -1223,15 +1223,15 @@ InstallMethod( CreateElementOfGrothendieckGroupOfProjectiveSpace, [ IsList, IsInt ], function( C, dim ) - local ZZ, K_0; + local zz, K_0; if dim < 0 then dim := Length( C ) - 1; fi; - ZZ := HOMALG_MATRICES.ZZ; + zz := HOMALG_MATRICES.ZZ; - K_0 := ( dim + 1 ) * ZZ; + K_0 := ( dim + 1 ) * zz; LockObjectOnCertainPresentation( K_0 ); diff --git a/Modules/gap/HomalgMap.gi b/Modules/gap/HomalgMap.gi index 13481f1c7..d3deceb56 100644 --- a/Modules/gap/HomalgMap.gi +++ b/Modules/gap/HomalgMap.gi @@ -91,13 +91,13 @@ BindGlobal( "TheTypeHomalgSelfMapOfRightModules", ## ## The &homalg; ring of the &homalg; map phi. ## ZZ := HomalgRingOfIntegers( ); +## gap> zz := HomalgRingOfIntegers( ); ## Z -## gap> phi := HomalgIdentityMap( 2 * ZZ ); +## gap> phi := HomalgIdentityMap( 2 * zz ); ## ## gap> R := HomalgRing( phi ); ## Z -## gap> IsIdenticalObj( R, ZZ ); +## gap> IsIdenticalObj( R, zz ); ## true ## ]]> ## @@ -855,12 +855,12 @@ end ); ## &homalg; uses the so-called associative convention for maps. This means that maps of left modules are ## applied from the right, whereas maps of right modules from the left. ## ZZ := HomalgRingOfIntegers( );; -## gap> M := HomalgMatrix( "[ 2, 3, 4, 5, 6, 7 ]", 2, 3, ZZ ); +## gap> zz := HomalgRingOfIntegers( );; +## gap> M := HomalgMatrix( "[ 2, 3, 4, 5, 6, 7 ]", 2, 3, zz ); ## ## gap> M := LeftPresentation( M ); ## -## gap> N := HomalgMatrix( "[ 2, 3, 4, 5, 6, 7, 8, 9 ]", 2, 4, ZZ ); +## gap> N := HomalgMatrix( "[ 2, 3, 4, 5, 6, 7, 8, 9 ]", 2, 4, zz ); ## ## gap> N := LeftPresentation( N ); ## @@ -868,7 +868,7 @@ end ); ## > 1, 0, -2, -4, \ ## > 0, 1, 4, 7, \ ## > 1, 0, -2, -4 \ -## > ]", 3, 4, ZZ ); +## > ]", 3, 4, zz ); ## ## gap> phi := HomalgMap( mat, M, N ); ## @@ -1312,12 +1312,12 @@ InstallMethod( HomalgMap, ## The constructor returns the zero map between the source &homalg; module M ## and the target &homalg; module N. ## ZZ := HomalgRingOfIntegers( );; -## gap> M := HomalgMatrix( "[ 2, 3, 4, 5, 6, 7 ]", 2, 3, ZZ ); +## gap> zz := HomalgRingOfIntegers( );; +## gap> M := HomalgMatrix( "[ 2, 3, 4, 5, 6, 7 ]", 2, 3, zz ); ## ## gap> M := LeftPresentation( M ); ## -## gap> N := HomalgMatrix( "[ 2, 3, 4, 5, 6, 7, 8, 9 ]", 2, 4, ZZ ); +## gap> N := HomalgMatrix( "[ 2, 3, 4, 5, 6, 7, 8, 9 ]", 2, 4, zz ); ## ## gap> N := LeftPresentation( N ); ## @@ -1342,8 +1342,8 @@ end ); ## ## The constructor returns the identity map of the &homalg; module M. ## ZZ := HomalgRingOfIntegers( );; -## gap> M := HomalgMatrix( "[ 2, 3, 4, 5, 6, 7 ]", 2, 3, ZZ ); +## gap> zz := HomalgRingOfIntegers( );; +## gap> M := HomalgMatrix( "[ 2, 3, 4, 5, 6, 7 ]", 2, 3, zz ); ## ## gap> M := LeftPresentation( M ); ## diff --git a/Modules/gap/HomalgModule.gi b/Modules/gap/HomalgModule.gi index c57201a39..dfe120023 100644 --- a/Modules/gap/HomalgModule.gi +++ b/Modules/gap/HomalgModule.gi @@ -1580,11 +1580,11 @@ end ); ## Use different strategies to reduce the presentation of the given &homalg; module M. ## This method performs side effects on its argument M and returns it. ## ZZ := HomalgRingOfIntegers( );; +## gap> zz := HomalgRingOfIntegers( );; ## gap> M := HomalgMatrix( "[ \ ## > 2, 3, 4, \ ## > 5, 6, 7 \ -## > ]", 2, 3, ZZ ); +## > ]", 2, 3, zz ); ## ## gap> M := LeftPresentation( M ); ## @@ -2234,11 +2234,11 @@ end ); ## This constructor returns the finitely presented left module with relations given by the ## rows of the &homalg; matrix mat. ## ZZ := HomalgRingOfIntegers( );; +## gap> zz := HomalgRingOfIntegers( );; ## gap> M := HomalgMatrix( "[ \ ## > 2, 3, 4, \ ## > 5, 6, 7 \ -## > ]", 2, 3, ZZ ); +## > ]", 2, 3, zz ); ## ## gap> M := LeftPresentation( M ); ## @@ -2366,11 +2366,11 @@ end ); ## This constructor returns the finitely presented right module with relations given by the ## columns of the &homalg; matrix mat. ## ZZ := HomalgRingOfIntegers( );; +## gap> zz := HomalgRingOfIntegers( );; ## gap> M := HomalgMatrix( "[ \ ## > 2, 3, 4, \ ## > 5, 6, 7 \ -## > ]", 2, 3, ZZ ); +## > ]", 2, 3, zz ); ## ## gap> M := RightPresentation( M ); ## @@ -2400,14 +2400,14 @@ end ); ## ## This constructor returns a free left module of rank r over the &homalg; ring R. ## ZZ := HomalgRingOfIntegers( );; -## gap> F := HomalgFreeLeftModule( 1, ZZ ); +## gap> zz := HomalgRingOfIntegers( );; +## gap> F := HomalgFreeLeftModule( 1, zz ); ## -## gap> 1 * ZZ; +## gap> 1 * zz; ## -## gap> F := HomalgFreeLeftModule( 2, ZZ ); +## gap> F := HomalgFreeLeftModule( 2, zz ); ## -## gap> 2 * ZZ; +## gap> 2 * zz; ## ## ]]> ## @@ -2431,14 +2431,14 @@ end ); ## ## This constructor returns a free right module of rank r over the &homalg; ring R. ## ZZ := HomalgRingOfIntegers( );; -## gap> F := HomalgFreeRightModule( 1, ZZ ); +## gap> zz := HomalgRingOfIntegers( );; +## gap> F := HomalgFreeRightModule( 1, zz ); ## -## gap> ZZ * 1; +## gap> zz * 1; ## -## gap> F := HomalgFreeRightModule( 2, ZZ ); +## gap> F := HomalgFreeRightModule( 2, zz ); ## -## gap> ZZ * 2; +## gap> zz * 2; ## ## ]]> ## @@ -2462,10 +2462,10 @@ end ); ## ## This constructor returns a zero left module of rank r over the &homalg; ring R. ## ZZ := HomalgRingOfIntegers( );; -## gap> F := HomalgZeroLeftModule( ZZ ); +## gap> zz := HomalgRingOfIntegers( );; +## gap> F := HomalgZeroLeftModule( zz ); ## -## gap> 0 * ZZ; +## gap> 0 * zz; ## ## ]]> ## @@ -2489,10 +2489,10 @@ end ); ## ## This constructor returns a zero right module of rank r over the &homalg; ring R. ## ZZ := HomalgRingOfIntegers( );; -## gap> F := HomalgZeroRightModule( ZZ ); +## gap> zz := HomalgRingOfIntegers( );; +## gap> F := HomalgZeroRightModule( zz ); ## -## gap> ZZ * 0; +## gap> zz * 0; ## ## ]]> ## diff --git a/RingsForHomalg/PackageInfo.g b/RingsForHomalg/PackageInfo.g index 8e46ca866..a643cebc3 100644 --- a/RingsForHomalg/PackageInfo.g +++ b/RingsForHomalg/PackageInfo.g @@ -11,7 +11,7 @@ SetPackageInfo( rec( PackageName := "RingsForHomalg", Subtitle := "Dictionaries of external rings", -Version := "2023.08-01", +Version := "2023.08-02", 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/RingsForHomalg/examples/RingConstructionsExternalGAP.g b/RingsForHomalg/examples/RingConstructionsExternalGAP.g index dec5d2876..36dacebca 100644 --- a/RingsForHomalg/examples/RingConstructionsExternalGAP.g +++ b/RingsForHomalg/examples/RingConstructionsExternalGAP.g @@ -2,26 +2,26 @@ ## ## external &GAP; ## ZZ := HomalgRingOfIntegersInExternalGAP( ); +## gap> zz := HomalgRingOfIntegersInExternalGAP( ); ## Z -## gap> Display( ZZ ); +## gap> Display( zz ); ## -## gap> F2 := HomalgRingOfIntegersInExternalGAP( 2, ZZ ); +## gap> F2 := HomalgRingOfIntegersInExternalGAP( 2, zz ); ## GF(2) ## gap> Display( F2 ); ## ## ]]> ## F2 := HomalgRingOfIntegersInExternalGAP( 2 ) would launch another GAP. ## Z4 := HomalgRingOfIntegersInExternalGAP( 4, ZZ ); +## gap> Z4 := HomalgRingOfIntegersInExternalGAP( 4, zz ); ## Z/4Z ## gap> Display( Z4 ); ## -## gap> Z_4 := HomalgRingOfIntegersInExternalGAP( ZZ ) / 4; +## gap> Z_4 := HomalgRingOfIntegersInExternalGAP( zz ) / 4; ## Z/( 4 ) ## gap> Display( Z_4 ); ## -## gap> Q := HomalgFieldOfRationalsInExternalGAP( ZZ ); +## gap> Q := HomalgFieldOfRationalsInExternalGAP( zz ); ## Q ## gap> Display( Q ); ## @@ -34,18 +34,18 @@ LoadPackage( "RingsForHomalg" ); Print( "~~~~~~~~~~~\n\n" ); Print( "External GAP\n\n" ); -ZZ := HomalgRingOfIntegersInExternalGAP( ); -Display( ZZ ); +zz := HomalgRingOfIntegersInExternalGAP( ); +Display( zz ); -F2 := HomalgRingOfIntegersInExternalGAP( 2, ZZ ); +F2 := HomalgRingOfIntegersInExternalGAP( 2, zz ); Display( F2 ); -Z4 := HomalgRingOfIntegersInExternalGAP( 4, ZZ ); +Z4 := HomalgRingOfIntegersInExternalGAP( 4, zz ); Display( Z4 ); -Z_4 := HomalgRingOfIntegersInExternalGAP( ZZ ) / 4; +Z_4 := HomalgRingOfIntegersInExternalGAP( zz ) / 4; Display( Z_4 ); -Q := HomalgFieldOfRationalsInExternalGAP( ZZ ); +Q := HomalgFieldOfRationalsInExternalGAP( zz ); Display( Q ); diff --git a/RingsForHomalg/examples/RingConstructionsMAGMA.g b/RingsForHomalg/examples/RingConstructionsMAGMA.g index 4992267a4..89b5aac38 100644 --- a/RingsForHomalg/examples/RingConstructionsMAGMA.g +++ b/RingsForHomalg/examples/RingConstructionsMAGMA.g @@ -3,11 +3,11 @@ ## &MAGMA; ## ZZ := HomalgRingOfIntegersInMAGMA( ); +## gap> zz := HomalgRingOfIntegersInMAGMA( ); ## Z -## gap> Display( ZZ ); +## gap> Display( zz ); ## -## gap> F2 := HomalgRingOfIntegersInMAGMA( 2, ZZ ); +## gap> F2 := HomalgRingOfIntegersInMAGMA( 2, zz ); ## GF(2) ## gap> Display( F2 ); ## @@ -16,11 +16,11 @@ ## F2 := HomalgRingOfIntegersInMAGMA( 2 ) would launch another MAGMA. ## Z_4 := HomalgRingOfIntegersInMAGMA( ZZ ) / 4; +## gap> Z_4 := HomalgRingOfIntegersInMAGMA( zz ) / 4; ## Z/( 4 ) ## gap> Display( Z_4 ); ## -## gap> Q := HomalgFieldOfRationalsInMAGMA( ZZ ); +## gap> Q := HomalgFieldOfRationalsInMAGMA( zz ); ## Q ## gap> Display( Q ); ## @@ -46,16 +46,16 @@ LoadPackage( "RingsForHomalg" ); Print( "~~~~~~~~~~~\n\n" ); Print( "MAGMA\n\n" ); -ZZ := HomalgRingOfIntegersInMAGMA( ); -Display( ZZ ); +zz := HomalgRingOfIntegersInMAGMA( ); +Display( zz ); -F2 := HomalgRingOfIntegersInMAGMA( 2, ZZ ); +F2 := HomalgRingOfIntegersInMAGMA( 2, zz ); Display( F2 ); -Z_4 := HomalgRingOfIntegersInMAGMA( ZZ ) / 4; +Z_4 := HomalgRingOfIntegersInMAGMA( zz ) / 4; Display( Z_4 ); -Q := HomalgFieldOfRationalsInMAGMA( ZZ ); +Q := HomalgFieldOfRationalsInMAGMA( zz ); Display( Q ); F2xyz := F2 * "x,y,z"; diff --git a/RingsForHomalg/examples/RingConstructionsMacaulay2.g b/RingsForHomalg/examples/RingConstructionsMacaulay2.g index b125f6848..572c805a1 100644 --- a/RingsForHomalg/examples/RingConstructionsMacaulay2.g +++ b/RingsForHomalg/examples/RingConstructionsMacaulay2.g @@ -3,11 +3,11 @@ ## &Macaulay2; ## ZZ := HomalgRingOfIntegersInMacaulay2( ); +## gap> zz := HomalgRingOfIntegersInMacaulay2( ); ## Z -## gap> Display( ZZ ); +## gap> Display( zz ); ## -## gap> F2 := HomalgRingOfIntegersInMacaulay2( 2, ZZ ); +## gap> F2 := HomalgRingOfIntegersInMacaulay2( 2, zz ); ## GF(2) ## gap> Display( F2 ); ## @@ -16,11 +16,11 @@ ## F2 := HomalgRingOfIntegersInMacaulay2( 2 ) would launch another Macaulay2. ## Z_4 := HomalgRingOfIntegersInMacaulay2( ZZ ) / 4; +## gap> Z_4 := HomalgRingOfIntegersInMacaulay2( zz ) / 4; ## Z/( 4 ) ## gap> Display( Z_4 ); ## -## gap> Q := HomalgFieldOfRationalsInMacaulay2( ZZ ); +## gap> Q := HomalgFieldOfRationalsInMacaulay2( zz ); ## Q ## gap> Display( Q ); ## @@ -50,16 +50,16 @@ LoadPackage( "RingsForHomalg" ); Print( "~~~~~~~~~~~\n\n" ); Print( "Macaulay2\n\n" ); -ZZ := HomalgRingOfIntegersInMacaulay2( ); -Display( ZZ ); +zz := HomalgRingOfIntegersInMacaulay2( ); +Display( zz ); -F2 := HomalgRingOfIntegersInMacaulay2( 2, ZZ ); +F2 := HomalgRingOfIntegersInMacaulay2( 2, zz ); Display( F2 ); -Z_4 := HomalgRingOfIntegersInMacaulay2( ZZ ) / 4; +Z_4 := HomalgRingOfIntegersInMacaulay2( zz ) / 4; Display( Z_4 ); -Q := HomalgFieldOfRationalsInMacaulay2( ZZ ); +Q := HomalgFieldOfRationalsInMacaulay2( zz ); Display( Q ); F2xyz := F2 * "x,y,z"; diff --git a/RingsForHomalg/examples/RingConstructionsMaple.g b/RingsForHomalg/examples/RingConstructionsMaple.g index f9546fc42..9ee682f3c 100644 --- a/RingsForHomalg/examples/RingConstructionsMaple.g +++ b/RingsForHomalg/examples/RingConstructionsMaple.g @@ -3,11 +3,11 @@ ## &Maple; ## ZZ := HomalgRingOfIntegersInMaple( ); +## gap> zz := HomalgRingOfIntegersInMaple( ); ## Z -## gap> Display( ZZ ); +## gap> Display( zz ); ## -## gap> F2 := HomalgRingOfIntegersInMaple( 2, ZZ ); +## gap> F2 := HomalgRingOfIntegersInMaple( 2, zz ); ## GF(2) ## gap> Display( F2 ); ## @@ -16,15 +16,15 @@ ## F2 := HomalgRingOfIntegersInMaple( 2 ) would launch another Maple. ## Z4 := HomalgRingOfIntegersInMaple( 4, ZZ ); +## gap> Z4 := HomalgRingOfIntegersInMaple( 4, zz ); ## Z/4Z ## gap> Display( Z4 ); ## -## gap> Z_4 := HomalgRingOfIntegersInMaple( ZZ ) / 4; +## gap> Z_4 := HomalgRingOfIntegersInMaple( zz ) / 4; ## Z/( 4 ) ## gap> Display( Z_4 ); ## -## gap> Q := HomalgFieldOfRationalsInMaple( ZZ ); +## gap> Q := HomalgFieldOfRationalsInMaple( zz ); ## Q ## gap> Display( Q ); ## @@ -54,19 +54,19 @@ LoadPackage( "RingsForHomalg" ); Print( "~~~~~~~~~~~\n\n" ); Print( "Maple\n\n" ); -ZZ := HomalgRingOfIntegersInMaple( ); -Display( ZZ ); +zz := HomalgRingOfIntegersInMaple( ); +Display( zz ); -F2 := HomalgRingOfIntegersInMaple( 2, ZZ ); +F2 := HomalgRingOfIntegersInMaple( 2, zz ); Display( F2 ); -Z4 := HomalgRingOfIntegersInMaple( 4, ZZ ); +Z4 := HomalgRingOfIntegersInMaple( 4, zz ); Display( Z4 ); -Z_4 := HomalgRingOfIntegersInMaple( ZZ ) / 4; +Z_4 := HomalgRingOfIntegersInMaple( zz ) / 4; Display( Z_4 ); -Q := HomalgFieldOfRationalsInMaple( ZZ ); +Q := HomalgFieldOfRationalsInMaple( zz ); Display( Q ); F2xyz := F2 * "x,y,z"; diff --git a/RingsForHomalg/examples/RingConstructionsSage.g b/RingsForHomalg/examples/RingConstructionsSage.g index 8da6a5985..91376892e 100644 --- a/RingsForHomalg/examples/RingConstructionsSage.g +++ b/RingsForHomalg/examples/RingConstructionsSage.g @@ -3,11 +3,11 @@ ## &Sage; ## ZZ := HomalgRingOfIntegersInSage( ); +## gap> zz := HomalgRingOfIntegersInSage( ); ## Z -## gap> Display( ZZ ); +## gap> Display( zz ); ## -## gap> F2 := HomalgRingOfIntegersInSage( 2, ZZ ); +## gap> F2 := HomalgRingOfIntegersInSage( 2, zz ); ## GF(2) ## gap> Display( F2 ); ## @@ -16,11 +16,11 @@ ## F2 := HomalgRingOfIntegersInSage( 2 ) would launch another Sage. ## Z_4 := HomalgRingOfIntegersInSage( ZZ ) / 4; +## gap> Z_4 := HomalgRingOfIntegersInSage( zz ) / 4; ## Z/( 4 ) ## gap> Display( Z_4 ); ## -## gap> Q := HomalgFieldOfRationalsInSage( ZZ ); +## gap> Q := HomalgFieldOfRationalsInSage( zz ); ## Q ## gap> Display( Q ); ## @@ -42,16 +42,16 @@ LoadPackage( "RingsForHomalg" ); Print( "~~~~~~~~~~~\n\n" ); Print( "Sage\n\n" ); -ZZ := HomalgRingOfIntegersInSage( ); -Display( ZZ ); +zz := HomalgRingOfIntegersInSage( ); +Display( zz ); -F2 := HomalgRingOfIntegersInSage( 2, ZZ ); +F2 := HomalgRingOfIntegersInSage( 2, zz ); Display( F2 ); -Z_4 := HomalgRingOfIntegersInSage( ZZ ) / 4; +Z_4 := HomalgRingOfIntegersInSage( zz ) / 4; Display( Z_4 ); -Q := HomalgFieldOfRationalsInSage( ZZ ); +Q := HomalgFieldOfRationalsInSage( zz ); Display( Q ); F2x := F2 * "x"; diff --git a/RingsForHomalg/examples/RingConstructionsSingular.g b/RingsForHomalg/examples/RingConstructionsSingular.g index 6968c4eec..b732b233d 100644 --- a/RingsForHomalg/examples/RingConstructionsSingular.g +++ b/RingsForHomalg/examples/RingConstructionsSingular.g @@ -11,9 +11,9 @@ ## GF(2)(s) ## gap> Display( F2s ); ## -## gap> ZZ := HomalgRingOfIntegersInSingular( F2 ); +## gap> zz := HomalgRingOfIntegersInSingular( F2 ); ## Z -## gap> Display( ZZ ); +## gap> Display( zz ); ## ## gap> Q := HomalgFieldOfRationalsInSingular( F2 ); ## Q @@ -48,13 +48,13 @@ ## GF(2)(s)[x,y,z][w] ## gap> Display( F2sxyzw ); ## -## gap> ZZxyz := ZZ * "x,y,z"; +## gap> zzxyz := zz * "x,y,z"; ## Z[x,y,z] -## gap> Display( ZZxyz ); +## gap> Display( zzxyz ); ## -## gap> ZZxyzw := ZZxyz * "w"; +## gap> zzxyzw := zzxyz * "w"; ## Z[x,y,z][w] -## gap> Display( ZZxyzw ); +## gap> Display( zzxyzw ); ## ## gap> Qxyz := Q * "x,y,z"; ## Q[x,y,z] @@ -122,8 +122,8 @@ Display( F2 ); F2s := HomalgRingOfIntegersInSingular( 2, "s", F2 ); Display( F2s ); -ZZ := HomalgRingOfIntegersInSingular( F2 ); -Display( ZZ ); +zz := HomalgRingOfIntegersInSingular( F2 ); +Display( zz ); Q := HomalgFieldOfRationalsInSingular( F2 ); Display( Q ); @@ -146,11 +146,11 @@ Display( F2xyzw ); F2sxyzw := F2sxyz * "w"; Display( F2sxyzw ); -ZZxyz := ZZ * "x,y,z"; -Display( ZZxyz ); +ZZxyz := zz * "x,y,z"; +Display( zzxyz ); -ZZxyzw := ZZxyz * "w"; -Display( ZZxyzw ); +ZZxyzw := zzxyz * "w"; +Display( zzxyzw ); Qxyz := Q * "x,y,z"; Display( Qxyz ); diff --git a/RingsForHomalg/examples/gap_ZZ.g b/RingsForHomalg/examples/gap_ZZ.g index 63d62f4ae..448163d27 100644 --- a/RingsForHomalg/examples/gap_ZZ.g +++ b/RingsForHomalg/examples/gap_ZZ.g @@ -1,6 +1,6 @@ ReadPackage( "RingsForHomalg", "examples/homalg.g" ); LoadPackage( "RingsForHomalg" ); -ZZ := HomalgRingOfIntegersInExternalGAP( ); -Display( ZZ ); -wmat := imat * ZZ; +zz := HomalgRingOfIntegersInExternalGAP( ); +Display( zz ); +wmat := imat * zz; W := LeftPresentation( wmat ); diff --git a/RingsForHomalg/examples/magma_ZZ.g b/RingsForHomalg/examples/magma_ZZ.g index 33a13b576..ff93b7404 100644 --- a/RingsForHomalg/examples/magma_ZZ.g +++ b/RingsForHomalg/examples/magma_ZZ.g @@ -1,6 +1,6 @@ ReadPackage( "RingsForHomalg", "examples/homalg.g" ); LoadPackage( "RingsForHomalg" ); -ZZ := HomalgRingOfIntegersInMAGMA( ); -Display( ZZ ); -wmat := imat * ZZ; +zz := HomalgRingOfIntegersInMAGMA( ); +Display( zz ); +wmat := imat * zz; W := LeftPresentation( wmat ); diff --git a/RingsForHomalg/examples/maple_ZZ.g b/RingsForHomalg/examples/maple_ZZ.g index 71c19329d..f512f7ae2 100644 --- a/RingsForHomalg/examples/maple_ZZ.g +++ b/RingsForHomalg/examples/maple_ZZ.g @@ -1,6 +1,6 @@ ReadPackage( "RingsForHomalg", "examples/homalg.g" ); LoadPackage( "RingsForHomalg" ); -ZZ := HomalgRingOfIntegersInMaple( ); -Display( ZZ ); -wmat := imat * ZZ; +zz := HomalgRingOfIntegersInMaple( ); +Display( zz ); +wmat := imat * zz; W := LeftPresentation( wmat ); diff --git a/RingsForHomalg/examples/sage_ZZ.g b/RingsForHomalg/examples/sage_ZZ.g index a6785ed9f..232e7e82f 100644 --- a/RingsForHomalg/examples/sage_ZZ.g +++ b/RingsForHomalg/examples/sage_ZZ.g @@ -1,6 +1,6 @@ ReadPackage( "RingsForHomalg", "examples/homalg.g" ); LoadPackage( "RingsForHomalg" ); -ZZ := HomalgRingOfIntegersInSage( ); -Display( ZZ ); -wmat := imat * ZZ; +zz := HomalgRingOfIntegersInSage( ); +Display( zz ); +wmat := imat * zz; W := LeftPresentation( wmat ); diff --git a/RingsForHomalg/gap/GAPHomalg.gi b/RingsForHomalg/gap/GAPHomalg.gi index 48c9d6de1..d6885b42f 100644 --- a/RingsForHomalg/gap/GAPHomalg.gi +++ b/RingsForHomalg/gap/GAPHomalg.gi @@ -221,9 +221,9 @@ InstallMethod( FieldOfFractions, "for homalg rings in GAP", [ IsHomalgExternalRingInGAPRep and IsIntegersForHomalg ], - function( ZZ ) + function( zz ) - return HomalgFieldOfRationalsInExternalGAP( ZZ ); + return HomalgFieldOfRationalsInExternalGAP( zz ); end ); diff --git a/RingsForHomalg/gap/MAGMA.gi b/RingsForHomalg/gap/MAGMA.gi index b97e92fea..3582b588d 100644 --- a/RingsForHomalg/gap/MAGMA.gi +++ b/RingsForHomalg/gap/MAGMA.gi @@ -695,9 +695,9 @@ InstallMethod( FieldOfFractions, "for homalg rings in MAGMA", [ IsHomalgExternalRingInMAGMARep and IsIntegersForHomalg ], - function( ZZ ) + function( zz ) - return HomalgFieldOfRationalsInMAGMA( ZZ ); + return HomalgFieldOfRationalsInMAGMA( zz ); end ); diff --git a/RingsForHomalg/gap/Macaulay2.gi b/RingsForHomalg/gap/Macaulay2.gi index adfc51c47..5663a4a08 100644 --- a/RingsForHomalg/gap/Macaulay2.gi +++ b/RingsForHomalg/gap/Macaulay2.gi @@ -425,9 +425,9 @@ InstallMethod( FieldOfFractions, "for homalg rings in Macaulay2", [ IsHomalgExternalRingInMacaulay2Rep and IsIntegersForHomalg ], - function( ZZ ) + function( zz ) - return HomalgFieldOfRationalsInMacaulay2( ZZ ); + return HomalgFieldOfRationalsInMacaulay2( zz ); end ); diff --git a/RingsForHomalg/gap/MapleHomalg.gi b/RingsForHomalg/gap/MapleHomalg.gi index e2f1795ca..912ad102d 100644 --- a/RingsForHomalg/gap/MapleHomalg.gi +++ b/RingsForHomalg/gap/MapleHomalg.gi @@ -857,9 +857,9 @@ InstallMethod( FieldOfFractions, "for homalg rings in Maple", [ IsHomalgExternalRingInMapleRep and IsIntegersForHomalg ], - function( ZZ ) + function( zz ) - return HomalgFieldOfRationalsInMaple( ZZ ); + return HomalgFieldOfRationalsInMaple( zz ); end ); diff --git a/RingsForHomalg/gap/Oscar.gi b/RingsForHomalg/gap/Oscar.gi index d26de1080..bd641c8da 100644 --- a/RingsForHomalg/gap/Oscar.gi +++ b/RingsForHomalg/gap/Oscar.gi @@ -873,9 +873,9 @@ end ); ## InstallGlobalFunction( HomalgRingOfIntegersInOscar, function( arg ) - local ZZ, nargs, c, d, param, minimal_polynomial, r, R, RP; + local zz, nargs, c, d, param, minimal_polynomial, r, R, RP; - ZZ := "Singular.ZZ"; + zz := "Singular.ZZ"; nargs := Length( arg ); @@ -933,10 +933,10 @@ InstallGlobalFunction( HomalgRingOfIntegersInOscar, else if not IsZero( c ) then - ZZ := Concatenation( "Singular.FiniteField(", String( c ), ", 1, \"Zc_1\")[1]" ); + zz := Concatenation( "Singular.FiniteField(", String( c ), ", 1, \"Zc_1\")[1]" ); fi; - R := Concatenation( "Singular.PolynomialRing(", ZZ, ", [\"dummy_variable\"])" ); + R := Concatenation( "Singular.PolynomialRing(", zz, ", [\"dummy_variable\"])" ); R := Concatenation( [ R ], [ [ "" ] ], [ [ ", dummy_variable" ] ], [ IsPrincipalIdealRing ], arg ); fi; @@ -963,7 +963,7 @@ InstallGlobalFunction( HomalgRingOfIntegersInOscar, R := CallFuncList( RingForHomalgInOscar, R ); - R!.RingWithoutDummyVariable := ZZ; + R!.RingWithoutDummyVariable := zz; if IsBound( param ) then @@ -1112,9 +1112,9 @@ InstallMethod( FieldOfFractions, "for homalg rings in Oscar", [ IsHomalgExternalRingInOscarRep and IsIntegersForHomalg ], - function( ZZ ) + function( zz ) - return HomalgFieldOfRationalsInOscar( ZZ ); + return HomalgFieldOfRationalsInOscar( zz ); end ); diff --git a/RingsForHomalg/gap/Sage.gi b/RingsForHomalg/gap/Sage.gi index ecc10a191..677ea43eb 100644 --- a/RingsForHomalg/gap/Sage.gi +++ b/RingsForHomalg/gap/Sage.gi @@ -212,9 +212,9 @@ InstallMethod( FieldOfFractions, "for homalg rings in Sage", [ IsHomalgExternalRingInSageRep and IsIntegersForHomalg ], - function( ZZ ) + function( zz ) - return HomalgFieldOfRationalsInSage( ZZ ); + return HomalgFieldOfRationalsInSage( zz ); end ); diff --git a/RingsForHomalg/gap/Singular.gi b/RingsForHomalg/gap/Singular.gi index 0c2f2e1a2..63883a0d6 100644 --- a/RingsForHomalg/gap/Singular.gi +++ b/RingsForHomalg/gap/Singular.gi @@ -1432,9 +1432,9 @@ InstallMethod( FieldOfFractions, "for homalg rings in Singular", [ IsHomalgExternalRingInSingularRep and IsIntegersForHomalg ], - function( ZZ ) + function( zz ) - return HomalgFieldOfRationalsInSingular( ZZ ); + return HomalgFieldOfRationalsInSingular( zz ); end ); diff --git a/homalg/PackageInfo.g b/homalg/PackageInfo.g index 7a1476a70..b319e6464 100644 --- a/homalg/PackageInfo.g +++ b/homalg/PackageInfo.g @@ -11,7 +11,7 @@ SetPackageInfo( rec( PackageName := "homalg", Subtitle := "A homological algebra meta-package for computable Abelian categories", -Version := "2023.08-01", +Version := "2023.08-02", 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/homalg/examples/ExtExt.g b/homalg/examples/ExtExt.g index cac067c50..10391ea11 100644 --- a/homalg/examples/ExtExt.g +++ b/homalg/examples/ExtExt.g @@ -3,7 +3,7 @@ ## ExtExt ## This corresponds to Example B.2 in . ## ZZ := HomalgRingOfIntegers( ); +## gap> zz := HomalgRingOfIntegers( ); ## Z ## gap> imat := HomalgMatrix( "[ \ ## > 262, -33, 75, -40, \ @@ -11,15 +11,15 @@ ## > 1186, -151, 341, -180, \ ## > -1932, 248, -556, 292, \ ## > 1018, -127, 293, -156 \ -## > ]", 5, 4, ZZ ); +## > ]", 5, 4, zz ); ## ## gap> M := LeftPresentation( imat ); ## -## gap> N := Hom( ZZ, M ); +## gap> N := Hom( zz, M ); ## ## gap> F := InsertObjectInMultiFunctor( Functor_Hom_for_fp_modules, 2, N, "TensorN" ); ## -## gap> G := LeftDualizingFunctor( ZZ );; +## gap> G := LeftDualizingFunctor( zz );; ## gap> II_E := GrothendieckSpectralSequence( F, G, M ); ## ## 0 -> M_=&ZZ;/2^2&ZZ; --alpha_1--> M=&ZZ;/2^5&ZZ; --alpha_2--> \_M=&ZZ;/2^3&ZZ; -> 0. ## ZZ := HomalgRingOfIntegers( ); +## gap> zz := HomalgRingOfIntegers( ); ## Z -## gap> Display( ZZ ); +## gap> Display( zz ); ## -## gap> R := ZZ / 2^8; +## gap> R := zz / 2^8; ## ## gap> Display( R ); ## Z/( 256 ) @@ -236,8 +236,8 @@ LoadPackage( "Modules" ); LoadPackage( "Modules" ); -ZZ := HomalgRingOfIntegers( ); -R := ZZ / 2^8; +zz := HomalgRingOfIntegers( ); +R := zz / 2^8; M := LeftPresentation( [ 2^5 ], R ); _M := LeftPresentation( [ 2^3 ], R ); diff --git a/homalg/examples/LTensorProduct_Z.g b/homalg/examples/LTensorProduct_Z.g index e124a2046..4e970362c 100644 --- a/homalg/examples/LTensorProduct_Z.g +++ b/homalg/examples/LTensorProduct_Z.g @@ -1,15 +1,15 @@ ## <#GAPDoc Label="LTensorProduct_Z"> ## ZZ := HomalgRingOfIntegers( ); +## gap> zz := HomalgRingOfIntegers( ); ## Z -## gap> m := HomalgMatrix( [ [ 8, 0 ], [ 0, 2 ] ], ZZ );; +## gap> m := HomalgMatrix( [ [ 8, 0 ], [ 0, 2 ] ], zz );; ## gap> M := LeftPresentation( m ); ## ## gap> Display( M ); ## Z/< 8 > + Z/< 2 > ## gap> M; ## -## gap> a := HomalgMatrix( [ [ 2, 0 ] ], ZZ );; +## gap> a := HomalgMatrix( [ [ 2, 0 ] ], zz );; ## gap> alpha := HomalgMap( a, "free", M ); ## ## gap> pi := CokernelEpi( alpha ); @@ -117,10 +117,10 @@ ## <#/GAPDoc> LoadPackage( "Modules" ); -ZZ := HomalgRingOfIntegers( ); -m := HomalgMatrix( [ [ 8, 0 ], [ 0, 2 ] ], ZZ ); +zz := HomalgRingOfIntegers( ); +m := HomalgMatrix( [ [ 8, 0 ], [ 0, 2 ] ], zz ); M := LeftPresentation( m ); -a := HomalgMatrix( [ [ 2, 0 ] ], ZZ ); +a := HomalgMatrix( [ [ 2, 0 ] ], zz ); alpha := HomalgMap( a, "free", M ); pi := CokernelEpi( alpha ); iota := KernelEmb( pi ); diff --git a/homalg/examples/Purity.g b/homalg/examples/Purity.g index 3274ec27d..a66902589 100644 --- a/homalg/examples/Purity.g +++ b/homalg/examples/Purity.g @@ -3,7 +3,7 @@ ## Purity ## This corresponds to Example B.3 in . ## ZZ := HomalgRingOfIntegers( ); +## gap> zz := HomalgRingOfIntegers( ); ## Z ## gap> imat := HomalgMatrix( "[ \ ## > 262, -33, 75, -40, \ @@ -11,7 +11,7 @@ ## > 1186, -151, 341, -180, \ ## > -1932, 248, -556, 292, \ ## > 1018, -127, 293, -156 \ -## > ]", 5, 4, ZZ ); +## > ]", 5, 4, zz ); ## ## gap> M := LeftPresentation( imat ); ## diff --git a/homalg/examples/RHom_Z.g b/homalg/examples/RHom_Z.g index 400d1f7ac..3f05e6ee0 100644 --- a/homalg/examples/RHom_Z.g +++ b/homalg/examples/RHom_Z.g @@ -1,15 +1,15 @@ ## <#GAPDoc Label="RHom_Z"> ## ZZ := HomalgRingOfIntegers( ); +## gap> zz := HomalgRingOfIntegers( ); ## Z -## gap> m := HomalgMatrix( [ [ 8, 0 ], [ 0, 2 ] ], ZZ );; +## gap> m := HomalgMatrix( [ [ 8, 0 ], [ 0, 2 ] ], zz );; ## gap> M := LeftPresentation( m ); ## ## gap> Display( M ); ## Z/< 8 > + Z/< 2 > ## gap> M; ## -## gap> a := HomalgMatrix( [ [ 2, 0 ] ], ZZ );; +## gap> a := HomalgMatrix( [ [ 2, 0 ] ], zz );; ## gap> alpha := HomalgMap( a, "free", M ); ## ## gap> pi := CokernelEpi( alpha ); @@ -117,10 +117,10 @@ ## <#/GAPDoc> LoadPackage( "Modules" ); -ZZ := HomalgRingOfIntegers( ); -m := HomalgMatrix( [ [ 8, 0 ], [ 0, 2 ] ], ZZ ); +zz := HomalgRingOfIntegers( ); +m := HomalgMatrix( [ [ 8, 0 ], [ 0, 2 ] ], zz ); M := LeftPresentation( m ); -a := HomalgMatrix( [ [ 2, 0 ] ], ZZ ); +a := HomalgMatrix( [ [ 2, 0 ] ], zz ); alpha := HomalgMap( a, "free", M ); pi := CokernelEpi( alpha ); iota := KernelEmb( pi ); diff --git a/homalg/examples/Saturate.g b/homalg/examples/Saturate.g index fffbf2378..351159e65 100644 --- a/homalg/examples/Saturate.g +++ b/homalg/examples/Saturate.g @@ -1,16 +1,16 @@ ## <#GAPDoc Label="Saturate:example"> ## ZZ := HomalgRingOfIntegers( ); +## gap> zz := HomalgRingOfIntegers( ); ## Z -## gap> Display( ZZ ); +## gap> Display( zz ); ## -## gap> m := LeftSubmodule( "2", ZZ ); +## gap> m := LeftSubmodule( "2", zz ); ## ## gap> Display( m ); ## [ [ 2 ] ] ## ## A (left) ideal generated by the entry of the above matrix -## gap> J := LeftSubmodule( "3", ZZ ); +## gap> J := LeftSubmodule( "3", zz ); ## ## gap> Display( J ); ## [ [ 3 ] ] @@ -41,11 +41,11 @@ LoadPackage( "Modules" ); -ZZ := HomalgRingOfIntegers( ); +zz := HomalgRingOfIntegers( ); -m := LeftSubmodule( "2", ZZ ); +m := LeftSubmodule( "2", zz ); -J := LeftSubmodule( "3", ZZ ); +J := LeftSubmodule( "3", zz ); I := Intersect( J, m^3 ); diff --git a/homalg/examples/TorExt.g b/homalg/examples/TorExt.g index 5094ae48c..a1325b162 100644 --- a/homalg/examples/TorExt.g +++ b/homalg/examples/TorExt.g @@ -3,7 +3,7 @@ ## TorExt ## This corresponds to Example B.6 in . ## ZZ := HomalgRingOfIntegers( ); +## gap> zz := HomalgRingOfIntegers( ); ## Z ## gap> imat := HomalgMatrix( "[ \ ## > 262, -33, 75, -40, \ @@ -11,7 +11,7 @@ ## > 1186, -151, 341, -180, \ ## > -1932, 248, -556, 292, \ ## > 1018, -127, 293, -156 \ -## > ]", 5, 4, ZZ ); +## > ]", 5, 4, zz ); ## ## gap> M := LeftPresentation( imat ); ## diff --git a/homalg/examples/TorExt_Grothendieck.g b/homalg/examples/TorExt_Grothendieck.g index 2d6da48fe..ee8d4e6e3 100644 --- a/homalg/examples/TorExt_Grothendieck.g +++ b/homalg/examples/TorExt_Grothendieck.g @@ -3,7 +3,7 @@ ## TorExt-Grothendieck ## This corresponds to Example B.5 in . ## ZZ := HomalgRingOfIntegers( ); +## gap> zz := HomalgRingOfIntegers( ); ## Z ## gap> imat := HomalgMatrix( "[ \ ## > 262, -33, 75, -40, \ @@ -11,13 +11,13 @@ ## > 1186, -151, 341, -180, \ ## > -1932, 248, -556, 292, \ ## > 1018, -127, 293, -156 \ -## > ]", 5, 4, ZZ ); +## > ]", 5, 4, zz ); ## ## gap> M := LeftPresentation( imat ); ## ## gap> F := InsertObjectInMultiFunctor( Functor_TensorProduct_for_fp_modules, 2, M, "TensorM" ); ## -## gap> G := LeftDualizingFunctor( ZZ );; +## gap> G := LeftDualizingFunctor( zz );; ## gap> II_E := GrothendieckSpectralSequence( F, G, M ); ## ## ZZ := HomalgRingOfIntegers( ); +## gap> zz := HomalgRingOfIntegers( ); ## Z -## gap> M := 2 * ZZ; +## gap> M := 2 * zz; ## ## gap> a := HomalgModuleElement( "[ 6, 0 ]", M ); ## ( 6, 0 ) -## gap> N := Subobject( HomalgMap( "[ 2, 0 ]", 1 * ZZ, M ) ); +## gap> N := Subobject( HomalgMap( "[ 2, 0 ]", 1 * zz, M ) ); ## -## gap> K := Subobject( HomalgMap( "[ 4, 0 ]", 1 * ZZ, M ) ); +## gap> K := Subobject( HomalgMap( "[ 4, 0 ]", 1 * zz, M ) ); ## ## gap> a in M; ## true @@ -20,19 +20,19 @@ ## false ## gap> a in UnderlyingObject( K ); ## false -## gap> a in 3 * ZZ; +## gap> a in 3 * zz; ## false ## ]]> ## <#/GAPDoc> LoadPackage( "Modules" ); -ZZ := HomalgRingOfIntegers( ); -M := 2 * ZZ; +zz := HomalgRingOfIntegers( ); +M := 2 * zz; a := HomalgModuleElement( "[ 6, 0 ]", M ); -N := Subobject( HomalgMap( "[ 2, 0 ]", 1 * ZZ, M ) ); -L := Subobject( HomalgMap( "[ 3, 0 ]", 1 * ZZ, M ) ); -K := Subobject( HomalgMap( "[ 4, 0 ]", 1 * ZZ, M ) ); +N := Subobject( HomalgMap( "[ 2, 0 ]", 1 * zz, M ) ); +L := Subobject( HomalgMap( "[ 3, 0 ]", 1 * zz, M ) ); +K := Subobject( HomalgMap( "[ 4, 0 ]", 1 * zz, M ) ); Assert( 0, a in M ); Assert( 0, a in N ); @@ -41,4 +41,4 @@ Assert( 0, a in L ); Assert( 0, a in UnderlyingObject( L ) ); Assert( 0, not a in K ); Assert( 0, not a in UnderlyingObject( K ) ); -Assert( 0, not a in 3 * ZZ ); +Assert( 0, not a in 3 * zz ); diff --git a/homalg/gap/HomalgBicomplex.gi b/homalg/gap/HomalgBicomplex.gi index 839392b14..7a8beb120 100644 --- a/homalg/gap/HomalgBicomplex.gi +++ b/homalg/gap/HomalgBicomplex.gi @@ -733,9 +733,9 @@ end ); ## (&see; ). ## Using the usual sign-trick a complex of complexes gives rise to a bicomplex and vice versa. ## ZZ := HomalgRingOfIntegers( ); +## gap> zz := HomalgRingOfIntegers( ); ## Z -## gap> M := HomalgMatrix( "[ 2, 3, 4, 5, 6, 7 ]", 2, 3, ZZ ); +## gap> M := HomalgMatrix( "[ 2, 3, 4, 5, 6, 7 ]", 2, 3, zz ); ## ## gap> M := LeftPresentation( M ); ## diff --git a/homalg/gap/HomalgBigradedObject.gi b/homalg/gap/HomalgBigradedObject.gi index 3b91c6f1e..ad4eb0ccd 100644 --- a/homalg/gap/HomalgBigradedObject.gi +++ b/homalg/gap/HomalgBigradedObject.gi @@ -383,9 +383,9 @@ end ); ## the bicomplex B. So it is the double array of &homalg; objects (i.e. static objects or complexes) in B ## forgetting the morphisms. ## ZZ := HomalgRingOfIntegers( ); +## gap> zz := HomalgRingOfIntegers( ); ## Z -## gap> M := HomalgMatrix( "[ 2, 3, 4, 5, 6, 7 ]", 2, 3, ZZ );; +## gap> M := HomalgMatrix( "[ 2, 3, 4, 5, 6, 7 ]", 2, 3, zz );; ## gap> M := LeftPresentation( M ); ## ## gap> d := Resolution( M );; @@ -630,9 +630,9 @@ end ); ## a spot (p,q)) is called stable if no passage to a true subquotient occurs at any higher level. ## Of course, a zero object (at a spot (p,q)) is always stable. ## ZZ := HomalgRingOfIntegers( ); +## gap> zz := HomalgRingOfIntegers( ); ## Z -## gap> M := HomalgMatrix( "[ 2, 3, 4, 5, 6, 7 ]", 2, 3, ZZ );; +## gap> M := HomalgMatrix( "[ 2, 3, 4, 5, 6, 7 ]", 2, 3, zz );; ## gap> M := LeftPresentation( M ); ## ## gap> d := Resolution( M );; diff --git a/homalg/gap/HomalgChainMorphism.gi b/homalg/gap/HomalgChainMorphism.gi index bcf8d00be..a00a05c37 100644 --- a/homalg/gap/HomalgChainMorphism.gi +++ b/homalg/gap/HomalgChainMorphism.gi @@ -1138,25 +1138,25 @@ end ); ## The following examples shows a chain morphism that induces the zero morphism on homology, but is itself not zero ## in the derived category: ## ZZ := HomalgRingOfIntegers( ); +## gap> zz := HomalgRingOfIntegers( ); ## Z -## gap> M := 1 * ZZ; +## gap> M := 1 * zz; ## ## gap> Display( M ); ## Z^(1 x 1) -## gap> N := HomalgMatrix( "[3]", 1, 1, ZZ );; +## gap> N := HomalgMatrix( "[3]", 1, 1, zz );; ## gap> N := LeftPresentation( N ); ## ## gap> Display( N ); ## Z/< 3 > -## gap> a := HomalgMap( HomalgMatrix( "[2]", 1, 1, ZZ ), M, M ); +## gap> a := HomalgMap( HomalgMatrix( "[2]", 1, 1, zz ), M, M ); ## -## gap> c := HomalgMap( HomalgMatrix( "[2]", 1, 1, ZZ ), M, N ); +## gap> c := HomalgMap( HomalgMatrix( "[2]", 1, 1, zz ), M, N ); ## -## gap> b := HomalgMap( HomalgMatrix( "[1]", 1, 1, ZZ ), M, M ); +## gap> b := HomalgMap( HomalgMatrix( "[1]", 1, 1, zz ), M, M ); ## -## gap> d := HomalgMap( HomalgMatrix( "[1]", 1, 1, ZZ ), M, N ); +## gap> d := HomalgMap( HomalgMatrix( "[1]", 1, 1, zz ), M, N ); ## ## gap> C1 := HomalgComplex( a ); ## NumberColumns(mat) (resp. NumberRows(mat)). For this NumberRows(mat) ## (resp. Columns(mat)) must coincide with the NrGenerators(C^d). ## ZZ := HomalgRingOfIntegers( ); +## gap> zz := HomalgRingOfIntegers( ); ## Z -## gap> mat := HomalgMatrix( "[ 0, 1, 0, 0 ]", 2, 2, ZZ ); +## gap> mat := HomalgMatrix( "[ 0, 1, 0, 0 ]", 2, 2, zz ); ## ## gap> phi := HomalgMap( mat ); ## @@ -1422,13 +1422,13 @@ end ); ## ]]> ## This method performs side effects on its argument C and returns it. ## ZZ := HomalgRingOfIntegers( ); +## gap> zz := HomalgRingOfIntegers( ); ## Z -## gap> M := HomalgMatrix( "[ 2, 3, 4, 5, 6, 7 ]", 2, 3, ZZ ); +## gap> M := HomalgMatrix( "[ 2, 3, 4, 5, 6, 7 ]", 2, 3, zz ); ## ## gap> M := LeftPresentation( M ); ## -## gap> N := HomalgMatrix( "[ 2, 3, 4, 5, 6, 7, 8, 9 ]", 2, 4, ZZ ); +## gap> N := HomalgMatrix( "[ 2, 3, 4, 5, 6, 7, 8, 9 ]", 2, 4, zz ); ## ## gap> N := LeftPresentation( N ); ## @@ -1436,7 +1436,7 @@ end ); ## > 0, 3, 6, 9, \ ## > 0, 2, 4, 6, \ ## > 0, 3, 6, 9 \ -## > ]", 3, 4, ZZ ); +## > ]", 3, 4, zz ); ## ## gap> phi := HomalgMap( mat, M, N ); ## @@ -1546,13 +1546,13 @@ end ); ## If d is not provided it defaults to zero in all cases.
## To add a morphism (resp. (co)chain morphism) to a complex use . ## ZZ := HomalgRingOfIntegers( ); +## gap> zz := HomalgRingOfIntegers( ); ## Z -## gap> M := HomalgMatrix( "[ 2, 3, 4, 5, 6, 7 ]", 2, 3, ZZ ); +## gap> M := HomalgMatrix( "[ 2, 3, 4, 5, 6, 7 ]", 2, 3, zz ); ## ## gap> M := LeftPresentation( M ); ## -## gap> N := HomalgMatrix( "[ 2, 3, 4, 5, 6, 7, 8, 9 ]", 2, 4, ZZ ); +## gap> N := HomalgMatrix( "[ 2, 3, 4, 5, 6, 7, 8, 9 ]", 2, 4, zz ); ## ## gap> N := LeftPresentation( N ); ## @@ -1560,7 +1560,7 @@ end ); ## > 0, 3, 6, 9, \ ## > 0, 2, 4, 6, \ ## > 0, 3, 6, 9 \ -## > ]", 3, 4, ZZ ); +## > ]", 3, 4, zz ); ## ## gap> phi := HomalgMap( mat, M, N ); ## @@ -1712,13 +1712,13 @@ end ); ## If d is not provided it defaults to zero in all cases.
## To add a morphism (resp. (co)chain morphism) to a cocomplex use . ## ZZ := HomalgRingOfIntegers( ); +## gap> zz := HomalgRingOfIntegers( ); ## Z -## gap> M := HomalgMatrix( "[ 2, 3, 4, 5, 6, 7 ]", 2, 3, ZZ ); +## gap> M := HomalgMatrix( "[ 2, 3, 4, 5, 6, 7 ]", 2, 3, zz ); ## ## gap> M := RightPresentation( Involution( M ) ); ## -## gap> N := HomalgMatrix( "[ 2, 3, 4, 5, 6, 7, 8, 9 ]", 2, 4, ZZ ); +## gap> N := HomalgMatrix( "[ 2, 3, 4, 5, 6, 7, 8, 9 ]", 2, 4, zz ); ## ## gap> N := RightPresentation( Involution( N ) ); ## @@ -1726,7 +1726,7 @@ end ); ## > 0, 3, 6, 9, \ ## > 0, 2, 4, 6, \ ## > 0, 3, 6, 9 \ -## > ]", 3, 4, ZZ ); +## > ]", 3, 4, zz ); ## ## gap> phi := HomalgMap( Involution( mat ), M, N ); ## diff --git a/homalg/gap/HomalgFunctor.gd b/homalg/gap/HomalgFunctor.gd index 445ae88bb..5ccea8500 100644 --- a/homalg/gap/HomalgFunctor.gd +++ b/homalg/gap/HomalgFunctor.gd @@ -94,9 +94,9 @@ DeclareAttribute( "OperationOfFunctor", ## ]]> ## InsertObjectInMultiFunctor: ## ZZ := HomalgRingOfIntegers( ); +## gap> zz := HomalgRingOfIntegers( ); ## Z -## gap> LeftDualizingFunctor( ZZ, "ZZ_Hom" ); +## gap> LeftDualizingFunctor( zz, "ZZ_Hom" ); ## ## gap> Functor_ZZ_Hom_for_fp_modules; ## got automatically defined ## @@ -106,7 +106,7 @@ DeclareAttribute( "OperationOfFunctor", ## [ "InsertObjectInMultiFunctor", ## , 2, ## ] -## gap> 1 * ZZ; +## gap> 1 * zz; ## ## ]]> ## LeftDerivedFunctor: diff --git a/homalg/gap/HomalgFunctor.gi b/homalg/gap/HomalgFunctor.gi index 21956b09b..00fcfa4de 100644 --- a/homalg/gap/HomalgFunctor.gi +++ b/homalg/gap/HomalgFunctor.gi @@ -6377,11 +6377,11 @@ end ); ## The constructor automatically invokes which installs several necessary operations ## under the name H. ## ZZ := HomalgRingOfIntegers( ); +## gap> zz := HomalgRingOfIntegers( ); ## Z -## gap> ZZ * 1; +## gap> zz * 1; ## -## gap> InsertObjectInMultiFunctor( Functor_Hom_for_fp_modules, 2, ZZ * 1, "Hom_ZZ" ); +## gap> InsertObjectInMultiFunctor( Functor_Hom_for_fp_modules, 2, zz * 1, "Hom_ZZ" ); ## ## gap> Functor_Hom_ZZ_for_fp_modules; ## got automatically defined ## diff --git a/homalg/gap/HomalgMorphism.gi b/homalg/gap/HomalgMorphism.gi index 8c14fe62d..c921ef9d7 100644 --- a/homalg/gap/HomalgMorphism.gi +++ b/homalg/gap/HomalgMorphism.gi @@ -339,13 +339,13 @@ end ); ## ]]> ## This method performs side effects on its argument phi and returns it. ## ZZ := HomalgRingOfIntegers( ); +## gap> zz := HomalgRingOfIntegers( ); ## Z -## gap> M := HomalgMatrix( "[ 2, 3, 4, 5, 6, 7 ]", 2, 3, ZZ ); +## gap> M := HomalgMatrix( "[ 2, 3, 4, 5, 6, 7 ]", 2, 3, zz ); ## ## gap> M := LeftPresentation( M ); ## -## gap> N := HomalgMatrix( "[ 2, 3, 4, 5, 6, 7, 8, 9 ]", 2, 4, ZZ ); +## gap> N := HomalgMatrix( "[ 2, 3, 4, 5, 6, 7, 8, 9 ]", 2, 4, zz ); ## ## gap> N := LeftPresentation( N ); ## @@ -353,7 +353,7 @@ end ); ## > 1, 0, -2, -4, \ ## > 0, 1, 4, 7, \ ## > 1, 0, -2, -4 \ -## > ]", 3, 4, ZZ ); +## > ]", 3, 4, zz ); ## ## gap> phi := HomalgMap( mat, M, N ); ## diff --git a/homalg/gap/HomalgSpectralSequence.gi b/homalg/gap/HomalgSpectralSequence.gi index 7f2163703..6c93f654a 100644 --- a/homalg/gap/HomalgSpectralSequence.gi +++ b/homalg/gap/HomalgSpectralSequence.gi @@ -727,9 +727,9 @@ end ); ##

## The following example demonstrates the computation of a Tor-Ext spectral sequence: ## ZZ := HomalgRingOfIntegers( ); +## gap> zz := HomalgRingOfIntegers( ); ## Z -## gap> M := HomalgMatrix( "[ 2, 3, 4, 5, 6, 7 ]", 2, 3, ZZ );; +## gap> M := HomalgMatrix( "[ 2, 3, 4, 5, 6, 7 ]", 2, 3, zz );; ## gap> M := LeftPresentation( M ); ## ## gap> dM := Resolution( M );