Computational Commutative And Non-Commutative Algebraic Geometry by