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)'.
|
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])
-------------------------------
|