PrecomputedAssociatedEquations(R, L)ΒΆ

lodof.spad line 143

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.