previous  next
Module
Syntax
Module(V_1:VECTOR,...,V_n:VECTOR):MODULE
Module(L:LIST):MODULE
Module(I:IDEAL):MODULE

where L is a list of elements cast-able to vectors.
Summary
convert an expression into a module
Description
The first function returns the module generated by the vectors
V_1,...,V_n.  The second function returns the module generated by the
(elements cast-able to) vectors in L.  The third function returns the
module generated by the generators of I.  This is the same as the
function 'Cast(E,MODULE)'.

Example

Use R ::= Q[x,y,z];
M := Module([x^2-y^3,x^3-yz],[x^3,z^2]);
M;
Module([-y^3 + x^2, x^3 - yz], [x^3, z^2])
-------------------------------
L := [[-y^3 + x^2, x^3 - yz], [x^3, z^2]];
Module(L) = M;
TRUE
-------------------------------
I := Ideal(x,y^2,z^3);
Module(I);
Module([x], [y^2], [z^3])
-------------------------------
See also: