Aunque el complemento de álgebra abstracta es un paquete hermoso para Mathematica, no hay nada que supere GAP, al menos no para la teoría de grupos. Cuando miré a Sage hace unos años, encontré que se
Esta pregunta podría referirse a cualquier sistema de álgebra computacional que tenga la capacidad de calcular la base de Groebner a partir de un conjunto de polinomios (Mathematica, Singular, GAP, Ma