SMS dit: Computational commutative and non-commutative algebraic geometry