up previous next
4.11.1 Introduction to Ideals
|
***** NOT YET UPDATED TO CoCoA-5: follow with care *****
An object of type IDEAL in CoCoA represents an ideal. An ideal is
formed using the command
Ideal(P_1,...,P_n)
where the
P_i
are
generators for the ideal.
Use R ::= QQ[x,y];
I := Ideal(x,y^2,2+xy^2);
|
The following algebraic operations yield ideals:
I^N, I+J, E*F, P:Q
where: I and J are ideals; N is a non-negative integer; E, F are either
both ideals or one is an ideal and the other is a polynomial; and the
pair (P, Q) has the form (IDEAL, POLY), (IDEAL, IDEAL),
(MODULE, VECTOR), (MODULE, MODULE).
Use R ::= QQ[x,y];
I := Ideal(x,y^2,2+xy^2);
I^2;
Ideal(x^2, xy^2, x^2y^2 + 2x, y^4, xy^4 + 2y^2, x^2y^4 + 4xy^2 + 4)
-------------------------------
J := Ideal(y);
I+J;
Ideal(x, y^2, xy^2 + 2, y)
-------------------------------
I*J;
Ideal(xy, y^3, xy^3 + 2y)
-------------------------------
|