|
4.12.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 (generator)
Example:
|