Computational Commutative And Non-Commutative Algebraic Geometry door