We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 40a7bf2 commit eafc27fCopy full SHA for eafc27f
src/differential_fields.jl
@@ -162,8 +162,7 @@ end
162
163
function (D::AlgebraicExtensionDerivation)(f::AbstractAlgebra.ResFieldElem{P}) where {T<:FieldElement, P<:PolyElem{T}}
164
iscompatible(f, D) || error("f not in domain of D")
165
- E = parent(f)
166
- map_coefficients(derivative, data(f))(y) + derivative(data(f))(y)*D.dy
+ map_coefficients(derivative, data(f)) + derivative(data(f))*D.dy
167
end
168
169
BaseDerivation(D::AlgebraicExtensionDerivation) = D.D
0 commit comments