Document passing in coefficients into valuations()

augmented_valuation.py

@@ -1540,6 +1540,11 @@ def valuations(self, f, coefficients=None):
 
         - ``f`` -- a polynomial in the domain of this valuation
 
+        - ``coefficients`` -- the coefficients of ``f`` as produced by
+          :meth:`coefficients` or ``None`` (default: ``None``); this can be
+          used to speed up the computation when the expansion of ``f`` is
+          already known from a previous computation.
+
         OUTPUT:
 
         An iterator over rational numbers (or infinity) `[v(f_0), v(f_1\phi), \dots]`
@@ -1703,6 +1708,11 @@ def valuations(self, f, coefficients=None):
 
         - ``f`` -- a polynomial in the domain of this valuation
 
+        - ``coefficients`` -- the coefficients of ``f`` as produced by
+          :meth:`coefficients` or ``None`` (default: ``None``); this can be
+          used to speed up the computation when the expansion of ``f`` is
+          already known from a previous computation.
+
         OUTPUT:
 
         An iterator over rational numbers (or infinity) `[v(f_0), v(f_1\phi), \dots]`

gauss_valuation.py

@@ -242,14 +242,19 @@ def uniformizer(self):
         """
         return self.domain()(self._base_valuation.uniformizer())
 
-    def valuations(self, f):
+    def valuations(self, f, coefficients=None):
         """
         Return the valuations of the `f_i\phi^i` in the expansion `f=\sum f_i\phi^i`.
 
         INPUT:
 
         - ``f`` -- a polynomial in the domain of this valuation
 
+        - ``coefficients`` -- the coefficients of ``f`` as produced by
+          :meth:`coefficients` or ``None`` (default: ``None``); this can be
+          used to speed up the computation when the expansion of ``f`` is
+          already known from a previous computation.
+
         OUTPUT:
 
         A list, each entry a rational numbers or infinity, the valuations of `f_0, f_1\phi, \dots`
@@ -267,7 +272,7 @@ def valuations(self, f):
         """
         f = self.domain().coerce(f)
 
-        for c in self.coefficients(f):
+        for c in coefficients or self.coefficients(f):
             yield self._base_valuation(c)
 
     @cached_method