Ring ideals¶
-
sage.categories.ring_ideals.
RingIdeals
¶ The category of two-sided ideals in a fixed ring.
EXAMPLES:
sage: Ideals(Integers(200)) Category of ring ideals in Ring of integers modulo 200 sage: C = Ideals(IntegerRing()); C Category of ring ideals in Integer Ring sage: I = C([8,12,18]) sage: I Principal ideal (2) of Integer Ring
See also:
CommutativeRingIdeals
.Todo
- If useful, implement
RingLeftIdeals
andRingRightIdeals
of whichRingIdeals
would be a subcategory. - Make
RingIdeals(R)
, returnCommutativeRingIdeals(R)
whenR
is commutative.
- If useful, implement