documentation:release:4.8:ideal:groebner