# LODOConvertions(Coeff, Ab, R)ΒΆ

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

LODOConvertions implements convertion 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`

.