Graded Hopf algebras with basis¶
-
sage.categories.graded_hopf_algebras_with_basis.
GradedHopfAlgebrasWithBasis
¶ The category of graded Hopf algebras with a distinguished basis.
EXAMPLES:
sage: C = GradedHopfAlgebrasWithBasis(ZZ); C Category of graded hopf algebras with basis over Integer Ring sage: C.super_categories() [Category of filtered hopf algebras with basis over Integer Ring, Category of graded algebras with basis over Integer Ring] sage: C is HopfAlgebras(ZZ).WithBasis().Graded() True sage: C is HopfAlgebras(ZZ).Graded().WithBasis() False