renaming methods in homwdata.gi to PreImages...NC (#67)

gap-packages · Jan 3, 2025 · d339de3 · d339de3
1 parent bec13a2
commit d339de3
Show file tree

Hide file tree

Showing 2 changed files with 14 additions and 3 deletions.
diff --git a/gap/homwdata.gi b/gap/homwdata.gi
@@ -56,22 +56,23 @@ InstallMethod( PreImageElm, "for a mapping by function with data, and an obj",
   return h!.invFun(h!.data,o);
   end );
 
-InstallMethod( PreImagesElm, "for a mapping by function with data, and an obj",
+InstallMethod( PreImagesElmNC,
+  "for a mapping by function with data, and an obj",
   [ IsMappingByFunctionWithInverseRep and IsMappingByFunctionWithData, 
     IsObject ], 0,
   function (h,o)
   return [h!.invFun(h!.data,o)];
   end );
 
-InstallMethod( PreImagesRepresentative, 
+InstallMethod( PreImagesRepresentativeNC, 
   "for a mapping by function with data, and an obj",
   [ IsMappingByFunctionWithInverseRep and IsMappingByFunctionWithData, 
     IsObject ], 0,
   function (h,o)
   return h!.invFun(h!.data,o);
   end );
 
-InstallMethod( PreImagesRepresentative, 
+InstallMethod( PreImagesRepresentativeNC, 
   "for a mapping by function with invmap with data, and an obj",
   [ IsMappingByFunctionRep and IsMappingByFunctionWithData, 
     IsObject ], 0,

diff --git a/init.g b/init.g
@@ -29,6 +29,16 @@ if not IsBound(MultVector) then
     DeclareSynonym( "MultVector", MultRowVector );
 fi;
 
+#
+#I introduce the NC versions of PreImages...
+#
+if not IsBound( PreImagesElmNC ) then
+    BindGlobal( "PreImagesElmNC", PreImagesElm );
+fi;
+if not IsBound( PreImagesRepresentativeNC ) then
+    BindGlobal( "PreImagesRepresentativeNC", PreImagesRepresentative );
+fi;
+
 ReadPackage("orb","gap/homwdata.gd");
 ReadPackage("orb","gap/avltree.gd");
 ReadPackage("orb","gap/hash.gd");