module Ideal -- turn an ideal into a module

module Ideal -- turn an ideal into a module

Synopsis:

Function: module

Input:

an instance of class Ideal.

Output:

an instance of class Module.

module I -- produce the submodule of R^1 corresponding to an ideal I in a ring R.

Code:

     -- ../../../Macaulay2/m2/matrix1.m2:567-571
     module Ideal := Module => I -> (
          M := image I.generators;
          if I.cache.?poincare then M.poincare = I.cache.poincare;
          M
          )