class sage.categories.graded_algebras.GradedAlgebras(base_category)

EXAMPLES:

sage: GradedAlgebras(ZZ)
Category of graded algebras over Integer Ring
[Category of filtered algebras over Integer Ring,
Category of graded modules over Integer Ring]

class ElementMethods

Bases: object

class ParentMethods

Bases: object

graded_algebra()

Return the associated graded algebra to self.

Since self is already graded, this just returns self.

EXAMPLES:

sage: m = SymmetricFunctions(QQ).m()
True

class SignedTensorProducts(category, *args)
extra_super_categories()

EXAMPLES:

sage: Algebras(QQ).Graded().SignedTensorProducts().extra_super_categories()
[Category of graded algebras over Rational Field]
[Category of graded algebras over Rational Field]


Meaning: a signed tensor product of algebras is an algebra

class SubcategoryMethods

Bases: object

SignedTensorProducts()

Return the full subcategory of objects of self constructed as signed tensor products.

EXAMPLES:

sage: AlgebrasWithBasis(QQ).Graded().SignedTensorProducts()
Category of signed tensor products of graded algebras with basis
over Rational Field