regularityVar computes the CastelnuovoMumford regularity of homogeneous ideals in a polynomial ring by computing the shifts and degrees of generators in a minimal free resolution of the homogeneous ideal.
The list of variables l contains the variables of the ring having degree 1. Those variables on the ring not in l have automatically degree 0, as well as the elements on the coefficient ring







The object regularityVar is a method function.