Ticket #10963: trac_10963_doctest_correction-fc.patch

File trac_10963_doctest_correction-fc.patch, 3.4 KB (added by nthiery, 7 years ago)
  • sage/categories/category.py

    # HG changeset patch
    # User Frederic Chapoton <chapoton at math.univ-lyon1.fr>
    # Date 1382878729 -3600
    #      Sun Oct 27 13:58:49 2013 +0100
    # Node ID 70a11b0abddbee6bfbac4103147808fc1a792647
    # Parent  df8fdfb31c4eca2d3761f268e3f41ceb9a6aeb81
    trac #10963 doctests corrections
    
    diff --git a/sage/categories/category.py b/sage/categories/category.py
    a b class Category(UniqueRepresentation, Sag 
    19521952            sage: TCF.axioms()
    19531953            frozenset(['Facade', 'Commutative'])
    19541954            sage: type(TCF)
    1955             <class 'sage.categories.category_with_axiom.TestObjects.Commutative.Facade_with_category'>
     1955            <class 'sage.categories.category_with_axiom.Commutative.Facade_with_category'>
    19561956
    19571957            sage: TCF = T.Commutative().FiniteDimensional()
    19581958            sage: TCF is T.FiniteDimensional().Commutative()
    class Category(UniqueRepresentation, Sag 
    19621962            sage: TCF is T.FiniteDimensional() & T.Commutative()
    19631963            True
    19641964            sage: type(TCF)
    1965             <class 'sage.categories.category_with_axiom.TestObjects.Commutative.FiniteDimensional_with_category'>
     1965            <class 'sage.categories.category_with_axiom.Commutative.FiniteDimensional_with_category'>
    19661966
    19671967            sage: TCU = T.Commutative().Unital()
    19681968            sage: TCU is T.Unital().Commutative()
    class Category(UniqueRepresentation, Sag 
    19751975            sage: TUCF = T.Unital().Commutative().FiniteDimensional(); TUCF
    19761976            Category of finite dimensional commutative unital test objects
    19771977            sage: type(TUCF)
    1978             <class 'sage.categories.category_with_axiom.TestObjects.FiniteDimensional.Unital.Commutative_with_category'>
     1978            <class 'sage.categories.category_with_axiom.Unital.Commutative_with_category'>
    19791979
    19801980            sage: TFFC = T.Facade().FiniteDimensional().Commutative(); TFFC
    19811981            Category of facade finite dimensional commutative test objects
  • sage/categories/category_with_axiom.py

    diff --git a/sage/categories/category_with_axiom.py b/sage/categories/category_with_axiom.py
    a b class CategoryWithAxiom(Category): 
    750750
    751751            sage: C = DistributiveMagmasAndAdditiveMagmas().AdditiveAssociative().AdditiveCommutative()
    752752            sage: C.__class__
    753             <class 'sage.categories.distributive_magmas_and_additive_magmas.DistributiveMagmasAndAdditiveMagmas.AdditiveAssociative.AdditiveCommutative_with_category'>
     753            <class 'sage.categories.distributive_magmas_and_additive_magmas.AdditiveAssociative.AdditiveCommutative_with_category'>
    754754            sage: C.__reduce__()
    755755            (<function call_method at ...>, (Category of additive associative distributive magmas and additive magmas, '_with_axiom', 'AdditiveCommutative'))
    756756        """
  • sage/categories/primer.py

    diff --git a/sage/categories/primer.py b/sage/categories/primer.py
    a b appropriate super classes according to 
    602602
    603603    sage: Groups().element_class.__bases__
    604604    (<class 'sage.categories.monoids.Monoids.element_class'>,
    605      <class 'sage.categories.magmas.Magmas.Unital.Inverse.element_class'>)
     605     <class 'sage.categories.magmas.Unital.Inverse.element_class'>)
    606606
    607607We now see that the hierarchy of classes for parents and elements is
    608608parallel to the hierarchy of categories::