Integral -package:massiv -package:text-show -package:xmonad-contrib package:algebra

An integral domain is a commutative domain in which 1≠0.