)The derivation captures the properties of differentiation, so that for any two elements of the base field, the derivation is linear

and satisfies the Leibniz product rule

An element "h" is a constant if "∂h = 0".If the base field is over the rationals, care must be taken when extending the field to add the needed transcendental constants.