Gyrovector_space loading ...