Sistema de álgebra computacional projetado para cálculos na teoria dos números
