Describir: Gröbner bases in ring theory