This paper presents a Grobner basis criterion to determine whether a g
iven rational map of two affine varieties is birational and if so, to
compute the inverse. Also, with the help of Grobner basis, we can comp
ute the image of any rational map between two affine varieties. (C) 19
98 Elsevier Science B.V.