docstring for mu()

MCLF · Dec 7, 2016 · 6445ddf · 6445ddf
1 parent 79b3380
commit 6445ddf
Showing 1 changed file with 12 additions and 0 deletions.
diff --git a/inductive_valuation.py b/inductive_valuation.py
@@ -896,6 +896,18 @@ def is_minimal(self, f, assume_equivalence_irreducible=False):
 
     @cached_method
     def mu(self):
+        r"""
+        Return the valuation of :meth:`phi`.
+
+        EXAMPLES::
+
+            sage: from mac_lane import * # optional: standalone
+            sage: R.<x> = QQ[]
+            sage: v = GaussValuation(R, pAdicValuation(QQ, 2))
+            sage: v.mu()
+            0
+
+        """
         return self(self.phi())
 
     def _equivalence_reduction(self, f):