map(Module,Module,RingElement) -- make a map

map(Module,Module,RingElement) -- make a map

Synopsis:

Function: map -- make a map

Input:

an instance of class Module.

an instance of class RingElement.

Output:

an instance of class Matrix.

Optional arguments :

map(..., Degree)

map(M,N,r) -- construct a map from a module N to M which is provided by the ring element r.

If r is nonzero, then M and N should be equal, or at least have the same number of generators.

i1 : R = ZZ/101[x]



o1 = R



o1 : PolynomialRing

i2 : map(R^2,R^3,0)



o2 = 0



             2       3

o2 : Matrix R  <--- R

i3 : map(R^2,R^2,x)



o3 = | x 0 |

     | 0 x |



             2       2

o3 : Matrix R  <--- R

i4 : q = map(R^2,R^2,x,Degree=>1)



o4 = | x 0 |

     | 0 x |



             2       2

o4 : Matrix R  <--- R

i5 : isHomogeneous q



o5 = false

See also:

map(Module,Module,ZZ) -- make a map

map -- make a map

matrix -- make a matrix