adapted bounds to visualize the Serre vector bundle criterion in HorrocksMumford.g