Differential Algebra initial commit