Text this: Computational commutative and non-commutative algebraic geometry