En la solución se presenta este código para por ejemplo la rotación derecha:
En un principio yo había pensado una implementación similar pero que solo utilizaba solo un arbAVL auxiliar y como el orden de las asignaciones era distinto creí que hacían lo mismo. El código era asi:
arbAVL y = z->izq;
z->izq = y->der;
y->der = z;
// Actualizar alturas
z=y
Haciendo esquemas veo que con ambos códigos los punteros terminan en iguales direcciones, pero sin embargo el segundo código (el que usa solo un auxiliar) no me funciona. Creo que directamente no hace nada ya que al usarlo en insertar hace la inserción normal como en un ABB pero nunca balancea. ¿En dónde podría estaría el error? y sobretodo ¿En qué ayuda a solucionarlo ese puntero auxiliar?