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.