// bisector-isoscel2-ex220.ggb 2s, 1.72s, 1.39s, 0.92s, 0.73s, 0.69s, 0.68s, 0.61s, 0.66
// [v6^5*v4^2-v6^4*v4^3-v6*v4^2*v5^4+v4^3*v5^4,v6^4*v4^2*v5-v6^3*v4^3*v5+v6^2*v4^2*v5^3-v6*v4^3*v5^3,v6^3*v4^2*v5^2-v6^2*v4^3*v5^2+v6*v4^2*v5^4-v4^3*v5^4,v6^2*v4^2*v3*v5^2-v6^2*v4^2*v5^3+v4^2*v3*v5^4-v4^2*v5^5,v6^2*v4*v3^2*v5^2-v6^2*v4*v3*v5^3+v4*v3^2*v5^4-v4*v3*v5^5,v6^2*v3^3*v5^2-v6^2*v3^2*v5^3+v3^3*v5^4-v3^2*v5^5,v6^4*v4*v3-v6^3*v4^2*v5+v6^2*v4*v3*v5^2-v6*v4^2*v5^3,v6^4*v3^2-v6^2*v4^2*v5^2+v6^2*v3^2*v5^2-v4^2*v5^4,v6^3*v4*v3*v5-v6^2*v4^2*v5^2+v6*v4*v3*v5^3-v4^2*v5^4,v6^3*v3^2*v5-v6^2*v4*v3*v5^2+v6*v3^2*v5^3-v4*v3*v5^4]
aa:=eliminate([-1*v7*v6+v8*v5+v7*v4+-1*v5*v4+-1*v8*v3+v6*v3,2*v8*v7*v6*v5*v4^2+-1*v8^2*v5^2*v4^2+v7^2*v5^2*v4^2+-2*v8*v7*v6^2*v4*v3+-2*v8*v7*v5^2*v4*v3+v8^2*v6^2*v3^2+-1*v7^2*v6^2*v3^2+2*v8*v7*v6*v5*v3^2,v9*v8+-1*v10*v7,-1*v9*v6+v10*v5+v9*v4+-1*v5*v4+-1*v10*v3+v6*v3,2*v11+-1*v3,2*v12+-1*v4,2*v13+-1*v5,2*v14+-1*v6,-1*v16+v12+v3,-1*v15+v11+-1*v4,-1*v18+v14+-1*v5,-1*v17+v13+v6,v19*v16+-1*v20*v15+-1*v19*v12+v15*v12+v20*v11+-1*v16*v11,v19*v18+-1*v20*v17+-1*v19*v14+v17*v14+v20*v13+-1*v18*v13,-1*v22+v19+v10,-1*v21+-1*v20+v9,v23*v22+-1*v24*v21+-1*v23*v10+v21*v10+v24*v9+-1*v22*v9,-1*v23*v6+v24*v5,-1+-1*v27*v24^2+-1*v27*v23^2+v27*v4^2+v27*v3^2],revlist([v7,v8,v9,v10,v11,v12,v13,v14,v15,v16,v17,v18,v19,v20,v21,v22,v23,v24,v27]));
//aa:=gbasis([-x0*x11+x0*x12+x11*x13-x12*x14-x13*x1+x14*x1,x1^2*x11^2*x13^2-x1^2*x14^2*x12^2-2*x1*x11^2*x13*x12*x0+2*x1*x11*x13^2*x14*x0+2*x1*x11*x14*x12^2*x0-2*x1*x13*x14^2*x12*x0-x11^2*x13^2*x0^2+x14^2*x12^2*x0^2,x3*x1+x4*x1+x2*x0-x0*x5,-x3*x11+x3*x12-x4*x11+x4*x12+x11*x13-x12*x14+x13*x2-x13*x5-x14*x2+x14*x5,4*x2*x13-2*x13^2-2*x12^2+4*x12*x3,-4*x2*x14+2*x14^2+2*x11^2-4*x11*x3,x6*x2-x2*x4-x5*x3+x3*x7,-x6*x11+x7*x14,-x8*x7^2-x8*x6^2+x8*x12^2+x8*x13^2-1],[x0,x1,x2,x3,x4,x5,x6,x7,x8],[x11,x12,x13,x14]):;
//size(aa);
//write("aa",aa);