number theory-oriented computer algebra system
