Udpate to FreydCategoriesForCAP v2026.04-01

Author: mohamed-barakat

Project.toml

@@ -6,8 +6,8 @@ authors = [
 	"Fabian Zickgraf <f.zickgraf@dashdos.com>"
 ]
 
-# Transpiled from GAP's FreydCategoriesForCAP v2025.12-02
-version = "0.1.16"
+# Transpiled from GAP's FreydCategoriesForCAP v2026.04-01
+version = "0.2.0"
 
 [deps]
 MatricesForHomalg = "29b9b1b6-efa6-450e-8188-a5a2c25df071"
@@ -28,11 +28,11 @@ FreydCategoriesForCAPFinSetsForCAPExtension = ["CartesianCategories", "Toposes",
 [compat]
 julia = "1.11"
 MatricesForHomalg = "0.1"
-CAP = "0.6"
+CAP = "0.7"
 MonoidalCategories = "~0.2.11"
-LinearAlgebraForCAP = "~0.1.12"
-AdditiveClosuresForCAP = "~0.1.2"
-LinearClosuresForCAP = "0.1"
+LinearAlgebraForCAP = "0.2"
+AdditiveClosuresForCAP = "0.2"
+LinearClosuresForCAP = "0.2"
 CartesianCategories = "0.1, 0.2, 0.3"
 Toposes = "0.1"
 FinSetsForCAP = "0.3"

docs/src/add_hom_structure_using_external_hom.tst.autogen.md

@@ -14,9 +14,9 @@ julia> dummy = DummyCategory( @rec(
 
 julia> field = HomalgFieldOfRationals( );
 
-julia> SetCommutativeRingOfLinearCategory( dummy, field )
+julia> SetCommutativeSemiringOfLinearCategory( dummy, field )
 
-julia> AddMultiplyWithElementOfCommutativeRingForMorphisms( dummy, ReturnNothing )
+julia> AddMultiplyWithElementOfCommutativeSemiringForMorphisms( dummy, ReturnNothing )
 
 julia> AddBasisOfExternalHom( dummy, ReturnNothing )
 

src/gap/AdelmanCategory.gi.autogen.jl

@@ -61,11 +61,11 @@
 
     if (HasIsLinearCategoryOverCommutativeRing( underlying_category ) &&
        IsLinearCategoryOverCommutativeRing( underlying_category ) &&
-       HasCommutativeRingOfLinearCategory( underlying_category ))
+       HasCommutativeSemiringOfLinearCategory( underlying_category ))
 
       SetIsLinearCategoryOverCommutativeRing( adelman_category, true );
 
-      SetCommutativeRingOfLinearCategory( adelman_category, CommutativeRingOfLinearCategory( underlying_category ) );
+      SetCommutativeSemiringOfLinearCategory( adelman_category, CommutativeSemiringOfLinearCategory( underlying_category ) );
 
     end;
 
@@ -764,13 +764,13 @@ end );
 
     end );
 
-    if (ForAll( [ "MultiplyWithElementOfCommutativeRingForMorphisms" ],
+    if (ForAll( [ "MultiplyWithElementOfCommutativeSemiringForMorphisms" ],
                f -> CanCompute( underlying_category, f ) ))
 
-        AddMultiplyWithElementOfCommutativeRingForMorphisms( category,
+        AddMultiplyWithElementOfCommutativeSemiringForMorphisms( category,
           ( cat, r, alpha ) -> AdelmanCategoryMorphism( cat,
                               Source( alpha ),
-                              MultiplyWithElementOfCommutativeRingForMorphisms( r, UnderlyingMorphism( alpha ) ),
+                              MultiplyWithElementOfCommutativeSemiringForMorphisms( r, UnderlyingMorphism( alpha ) ),
                               Range( alpha )
                             )
         );

src/gap/FreydCategory.gi.autogen.jl

@@ -25,7 +25,7 @@
     [ "FinalizeCategory", true ],
   ],
   function( CAP_NAMED_ARGUMENTS, underlying_category )
-    local name, freyd_category, commutative_ring;
+    local name, freyd_category, commutative_semiring;
 
     if (@not IsValidInputForFreydCategory( underlying_category ))
         return false;
@@ -54,18 +54,18 @@
 
     if (HasIsLinearCategoryOverCommutativeRing( underlying_category ) &&
        IsLinearCategoryOverCommutativeRing( underlying_category ) &&
-       HasCommutativeRingOfLinearCategory( underlying_category ))
+       HasCommutativeSemiringOfLinearCategory( underlying_category ))
 
         SetIsLinearCategoryOverCommutativeRing( freyd_category, true );
 
-        commutative_ring = CommutativeRingOfLinearCategory( underlying_category );
+        commutative_semiring = CommutativeSemiringOfLinearCategory( underlying_category );
 
-        SetCommutativeRingOfLinearCategory( freyd_category, commutative_ring );
+        SetCommutativeSemiringOfLinearCategory( freyd_category, commutative_semiring );
 
         if (HasIsLinearCategoryOverCommutativeRingWithFinitelyGeneratedFreeExternalHoms( underlying_category ) &&
            IsLinearCategoryOverCommutativeRingWithFinitelyGeneratedFreeExternalHoms( underlying_category ))
 
-            if (HasIsFieldForHomalg( commutative_ring ) && IsFieldForHomalg( commutative_ring ))
+            if (HasIsFieldForHomalg( commutative_semiring ) && IsFieldForHomalg( commutative_semiring ))
 
                 SetIsLinearCategoryOverCommutativeRingWithFinitelyGeneratedFreeExternalHoms( freyd_category, true );
 
@@ -730,13 +730,13 @@ end; ArgumentNumber = 2 );
 
     end );
 
-    if (is_possible_to_install( "MultiplyWithElementOfCommutativeRingForMorphisms",
-                               [ "MultiplyWithElementOfCommutativeRingForMorphisms" ] ))
+    if (is_possible_to_install( "MultiplyWithElementOfCommutativeSemiringForMorphisms",
+                               [ "MultiplyWithElementOfCommutativeSemiringForMorphisms" ] ))
 
-        AddMultiplyWithElementOfCommutativeRingForMorphisms( category,
+        AddMultiplyWithElementOfCommutativeSemiringForMorphisms( category,
           ( cat, r, alpha ) -> FreydCategoryMorphism( cat,
                               Source( alpha ),
-                              MultiplyWithElementOfCommutativeRingForMorphisms( underlying_category, r, MorphismDatum( cat, alpha ) ),
+                              MultiplyWithElementOfCommutativeSemiringForMorphisms( underlying_category, r, MorphismDatum( cat, alpha ) ),
                               Range( alpha )
                             )
         );