Merge pull request #1796 from mohamed-barakat/devel

Author: mohamed-barakat

LinearClosuresForCAP/PackageInfo.g

@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "LinearClosuresForCAP",
 Subtitle := "Linear closures",
-Version := "2025.08-04",
+Version := "2025.09-01",
 Date := (function ( ) if IsBound( GAPInfo.SystemEnvironment.GAP_PKG_RELEASE_DATE ) then return GAPInfo.SystemEnvironment.GAP_PKG_RELEASE_DATE; else return Concatenation( ~.Version{[ 1 .. 4 ]}, "-", ~.Version{[ 6, 7 ]}, "-01" ); fi; end)( ),
 License := "GPL-2.0-or-later",
 

LinearClosuresForCAP/gap/LinearClosure.gi

@@ -354,12 +354,17 @@ end );
 InstallOtherMethodForCompilerForCAP( LinearClosureMorphismNC,
                                      [ IsLinearClosure, IsLinearClosureObject, IsList, IsList, IsLinearClosureObject ],
   function( category, source, coefficients, support_morphisms, range )
+    local underlying_category;
+    
+    underlying_category := UnderlyingCategory( category );
+    
+    #% CAP_JIT_DROP_NEXT_STATEMENT
+    Assert( 0, ForAll( support_morphisms, mor -> IsIdenticalObj( CapCategory( mor ), underlying_category ) ) );
 
     return CreateCapCategoryMorphismWithAttributes( category,
-        source, range,
-        CoefficientsList, coefficients,
-        SupportMorphisms, support_morphisms
-    );
+                   source, range,
+                   CoefficientsList, coefficients,
+                   SupportMorphisms, support_morphisms );
 
 end );
 
@@ -638,7 +643,7 @@ InstallGlobalFunction( INSTALL_FUNCTIONS_FOR_LINEAR_CLOSURE,
 
             coeffs := ListX( CoefficientsList( alpha ), CoefficientsList( beta ), { a,b } -> a * b );
 
-            supp := ListX( SupportMorphisms( alpha ), SupportMorphisms( beta ), { alpha, beta } -> PreCompose( underlying_category, alpha, beta ) );
+            supp := ListX( SupportMorphisms( alpha ), SupportMorphisms( beta ), { a, b } -> PreCompose( underlying_category, a, b ) );
 
             return MorphismConstructor( cat, Source( alpha ), Pair( coeffs, supp ), Range( beta ) );