Non-commutative_projective_geometry loading ...