CAP: Avoid duplicate methods for primitive replacements

When a primitive CAP operation is replaced by another primitive implementation,
update the category operation record without installing another method with identical filters.

Installed dispatch methods now consult the current operation record, so the latest implementation
is used while preserving added_functions history. This avoids Julia method-overwrite errors during
module precompilation.

Add CapOperationInstallationInfo and emit a level-1 message when an accepted primitive installation
replaces another primitive implementation. Include the operation, category, and old and new weights.

Bump CAP to v2026.07-04

Author: kamalsaleh

CAP/PackageInfo.g

@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "CAP",
 Subtitle := "Categories, Algorithms, Programming",
-Version := "2026.07-03",
+Version := "2026.07-04",
 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",
 

CAP/gap/InstallAdds.gd

@@ -8,6 +8,8 @@
 
 #! @Section InstallAdd Function
 
+DeclareInfoClass( "CapOperationInstallationInfo" );
+
 DeclareOperation( "AddCapOperation", [ IsString, IsCapCategory, IsFunction, IsInt ] );
 
 DeclareGlobalFunction( "CAP_INTERNAL_INSTALL_ADDS_FROM_RECORD" );

CAP/gap/InstallAdds.gi

@@ -23,7 +23,7 @@ InstallMethod( AddCapOperation,
     [ "IsPrecompiledDerivation", false ],
   ],
   function( CAP_NAMED_ARGUMENTS, function_name, category, func_to_install, weight )
-    local record, category_name, is_derivation, is_final_derivation, is_precompiled_derivation, type, replaced_filter_list,
+    local record, category_name, is_derivation, is_final_derivation, is_precompiled_derivation, type, replaces_primitive_installation, replaced_filter_list,
         input_human_readable_identifier_getter, input_sanity_check_functions, data_type, output_human_readable_identifier_getter,
         output_data_type, output_sanity_check_function, filter_string;
 
@@ -68,6 +68,8 @@ InstallMethod( AddCapOperation,
         type := "primitive_installation";
 
     fi;
+
+    replaces_primitive_installation := false;
 
     # Display a warning in various cases when overwriting existing functions
     if IsBound( category!.operations.(function_name) ) then
@@ -88,6 +90,20 @@ InstallMethod( AddCapOperation,
             return;
 
         fi;
+
+        replaces_primitive_installation :=
+            category!.operations.( function_name ).type = "primitive_installation" and
+            type = "primitive_installation";
+
+        if replaces_primitive_installation then
+
+            Info( CapOperationInstallationInfo, 1,
+                  "Duplicate primitive installation for ", function_name,
+                  " in category \"", category_name,
+                  "\": replacing weight ", category!.operations.( function_name ).weight,
+                  " with weight ", weight, "." );
+
+        fi;
 
         if category!.operations.( function_name ).type = "primitive_installation" then
 
@@ -221,6 +237,12 @@ InstallMethod( AddCapOperation,
         fi;
 
     fi;
+
+    if replaces_primitive_installation then
+
+        return;
+
+    fi;
 
     if not category!.overhead then
 
@@ -229,7 +251,7 @@ InstallMethod( AddCapOperation,
 
             function( arg )
 
-                return CallFuncList( func_to_install, arg );
+                return CallFuncList( category!.operations.( function_name ).func, arg );
 
         end );
 
@@ -280,7 +302,7 @@ InstallMethod( AddCapOperation,
 
             fi;
 
-            result := CallFuncList( func_to_install, arg );
+            result := CallFuncList( category!.operations.( function_name ).func, arg );
 
             if collect_timing_statistics then