AssociatedEquations provides functions to compute the associated equations needed for factoring operators
- associatedEquations: (L, PositiveInteger) -> Record(minor: List PositiveInteger, eq: L, minors: List List PositiveInteger, ops: List L) if R has Field
[w, eq, lw, lop]such that
eq(w) = 0where
wis the given minor, and
lw_i = lop_i(w)for all the other minors.
- associatedSystem: (L, PositiveInteger) -> Record(mat: Matrix R, vec: Vector List PositiveInteger)
[M, w]such that the
m-th associated equation system to
w' = M w.