Graded algebras with basis¶
- class sage.categories.graded_algebras_with_basis.GradedAlgebrasWithBasis(base_category)¶
Bases:
sage.categories.graded_modules.GradedModulesCategoryThe category of graded algebras with a distinguished basis
EXAMPLES:
sage: C = GradedAlgebrasWithBasis(ZZ); C Category of graded algebras with basis over Integer Ring sage: sorted(C.super_categories(), key=str) [Category of filtered algebras with basis over Integer Ring, Category of graded algebras over Integer Ring, Category of graded modules with basis over Integer Ring]
- class ElementMethods¶
Bases:
object
- class ParentMethods¶
Bases:
object- free_graded_module(generator_degrees, names=None)¶
Create a finitely generated free graded module over
selfINPUT:
generator_degrees– tuple of integers defining the number of generators of the module and their degreesnames– (optional) the names of the generators. Ifnamesis a comma-separated string like'a, b, c', then those will be the names. Otherwise, for example ifnamesisabc, then the names will beabc[d,i].
By default, if all generators are in distinct degrees, then the
namesof the generators will have the formg[d]wheredis the degree of the generator. If the degrees are not distinct, then the generators will be calledg[d,i]wheredis the degree andiis its index in the list of generators in that degree.See
sage.modules.fp_graded.free_modulefor more examples and details.EXAMPLES:
sage: Q = QuadraticForm(QQ, 3, [1,2,3,4,5,6]) sage: Cl = CliffordAlgebra(Q) sage: M = Cl.free_graded_module((0, 2, 3)) sage: M.gens() (g[0], g[2], g[3]) sage: N.<xy, z> = Cl.free_graded_module((1, 2)) sage: N.generators() (xy, z)
- graded_algebra()¶
Return the associated graded algebra to
self.This is
self, becauseselfis already graded. Seegraded_algebra()for the general behavior of this method, and seeAssociatedGradedAlgebrafor the definition and properties of associated graded algebras.EXAMPLES:
sage: m = SymmetricFunctions(QQ).m() sage: m.graded_algebra() is m True
- class SignedTensorProducts(category, *args)¶
Bases:
sage.categories.signed_tensor.SignedTensorProductsCategoryThe category of algebras with basis constructed by signed tensor product of algebras with basis.
- class ParentMethods¶
Bases:
objectImplements operations on tensor products of super algebras with basis.
- one_basis()¶
Return the index of the one of this signed tensor product of algebras, as per
AlgebrasWithBasis.ParentMethods.one_basis.It is the tuple whose operands are the indices of the ones of the operands, as returned by their
one_basis()methods.EXAMPLES:
sage: A.<x,y> = ExteriorAlgebra(QQ) sage: A.one_basis() () sage: B = tensor((A, A, A)) sage: B.one_basis() ((), (), ()) sage: B.one() 1 # 1 # 1
- product_on_basis(t0, t1)¶
The product of the algebra on the basis, as per
AlgebrasWithBasis.ParentMethods.product_on_basis.EXAMPLES:
Test the sign in the super tensor product:
sage: A = SteenrodAlgebra(3) sage: x = A.Q(0) sage: y = x.coproduct() sage: y^2 0
TODO: optimize this implementation!
- extra_super_categories()¶
EXAMPLES:
sage: Cat = AlgebrasWithBasis(QQ).Graded() sage: Cat.SignedTensorProducts().extra_super_categories() [Category of graded algebras with basis over Rational Field] sage: Cat.SignedTensorProducts().super_categories() [Category of graded algebras with basis over Rational Field, Category of signed tensor products of graded algebras over Rational Field]