isGol = isGolodHomomorphism(R)
This function determines if the canonical map from ambient R > R is Golod. It does this by computing an acyclic closure of ambient R (which is a DGAlgebra), then tensors this with R, and determines if this DG Algebra has a trivial Massey operation up to a certain homological degree provided by the option GenDegreeLimit.


If R is a Golod ring, then ambient R $\rightarrow$ R is a Golod homomorphism.



The map from Q to R is Golod by a result of Avramov and Levin; we can only find the trivial Massey operations out to a given degree.
The object isGolodHomomorphism is a method function with options.