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: 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.

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.