Merge pull request #1788 from kamalsaleh/master

Few improvements & preperations for translating `(Additive/Linear)ClosuresForCAP` to Julia

Author: mohamed-barakat

AdditiveClosuresForCAP/PackageInfo.g

@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "AdditiveClosuresForCAP",
 Subtitle := "Additive closures for pre-abelian categories",
-Version := "2025.07-05",
+Version := "2025.08-01",
 Date := (function ( ) if IsBound( GAPInfo.SystemEnvironment.GAP_PKG_RELEASE_DATE ) then return GAPInfo.SystemEnvironment.GAP_PKG_RELEASE_DATE; else return Concatenation( ~.Version{[ 1 .. 4 ]}, "-", ~.Version{[ 6, 7 ]}, "-01" ); fi; end)( ),
 License := "GPL-2.0-or-later",
 

AdditiveClosuresForCAP/examples/CategoryOfColumns.g

@@ -181,6 +181,7 @@ Display( proj2 );
 #! @Example
 k := WeakKernelEmbedding( proj1 );
 #! <A morphism in Columns( Z )>
+# drop_example_in_Julia
 #! @EndExample
 
 #! @Log
@@ -202,6 +203,7 @@ Display( k );
 #! @Example
 ck := WeakCokernelProjection( k );
 #! <A morphism in Columns( Z )>
+# drop_example_in_Julia
 #! @EndExample
 
 #! @Log
@@ -230,6 +232,7 @@ IsEpimorphism( ck );
 #! true
 mor1 := CategoryOfColumnsMorphism( obj5, HomalgMatrix( [[ 1, 2 ]], 1, 2, S ), obj6 );
 #! <A morphism in Columns( Z )>
+# drop_example_in_Julia
 #! @EndExample
 
 #! @Log
@@ -268,6 +271,7 @@ Display( mor2 );
 #! @Example
 lift := Lift( mor1, mor2 );
 #! <A morphism in Columns( Z )>
+# drop_example_in_Julia
 #! @EndExample
 
 #! @Log
@@ -315,6 +319,7 @@ fp := WeakBiFiberProduct( mor1, mor2 );
 #! <A column module over Z of rank 2>
 fp_proj := ProjectionOfBiasedWeakFiberProduct( mor1, mor2 );
 #! <A morphism in Columns( Z )>
+# drop_example_in_Julia
 #! @EndExample
 
 #! @Log
@@ -337,6 +342,7 @@ po := WeakBiPushout( mor, mor2 );
 #! <A column module over Z of rank 2>
 inj_push := InjectionOfBiasedWeakPushout( mor, mor2 );
 #! <A morphism in Columns( Z )>
+# drop_example_in_Julia
 #! @EndExample
 
 #! @Log

AdditiveClosuresForCAP/examples/CategoryOfRows.g

@@ -183,6 +183,7 @@ Display( proj2 );
 #! @Example
 k := WeakKernelEmbedding( proj1 );
 #! <A morphism in Rows( Z )>
+# drop_example_in_Julia
 #! @EndExample
 
 #! @Log
@@ -202,6 +203,7 @@ Display( k );
 #! @Example
 ck := WeakCokernelProjection( k );
 #! <A morphism in Rows( Z )>
+# drop_example_in_Julia
 #! @EndExample
 
 #! @Log
@@ -231,6 +233,7 @@ IsEpimorphism( ck );
 #! true
 mor1 := CategoryOfRowsMorphism( obj5, HomalgMatrix( [[ 1 ], [ 2 ]], 2, 1, S ), obj6 );
 #! <A morphism in Rows( Z )>
+# drop_example_in_Julia
 #! @EndExample
 
 #! @Log
@@ -270,6 +273,7 @@ Display( mor2 );
 #! @Example
 lift := Lift( mor1, mor2 );
 #! <A morphism in Rows( Z )>
+# drop_example_in_Julia
 #! @EndExample
 
 #! @Log
@@ -317,6 +321,7 @@ fp := WeakBiFiberProduct( mor1, mor2 );
 #! <A row module over Z of rank 2>
 fp_proj := ProjectionOfBiasedWeakFiberProduct( mor1, mor2 );
 #! <A morphism in Rows( Z )>
+# drop_example_in_Julia
 #! @EndExample
 
 #! @Log
@@ -339,6 +344,7 @@ po := WeakBiPushout( mor, mor2 );
 #! <A row module over Z of rank 2>
 inj_push := InjectionOfBiasedWeakPushout( mor, mor2 );
 #! <A morphism in Rows( Z )>
+# drop_example_in_Julia
 #! @EndExample
 
 #! @Log
@@ -385,6 +391,7 @@ Display( EntriesOfHomalgMatrixAsListList( UnderlyingMatrix( universal_morphism )
 #! [ [ 2 ] ]
 IsEqualForMorphisms( PreCompose( universal_morphism, equalizer ), (2 / Q) * equalizer );
 #! true
+# drop_example_in_Julia
 #! @EndExample
 
 ##############
@@ -415,4 +422,5 @@ Display( EntriesOfHomalgMatrixAsListList( UnderlyingMatrix( universal_morphism )
 #! [ [ 2 ] ]
 IsEqualForMorphisms( PreCompose( coequalizer,  universal_morphism ), (2 / Q) * coequalizer );
 #! true
+# drop_example_in_Julia
 #! @EndExample