ideal(RingElement) -- make an ideal

Synopsis

• Function: ideal

• Usage:

  ideal r

• Inputs:
  • r, a ring element
• Outputs:
  • an ideal, which is generated by the ring element r

Description

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