declared and installed AssociatedSystem for maps

mohamed-barakat · Mar 1, 2015 · 43c0d8e · 43c0d8e
1 parent 9af6fcd
commit 43c0d8e
Show file tree

Hide file tree

Showing 3 changed files with 15 additions and 1 deletion.
diff --git a/PackageInfo.g b/PackageInfo.g
@@ -27,7 +27,7 @@ Subtitle := "A homalg based package for D-modules",
 ##  See '?Extending: Version Numbers' in GAP help for an explanation
 ##  of valid version numbers. For an automatic package distribution update
 ##  you must provide a new version number even after small changes.
-Version := "2015.02.24",
+Version := "2015.02.25",
 ##  Please adjust also the VERSION file in the package directory when
 ##  changing this.
 

diff --git a/gap/InjectivePoints.gd b/gap/InjectivePoints.gd
@@ -81,6 +81,9 @@ DeclareOperation( "AssociatedSystem",
 DeclareOperation( "AssociatedSystem",
         [ IsHomalgModule ] );
 
+DeclareOperation( "AssociatedSystem",
+        [ IsHomalgMap ] );
+
 DeclareOperation( "SolutionSpace",
         [ IsHomalgMatrix, IsHomalgModule ] );
 

diff --git a/gap/InjectivePoints.gi b/gap/InjectivePoints.gi
@@ -142,6 +142,17 @@ InstallMethod( AssociatedSystem,
 
 end );
 
+##
+InstallMethod( AssociatedSystem,
+        "for a homalg map",
+        [ IsHomalgMap and IsHomalgLeftObjectOrMorphismOfLeftObjects ],
+
+  function( phi )
+
+    return MatrixOfGenerators( MatrixOfMap( phi ) * GeneratorsOfModule( Range( phi ) ) );
+
+end );
+
 ##
 InstallMethod( SolutionSpace,
         "for a homalg matrix and a homalg module",