Merge pull request #591 from mohamed-barakat/devel

renamed variable ZZ -> zz in the tested documentation examples

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",
 

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 );
 

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 );
 

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 );
 

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 );
 

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 );
 

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 );

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 );

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 );

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",
 

LocalizeRingForHomalg/examples/QuickstartZ.g

@@ -14,9 +14,9 @@
 ##  <Example>
 ##    <![CDATA[
 ##  gap> LoadPackage( "LocalizeRingForHomalg" );;
-##  gap> ZZ := HomalgRingOfIntegers(  );
+##  gap> zz := HomalgRingOfIntegers(  );
 ##  Z
-##  gap> R := LocalizeAt( ZZ , [ 2 ] );
+##  gap> R := LocalizeAt( zz , [ 2 ] );
 ##  Z_< 2 >
 ##  gap> Display( R );
 ##  <A local ring>
@@ -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 ) );

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",
 

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 );
 

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 ) );

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;
 

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 );
 

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 ] );

MatricesForHomalg/gap/HomalgMatrix.gd

@@ -90,11 +90,11 @@ DeclareFilter( "IsVoidMatrix",
 ##      Check if the &homalg; matrix <A>A</A> is a zero matrix, taking possible ring relations into account.<P/>
 ##      (for the installed standard method see <Ref Meth="IsZeroMatrix" Label="homalgTable entry"/>)
 ##      <Example><![CDATA[
-##  gap> ZZ := HomalgRingOfIntegers( );
+##  gap> zz := HomalgRingOfIntegers( );
 ##  Z
-##  gap> A := HomalgMatrix( "[ 2 ]", ZZ );
+##  gap> A := HomalgMatrix( "[ 2 ]", zz );
 ##  <A 1 x 1 matrix over an internal ring>
-##  gap> Z2 := ZZ / 2;
+##  gap> Z2 := zz / 2;
 ##  Z/( 2 )
 ##  gap> A := Z2 * A;
 ##  <A 1 x 1 matrix over a residue class ring>