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¶
Bases:
object
- 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
- class SignedTensorProducts(category, *args)¶
Bases:
sage.categories.signed_tensor.SignedTensorProductsCategory
The category of super algebras with basis constructed by tensor product of super algebras with basis.
- extra_super_categories()¶
EXAMPLES:
sage: Algebras(QQ).Super().SignedTensorProducts().extra_super_categories() [Category of super algebras over Rational Field] sage: Algebras(QQ).Super().SignedTensorProducts().super_categories() [Category of signed tensor products of graded algebras over Rational Field, Category of super algebras over Rational Field]
Meaning: a signed tensor product of super algebras is a super algebra
- 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]