LinearOrdinaryDifferentialOperator3Aux(Coeff, A, R)

lodo.spad line 213 [edit on github]

• Coeff: Ring

• A: AbelianMonoidRing(Coeff, NonNegativeInteger)

• R: Join(DifferentialRing, LeftModule A)

LinearOrdinaryDifferentialOperator3Aux is a helper for LinearOrdinaryDifferentialOperator3 defining appropriate derivative.

delta_deriv: R -> R

delta_deriv(f) is x*f’ where x is variable in A