From dcba4094c2910c1956413b1e310ca8465d2c7790 Mon Sep 17 00:00:00 2001 From: Bruno Grenet Date: Wed, 10 Jul 2019 09:41:30 +0200 Subject: [PATCH] 28147: Doctests --- .../rings/polynomial/polynomial_element.pyx | 23 +++++++++++++++++++ 1 file changed, 23 insertions(+) diff --git a/src/sage/rings/polynomial/polynomial_element.pyx b/src/sage/rings/polynomial/polynomial_element.pyx index 8cad9cdb5f7..0a2d7ee3462 100644 --- a/src/sage/rings/polynomial/polynomial_element.pyx +++ b/src/sage/rings/polynomial/polynomial_element.pyx @@ -3642,6 +3642,29 @@ cdef class Polynomial(CommutativeAlgebraElement): sage: S = R.fraction_field(); x = S.gen() sage: R(1).derivative(R(x)) 0 + + Check that :trac:`28147` is fixed:: + + sage: R. = GF(65537)[] + sage: p = x^4 - 17*x^3 + 2*x^2 - x + 7 + sage: p.derivative() + 4*x^3 + 65486*x^2 + 4*x + 65536 + sage: R. = GF(19^2)[] + sage: p = x^4 - 17*x^3 + 2*x^2 - x + 7 + sage: p.derivative() + 4*x^3 + 6*x^2 + 4*x + 18 + sage: R. = GF(2)[] + sage: p = x^4 + x^2 + x + sage: p.derivative() + 1 + + Check that :trac:`26844` is fixed by :trac:`28147`:: + + sage: A = PolynomialRing(GF(3), name='t') + sage: K = A.fraction_field() + sage: t = K.gen() + sage: t.derivative(t) + 1 """ if var is not None and var != self._parent.gen(): # call _derivative() recursively on coefficients