khibino/ideals-varieties-and-algorithms.hg archive