Describir: Ideals, Varieties, and Algorithms :