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.
No takes yet. Share an insight, caveat, or question.
Nabeshima et al. (2026) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: