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]