GenDegreeLimit -- Option to bound the homological degree searched for algebra generators

Routines that assemble a homology algebra — such as homologyAlgebra and torAlgebra — must, in general, walk up all homological degrees to find algebra generators. When the DG algebra has generators in even degree, that process is infinite; GenDegreeLimit caps the search. The answer is a truncation of the full homology algebra below the specified degree, and is exact in the bounded case.

Functions with optional argument named GenDegreeLimit:

• findTrivialMasseyOperation(...,GenDegreeLimit=>...) -- Maximum homological degree of generators used in the trivial Massey operation search
• homologyAlgebra(...,GenDegreeLimit=>...) -- Maximum homological degree searched for homology-algebra generators
• isGolodHomomorphism(...,GenDegreeLimit=>...) -- Maximum homological degree of generators used by isGolodHomomorphism
• isHomologyAlgebraTrivial(...,GenDegreeLimit=>...) -- Maximum homological degree of generators used by isHomologyAlgebraTrivial
• torAlgebra(...,GenDegreeLimit=>...) -- Maximum homological degree searched for Tor-algebra generators
• torMap(...,GenDegreeLimit=>...) -- see torMap -- Compute the map of Tor algebras associated to a RingMap.