From d339de30b92bf5c5eaa5aa543da1de511d315cb9 Mon Sep 17 00:00:00 2001 From: Chris Wensley Date: Fri, 3 Jan 2025 01:52:58 +0000 Subject: [PATCH] renaming methods in homwdata.gi to PreImages...NC (#67) --- gap/homwdata.gi | 7 ++++--- init.g | 10 ++++++++++ 2 files changed, 14 insertions(+), 3 deletions(-) diff --git a/gap/homwdata.gi b/gap/homwdata.gi index 77d01cc..a1926e4 100644 --- a/gap/homwdata.gi +++ b/gap/homwdata.gi @@ -56,14 +56,15 @@ 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, @@ -71,7 +72,7 @@ InstallMethod( PreImagesRepresentative, 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 index 4ac43ff..75844ff 100644 --- 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");