documentation:release:4.0:ideal:groebner