# HG changeset patch
# User Frederic Chapoton <chapoton at math.univlyon1.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 
1952  1952  sage: TCF.axioms() 
1953  1953  frozenset(['Facade', 'Commutative']) 
1954  1954  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'> 
1956  1956  
1957  1957  sage: TCF = T.Commutative().FiniteDimensional() 
1958  1958  sage: TCF is T.FiniteDimensional().Commutative() 
… 
… 
class Category(UniqueRepresentation, Sag 
1962  1962  sage: TCF is T.FiniteDimensional() & T.Commutative() 
1963  1963  True 
1964  1964  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'> 
1966  1966  
1967  1967  sage: TCU = T.Commutative().Unital() 
1968  1968  sage: TCU is T.Unital().Commutative() 
… 
… 
class Category(UniqueRepresentation, Sag 
1975  1975  sage: TUCF = T.Unital().Commutative().FiniteDimensional(); TUCF 
1976  1976  Category of finite dimensional commutative unital test objects 
1977  1977  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'> 
1979  1979  
1980  1980  sage: TFFC = T.Facade().FiniteDimensional().Commutative(); TFFC 
1981  1981  Category of facade finite dimensional commutative test objects 
diff git a/sage/categories/category_with_axiom.py b/sage/categories/category_with_axiom.py
a

b

class CategoryWithAxiom(Category): 
750  750  
751  751  sage: C = DistributiveMagmasAndAdditiveMagmas().AdditiveAssociative().AdditiveCommutative() 
752  752  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'> 
754  754  sage: C.__reduce__() 
755  755  (<function call_method at ...>, (Category of additive associative distributive magmas and additive magmas, '_with_axiom', 'AdditiveCommutative')) 
756  756  """ 
diff git a/sage/categories/primer.py b/sage/categories/primer.py
a

b

appropriate super classes according to 
602  602  
603  603  sage: Groups().element_class.__bases__ 
604  604  (<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'>) 
606  606  
607  607  We now see that the hierarchy of classes for parents and elements is 
608  608  parallel to the hierarchy of categories:: 