6.16.1 rings.ideal - Ideals

SAGE provides extremely limited functionality for computing with ideals. One can create an ideal in any commutative ring $ R$ by giving a list of generators, using the notation R.ideal([a,b,...]).

The module rings.ideal defines the following methods:

Ideal( R, [gens=True], [coerce=[]])

Create the ideal in ring with given generators.

INPUT:
    R -- a ring
    gens -- list of elements
    coerce -- bool (default: True); whether gens need to be coerced into
ring.

Alternatively, one can also call this function with the syntax
     Ideal(gens)
where gens is a nonempty list of generators or a single generator.
    
OUTPUT:
    The ideal of ring generated by gens.

The module rings.ideal defines the following classes:

class Ideal_fractional

class Ideal_generic
An ideal.

class Ideal_pid
An ideal of a principal ideal domain.

class Ideal_principal
A principal ideal.



Subsections
See About this document... for information on suggesting changes.