|
2.3.3 module operations
+
- addition (concatenation of the generators and simplification)
*
- multiplication with ideal or poly, but not `module` * `module`
- module_expression
[ int_expression , int_expression ]
- is a module entry, where the first index indicates the row and
the second the column
- module_expressions
[ int_expression ]
- is a vector, where the index indicates the column
Example:
| ring A=0,(x,y,z),Dp;
matrix d[3][3];
d[1,2]=-z;
d[1,3]=2x;
d[2,3]=-2y;
ncalgebra(1,d);
module m=[x,y],[0,0,x*z];
print((x+y)*m);
==> x2+xy-z,0,
==> xy+y2, 0,
==> 0, x2z+xyz-z2
|
|