Notes on ideals and Gröbner bases, split Sage types, TOC in exercises