En el ejercicio 3.10.29 se pide mostrar una ejecución paso a paso de los algoritmos Stages y UniStages.
Esto se podría hacer utilizando DisJ? o "en papel" con algún anillo con valores definidos?
Creo no tiene sentido hacerlo para un anillo genérico sin valores definidos, o capaz no entendí bien el ejercicio.
Agradezco su respuesta, saludos
Lorenzo