SMS: Computational algebra