Fixed wording of function field derivation docstring

sagemath · Aug 16, 2015 · 06770a3 · 06770a3
1 parent d11261c
commit 06770a3
Showing 1 changed file with 4 additions and 5 deletions.
diff --git a/src/sage/rings/function_field/function_field.py b/src/sage/rings/function_field/function_field.py
@@ -1080,11 +1080,10 @@ def derivation(self):
 
         If this field is a separable extension of another function field `F`,
         then Proposition 11 of [GT1996]_ describes how to compute the unique
-        extension of a derivation on `F` to this field; we apply this algorithm
-        to the generator of the space of derivations on `F`.
-        If this field has not been generated as a separable extension, then we
-        find an isomorphic field which is a separable extension of a rational
-        function field, see :meth:`separable_model`.
+        extension of a derivation on `F` to this field; we apply the formula
+        described there to the generator of the space of derivations on `F`.
+        The general inseparable case is not implemented yet (see :trac:`16562`,
+        :trac:`16564`.)`
 
         OUTPUT: