Allows the user to specify a number m (which must be at least CoDepth M), for more efficient computation.
Does not check that the CoDepth value is correct.
The object CoDepth is a symbol.