'Checks that M >= 0 and is constant.'

def validate_arguments(self):

    if (not (self.M.is_positive() and self.M.is_constant() and self.M.is_scalar())):
        raise ValueError('M    must    be    a    non-negative    scalar    constant.')
