Estoy interesado en el software que tiene la capacidad para investigar grupos finitos. En particular, me gustaría poder preguntar preguntas como "¿Cuáles son las soluciones al $x^3 = 1$?" (es decir, encontrar raíces cúbicas de la unidad) para un grupo de la permutación.
Has tenido un vistazo de Maxima, pero no veo una manera de pedir hacer eso.