# ReductionOfOrder(F, L)ΒΆ

ReductionOfOrder provides functions for reducing the order of linear ordinary differential equations once some solutions are known.

- ReduceOrder: (L, F) -> L
`ReduceOrder(op, s)`

returns`op1`

such that for any solution`z`

of`op1 z = 0`

,`y = s \int z`

is a solution of`op y = 0`

.`s`

must satisfy`op s = 0`

.