Modules.ParentMethods.quotient: Expand docstring

Author: Matthias Koeppe

Diff for: src/sage/categories/modules.py

@@ -679,8 +679,6 @@ def quotient(self, submodule, check=True, **kwds):
             r"""
             Construct the quotient module ``self`` / ``submodule``.
 
-            This method just delegates to :meth:`quotient_module`.
-
             INPUT:
 
             - ``submodule`` -- a submodule with basis of ``self``, or
@@ -689,6 +687,22 @@ def quotient(self, submodule, check=True, **kwds):
 
             - ``check``, other keyword arguments: passed on to
               :meth:`quotient_module`.
+
+            This method just delegates to :meth:`quotient_module`.
+            Classes implementing modules should override that method.
+
+            Parents in categories with additional structure may override
+            :meth:`quotient`. For example, in algebras, :meth:`quotient` will
+            be the same as :meth:`quotient_ring`.
+
+            EXAMPLES::
+
+                sage: C = CombinatorialFreeModule(QQ, ['a','b','c'])
+                sage: TA = TensorAlgebra(C)
+                sage: TA.quotient
+                <bound method Rings.ParentMethods.quotient of
+                 Tensor Algebra of Free module generated by {'a', 'b', 'c'} over Rational Field>
+
             """
             return self.quotient_module(submodule, check=check, **kwds)