documentation:release:4.6:ideal:groebner