up previous next
Module

convert an expression into a 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.

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