Bases: sage.categories.category_types.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
EXAMPLES:
sage: CommutativeAlgebraIdeals(QQ[x]).algebra()
Univariate Polynomial Ring in x over Rational Field
EXAMPLES:
sage: CommutativeAlgebraIdeals(QQ[x]).super_categories()
[Category of algebra ideals in Univariate Polynomial Ring in x over Rational Field]