arguments: f >> bool [f is a ringelem, vector, or matrix]
Yields true(1) or false(0), depending on whether 'f'is (multi-)homogeneous. If the base ring is not homogeneous, then this will always yield false.