LinearOrdinaryDifferentialOperatorFactorizer(F, UP)ΒΆ

lodof.spad line 343

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.