Scheme code for Differential Geometry