gyroautomorphisms