The command RationalMapImage(F, RM, R, S) returns a constructible set cs which is the image of the variety  under the rational map RM.

If H is specified, let  be the variety defined by the product of polynomials in H. The command RationalMapImage(F, H, RM, R, S) returns the image of the constructible set - under the rational map RM.

The command RationalMapImage(CS, RM, R, S) returns the image of the constructible set CS under the rational map RM.

Both rings R and S should be over the same ground field.

The variable sets of R and S should be disjoint.

The number of polynomials in RM is equal to the number of variables of ring S.