Castelnuovo–Mumford regularity (source code)

= Castelnuovo–Mumford regularity
{wiki=Castelnuovo–Mumford_regularity}