i1 : ideal 7 o1 = ideal 7 o1 : Ideal of ZZ |
i2 : R = ZZ/2[x,y]; |
i3 : f = x^2+y^2; |
i4 : ideal f
2 2
o4 = ideal(x + y )
o4 : Ideal of R
|
The zero ideal with one generator can be made:
i5 : ideal 0_R o5 = ideal 0 o5 : Ideal of R |
Alternatively, the zero ideal with no generators can be made in one of these ways:
i6 : ideal id_(R^0) o6 = ideal () o6 : Ideal of R |
i7 : promote(ideal(), R) o7 = ideal () o7 : Ideal of R |
See promote, id _ Module, and ideal(Sequence).