LinearOrdinaryDifferentialOperatorFactorizer(F, UP)ΒΆ

lodof.spad line 343 [edit on github]

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.