In Maple 14

with(epsilon); > f:=[(x-u)^2+(y-v)^2-1,v^2-u^3,2*v*(x-u)+3*u^2*(y-v),(3*w*u^2-1)*(2*w*v-1)]; > printlevel:=2:

               Epsilon 0.618 (C) 2003 by Dongming Wang

[CharSet, ICS, IVD, PID, Prove, RIM, RegSer, SimSer, TriSer, Tsolve,

        dTriSer]

              ...