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