Software package for computer-aided number theory (2.3 version)
