mregular.lib. A library for computing the Castelnuovo-Mumford regularity of a homogeneous ideal that DOES NOT require the computation of a minimal graded free resolution of the ideal. It also determines depth(basering/ideal) and satiety(ideal). The procedures are based on 3 papers by Isabel Bermejo and Philippe Gimenez: ’On Castelnuovo-Mumford regularity of projective curves’ Proc.Amer.Math.Soc. 128(5) (2000), ’Computing the Castelnuovo-Mumford regularity of some subschemes of Pn using quotients of monomial ideals’, Proceedings of MEGA-2000, J. Pure Appl. Algebra 164 (2001), and ’Saturation and Castelnuovo-Mumford regularity’, Preprint (2004).