LODOConvertions(Coeff, Ab, R)

lodo.spad line 239 [edit on github]

• Coeff : Ring
• Ab : AbelianMonoidRing(Coeff, NonNegativeInteger)
• R : Join(DifferentialRing, LeftModule(Ab))

LODOConvertions implements conversion between LinearOrdinaryDifferentialOperator1 and LinearOrdinaryDifferentialOperator3 and back.

convert : LinearOrdinaryDifferentialOperator3(Coeff, Ab, R) -> LinearOrdinaryDifferentialOperator1(R)

convert(l3) converts an operator l3 from LinearOrdinaryDifferentialOperator3 to LinearOrdinaryDifferentialOperator1 such that the resultant operator gives the same result as the original one on application to an element of domain R.

convert : LinearOrdinaryDifferentialOperator1(R) -> LinearOrdinaryDifferentialOperator3(Coeff, Ab, R)

convert(l1) converts an operator l1 from LinearOrdinaryDifferentialOperator1 to LinearOrdinaryDifferentialOperator3 such that the resultant operator gives the same result as the original one on application to an element of domain R.