Văn bản này: Ideals, varieties, and algorithms