LinearOrdinaryDifferentialOperatorFactorizer(F, UP)

lodof.spad line 344 [edit on github]

• F : Join(Field, CharacteristicZero, RetractableTo(Integer), RetractableTo(Fraction(Integer)))
• UP : UnivariatePolynomialCategory(F)

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

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

factor(a) returns the factorisation of a.

factor : (LinearOrdinaryDifferentialOperator1(Fraction(UP)), Mapping(List(F), UP)) -> List(LinearOrdinaryDifferentialOperator1(Fraction(UP)))

factor(a, zeros) returns the factorisation of a. zeros is a zero finder in UP.

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.