Invia SMS: Computational commutative and non-commutative algebraic geometry