The category of GradedHopf algebras with several bases

EXAMPLES:

sage: GradedHopfAlgebras(ZZ)
Category of graded hopf algebras over Integer Ring
[Category of graded bialgebras over Integer Ring, Category of hopf algebras over Integer Ring]


TESTS:

sage: TestSuite(GradedHopfAlgebras(ZZ)).run()

class ElementMethods

EXAMPLES:

sage: GradedHopfAlgebras(QQ).super_categories()
[Category of graded bialgebras over Rational Field, Category of hopf algebras over Rational Field]