isHomogeneous
isHomogeneous x
-- whether the polynomial or ideal x is homogeneous.
