different power of the ideal
examples isFacet