Comprehensive Gröbner system approach to Chevalley’s theorem on images of rational mappings

Simple methods for computing the image of a rational mapping of an affine variety are considered in the context of symbolic computation. It is shown that comprehensive Gröbner systems are well suited for computing such images. These methods can be also regarded as providing an alternative proof of the affine version of Chevalley’s theorem.