The value of Limit is used internally within the sagbi function to stop the computation before a subalgebra basis has been found. Since subalgebra bases may be infinite, such a barrier is needed to prevent endless loops.
The Limit is an upper bound on the degrees of the $S$pairs considered by the algorithm in the presentationRing. In this ring, the degrees are assigned according to the degrees of the leading terms of the polynomials that the variables represent.
Since the sagbiDegree does not monotonically increase during the computation, there is no guarantee that a computed partial subalgebra basis is complete up to Limit, even when the computation terminates at this bound.









