TMOLimit -- Option to bound the arity of Massey operations searched for by findTrivialMasseyOperation

A trivial Massey operation on a DG algebra is a system of null-homotopies that simultaneously trivialize every Massey product. TMOLimit caps the arity of Massey products considered: only k-fold products with k <= n are tested for bounding. This makes the search finite even when the full system would be infinite. In practice, TMOLimit values of 3 or 4 suffice for small examples.

Functions with optional argument named TMOLimit:

• findTrivialMasseyOperation(...,TMOLimit=>...) -- Maximum arity of Massey products searched for bounding
• isGolodHomomorphism(...,TMOLimit=>...) -- Option to cap the arity of the trivial Massey operation used in isGolodHomomorphism