SMS dit: Computational algebra