|
7.7.4.0. insertGenerator
Procedure from library dmodapp.lib (see dmodapp_lib).
- Usage:
- insertGenerator(id,p[,k]); id an ideal/module, p a poly/vector, k an optional int
- Return:
- same as id
- Purpose:
- inserts p into the first argument at k-th index position and returns the enlarged object
- Note:
- If k is given, p is inserted at position k, otherwise (and by default),
p is inserted at the beginning.
Example:
| LIB "dmodapp.lib";
ring r = 0,(x,y,z),dp;
ideal I = x^2,z^4;
insertGenerator(I,y^3);
==> _[1]=y3
==> _[2]=x2
==> _[3]=z4
insertGenerator(I,y^3,2);
==> _[1]=x2
==> _[2]=y3
==> _[3]=z4
module M = I;
insertGenerator(M,[x^3,y^2,z],2);
==> _[1]=x2*gen(1)
==> _[2]=x3*gen(1)+y2*gen(2)+z*gen(3)
==> _[3]=z4*gen(1)
|
|