# LinearOrdinaryDifferentialOperatorFactorizer(F, UP)ΒΆ

lodof.spad line 344 [edit on github]

F: Join(Field, CharacteristicZero, RetractableTo Integer, RetractableTo Fraction Integer)

LinearOrdinaryDifferentialOperatorFactorizer provides a factorizer for linear ordinary differential operators whose coefficients are rational functions.

- factor1: LinearOrdinaryDifferentialOperator1 Fraction UP -> List LinearOrdinaryDifferentialOperator1 Fraction UP if F has AlgebraicallyClosedField
`factor1(a)`

returns the factorisation of a, assuming that a has no first-order right factor.

- factor: (LinearOrdinaryDifferentialOperator1 Fraction UP, UP -> List F) -> List LinearOrdinaryDifferentialOperator1 Fraction UP
`factor(a, zeros)`

returns the factorisation of a.`zeros`

is a zero finder in`UP`

.

- factor: LinearOrdinaryDifferentialOperator1 Fraction UP -> List LinearOrdinaryDifferentialOperator1 Fraction UP if F has AlgebraicallyClosedField
`factor(a)`

returns the factorisation of a.