Ideal _ {...} -- map from free module to some generators

Ideal _ {...} -- map from free module to some generators

Synopsis:

Usage: f = I_{i,j,k,...}

Operator: _

Input:

I, an instance of class Ideal.

{i,j,k,...}, an instance of class List: a list of integers

Output:

f, an instance of class Thing: a map from a free module to the module module I which sends the basis vectors to the generators of I whose index numbers are listed.

i1 : R = QQ[x,y,z]



o1 = R



o1 : PolynomialRing

i2 : I = ideal vars R



o2 = ideal (x, y, z)



o2 : Ideal of R

i3 : f = I_{0,2}



o3 = {1} | 1 0 |

     {1} | 0 0 |

     {1} | 0 1 |



o3 : Matrix

i4 : image f



o4 = image | x z |



                             1

o4 : R-module, submodule of R

See also:

module Ideal -- turn an ideal into a module

Code:

     -- ../../../Macaulay2/m2/matrix1.m2:534
     Ideal _ List := (I,w) -> (module I)_w