Graded Algebras¶

class
sage.categories.graded_algebras.
GradedAlgebras
(base_category)¶ Bases:
sage.categories.graded_modules.GradedModulesCategory
The category of graded algebras
EXAMPLES:
sage: GradedAlgebras(ZZ) Category of graded algebras over Integer Ring sage: GradedAlgebras(ZZ).super_categories() [Category of filtered algebras over Integer Ring, Category of graded modules over Integer Ring]

class
ElementMethods
¶

class
ParentMethods
¶ 
graded_algebra
()¶ Return the associated graded algebra to
self
.Since
self
is already graded, this just returnsself
.EXAMPLES:
sage: m = SymmetricFunctions(QQ).m() sage: m.graded_algebra() is m True


class
SignedTensorProducts
(category, *args)¶ Bases:
sage.categories.signed_tensor.SignedTensorProductsCategory

extra_super_categories
()¶ EXAMPLES:
sage: Algebras(QQ).Graded().SignedTensorProducts().extra_super_categories() [Category of graded algebras over Rational Field] sage: Algebras(QQ).Graded().SignedTensorProducts().super_categories() [Category of graded algebras over Rational Field]
Meaning: a signed tensor product of algebras is an algebra


class