Question: Image of a constructible set

Hello,

I am interested in computing the image of a constructible set in Maple.  I am using Maple 12 on a remote machine.  I am able to load the ConstructibleSetTools, ChainTools, and RegularChains libraries.  This paper indicates that the authors were using Maple 12 and have defined the RationalMap command.

However, Maple does not seem to recognize the aforementioned command when I try to use it; there is also no help file for it.  Moreover, the PolynomialMapImage command, which is recognized, only allows one to compute the image of a variety according to the internal help file---even though the online help indicates it can take the first parameter a constructible set.  Does anyone know a way I could get around this?  For instance, is there a way to use Maple to take a constructible set and output a finite collection of locally closed sets corresponding to it, and then to give the polynomial equations (and inequations) defining those locally closed sets?

Thanks for the help!