sectionRing(I) begins by computing the regularity m of OX, OX(D), OX(2D), ..., OX((l-1)D) with respect to OX(lD), where l is the output of globallyGenerated(D). By Mumford’s Thm (1.8.5 in Positivity) yields that each of the maps OX(iD)⊗OX(lD)⊗ m -> OX((i+ml)D) is surjective. Thus, all generators for the section ring can be assumed in lower degree than bound. Thus it forms a polynomial ring S over the base field with h0(iD)-many generators in degree i, for i=1,2,...,bound-1. Next, relations in degree d are computing by considering the total maps ⊕partitions P of d ⊗i∈P OX(i D) -> OX(dD). Each of these relations is then quotiented, until the point that a domain of the correct dimension is produced. Some steps are then performed to make the output more readable and standard.