Whether the input ideal is homogeneous, if known. The value of this input is only checked if CheckCM=>true.
The object IsIdealHomogeneous is a symbol.