Software package for computer-aided number theory
