You asked for it!!! It exceed the 10000 character length
> I cut out my original post to get the text to fit in the 10000 character limit.
Maple 12 can quickly get a triangular form (F4+FGLM) but the system
doesn't split. I obtain the following Groebner basis in lex order
with y0 > x0 > r0:
sys := {(x1-x0)^2+(y1-y0)^2-(r0+r1)^2,(x2-x0)^2+(y2-y0)^2-(r0+r2)^2,
(x3-x0)^2+(y3-y0)^2-(r0+r3)^2}:
vars := {x0,y0,r0};
G := Groebner[Basis](sys,'tord',order=plex,variables=vars):
[-6*x3^2*x1^2*x2^2+2*y1^2*x1^2*y2^2-2*x1*x2^3*y3^2-2*x1^3*y3^2*x2+4*x3^2*x1 ^2*r2^2-2*r1^2*x1^2*y2^2-2*r1^2*y3^2*x1^2+2*y1^2*y3^2*x1^2-2*y3^2*y2^2*r3^2 -2*x1^3*y2^2*x2-2*y2^4*x1*x3+2*y3^2*y2^2*x3^2+2*y2^2*y3^2*x2^
2-2*x3^2*y2^2*r3^2-2*y1^2*x2^3*x3-2*r1^4*y2*y3-2*y3^2*x2^2*r3^2-2*x1^3*y2^2 *x3+
(-8*y1*r3^2*y2+8*x3*y1^2*x2-8*y1^2*r3*r2-8*r3*x1^2*r2+8*x3^2*y2*y1-8*y1*y3* r2^2+8*y1*x2^2*y3-8*y2*x1*y3*x2-8*y3*r1^2*y2+8*x1^2*y2*y3
+8*x1*y2^2*x3-8*x1*r2^2*x3-8*x2*r1^2*x3+8*y3^2*x1*x2-8*r3^2*x1*x2-4*y3^2*x2 ^2-4*x1^2*y2^2-4*y3^2*x1^2-4*x3^2*y2^2+4*x2^2*r1^2+4*r1^2*y2^2+4*r3^2*y2^2+ 4*r3^2*x1^2+4*r3^2*x2^2+4*r2^2*x1^2-8*x3*y2*y1*x2-8*x3*y2*y3*
x1+8*x3*y2*y3*x2-8*x3*y1*x1*y2+8*x3*y1*y3*x1-8*x3*y1*y3*x2+8*x1*y2*y1*x2-8* y1*x2*y3*x1-4*x3^2*y1^2-4*y1^2*x2^2+4*y1^2*r2^2+8*r1*x1*x3*r2+4*r1^2*x3^2+4 *y3^2*r1^2+4*y3^2*r2^2+8*r2*x1*x3*r3+8*r3*x1*x2*r2-8*r2*x2*x3
*r3+4*x3^2*r2^2-8*r3*y2*y3*r2+8*y1*r2*y2*r3+8*y1*r3*y3*r2+4*y1^2*r3^2-8*r1* r2*x3^2-8*r1*y2^2*r3-8*y3^2*r1*r2-8*r1*x2^2*r3-8*y1*r1*y2*r2+8*r2*y2*y3*r1+ 8*r3*y2*y3*r1+8*r1*x2*x3*r3+8*r1*r2*x3*x2-8*r1*x1*x2*r2+8*r1*
x1*x2*r3-8*r1*x1*x3*r3+8*y1*y3*r1*r2-8*y1*y3*r1*r3+8*y1*r1*y2*r3)
*r0^2-2*x3^2*x2^2*r2^2-2*y1^4*x3*x2+2*x3^2*x2^2*y3^2-2*x1^4*y2*y3-2*y1^3*x2 ^2*y3+2*y2^2*y1^2*x2^2+2*x3^2*x1^2*y3^2+2*r2^2*x3^2*y2*y1-2*x3^2*x2^2*
r3^2-2*r1^2*y2^2*r3^2+2*y2^2*y3^2*x1^2-2*y3^2*x2^2*r2^2+2*x1^2*x3^2*y2^2+2* x3^2*x2^2*y2^2+2*y1^2*x3^2*y2^2+2*x1^2*y2^2*x2^2-2*y1^2*x2^2*r2^2+2*y1^2*x2 ^2*x1^2-2*x3^2*y2^3*y3-2*y1*y2^3*x3^2+2*x1^2*y3^2*x2^2-2*y1^3
*x3^2*y2+4*y1*x1^2*x3*y3*x2+2*y1^2*y3^2*x2^2-2*y1*y2^3*x1^2-2*y2^3*x1^2*y3- 2*y1^3*y2*x2^2-2*x3^2*x1^2*r3^2+y1^4*x3^2+y1^4*x2^2+y2^4*x1^2+y2^4*x3^2-4*y 1^2*x1^2*y2*y3-2*y1^2*x1*y2^2*x3-2*y1^2*y3^2*x1*x2+4*y1^3*x3*
y2*x2+4*y1^3*x3*y3*x2+2*y1^2*y2*x2^2*y3+2*y1*y2^2*x1^2*y3+4*y1*y2^3*x1*x3+2 *y1*y2*y3^2*x2^2+2*y1*y2*y3^2*x1^2-2*y1^2*y2^2*x3*x2-2*y1^2*y2^2*x1*x2-4*y2 ^2*y1*x2^2*y3-2*y2^2*y3^2*x1*x2+4*y2^3*x3*y3*x1+4*y1^2*y2*x1*
y3*x2+4*y1^2*x3*y2*y3*x1-8*y1^2*x3*y2*y3*x2+4*y1*y2^2*x1*y3*x2-8*y1*y2*y3^2 *x1*x2-8*y1*y2^2*x3*y3*x1+4*y1*y2^2*x3*y3*x2+2*y1^2*y3*y2^3+4*y1*x2*x3*y3^2 *y2-2*r1^2*x3^2*y1^2+y3^2*x2^4-2*x2^3*x3^3-2*x1^3*x2^3+y3^2*
y2^4+r1^4*y2^2+x3^2*x2^4+y3^4*y2^2+x1^4*y3^2+y3^4*x2^2+r3^4*x1^2-2*x1^3*x3^ 3+r2^4*x1^2+x3^4*x1^2+x3^4*y2^2+y3^4*x1^2+r3^4*y2^2+4*y3*r2^2*y2^2*y1-2*r1^ 2*y1^2*x2^2-2*r2^2*x1^2*y2^2-2*r2^2*x3^2*y2^2-2*r3^2*y2^3*y1+
4*r3^2*y2^2*y1^2+2*r1^2*y2^3*y1-2*y3*r1^2*y2^3+4*y3^2*r1^2*y2^2+2*y1^3*r2^2 *y2-2*r3^2*y2*y1^3-2*y3^2*r1^2*y1^2-2*r1^2*y2^2*y1^2-2*y3*r2^2*y1^3+4*y3^2* r2^2*y1^2-2*y3^2*r2^2*y2^2-2*y1^2*r2^2*y2^2+4*r1^2*x3*y1^2*x2
+2*r1^2*x3^2*y2*y1-4*r1^2*x3*y2*y1*x2+4*r2^2*x1*y2^2*x3-4*r2^2*x3*y1*x1*y2+ 4*y3*r1^2*y1^2*y2+2*r1^2*x2^2*y1*y2+2*r2^2*x1^2*y2*y1-2*r3^2*y1*x2^2*y2-2*r 3^2*y1*x1^2*y2-2*r1^2*y2^2*y1*y3-2*y1^2*r2^2*y2*y3-2*r2^2*x1*
x3*y1^2-2*r1^2*x2*x3*y2^2-2*r3^2*y2^2*x1*x2+8*r3^2*y2*x1*x2*y1-2*r3^2*y1^2* x1*x2-2*y3^2*r1^2*y1*y2-2*y3^2*r2^2*y1*y2+x1^4*y2^2+y3^2*r2^4+x3^4*x2^2+x2^ 4*x1^2+r3^4*x2^2+y3^2*r1^4-2*y3^3*y2^3+2*x1^2*y2^2*x2*x3-2*x1
^2*y2*x2^2*y3+4*x1^3*x3*y2*y3+4*x1^3*y2*y3*x2+2*r1^2*x1*y2^2*x2+4*r1^2*x1^2 *y2*y3+2*r1^2*x1*y2^2*x3-2*r1^2*y2*x2^2*y3+2*r1^2*y3^2*x1*x2-4*r1^2*x3*y2*y 3*x1+8*r1^2*x3*y2*y3*x2-8*x1^2*x3*y2*y3*x2-4*r1^2*y2*x1*y3*x2
-2*y3^2*x1^2*r3^2-2*y3^3*y2*x1^2-2*y3^3*y2*r1^2-2*y3^3*y2*x2^2+2*y3^3*y2*r2 ^2+2*x1^3*x2*x3^2-2*x1^3*x2*r3^2+2*x1^3*x2*r2^2-2*x1^3*x3*y3^2+2*x1^3*x3*r3 ^2+2*x1^3*x3*x2^2-2*x1^3*x3*r2^2+4*x2^2*x1^2*r3^2-2*x2^2*x1^2
*r2^2-2*x2^3*x3*y3^2+2*x2^3*x3*r3^2+4*x2^2*r1^2*x3^2-2*x2^2*r1^2*r3^2-2*x1* y2^2*x3^3-2*x3^2*y2*y3*x1^2-2*x3^2*y2*y3*r1^2-2*x3^2*y2*y3*x2^2+2*x3^2*y2*y 3*r2^2+2*r1^2*y2*y3*r2^2+2*x1^2*r2^2*y2*y3+2*x2^2*y3*r3^2*y2+
2*x1*y2^2*x2*x3^2+2*x1^2*y2*y3*r3^2-2*x1*y2^2*x3*y3^2+2*x1*y2^2*x3*r3^2-4*x 1*y2^2*x3*x2^2+4*x1*y3^3*x2*y2+2*x1*y3^2*x2*r2^2+2*x1*r1^2*x3*y3^2-2*x1*r1^ 2*x3*r3^2-2*x1*r1^2*x3*x2^2+2*x1*r1^2*x3*r2^2-2*x1*r1^2*x2*x3
^2+2*x1*r1^2*x2*r3^2-2*x1*r1^2*x2*r2^2+4*x1*y3*x2*x3^2*y2-4*x1*y3*x2*r3^2*y 2+2*x1*x2^2*x3*y3^2-2*x1*x2^2*x3*r3^2+4*x1*x2^2*x3*r2^2-2*x1*r2^2*x3*y3^2+2 *x1*r2^2*x3*r3^2-2*x2*r1^2*x3*y3^2+2*x2*r1^2*x3*r3^2+2*x2*r1^
2*x3*r2^2-2*x2*x3*y2^2*y3^2+2*x2*x3*y2^2*r3^2+2*x2*x1^2*x3*y3^2-2*x2*x1^2*x 3*r3^2-2*x2*x1^2*x3*r2^2+2*x2*r2^2*x3*y3^2-2*x2*r2^2*x3*r3^2-4*x3^2*x1*x2*y 3^2+4*x3^2*x1*x2*r3^2-2*x3^2*x1*x2*r2^2+4*y3^2*x1*x2*r3^2+2*
r3^2*x1*x2*r2^2+2*y3*r1^2*y2*r3^2-2*y3*r2^2*y2*r3^2+4*r1^2*x1^2*x3*x2+4*x1* y2*x3*y3*x2^2-4*x1*y2*x3*y3*r2^2+2*r3^2*y2^3*y3+2*x1*r1^2*x3^3+2*x1*r1^2*x2 ^3+2*x1*x2^2*x3^3-2*x1*x2^4*x3-2*x1*r2^2*x3^3-2*x1*r2^4*x3-2*
x2*r1^2*x3^3-2*x2^3*r1^2*x3-2*x2*x3^3*y2^2+2*x2*x1^2*x3^3+2*x2^3*x1^2*x3+2* x2*r2^2*x3^3-2*x3^4*x1*x2+2*x3^2*x1*x2^3-2*y3^4*x1*x2-2*r3^4*x1*x2-2*r3^2*x 1*x2^3-2*r3^2*x1^2*r2^2-2*y3^2*r1^2*r2^2-2*x1^4*x3*x2-2*r1^4*
x3*x2-2*r1^2*x1^2*x3^2-2*r1^2*x1^2*x2^2-2*r1^2*r2^2*x3^2+x1^4*x3^2+x1^4*x2^ 2+r1^4*x3^2+r1^4*x2^2+r2^4*x3^2-2*y1^4*y3*y2-2*y1^3*x3^2*y3+2*y1^3*r3^2*y3+ 2*y1^3*y3*y2^2+2*y1^3*y3^2*y2-6*y1^2*y3^2*y2^2+2*y1^2*x3^2*x2
^2+2*y1^2*x3^2*x1^2+y1^4*y3^2+y1^4*y2^2-2*y1^3*y3^3-2*y1^3*y2^3+y1^2*x2^4+y 1^2*y2^4+y1^2*r2^4+y1^2*x3^4+y1^2*y3^4+y1^2*r3^4+2*y1^2*x2*x3*r3^2-2*y1^2*x 2*x3*y3^2+2*y1^2*x1*x2*r2^2+2*y1^2*x3^2*y2*y3+2*y1^2*x1*x2^2*
x3-4*y1^2*x2*x1^2*x3+2*y1^2*x2*r2^2*x3+2*y1^2*x3^2*x1*x2-2*y1^2*x1*x3*y3^2+ 2*y1^2*x1*x3*r3^2-2*y1^2*y3*r3^2*y2-2*y1*x1^2*x2^2*y3-4*y1*x3^2*y2*y3^2-2*y 1*r1^2*y2*r2^2+4*y1*x3^2*y2*r3^2-2*y1*x1^2*x2^2*y2+2*y1*x2^2*
r1^2*y3+4*y1*x1*x2^3*y3+2*y1*r1^2*y2*r3^2-2*y1*x3^2*x1^2*y3+4*y1*x2^3*x3*y3 +4*y1*x2^2*r2^2*y3-2*y1*x3^2*y2*x1^2-2*y1*x3^2*y2*x2^2+4*y1*x2*x3^3*y2-2*y1 *x1^2*r2^2*y3-2*y1*x3^2*x2^2*y3+4*y1*y3^2*y2*r3^2+2*y1*x3^2*
y2^2*y3+2*y1*x2^2*y3*r3^2+4*y1*x1*x3^3*y2+2*y1*x3^2*y3*r1^2-2*y1*x3^2*y3*r2 ^2+2*y1*r3^2*y3*x1^2-2*y1*r3^2*y3*r1^2-2*y1*r3^2*y3*y2^2+2*y1*r3^2*y3*r2^2+ 2*y1*r2^2*r3^2*y2+2*y1*r2^2*y3*r1^2+4*y1*x1*y3^3*x2+2*y1^2*x3
^2*y3^2-2*y1^2*x3^2*r3^2-2*y1^2*x1*x3^3-2*y1^2*x1*x2^3+2*y1^2*y3^3*y2-2*y1^ 2*x2*x3^3-2*y1^2*y3^2*r3^2-2*y1^2*r3^2*r2^2-2*y1*x2^4*y3+2*y1*y3^2*y2^3-2*y 1*y3*y2^4-2*y1*y3^3*x1^2-2*y1*x3^4*y2-2*y1*y3^4*y2-2*y1*y3^3*
x2^2+2*y1*y3^3*y2^2+2*y1*y3^3*r1^2-2*y1*y3^3*r2^2-2*y1*r3^4*y2-2*y1*r2^4*y3 +4*y1*x1*x2^2*x3*y2-4*y1*x1*r2^2*y3*x2+4*y1*x2*x1^2*x3*y2-8*y1*x3^2*y2*x1*x 2-4*y1*r1^2*x3*y3*x2-4*y1*x2*x3*r3^2*y2-4*y1*x2*x3*y3*r2^2+4*
y1*x1*x3*y3^2*y2-4*y1*x1*x3*r3^2*y2-8*y1*x1*x3*y3*x2^2+8*y1*x1*x3*y3*r2^2+4 *y1*x1*y3*x2*x3^2-4*y1*x1*y3*x2*r3^2+(4*x1*r1^2*x2*r3-4*x1*r1^2*x2*r2-4*x1* r1^2*x3*r3+4*y1^2*r3^3+4*y1^2*r2^3+4*r2^3*x3^2+4*r1^3*x2^2+4*
r1^3*x3^2+4*x1*r1^2*x3*r2+4*y3^2*r2^3+4*x1*y3^2*x2*r2+4*y3^2*r1^3+4*r2^3*x1 ^2+4*r3^3*x2^2+4*r3^3*x1^2+4*r1^2*y2*y3*r2+4*r3^3*y2^2+4*x3^2*y2*y3*r2-4*x3 ^2*y2^2*r3+4*r1^3*y2^2-4*x3^2*y2*y3*r1+4*r1*y3^2*x1*x2+4*r1*
x1*y2^2*x3+8*r1*x1^2*y2*y3+4*r1*y2^2*x1*x2-4*r1*y2^2*x3*x2-4*r1*y2*x2^2*y3- 4*y1*r2*x1^2*y3+4*y1*r1^2*y2*r3+4*y1^2*x2*x3*r3-4*y1*r1^2*y2*r2+4*y1*r2*x1^ 2*y2-4*y3^2*y2^2*r3+4*x1*y2^2*x3*r3+4*x1^2*y2*y3*r3+4*x1^2*y2
*y3*r2-4*x1*y2^2*x2*r3+4*x2^2*y3*r3*y2-4*y3^2*x2^2*r3+4*r3^2*y2*y3*r1-4*y3* r2^2*y2*r3+4*y3*r1^2*y2*r3+4*r3^2*x1*x2*r2+8*y3^2*x1*x2*r3-4*y3^2*x2^2*r2+8 *x3^2*x1*x2*r3-4*x3^2*x1*x2*r2+8*x1*y2^2*x3*r2+8*y1^2*r1*x3*
x2-4*y1*y3^2*y2*r2-4*r2*x2*x3*r3^2+4*r2*x2*x3*y3^2+4*r3*x1*x2*r2^2+4*r1*x1* x3*r2^2-4*r1*x1*x3*x2^2-4*r1*x1*x3*r3^2-4*x2^2*x1^2*r2+4*r1*x1*x3*y3^2-4*r1 *x1*x2*r2^2+4*r1*x1*x2*r3^2-4*r1*x1*x2*x3^2+4*r1*x2*x3*r3^2-4
*r1*x2*x3*y3^2+4*r2*x1*x3*r3^2-4*r2*x1*x3*y3^2-4*x2*r2^2*x3*r3-4*x2*x1^2*x3 *r3-4*x3^2*y2^2*r2+4*x1^3*x3*r3-4*x2*x1^2*x3*r2+4*x2*x3*y2^2*r3+4*x2*r1^2*x 3*r3+4*x2*r1^2*x3*r2-4*x1^3*x3*r2+4*x1*r2^2*x3*r3-4*x1*x2^2*
x3*r3+8*x1*x2^2*x3*r2+4*r2^2*r1*x3*x2+8*x1^2*r1*x3*x2+4*r2^2*y2*y3*r1-4*x1^ 3*x2*r3+4*x1^3*x2*r2+4*y3^3*y2*r2-4*y3^3*y2*r1-4*y3^2*x1^2*r3-4*x1^2*y2^2*r 2-4*x3^2*x1^2*r3+8*x3^2*x1^2*r2-8*r1^3*y2*y3-4*r3^2*y2*y3*r2-
\
4*r1^2*y2^2*r3-4*x1^2*r1*x2^2+8*y1*y2^2*y3*r2+4*y1*x2^2*y3*r3-4*x1^2*r1*x3^ 2-4*y3^2*r2^2*r1+8*y1*x2^2*y3*r2+4*y3*y2^3*r3-4*y3^2*r1^2*r2+8*y1*y3^2*y2*r 3-4*y1*y2*x2^2*r3+8*y1*x3^2*y2*r3-4*r2^2*x1^2*r3+4*y1*x3^2*y2
*r2+4*y1*r1*y2*x2^2+4*y1*r1*x3^2*y2-4*r3^2*x1^2*r2-4*r3^2*y2^2*r1-8*r3^3*x1 *x2+4*y1*r1*x2^2*y3-8*x1*r2^3*x3-4*y2^3*y3*r1-4*y1*y2^2*y3*r1-4*y1^2*y3*r3* y2-4*x2^2*r1^2*r3+4*x2^3*x3*r3-4*y1^2*y2*y3*r2+8*y1^2*y2*y3*
r1+4*y1^2*x1*x3*r3-4*y1^2*x1*x3*r2+8*x2^2*x1^2*r3+4*y1^2*x2*x3*r2-4*y1^2*x1 *x2*r3+4*y1^2*x1*x2*r2-4*y1*y3^2*r1*y2-4*r1*x2^2*r3^2+8*x2^2*r1*x3^2-4*y1*x 3^2*y3*r2+4*y1*x3^2*y3*r1-4*x2^3*r1*x3-8*r1^3*x3*x2-4*r1^2*r2
*x3^2-4*y1^2*y2^2*r1+4*y1*y3*r2^2*r3-4*y1*y3*r1^2*r3+4*y1*y3*r1^2*r2-4*y1*y 3*y2^2*r3+4*y1*r3^2*y2*r2+4*y1*r2^2*y3*r1+4*y1*r2^2*r3*y2+4*y1^3*y2*r2-4*y1 ^3*r3*y2+4*y1^3*y3*r3-4*y1^3*y3*r2-4*r3*x1*x2^3-4*y1*r2^2*r1*
y2+4*y1*r3^2*y3*r2-4*y1*r3^2*y3*r1+4*r1*x1*x3^3+4*r1*x1*x2^3-4*r1*x2*x3^3+4 *y1*r3^2*r1*y2-4*r2*x1*x3^3-4*y1^2*y3^2*r3+8*y1^2*y3^2*r2-4*y1^2*x3^2*r3+8* y1^2*y2^2*r3-4*y1^2*x2^2*r2-4*y1^2*x2^2*r1-4*y1^2*y2^2*r2-4*
y1^2*r1*x3^2+4*y1*r3*x1^2*y3-4*y1*r3*x1^2*y2-4*y1*y3^3*r2+4*y1*y3^3*r1-4*y1 *y2^3*r3+4*y1*y2^3*r1-4*y1^2*y3^2*r1-4*y1^2*r2^2*r3-4*y1^2*r3^2*r2-8*y1*r2^ 3*y3-8*y1*r3^3*y2-8*r1*y2*x1*y3*x2-8*y1*x2*x3*r3*y2-8*y1*y2*
x1*x3*r2+16*y1*x1*x3*y3*r2-8*y1*x1*x3*r3*y2-8*y1*x1*y3*x2*r3-8*y1*x1*x2*y3* r2-8*y1*x2*x3*y3*r2+16*y1*x1*x2*r3*y2-8*y1*r1*x3*y3*x2-8*x1*y2*x3*y3*r2-8*x 1*y3*x2*r3*y2+16*r1*x3*y2*y3*x2-8*r1*x3*y2*y3*x1-8*y1*r1*x3* ...