4.10.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 r=0,(x,y,z),dp;
  module m=[x,y],[0,0,z];
  print(m*(x+y));
→ x2+xy,0,   
→ xy+y2,0,   
→ 0,    xz+yz