 Um sistema de álgebra computacional (versão pré-lançamento) projetado especificamente para a solução de problemas
encontrados na teoria dos campos. 
