From ad1969035d1e198e951ca75157613491c7cc67d2 Mon Sep 17 00:00:00 2001 From: elixyre Date: Wed, 23 Sep 2015 21:55:48 -0400 Subject: [PATCH] ticket 18675: append the method example to GradedHopfAlgebrasWithBasis and GradedConnectedHopfAlgebrasWithBasis --- ...aded_connected_hopf_algebras_with_basis.py | 21 ++++------- .../graded_hopf_algebras_with_basis.py | 36 ++++++++++++++----- 2 files changed, 35 insertions(+), 22 deletions(-) diff --git a/src/sage/categories/examples/graded_connected_hopf_algebras_with_basis.py b/src/sage/categories/examples/graded_connected_hopf_algebras_with_basis.py index b34847ae765..dbe4cb5976b 100644 --- a/src/sage/categories/examples/graded_connected_hopf_algebras_with_basis.py +++ b/src/sage/categories/examples/graded_connected_hopf_algebras_with_basis.py @@ -25,8 +25,7 @@ def __init__(self, base_ring): """ EXAMPLES:: - sage: from sage.categories.examples.graded_connected_hopf_algebras_with_basis import GradedConnectedHopfAlgebraOfInteger - sage: H = GradedConnectedHopfAlgebraOfInteger(QQ) + sage: H = GradedHopfAlgebrasWithBasis(QQ).Connected().example() sage: TestSuite(H).run() """ @@ -41,8 +40,7 @@ def one_basis(self): EXAMPLES::r - sage: from sage.categories.examples.graded_connected_hopf_algebras_with_basis import GradedConnectedHopfAlgebraOfInteger - sage: H = GradedConnectedHopfAlgebraOfInteger(QQ) + sage: H = GradedHopfAlgebrasWithBasis(QQ).Connected().example() sage: H.one_basis() 0 sage: H.one() @@ -57,8 +55,7 @@ def degree_on_basis(self, t): TESTS:: - sage: from sage.categories.examples.graded_connected_hopf_algebras_with_basis import GradedConnectedHopfAlgebraOfInteger - sage: H = GradedConnectedHopfAlgebraOfInteger(QQ) + sage: H = GradedHopfAlgebrasWithBasis(QQ).Connected().example() sage: H.degree_on_basis(45) 45 @@ -71,8 +68,7 @@ def _repr_(self): EXAMPLES:: - sage: from sage.categories.examples.graded_connected_hopf_algebras_with_basis import GradedConnectedHopfAlgebraOfInteger - sage: GradedConnectedHopfAlgebraOfInteger(QQ) + sage: GradedHopfAlgebrasWithBasis(QQ).Connected().example() An example of a graded connected hopf algebra with basis over Rational Field """ @@ -85,8 +81,7 @@ def _repr_term(self, t): EXAMPLES:: - sage: from sage.categories.examples.graded_connected_hopf_algebras_with_basis import GradedConnectedHopfAlgebraOfInteger - sage: H = GradedConnectedHopfAlgebraOfInteger(QQ) + sage: H = GradedHopfAlgebrasWithBasis(QQ).Connected().example() sage: H._repr_term(45) 'P45' """ @@ -96,8 +91,7 @@ def product_on_basis(self, i, j): """ TESTS:: - sage: from sage.categories.examples.graded_connected_hopf_algebras_with_basis import GradedConnectedHopfAlgebraOfInteger - sage: H = GradedConnectedHopfAlgebraOfInteger(QQ) + sage: H = GradedHopfAlgebrasWithBasis(QQ).Connected().example() sage: H.monomial(4) * H.monomial(5) P9 @@ -108,8 +102,7 @@ def coproduct_on_basis(self, i): """ TESTS:: - sage: from sage.categories.examples.graded_connected_hopf_algebras_with_basis import GradedConnectedHopfAlgebraOfInteger - sage: H = GradedConnectedHopfAlgebraOfInteger(QQ) + sage: H = GradedHopfAlgebrasWithBasis(QQ).Connected().example() sage: H.monomial(3).coproduct() P0 # P3 + 3*P1 # P2 + 3*P2 # P1 + P3 # P0 diff --git a/src/sage/categories/graded_hopf_algebras_with_basis.py b/src/sage/categories/graded_hopf_algebras_with_basis.py index 17744b093d9..3789e94792d 100644 --- a/src/sage/categories/graded_hopf_algebras_with_basis.py +++ b/src/sage/categories/graded_hopf_algebras_with_basis.py @@ -36,6 +36,17 @@ class GradedHopfAlgebrasWithBasis(GradedModulesCategory): sage: TestSuite(C).run() """ + def example(self): + """ + TESTS:: + + sage: GradedHopfAlgebrasWithBasis(QQ).example() + An example of a graded connected hopf algebra with basis over Rational Field + + """ + from sage.categories.examples.graded_connected_hopf_algebras_with_basis import GradedConnectedHopfAlgebraOfInteger + return GradedConnectedHopfAlgebraOfInteger(self.base()) + class ParentMethods: pass @@ -56,6 +67,7 @@ def super_categories(self): TESTS:: sage: TestSuite(GradedHopfAlgebrasWithBasis(QQ).WithRealizations()).run() + """ from sage.categories.graded_hopf_algebras import GradedHopfAlgebras R = self.base_category().base_ring() @@ -64,6 +76,18 @@ def super_categories(self): class Connected(CategoryWithAxiom_over_base_ring): + + def example(self): + """ + TESTS:: + + sage: GradedHopfAlgebrasWithBasis(QQ).Connected().example() + An example of a graded connected hopf algebra with basis over Rational Field + + """ + from sage.categories.examples.graded_connected_hopf_algebras_with_basis import GradedConnectedHopfAlgebraOfInteger + return GradedConnectedHopfAlgebraOfInteger(self.base()) + class ParentMethods: def counit_on_basis(self, i): @@ -80,8 +104,7 @@ def counit_on_basis(self, i): EXAMPLES:: - sage: from sage.categories.examples.graded_connected_hopf_algebras_with_basis import GradedConnectedHopfAlgebraOfInteger - sage: H = GradedConnectedHopfAlgebraOfInteger(QQ) + sage: H = GradedHopfAlgebrasWithBasis(QQ).Connected().example() sage: H.monomial(4).counit() # indirect doctest 0 sage: H.monomial(0).counit() # indirect doctest @@ -103,8 +126,7 @@ def antipode_on_basis(self, indice): TESTS:: - sage: from sage.categories.examples.graded_connected_hopf_algebras_with_basis import GradedConnectedHopfAlgebraOfInteger - sage: H = GradedConnectedHopfAlgebraOfInteger(QQ) + sage: H = GradedHopfAlgebrasWithBasis(QQ).Connected().example() sage: H.monomial(0).antipode() #indirect doctest P0 sage: H.monomial(1).antipode() #indirect doctest @@ -131,8 +153,7 @@ def antipode(self, elem): r""" TESTS:: - sage: from sage.categories.examples.graded_connected_hopf_algebras_with_basis import GradedConnectedHopfAlgebraOfInteger - sage: H = GradedConnectedHopfAlgebraOfInteger(QQ) + sage: H = GradedHopfAlgebrasWithBasis(QQ).Connected().example() sage: H.antipode(H.monomial(140)) P140 @@ -150,8 +171,7 @@ def antipode(self): r""" TESTS:: - sage: from sage.categories.examples.graded_connected_hopf_algebras_with_basis import GradedConnectedHopfAlgebraOfInteger - sage: H = GradedConnectedHopfAlgebraOfInteger(QQ) + sage: H = GradedHopfAlgebrasWithBasis(QQ).Connected().example() sage: H.monomial(0).antipode() P0 sage: H.monomial(1).antipode()