Top
Back: freeAlgebra (letterplace)
Forward: lift (letterplace)
FastBack:
FastForward:
Up: Singular Manual
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

7.8.4 imap (letterplace)

Syntax:
imap ( ring_name, name )
Type:
number, poly, vector, ideal, module, matrix or list (the same type as the second argument)
Purpose:
identity map on common subrings. imap is the map between rings and qrings with compatible ground fields which is the identity on variables and parameters of the same name and 0 otherwise. (See map for a description of possible mappings between different ground fields). Useful for embeddings as well as for mappings from/to rings with/without parameters. Compared with fetch, imap uses the names of variables and parameters. Unlike map and fetch, imap can map parameters to variables, by forgetting the commutativity of parameters with each other and with variables.
Mapping rational functions which are not polynomials to polynomials is undefined.
Example:
 
  ring r = (0,a),(x,y,z),dp;
  LIB "freegb.lib";
  ring R = freeAlgebra(r,4,2); // free bimodule of rank 2
  poly p = z^2/a - a*y;
  ideal I = x,y,z,a*z*y*x - x*y + 7;
  module M = (x*y*a +3)*ncgen(1)*gen(1), ncgen(2)*gen(2)*z, ncgen(2)*gen(2)*(x*y*a - 7);
  M; // note that a stands on the left
==> M[1]=(a)*x*y*ncgen(1)*gen(1)+3*ncgen(1)*gen(1)
==> M[2]=ncgen(2)*z*gen(2)
==> M[3]=(a)*ncgen(2)*x*y*gen(2)-7*ncgen(2)*gen(2)
  ring r2 = 0,(a,z,y,x),dp; // note: a is a variable in r2
  ring R2 = freeAlgebra(r2,6,2);
  imap(R,p); // correctly processes incorrect input
==> // ** Not defined: Cannot map a rational fraction and make a polynomial o\
   ut of it! Ignoring the denominator.
==> z*z-a*y
  imap(R,I);
==> _[1]=x
==> _[2]=y
==> _[3]=z
==> _[4]=a*z*y*x-x*y+7
  imap(R,M);
==> _[1]=a*x*y*ncgen(1)*gen(1)+3*ncgen(1)*gen(1)
==> _[2]=ncgen(2)*z*gen(2)
==> _[3]=a*ncgen(2)*x*y*gen(2)-7*ncgen(2)*gen(2)
See fetch (letterplace); map; qring; ring.


Top Back: freeAlgebra (letterplace) Forward: lift (letterplace) FastBack: FastForward: Up: Singular Manual Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 4.3.2, 2023, generated by texi2html.