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.

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.