From 6445ddf6e46166f9e742962027f7e49b02b78bb7 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Julian=20R=C3=BCth?= <julian.rueth@fsfe.org>
Date: Wed, 7 Dec 2016 13:17:36 -0500
Subject: [PATCH] docstring for mu()

---
 inductive_valuation.py | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/inductive_valuation.py b/inductive_valuation.py
index 2fc8f24dcd..5121495882 100644
--- 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):