PrecomputedAssociatedEquations(R, L)

lodof.spad line 143 [edit on github]

• R : IntegralDomain
• L : LinearOrdinaryDifferentialOperatorCategory(R)

PrecomputedAssociatedEquations stores some generic precomputations which speed up the computations of the associated equations needed for factoring operators.

firstUncouplingMatrix : (L, PositiveInteger) -> Union(Matrix(R), "failed")

firstUncouplingMatrix(op, m) returns the matrix A such that A w = (W', W'', ..., W^N) in the corresponding associated equations for right-factors of order m of op. Returns "failed" if the matrix A has not been precomputed for the particular combination degree(L), m.