abs package:numeric-prelude

Check whether a Laurent polynomial has only the absolute term, that is, it represents the constant polynomial.