Commutative algebra ideals¶
- class sage.categories.commutative_algebra_ideals.CommutativeAlgebraIdeals(A)[source]¶
Bases:
Category_ideal
The category of ideals in a fixed commutative algebra \(A\).
EXAMPLES:
sage: C = CommutativeAlgebraIdeals(QQ['x']) sage: C Category of commutative algebra ideals in Univariate Polynomial Ring in x over Rational Field
>>> from sage.all import * >>> C = CommutativeAlgebraIdeals(QQ['x']) >>> C Category of commutative algebra ideals in Univariate Polynomial Ring in x over Rational Field
- algebra()[source]¶
EXAMPLES:
sage: CommutativeAlgebraIdeals(QQ['x']).algebra() Univariate Polynomial Ring in x over Rational Field
>>> from sage.all import * >>> CommutativeAlgebraIdeals(QQ['x']).algebra() Univariate Polynomial Ring in x over Rational Field
- super_categories()[source]¶
EXAMPLES:
sage: CommutativeAlgebraIdeals(QQ['x']).super_categories() [Category of algebra ideals in Univariate Polynomial Ring in x over Rational Field]
>>> from sage.all import * >>> CommutativeAlgebraIdeals(QQ['x']).super_categories() [Category of algebra ideals in Univariate Polynomial Ring in x over Rational Field]