Noncommutative_projective_geometry loading ...