RingMap Module -- blank operator for adjacent expressions

RingMap Module -- blank operator for adjacent expressions

Synopsis:

Usage: N = f M

Operator: symbol " " -- blank operator for adjacent expressions

Input:

f, an instance of class RingMap: a ring map from R to S.

M, an instance of class Module: a free R-module R^n or a submodule of one

Output:

N, an instance of class Module: the submodule of S^n generated by the image of M.

i1 : R = QQ[x,y];

i2 : S = QQ[t];

i3 : f = map(S,R,{t^2,t^3})



               2   3

o3 = map(S,R,{t , t })



o3 : RingMap S <--- R

i4 : f image vars R



o4 = image | t2 t3 |



                             1

o4 : S-module, submodule of S

See also:

RingMap Module -- blank operator for adjacent expressions