Super algebras with basis

class sage.categories.super_algebras_with_basis.SuperAlgebrasWithBasis(base_category)

Bases: sage.categories.super_modules.SuperModulesCategory

The category of super algebras with a distinguished basis

EXAMPLES:

sage: C = Algebras(ZZ).WithBasis().Super(); C
Category of super algebras with basis over Integer Ring
class ParentMethods
graded_algebra()

Return the associated graded module to self.

See AssociatedGradedAlgebra for the definition and the properties of this.

See also

graded_algebra()

EXAMPLES:

sage: W.<x,y> = algebras.DifferentialWeyl(QQ)
sage: W.graded_algebra()
Graded Algebra of Differential Weyl algebra of
 polynomials in x, y over Rational Field
extra_super_categories()

EXAMPLES:

sage: C = Algebras(ZZ).WithBasis().Super()
sage: sorted(C.super_categories(), key=str) # indirect doctest
[Category of graded algebras with basis over Integer Ring,
 Category of super algebras over Integer Ring,
 Category of super modules with basis over Integer Ring]