up previous next
convert an expression into an ideal
Ideal(P_1:POLY,...,P_n:POLY):IDEAL
Ideal(L:LIST):IDEAL
Ideal(M:MODULE):IDEAL
where L is a list of polynomials and M is contained in a free module
of rank 1.

The first form returns the ideal generated by
P_1,...P_n. The second
form returns the ideal generated by the polynomials in L. The third
form returns the ideal generated by the polynomials in M; it is the
same as
Cast(M, IDEAL), and requires that the module be a submodule of
the free module of rank 1.
Use R ::= QQ[x,y,z];
I := Ideal(xy^2,xyz);
I;
Ideal(y^2 + x, xy  z)

L := [xyz,xy^2];
J := Ideal(L);
I = J;
TRUE

M := Module([y^3z],[xy^2]);
Ideal(M) = I;
TRUE

