documentation:release:3.6:ideal:groebner