BARZ-oldies Digits:=30; IiNJ
<Text-field style="Heading 1" layout="Heading 1">Speciaux</Text-field> special:= proc(nn, c) option remember; special||nn(c) end; Zio2JEkjbm5HNiJJImNHRiVGJTYjSSlyZW1lbWJlckdGJUYlLShJKHNwZWNpYWxHRiU5JDYjOSVGJUYlRiU=
<Text-field style="Heading 3" layout="Heading 3"><Font encoding="UTF-8">X368, solution d'une \303\251quation du 5\303\250me degr\303\251</Font></Text-field> K018 # eqcub:= subs(zipq(pp, pX(6)), zipq(pu, pX(523)), k=0, cub1); anticomplem de Kieppert hyperbola #conicir(pX(523)): subs(zipq(px, complem(px)), %): eqcon:= collect(numer(%), px); special368:= proc(_c_) local eqcub,eqcon,eqs0,eqs1,eli,solz; eqcub := x*(b^2*z^2+y^2*c^2)*(b^2-c^2)+y*(z^2*a^2+c^2*x^2)*(-a^2+c^2)+z*(a^2*y^2+b^2*x^2)*(a^2-b^2); eqcon := (b^2-c^2)*x^2+(-a^2+c^2)*y^2+(a^2-b^2)*z^2; eqs0:= {eqcon, eqcub, x+y+z=1}: (cat)('en',_c_,"y_"); eqs1:= subs(%, eqs0); eli:= eliminate(eqs1, {x,y}): solz:= fsolve(op(eli[2])/(3*z-1),{z}); subs(eli[1], solz, [x,y,z]):; end: # special(368,"c"); pX(368);
<Text-field style="Heading 3" layout="Heading 3"><Font encoding="UTF-8">X369 et X3232, solution d'une equation du 3\303\250me degr\303\251</Font></Text-field> special369:= proc(_c_) local yffeq, yffsol; yffeq:= subs(t=K, 2*t^3 - 3*(a + b + c)*t^2 + (a^2 + b^2 + c^2 + 8*b*c + 8*c*a + 8*a*b)*t - (c*b^2 + a*c^2 + b*a^2 + 5*b*c**2 + 5*c*a**2 + 5*a*b**2 + 9*a*b*c)); yffsol:= (K^2-(2*c + a)*K + (- a**2 + b**2 + 2*c**2 + 2*b*c + 3*c*a + 2*a*b)); (cat)('en',_c_,"y_"); subs(fsolve(subs(%, yffeq), {K}), %, [rot3](yffsol)): %/add(k, k=%); end: #special(369,"c");%-pX(369); special3232:= proc(_c_); map(1/id, special(369,_c_));%/add(k, k=%); end: #special(3232,"c"); %-pX(3232); # latexx(yffeq); latexy(yffsol); latexz(pX(369)), ency(%);
<Text-field style="Heading 3" layout="Heading 3">X370</Text-field> special370:= proc(_c_) local con1, eqs, eli; con1 := (x*y*(a^2-b^2+c^2)+x*z*(a^2+b^2-c^2)+2*z*y*a^2)*sqrt(3)-a*b*c*x*(y+z+2*x)/R; (cat)('en',_c_,"y_"); eqs:= subs(%, {con1, rot(con1)}); eli:= [eliminate](%, {y,z}): evalf(eli[1]); (subs)(%[1], [1,Re(y/x), Re(z/x)]); %/add(k,k=%); end: # 370: special(%,"c"); %-pX(%%);
<Text-field style="Heading 3" layout="Heading 3">X848</Text-field> special848:= proc(_c_) local tmp; tmp:= subs(qui=1/(cot (A) - cot (Az)), Az = 2*Pi*a/(a + b + c), qui); (cat)('en',_c_,"y_"); evalf(subs(%, [rot3](tmp))): %/add(k,k=%); end: # 848: special(%,"c"); %-pX(%%);
<Text-field style="Heading 3" layout="Heading 3">X1144</Text-field> special1144:= proc(_c_) local eqs, fso,tmpbar; eqs:= a**2/(a - L) + b**2/(b - L) + c**2/(c - L) - 2*S/L; -(numer@subs)(ency_,%): collect(%, L); fsolve(%, L); fso:= min(%); tmpbar:= [a**2/(a - L), b**2/(b - L), c**2/(c - L)]; (cat)('en',_c_,"y_"); subs(L=fso, %, tmpbar): %/add(k,k=%); end: # 1144: special(%,"c"); %-pX(%%); # con1:= conicir(pX(649)); con1 := (b-c)*a^2/x+(c-a)*b^2/y+c^2*(-b+a)/z; (simplify@subs)(zipq([x,y,z],special(1144,"c")), ency_, con1), (simplify@subs)(zipq([x,y,z],special(1144,"z")), enzy_, con1); LCgqKCwmSSJiRzYiIiIiSSJjR0YmISIiRidJImFHRiYiIiNJInhHRiZGKUYnKigsJkYoRidGKkYpRidGJUYrSSJ5R0YmRilGJyooRihGKywmRipGJ0YlRilGJ0kiekdGJkYpRic= NiQkIT8rKysrKysrKysrKysrKzUhI2IkIiIhRic=
<Text-field style="Heading 3" layout="Heading 3">X2061 trop long</Text-field> special2061:= proc(_c_) local orion, pX_40; orion:= `@`(proc (p, q, r) options operator, arrow; [-(-b^2*p^2*r^2-p^2*r*b^2*q+p^2*r*a^2*q-q^2*c^2*p^2-p^2*r*c^2*q+q^2*a^2*r^2)*p, (-b^2*p^2*r^2+q^2*c^2*p^2-p*r*b^2*q^2+p*r*c^2*q^2+p*r*a^2*q^2+q^2*a^2*r^2)*q, (b^2*p^2*r^2-q^2*c^2*p^2+p*r^2*b^2*q+p*r^2*a^2*q-p*r^2*c^2*q+q^2*a^2*r^2)*r] end proc, OP): pX_40:= [a*(a^3+b*a^2-a*b^2-b^3+c*a^2-2*a*b*c+b^2*c-a*c^2+b*c^2-c^3), b*(b^3+b^2*c-b*c^2-c^3+a*b^2-2*a*b*c+a*c^2-b*a^2+c*a^2-a^3), c*(c^3+a*c^2-c*a^2-a^3+b*c^2-2*a*b*c+b*a^2-b^2*c+a*b^2-b^3)]; (cat)('en',_c_,"y_"); subs(%, orion(pX_40)); evalf(%/add(k,k=%)); end: # 2061: special(%,"c"); %-pX(%%);
<Text-field style="Heading 1" layout="Heading 1">Calcul de ff (point sur infty line)</Text-field> Infinity--- erreur, due \303\240 des tailles absolues tr\303\250s petites ckoi:= [ 30, 511, 512, 513, 514, 515, 516, 517, 518, 519, 520, 521, 522, 523, 524, 525, 526, 527, 528, 529, 530, 531, 532, 533, 534, 535, 536, 537, 538, 539, 540, 541, 542, 543, 544, 545, 674, 680, 688, 690, 696, 698, 700, 702, 704, 706, 708, 710, 712, 714, 716, 718, 720, 722, 724, 726, 730, 732, 734, 736, 740, 742, 744, 746, 752, 754, 758, 760, 766, 768, 772, 776, 778, 780, 782, 784, 786, 788, 790, 792, 794, 796, 802, 804, 806, 808, 812, 814, 816, 818, 824, 826, 829, 830, 832, 834, 838, 888, 891, 900, 912, 916, 918, 924, 926, 928, 952, 971, 1105, 1154, 1288, 1499, 1503, 1510, 1912, 1938, 1946, 2121, 2131, 2133, 2385, 2386, 2387, 2388, 2389, 2390, 2391, 2392, 2393, 2574, 2575, 2697, 2706, 2771, 2772, 2773, 2774, 2775, 2776, 2777, 2778, 2779, 2780, 2781, 2782, 2783, 2784, 2785, 2786, 2787, 2788, 2789, 2790, 2791, 2792, 2793, 2794, 2795, 2796, 2797, 2798, 2799, 2800, 2801, 2802, 2803, 2804, 2805, 2806, 2807, 2808, 2809, 2810, 2811, 2812, 2813, 2814, 2815, 2816, 2817, 2818, 2819, 2820, 2821, 2822, 2823, 2824, 2825, 2826, 2827, 2828, 2829, 2830, 2831, 2832, 2833, 2834, 2835, 2836, 2837, 2838, 2839, 2840, 2841, 2842, 2843, 2844, 2845, 2846, 2847, 2848, 2849, 2850, 2851, 2852, 2853, 2854, 2867, 2869, 2870, 2871, 2872, 2873, 2874, 2875, 2876, 2877, 2878, 2879, 2880, 2881, 2882, 3221, 3307, 3308, 3309, 3413, 3414, 3479]: nops(%); IiRSIw== Le codage \303\251tait mauvais.... convert(ckoi,set) minus {seq}(`if`(ff[j]=0, NULL,j), j=1..jmax); PCwiJEgpIiUwNiIlKUciIiVAQCIlSkAiJUxAIiUocCMiJTFGIiVuRyIlek0= Calcul de qff --- pr\303\251c\303\250de le calcul des xyz -- tient compte de la taille absolue des nombres qff:= table([seq](j=0, j=1..jmax)): for j from 1 to jmax do if fdat[j]="special" then next fi; [rot3](parse(fdat[j])): tmpc, tmpz:= evalf(subs(ency_, %)), evalf(subs(enzy_,%)); abs(add(k,k=tmpc))/add(abs(k),k=tmpc)+abs(add(k,k=tmpz))/add(abs(k),k=tmpz); if %< Float(1,-7) then qff[j]:=1 fi; od: # seq(`if`(qff[j]=ff[j], NULL,j), j=1..jmax); [seq](`if`(qff[j]=1,j,NULL),j=1..jmax): nops(%); IiRKIw== ff:= eval(qff):
<Text-field style="Heading 1" layout="Heading 1">Calcul des xyz, zxyz</Text-field> _a_,_b_,_c_:= (op@subs)(ency_, [a,b,c]); sqrt((a+b+c)*(b+c-a)*(a+c-b)*(a+b-c)): subs(a=_a_,b=_b_,c=_c_,%/_a_/2): fac:= evalf(%); NiUiIiciIioiIzg= JCI/dilRL0pVQlo6bXVQMSIpKXkhI0g= xyz, zxyz, sk:= table(), table(), table(): for j to jmax do if fdat[j]="special" then xyz[j]:= special(j,"c"); zxyz[j]:= special(j,"z"); sk[j]:= evalf(xyz[j][1]*fac); next fi; tmq:= [rot3](parse(fdat[j])): if ff[j]=1 then tmp:= evalf(subs(ency_, tmq)); xyz[j]:= evalf(tmp*add(1/k, k=tmp)); sk[j]:= evalf(tmp[1]/_a_*(_a_/tmp[1]+_b_/tmp[2]+_c_/tmp[3])); tmp:= evalf(subs(enzy_, tmq)); zxyz[j]:= evalf(tmp*add(1/k, k=tmp)); else tmp:= evalf(subs(ency_, tmq)); xyz[j]:= evalf(tmp/add(k, k=tmp)); sk[j]:= evalf(xyz[j][1]*fac); tmp:= evalf(subs(enzy_, tmq)); zxyz[j]:= evalf(tmp/add(k, k=tmp)); fi; # if j mod 200 = 0 then lprint("--",j) fi if j=3519 then print(searchkey,j,sk[j]) fi; od: NiVJKnNlYXJjaGtleUc2IiIlPk4kIj81L289XTgjZSdvIUhrdUxLJCEjRw== [seq](`if`( abs(sk[j]-enc_dat[j])<Float(1,-7), NULL,j), j=1..3514);: [seq]([j, abs(sk[j]-enc_dat[j])], j=%); NyI= NyI= enc_dat:= [seq(sk[j], j=1..jmax)]: siz_enc:= nops(%): enc_sort:= sort(enc_dat): On teste l'int\303\251gration des nouveaux points (et on ne passe pas par pX, qui plante ASSERT . # pXX:= proc (n) ([rot3])(parse(fdat[n])); if ency(%) <> n then print(n) fi end proc: # for j from 3515 to jmax do pXX(j); od:
<Text-field style="Heading 1" layout="Heading 1">Calcul de gg,tt,cc,aa</Text-field> forget(pX); qgg,qtt,qcc,qac:= table([seq](j=0, j=1..jmax)), table([seq](j=0, j=1..jmax)), table([seq](j=0, j=1..jmax)), table([seq](j=0, j=1..jmax)): for j to jmax do tmq:= xyz[j]; tmp:= ency( isogon(tmq)); if tmp<> `?` then qgg[j]:= tmp; fi; tmp:= ency( isotom(tmq)); if tmp<> `?` then qtt[j]:= tmp; fi; tmp:= ency( complem(tmq)); if tmp<> `?` then qcc[j]:= tmp; fi; tmp:= ency(anticomplem(tmq)); if tmp<> `?` then qac[j]:= tmp; fi; if j mod 1000 = 0 then lprint("--",j) fi od: # j:= 'j': "--", 1000 "--", 2000 "--", 3000 jjmax:=3514: # seq(`if`(qff[j]=ff[j], NULL,j), j=1..jjmax); seq(`if`(qgg[j]=gg[j], NULL,j), j=1..jjmax); seq(`if`(qtt[j]=tt[j], NULL,j), j=1..jjmax); seq(`if`(qcc[j]=cc[j], NULL,j), j=1..jjmax); seq(`if`(qac[j]=ac[j], NULL,j), j=1..jjmax); NiYiJEonIiR3KSIlbUgiJVlK IiUnKUg= NiciJEIkIiRZJiIlKTMkIiUqMyQiJSE0JA== NiciJHckIiQjUSIlJFwiIiUhNCQiJSI0JA== Mauvaise identification, s'il y en a seq(`if`(qgg[j]=0 or qgg[qgg[j]]=j, NULL,j), j=1..jmax); seq(`if`(qtt[j]=0 or qtt[qtt[j]]=j, NULL,j), j=1..jmax); seq(`if`(qcc[j]=0 or qac[qcc[j]]=j, NULL,j), j=1..jmax); seq(`if`(qac[j]=0 or qcc[qac[j]]=j, NULL,j), j=1..jmax); xres_ini(30, [` j`, ` ETC`, ` ok`]); for j to jjmax do if ac[j]<>0 and ac[j] <> qac[j] then xres_run([j, ac[j],qac[j]]) fi; od: xres_cut(); Dimension(Matrix(%)); # latexx(0), latexz(%%); NyVJI35qRzYiSSV+RVRDR0YkSSR+b2tHRiQ= PTYiNiQ7IiIiRiY7RiYiIiRFXFtsJDYkRiZGJkkjfmpHRiM2JEYmRihJJH5va0dGIzYkRiYiIiNJJX5FVENHRiM= NiQiIiIiIiQ= Il faut envoyer cela dans un r\303\251pertoire lisible et navigable if false then try close(fd); catch : end try; fd := open("/home/douillet/public_html/etc/alt_igtca.csv", WRITE): for j to jmax do fprintf(fd, """%d"";""%d"";""%d"";""%d"";""%d"";""%d""\134n", j, ff[j], qgg[j], qtt[j], qcc[j], qac[j]); od: close(fd); j:='j': fi: # j, ff[j], gg[j], tt[j], cc[j], ac[j];
<Text-field style="Heading 1" layout="Heading 1">save</Text-field> if false then try close(fd); catch : end try; fd := open("/home/douillet/public_html/etc/alt_igtca.csv", WRITE): for j to jmax do map(U-> RegSubs("0*0$"="", sprintf("%6.25f",U)), evalf([op(xyz[j]),op(zxyz[j]), sk[j]],20)); fprintf(fd, """%d"";""%d"";""%d"";""%d"";""%d"";""%d"";""%s"";""%s"";""%s"";""%s"";""%s"";""%s"";""%s"";""%s"";""%s""\134n", j, ff[j], qgg[j], qtt[j], qcc[j], qac[j], fdat[j], op(%), "nono"); od: close(fd); j:='j': fi: # nono est gera
1; IiIi
<Text-field style="Heading 1" layout="Heading 1"><Font encoding="UTF-8">R\303\251sistants</Font></Text-field>
<Text-field style="Heading 2" layout="Heading 2">3484 = bad search value</Text-field> www; tmqx:= cutt(); ency(%); IiUlWyQ= UVNbWzMsMjEyMF0sWzQsNTRdLFs3NCwxMTU3XSxbNDg0LDM0NjZdLFszNDc5LDM0ODBdXTYi NyY3JCIiJSIjYTckIiN1IiVkNjckIiIkIiU/QDckIiQlWyIlbU0= KigsWiokKUkiYUc2IiIjNyIiIkYpKigiIiRGKSlGJiIjNUYpKUkiYkdGJyIiI0YpISIiKihGK0YpRixGKSlJImNHRidGMEYpRjEqKEYrRikpRiYiIilGKSlGLyIiJUYpRikqKiIiKEYpRjZGKUYuRilGM0YpRikqKEYrRilGNkYpKUY0RjlGKUYpKihGMEYpKUYmIiInRikpRi9GQEYpRjEqKkYwRilGP0YpRjhGKUYzRilGMSoqRjBGKUY/RilGLkYpRj1GKUYxKihGMEYpRj9GKSlGNEZARilGMSooRitGKSlGJkY5RikpRi9GN0YpRikqKkZARilGR0YpRkFGKUYzRilGMSoqRkBGKUZHRilGOEYpRj1GKUYpKipGQEYpRkdGKUYuRilGRUYpRjEqKEYrRilGR0YpKUY0RjdGKUYpKihGK0YpKUYmRjBGKSlGL0YtRilGMSoqIiImRilGT0YpRkhGKUYzRilGKSoqRjBGKUZPRilGQUYpRj1GKUYxKipGMEYpRk9GKUY4RilGRUYpRjEqKkZSRilGT0YpRi5GKUZNRilGKSooRitGKUZPRikpRjRGLUYpRjEqJClGL0YoRilGKSomRlBGKUYzRilGMSooRlJGKUZIRilGPUYpRjEqKEYtRilGQUYpRkVGKUYpKihGUkYpRjhGKUZNRilGMSomRi5GKUZXRilGMSokKUY0RihGKUYpRiksLComRk9GKUYuRilGKSomRk9GKUYzRilGKSokRjhGKUYxKihGMEYpRi5GKUYzRilGKSokRj1GKUYxRjFGT0Yp IiUlWyQ= cutt23(); %/tmqx; UVNbWzMsMjEyMF0sWzQsNTRdLFs3NCwxMTU3XSxbNDg0LDM0NjZdLFszNDc5LDM0ODBdXTYi NyY3JCIiJSIjYTckIiN1IiVkNjckIiIkIiU/QDckIiQlWyIlbU0= KigsWiokKUkiYUc2IiIjNyIiIkYpKigiIiRGKSlGJiIjNUYpKUkiYkdGJyIiI0YpISIiKihGK0YpRixGKSlJImNHRidGMEYpRjEqKEYrRikpRiYiIilGKSlGLyIiJUYpRikqKiIiKEYpRjZGKUYuRilGM0YpRikqKEYrRilGNkYpKUY0RjlGKUYpKihGMEYpKUYmIiInRikpRi9GQEYpRjEqKkYwRilGP0YpRjhGKUYzRilGMSoqRjBGKUY/RilGLkYpRj1GKUYxKihGMEYpRj9GKSlGNEZARilGMSooRitGKSlGJkY5RikpRi9GN0YpRikqKkZARilGR0YpRkFGKUYzRilGMSoqRkBGKUZHRilGOEYpRj1GKUYpKipGQEYpRkdGKUYuRilGRUYpRjEqKEYrRilGR0YpKUY0RjdGKUYpKihGK0YpKUYmRjBGKSlGL0YtRilGMSoqIiImRilGT0YpRkhGKUYzRilGKSoqRjBGKUZPRilGQUYpRj1GKUYxKipGMEYpRk9GKUY4RilGRUYpRjEqKkZSRilGT0YpRi5GKUZNRilGKSooRitGKUZPRikpRjRGLUYpRjEqJClGL0YoRilGKSomRlBGKUYzRilGMSooRlJGKUZIRilGPUYpRjEqKEYtRilGQUYpRkVGKUYpKihGUkYpRjhGKUZNRilGMSomRi5GKUZXRilGMSokKUY0RihGKUYpRiksLComRk9GKUYuRilGKSomRk9GKUYzRilGKSokRjhGKUYxKihGMEYpRi5GKUYzRilGKSokRj1GKUYxRjFGT0Yp IiIi cutt13(); %/tmqx; UVNbWzMsMjEyMF0sWzQsNTRdLFs3NCwxMTU3XSxbNDg0LDM0NjZdLFszNDc5LDM0ODBdXTYi NyY3JCIiJSIjYTckIiN1IiVkNjckIiIkIiU/QDckIiQlWyIlbU0= KigsWiokKUkiYUc2IiIjNyIiIkYpKigiIiRGKSlGJiIjNUYpKUkiYkdGJyIiI0YpISIiKihGK0YpRixGKSlJImNHRidGMEYpRjEqKEYrRikpRiYiIilGKSlGLyIiJUYpRikqKiIiKEYpRjZGKUYuRilGM0YpRikqKEYrRilGNkYpKUY0RjlGKUYpKihGMEYpKUYmIiInRikpRi9GQEYpRjEqKkYwRilGP0YpRjhGKUYzRilGMSoqRjBGKUY/RilGLkYpRj1GKUYxKihGMEYpRj9GKSlGNEZARilGMSooRitGKSlGJkY5RikpRi9GN0YpRikqKkZARilGR0YpRkFGKUYzRilGMSoqRkBGKUZHRilGOEYpRj1GKUYpKipGQEYpRkdGKUYuRilGRUYpRjEqKEYrRilGR0YpKUY0RjdGKUYpKihGK0YpKUYmRjBGKSlGL0YtRilGMSoqIiImRilGT0YpRkhGKUYzRilGKSoqRjBGKUZPRilGQUYpRj1GKUYxKipGMEYpRk9GKUY4RilGRUYpRjEqKkZSRilGT0YpRi5GKUZNRilGKSooRitGKUZPRikpRjRGLUYpRjEqJClGL0YoRilGKSomRlBGKUYzRilGMSooRlJGKUZIRilGPUYpRjEqKEYtRilGQUYpRkVGKUYpKihGUkYpRjhGKUZNRilGMSomRi5GKUZXRilGMSokKUY0RihGKUYpRiksLComRk9GKUYuRilGKSomRk9GKUYzRilGKSokRjhGKUYxKihGMEYpRi5GKUYzRilGKSokRj1GKUYxRjFGT0Yp IiIi (simplify@eqneuberg)([rot3](tmqx)); IiIh encyclo(tmqx); L0kldG1xeEc2Ii1JJlBPSU5URzYkJSpwcm90ZWN0ZWRHSShfc3lzbGliR0YkNiMiJSVbJA==
<Text-field style="Heading 2" layout="Heading 2">3513</Text-field> Vector(zalo); LUkobWFjdGlvbkc2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYlLUkobWZlbmNlZEdGJDYoLUklbXJvd0dGJDYmLUknbXRhYmxlR0YkNjctSSRtdHJHRiQ2Ji1JJG10ZEdGJDYoLUkjbXNHRiQ2I1FUKGEtYitjKShhK2ItYykrNHIocl4yKzRyUileMS8yKFBldGVyTW9zZXMsNy8yMi8wOCk/RicvJSlyb3dhbGlnbkdRIUYnLyUsY29sdW1uYWxpZ25HRkAvJStncm91cGFsaWduR0ZALyUocm93c3BhbkdRIjFGJy8lK2NvbHVtbnNwYW5HRkdGPkZBRkMtRjU2Ji1GODYoLUY7NiNRO2YoYSxiLGMpOmYoYixjLGEpOmYoYyxhLGIpRidGPkZBRkNGRUZIRj5GQUZDLUY1NiYtRjg2KC1GOzYjUVtvZihhLGIsYyk9KGEtYitjKShhK2ItYykrNHIocl4yKzRyUileMS8yKFBldGVyTW9zZXMsNy8yMi8wOCk/PEJSPkYnRj5GQUZDRkVGSEY+RkFGQy8lJmFsaWduR1ElYXhpc0YnL0Y/USliYXNlbGluZUYnL0ZCUSdjZW50ZXJGJy9GRFEnfGZybGVmdHxockYnLyUvYWxpZ25tZW50c2NvcGVHUSV0cnVlRicvJSxjb2x1bW53aWR0aEdRJWF1dG9GJy8lJndpZHRoR0Zgby8lK3Jvd3NwYWNpbmdHUSYxLjBleEYnLyUuY29sdW1uc3BhY2luZ0dRJjAuOGVtRicvJSlyb3dsaW5lc0dRJW5vbmVGJy8lLGNvbHVtbmxpbmVzR0ZbcC8lJmZyYW1lR0ZbcC8lLWZyYW1lc3BhY2luZ0dRLDAuNGVtfjAuNWV4RicvJSplcXVhbHJvd3NHUSZmYWxzZUYnLyUtZXF1YWxjb2x1bW5zR0ZlcC8lLWRpc3BsYXlzdHlsZUdGZXAvJSVzaWRlR1EmcmlnaHRGJy8lMG1pbmxhYmVsc3BhY2luZ0dGaG8vJStmb3JlZ3JvdW5kR1EoWzAsMCwwXUYnLyUpcmVhZG9ubHlHRmVwLyUsbWF0aHZhcmlhbnRHUSdub3JtYWxGJ0ZkcS9JK21zZW1hbnRpY3NHRiRRKkNvbFZlY3RvckYnLyUlb3BlbkdRIltGJy8lJmNsb3NlR1EiXUYnRmdxLyUrYWN0aW9udHlwZUdRLnJ0YWJsZWFkZHJlc3NGJy8lKXJ0YWJsZWlkR1EpMTYxNjk1MjBGJw== "(a-b+c)*(a+b-c)+4*r*(r^2+4*r*R)^1/2"; substax(%); a*parse(%); subs(kitcircle,%); map(factor, %); simplify(%) assuming a>0,b>0,c>0,R>0: collect(%, R, factor); (factor@subs)(valR22, %): elimifac(%): tmp:= simplify(%) assuming a>0,b>0,c>0,R>0; UUQoYS1iK2MpKihhK2ItYykrNCpyKihyXjIrNCpyKlIpXjEvMjYi UUgoYS1iK2MpKihhK2ItYykrNCpyKihyXigyKSs0KnIqUileKDEvMik2Ig== KiZJImFHNiIiIiIsJiomLChJImJHRiRGJUkiY0dGJCEiIkYjRiVGJSwoRilGK0YqRiVGI0YlRiVGJSooIiIlRiVJInJHRiRGJSksJiokKUYvIiIjRiVGJSooRi5GJUYvRiVJIlJHRiRGJUYlI0YlRjRGJUYlRiU= KiZJImFHNiIiIiIsJiomLChJImJHRiRGJUkiY0dGJCEiIkYjRiVGJSwoRilGK0YqRiVGI0YlRiVGJSowIiIjRiVGKkYlRilGJUYjRiUsKEYpRiVGKkYlRiNGJUYrSSJSR0YkRispLCYqLiNGJSIiJUYlKUYqRi5GJSlGKUYuRiUpRiNGLkYlKUYvRi5GKylGMEYuRitGJSosRi5GJUYqRiVGKUYlRiNGJUYvRitGJSNGJUYuRiVGJUYl KipJImFHNiIiIiIsOComSSJSR0YkRiUpSSJiR0YkIiIkRiUhIiIqKEYoRiUpRioiIiNGJUkiY0dGJEYlRiUqKEYoRiVGI0YlRi5GJUYsKihGKEYlRipGJSlGMEYvRiVGJSosRi9GJUYoRiVGI0YlRipGJUYwRiVGJSomRihGJSlGMEYrRiVGLCooRihGJUYjRiVGM0YlRiwqKEYoRiUpRiNGL0YlRipGJUYlKihGKEYlRjlGJUYwRiVGJSomRihGJSlGI0YrRiVGJSoqRjBGJUYqRiVGI0YlKSouRiNGJUYqRiVGMEYlLCoqKEYjRiVGKkYlRjBGJUYlKigiIilGJSlGKEYvRiVGKkYlRiUqKEZDRiVGREYlRjBGJUYlKihGQ0YlRkRGJUYjRiVGJUYlKSwoRipGJUYwRiVGI0YlRi9GLEZERiwjRiVGL0YlRiVGJUZIRixGKEYs LCYqKEkiYUc2IiIiIiwoSSJiR0YlRiZJImNHRiUhIiJGJEYmRiYsKEYoRipGKUYmRiRGJkYmRiYqLilGJCMiIiYiIiNGJilGKSMiIiRGMEYmKUYoRjJGJiksKiooRiRGJkYoRiZGKUYmRiYqKCIiKUYmKUkiUkdGJUYwRiZGKEYmRiYqKEY5RiZGOkYmRilGJkYmKihGOUYmRjpGJkYkRiZGJiNGJkYwRiYpLChGKEYmRilGJkYkRiZGMEYqRjpGKkYm KiwpSSJhRzYiIyIiJCIiIyIiIilJImNHRiUjRilGKEYpKUkiYkdGJUYsRiksLkYuISIiRitGMEYkRjAqKCksKEYuRilGK0YpRiRGKUYsRilGLkYpKSoqLC4qJClGLkYoRilGKSooRihGKUYkRilGLkYpRjAqKEYoRilGLkYpRitGKUYwKiQpRiRGKEYpRikqJClGK0YoRilGKSooRihGKUYkRilGK0YpRjBGKSwoRi5GMEYrRilGJEYpRjAsKEYuRilGK0YwRiRGKUYwLChGLkYwRitGMEYkRilGMEYsRilGMCooRjJGKUYrRilGNEYpRjAqKEYkRilGMkYpRjRGKUYpRilGQkYw (factor@isolate)(defR2, b-c+a); subs(%, tmp); simplify(%) assuming a>0,b>0,c>0,R>0: tmqx:= xcollect(%*rotp(sqrt(b))/(a+b+c), sqrt(-b^2+2*a*b+2*b*c-a^2-c^2+2*a*c), factor); LywoSSJiRzYiIiIiSSJjR0YlISIiSSJhR0YlRiYsJCowKUYpIiIjRiYpRiRGLUYmKUYnRi1GJilJIlJHRiVGLUYoLChGJEYmRidGJkYpRiZGKCwoRiRGKEYnRihGKUYmRigsKEYkRihGJ0YmRilGJkYoRig= KiwpSSJhRzYiIyIiJCIiIyIiIilJImNHRiUjRilGKEYpKUkiYkdGJUYsRiksLkYuISIiRitGMEYkRjAqKCksKEYuRilGK0YpRiRGKUYsRilGLkYpKSwkKi4sLiokKUYuRihGKUYpKihGKEYpRiRGKUYuRilGMCooRihGKUYuRilGK0YpRjAqJClGJEYoRilGKSokKUYrRihGKUYpKihGKEYpRiRGKUYrRilGMEYpRj1GMEY5RjBGP0YwKUkiUkdGJUYoRilGM0YpRjBGLEYpRjAqKEYyRilGK0YpRjRGKUYwKihGJEYpRjJGKUY0RilGKUYpLChGLkYwRitGMEYkRilGMA== LCYqKEkiUkc2IiIiIkkiYUdGJUYmKSwuKiQpSSJiR0YlIiIjRiYhIiIqKEYtRiZGJ0YmRixGJkYmKihGLUYmRixGJkkiY0dGJUYmRiYqJClGJ0YtRiZGLiokKUYxRi1GJkYuKihGLUYmRidGJkYxRiZGJiNGJkYtRiZGJioqRjNGJkYsRiZGMUYmLChGLEYuRjFGLkYnRiZGLkYu ency(tmqx); IiU4Tg==
<Text-field style="Heading 2" layout="Heading 2">3472</Text-field> fac:= u/a: (expand@cevadiv)(pp,barydiv(pX(1), pu)); tmp1:= expand(%[1]*fac/rotp(p))/fac; NyUsKCoqKUkiYUc2IiIiIyIiIilJInVHRidGKCEiIkkicUdGJ0YpSSJyR0YnRilGLCouRiZGKUYrRixGLkYpSSJwR0YnRilJImJHRidGKUkidkdGJ0YsRikqLkYmRilGK0YsRi1GKUYwRilJImNHRidGKUkid0dGJ0YsRiksKCouRjFGKUYyRixGLUYpRi5GKUYmRilGK0YsRikqKilGMUYoRikpRjJGKEYsRi5GKUYwRilGLCouRjFGKUYyRixGLUYpRjBGKUY0RilGNUYsRiksKCouRjRGKUY1RixGLUYpRi5GKUYmRilGK0YsRikqLkY0RilGNUYsRi5GKUYwRilGMUYpRjJGLEYpKiopRjRGKEYpKUY1RihGLEYtRilGMEYpRiw= KigsKCooSSJ1RzYiISIiSSJhR0YmIiIiSSJwR0YmRidGJyooSSJxR0YmRidJImJHRiZGKUkidkdGJkYnRikqKEkickdGJkYnSSJjR0YmRilJIndHRiZGJ0YpRilGJUYnRihGKQ== sub1:= zipq(pp, map(U->expand(U), evalmm(simplify(pX(20), a2toAA)/AA/BB/CC))); NyUvSSJwRzYiLCgqJEkjQ0NHRiUhIiIiIiIqJEkjQUFHRiVGKUYpKiRJI0JCR0YlRilGKi9JInFHRiUsKEYnRipGK0YqRi1GKS9JInJHRiUsKEYnRilGK0YqRi1GKg== barydiv(pX(1), pX(3345)): expand(evalmm(simplify(%, a2toAA)/AA/BB/CC/2)); sub2:= zipq(pu, %); NyUsKiooSSNDQ0c2IiEiIkkiYUdGJiIiIkkiYkdGJkYpRikqKEkjQUFHRiZGJ0YqRilJImNHRiZGKUYnKihJI0JCR0YmRidGKEYpRi1GKUYpI0YpIiIjRicsKkYkRilGK0YpRi5GJ0YwRicsKkYkRidGK0YpRi5GKUYwRic= NyUvSSJ1RzYiLCoqKEkjQ0NHRiUhIiJJImFHRiUiIiJJImJHRiVGK0YrKihJI0FBR0YlRilGLEYrSSJjR0YlRitGKSooSSNCQkdGJUYpRipGK0YvRitGKyNGKyIiI0YpL0kidkdGJSwqRidGK0YtRitGMEYpRjJGKS9JIndHRiUsKkYnRilGLUYrRjBGK0YyRik= subs(sub1, sub2, tmp1); tmqx:= subs(AAtoa2, %); length(convert(%, string)); KigsKCooLCoqKEkjQ0NHNiIhIiJJImFHRigiIiJJImJHRihGK0YrKihJI0FBR0YoRilGLEYrSSJjR0YoRitGKSooSSNCQkdGKEYpRipGK0YvRitGKyNGKyIiI0YpRilGKkYrLCgqJEYnRilGKyokRi5GKUYpKiRGMUYpRitGKUYpKigsKEY1RitGNkYrRjdGKUYpRixGKywqRiZGK0YtRitGMEYpRjJGKUYpRisqKCwoRjVGKUY2RitGN0YrRilGL0YrLCpGJkYpRi1GK0YwRitGMkYpRilGK0YrRiVGKUYqRis= KigsKCooLCoqKCwoKiQpSSJiRzYiIiIjIiIiRi0qJClJImNHRitGLEYtISIiKiQpSSJhR0YrRixGLUYtRjFGNEYtRipGLUYtKigsKEYyRjFGKEYtRi5GLUYxRipGLUYwRi1GMSooLChGKEYxRi5GLUYyRi1GMUY0Ri1GMEYtRi0jRi1GLEYxRjFGNEYtLCgqJEYnRjFGLSokRjZGMUYxKiRGOEYxRi1GMUYxKigsKEY7Ri1GPEYtRj1GMUYxRipGLSwqRiZGLUY1Ri1GN0YxRjlGMUYxRi0qKCwoRjtGMUY8Ri1GPUYtRjFGMEYtLCpGJkYxRjVGLUY3Ri1GOUYxRjFGLUYtRiVGMUY0Ri0= IiRZJQ== tmqx:= a^2/tmqx; ency(%); KihJImFHNiIiIiIsKCooLCoqKCwoKiQpRiMiIiNGJUYlKiQpSSJiR0YkRi1GJUYlKiQpSSJjR0YkRi1GJSEiIkY0RiNGJUYwRiVGJSooLChGK0YlRi5GNEYxRiVGNEYjRiVGM0YlRiUqKCwoRitGNEYuRiVGMUYlRjRGMEYlRjNGJUY0I0YlRi1GNEY0LCgqJEYqRjRGJSokRjhGNEY0KiRGNkY0RiVGNEYjRiVGNCooLChGO0YlRjxGJUY9RjRGNCwqRilGJUY1RjRGN0YlRjlGNEY0RjBGJUYlKigsKEY7RjRGPEYlRj1GJUY0LCpGKUY0RjVGJUY3RiVGOUY0RjRGM0YlRiVGNEYoRiU= IiV0TQ== simplify(pX(3345), a2toAA); NyUqJkkiYUc2IiIiIiwqKihJI0FBR0YlRiZJI0JCR0YlRiZJI0NDR0YlRiYhIiIqLCIiI0YmRiRGJkkiYkdGJUYmRilGJkYqRiZGJiosRi5GJkYkRiZGK0YmSSJjR0YlRiZGKUYmRiYqLEYuRiZGL0YmRitGJkYxRiZGKkYmRixGLComRi9GJiwqRihGLEYtRiZGMEYsRjJGJkYsKiZGMUYmLCpGKEYsRi1GLEYwRiZGMkYmRiw= simplify(pX(20), a2toAA); simplify(pX(3345), a2toAA) : cevadiv(%%,%); NyUsKComSSNBQUc2IiIiIkkjQkJHRiZGJ0YnKiZGKEYnSSNDQ0dGJkYnISIiKiZGJUYnRipGJ0YnLChGJEYnRilGJ0YsRissKEYkRitGKUYnRixGJw== NyUqKCwoKiosKComSSNBQUc2IiIiIkkjQkJHRilGKkYqKiZGK0YqSSNDQ0dGKUYqRioqJkYoRipGLUYqISIiRiosKEYnRi9GLEYqRi5GKkYqSSJhR0YpRiosKiooRihGKkYrRipGLUYqRi8qLCIiI0YqRjFGKkkiYkdGKUYqRihGKkYrRipGKiosRjVGKkYxRipGLUYqSSJjR0YpRipGKEYqRioqLEY1RipGNkYqRi1GKkY4RipGK0YqRi9GL0YvKipGMEYqLChGJ0YqRixGL0YuRipGKkY2RiosKkYzRi9GNEYqRjdGL0Y5RipGL0YqKipGJkYqRjtGKkY4RiosKkYzRi9GNEYvRjdGKkY5RipGL0YqRipGMUYqRjJGLyooLChGJUYqRjpGL0Y9RipGKkY2RipGPEYvLCQqKCwoRiVGL0Y6Ri9GPUYqRipGOEYqRj5GL0Yv
<Text-field style="Heading 2" layout="Heading 2">3418</Text-field> www; Vector(zalo); LUkjbW5HNiMvSSttb2R1bGVuYW1lRzYiSSxUeXBlc2V0dGluZ0dJKF9zeXNsaWJHRic2JFElMzQ0MEYnLyUsbWF0aHZhcmlhbnRHUSdub3JtYWxGJw== LSZJJ1ZlY3Rvckc2JCUqcHJvdGVjdGVkR0koX3N5c2xpYkc2IjYjSSdjb2x1bW5HRig2Iy9JJCVpZEdGKCIpOzVQPw== 14,16; vertexthird(pX(%[1]),pX(%[2])): (elimifac@factor)(%[1]); subs(valR22, collect(%, R));; tmqx:= xcollect(%, [R, sqrt(3)], bctax@factor); (elimifac@factor@subs)(apbpc,%); tmqx:= xcollect(%, [R, sqrt(3)], bctax@factor); NiQiIzkiIzs= KihJImFHNiIiIiIsKiooIiIkRiUpSSJiR0YkIiIjRiVJIlJHRiRGJSEiIioqKUYoI0YlRitGJUYjRiVGKkYlSSJjR0YkRiVGJSooRihGJSlGMUYrRiVGLEYlRi0qKEYoRiUpRiNGK0YlRixGJUYlRi0sQCooKUYjRihGJUYpRiVGM0YlRi0qLkYrRiVGL0YlKUYjIiIlRiVGKkYlRjFGJUYsRiVGJSoqRihGJSlGLEYrRiUpRipGO0YlRiNGJUYtKiwiIidGJUY9RiVGKUYlRiNGJUYzRiVGJSoqRihGJUY9RiUpRjFGO0YlRiNGJUYtKihGKEYlRj1GJSlGIyIiJkYlRi0qKkYrRiVGPkYlRjNGJUYjRiVGJSosRitGJSlGKkZFRiVGMUYlRi9GJUYsRiVGJSosRjtGJSlGKkYoRiUpRjFGKEYlRi9GJUYsRiVGLSouRjtGJUYvRiVGLEYlRjVGJUZKRiVGMUYlRi0qKkYrRiVGKUYlRkJGJUYjRiVGJSosRitGJUYqRiUpRjFGRUYlRi9GJUYsRiVGJSouRjtGJUYvRiVGLEYlRjVGJUZLRiVGKkYlRi0qKkZARiVGPUYlRjhGJUYpRiVGJSoqRkBGJUY9RiVGOEYlRjNGJUYlRi0= KihJImFHNiIiIiIsJiomLCgqJiIiJEYlKUkiYkdGJCIiI0YlISIiKiZGKkYlKUkiY0dGJEYtRiVGLiomRipGJSlGI0YtRiVGJUYlSSJSR0YkRiVGJSoqKUYqI0YlRi1GJUYjRiVGLEYlRjFGJUYlRi4sLCoyLC4qKCIiJ0YlKUYjRipGJUYwRiVGJSoqRjxGJUYjRiVGK0YlRjBGJUYlKihGKkYlRiNGJSlGMSIiJUYlRi4qJkYqRiUpRiMiIiZGJUYuKihGPEYlRj1GJUYrRiVGJSooRipGJUYjRiUpRixGQUYlRi5GJUYzRiVGK0YlRjBGJSwoRixGJUYxRiVGI0YlRi4sKEYsRiVGMUYuRiNGJUYuLChGLEYuRjFGLkYjRiVGLiwoRixGLkYxRiVGI0YlRi5GLiomLC4qLEYtRiVGNkYlKUYjRkFGJUYsRiVGMUYlRiUqKkYtRiUpRixGREYlRjFGJUY2RiVGJSoqRkFGJSlGLEYqRiUpRjFGKkYlRjZGJUYuKixGQUYlRjZGJUYzRiVGU0YlRjFGJUYuKipGLUYlRixGJSlGMUZERiVGNkYlRiUqLEZBRiVGNkYlRjNGJUZURiVGLEYlRi5GJUY0RiVGJSooRj1GJUYrRiVGMEYlRi4qKkYtRiVGR0YlRjBGJUYjRiVGJSoqRi1GJUYrRiVGQEYlRiNGJUYlRi4= KihJImFHNiIiIiIsJiomLCgqJiIiJEYlKUkiYkdGJCIiI0YlISIiKiZGKkYlKUkiY0dGJEYtRiVGLiomRipGJSlGI0YtRiVGJUYlSSJSR0YkRiVGJSoqKUYqI0YlRi1GJUYjRiVGLEYlRjFGJUYlRi4sJio0Ri1GJSwoRixGJUYxRiVGI0YlRiUsKEYsRi5GMUYuRiNGJUYlLChGLEYlRjFGLkYjRiVGJSwoRixGLkYxRiVGI0YlRiVGLEYlRjFGJUY2RiVGNEYlRiUqLEYtRiVGI0YlLCgqJEYrRiVGJSokRjBGJUYlKiRGM0YlRiVGJUYrRiVGMEYlRiVGLg== KiYpSSJhRzYiIiIjIiIiLCoqKCIiJEYnKUkiYkdGJUYmRidJIlJHRiVGJyEiIioqKUYqI0YnRiZGJ0YkRidGLEYnSSJjR0YlRidGJyooRipGJylGMkYmRidGLUYnRi4qKEYqRidGI0YnRi1GJ0YnRi4= KiYpSSJhRzYiIiIjIiIiLCYqJiwoKiYiIiRGJylJImJHRiVGJkYnISIiKiZGLEYnKUkiY0dGJUYmRidGLyomRixGJ0YjRidGJ0YnSSJSR0YlRidGJyoqKUYsI0YnRiZGJ0YkRidGLkYnRjJGJ0YnRi8= tmqx:= a^2/collect(denom(tmqx)/sqrt(3),R, factor); ency(%); KiYpSSJhRzYiIiIjIiIiLCYqKCwoKiQpSSJiR0YlRiZGJyEiIiokKUkiY0dGJUYmRidGLiokRiNGJ0YnRicpIiIkI0YnRiZGJ0kiUkdGJUYnRicqKEYkRidGLUYnRjFGJ0YnRi4= IiVlTQ== USphZihhLGIsYyk2Ig==
<Text-field style="Heading 2" layout="Heading 2">3353</Text-field> cutt(); UVdbWzEsM10sWzIsMTUxOV0sWzEwLDExNThdLFs2MywyMDk2XSxbNzIsMjA1N10sWzExOSwyXV02Ig== Nyc3JCIiIiIiJDckIiM1IiVlNjckIiIjIiU+OjckIiNzIiVkPzckIiNqIiUnNCM= KiYsTiokKUkiYkc2IiIiJyIiIiEiIiooIiIjRikpRiYiIiZGKUkiY0dGJ0YpRikqKiIiJUYpSSJhR0YnRikpRiZGMUYpRi9GKUYqKigiIiRGKSlGMkYsRilGM0YpRikqJkYzRikpRi9GLEYpRikqKkYxRilGMkYpKUYmRjVGKUY4RilGKSoqRjFGKUY2RilGOkYpRi9GKUYqKihGMUYpRjpGKSlGL0Y1RilGKiooRjVGKSlGMkYxRikpRiZGLEYpRioqKkYxRilGMkYpRkBGKUY9RilGKSoqRihGKUY2RilGQEYpRjhGKUYqKiZGQEYpKUYvRjFGKUYpKipGMUYpKUYyRjVGKUZARilGL0YpRikqKkYxRilGMkYpRiZGKUZERilGKioqRjFGKUZGRilGJkYpRjhGKUYpKipGMUYpRjZGKUYmRilGPUYpRioqKEYsRilGJkYpKUYvRi5GKUYpKipGLEYpRj9GKUYmRilGL0YpRikqJClGMkYoRilGKSooRjVGKUY2RilGREYpRikqKEY1RilGP0YpRjhGKUYqKiQpRi9GKEYpRipGKUYyRik= tmqx; KiYsTiokKUkiYkc2IiIiJyIiIiEiIiooIiIjRikpRiYiIiZGKUkiY0dGJ0YpRikqKiIiJUYpSSJhR0YnRikpRiZGMUYpRi9GKUYqKigiIiRGKSlGMkYsRilGM0YpRikqJkYzRikpRi9GLEYpRikqKkYxRilGMkYpKUYmRjVGKUY4RilGKSoqRjFGKUY2RilGOkYpRi9GKUYqKihGMUYpRjpGKSlGL0Y1RilGKiooRjVGKSlGMkYxRikpRiZGLEYpRioqKkYxRilGMkYpRkBGKUY9RilGKSoqRihGKUY2RilGQEYpRjhGKUYqKiZGQEYpKUYvRjFGKUYpKipGMUYpKUYyRjVGKUZARilGL0YpRikqKkYxRilGMkYpRiZGKUZERilGKioqRjFGKUZGRilGJkYpRjhGKUYpKipGMUYpRjZGKUYmRilGPUYpRioqKEYsRilGJkYpKUYvRi5GKUYpKipGLEYpRj9GKUYmRilGL0YpRikqJClGMkYoRilGKSooRjVGKUY2RilGREYpRikqKEY1RilGP0YpRjhGKUYqKiQpRi9GKEYpRipGKUYyRik= # forget(pX): www; tmp:= wedge(wedge(pX(3), pX(2131)), wedge(pX(64), pX(3346))): IiViTA== tmp1:= elimifac(factor(tmp[1])); %/tmqx; KiYsQCokKUkiYUc2IiIiKSIiIkYpKigiIiVGKSlGJiIiJ0YpKUkiYkdGJyIiI0YpISIiKihGK0YpRixGKSlJImNHRidGMEYpRjEqKEYtRikpRiZGK0YpKUYvRitGKUYpKipGK0YpRjZGKUYuRilGM0YpRjEqKEYtRilGNkYpKUY0RitGKUYpKihGK0YpKUYmRjBGKSlGL0YtRilGMSoqRitGKUY8RilGN0YpRjNGKUYpKipGK0YpRjxGKUYuRilGOkYpRikqKEYrRilGPEYpKUY0Ri1GKUYxKiQpRi9GKEYpRikqKEYrRilGPUYpRjNGKUYpKigiIzVGKUY3RilGOkYpRjEqKEYrRilGLkYpRkFGKUYpKiQpRjRGKEYpRilGMSxidiomIiIoRikpRiYiI0NGKUYpKigiI0dGKSlGJiIjQUYpRi5GKUYxKihGUEYpRlFGKUYzRilGMSooIiNVRikpRiYiIz9GKUY3RilGMSoqIiQnPkYpRlZGKUYuRilGM0YpRikqKEZVRilGVkYpRjpGKUYxKigiJCVbRikpRiYiIz1GKUY9RilGKSoqIiQ7JkYpRmduRilGN0YpRjNGKUYxKipGam5GKUZnbkYpRi5GKUY6RilGMSooRmZuRilGZ25GKUZBRilGKSooIiU2OEYpKUYmIiM7RilGQ0YpRjEqKiIkVyVGKUZfb0YpRj1GKUYzRilGKSoqIiVNPEYpRl9vRilGN0YpRjpGKUYpKipGYm9GKUZfb0YpRi5GKUZBRilGKSooRl5vRilGX29GKUZJRilGMSooIiUrPUYpKUYmIiM5RikpRi9GRkYpRikqKiIkVyhGKUZpb0YpRkNGKUYzRilGKSoqIiVXREYpRmlvRilGPUYpRjpGKUYxKipGX3BGKUZpb0YpRjdGKUZBRilGMSoqRl1wRilGaW9GKUYuRilGSUYpRikqKEZob0YpRmlvRikpRjRGRkYpRikqKCIlZzdGKSlGJiIjN0YpKUYvRmdwRilGMSoqIiU/REYpRmZwRilGW3BGKUYzRilGMSoqIiVjUEYpRmZwRilGQ0YpRjpGKUYpKioiI1tGKUZmcEYpRj1GKUZBRilGKSoqRlxxRilGZnBGKUY3RilGSUYpRikqKkZqcEYpRmZwRilGLkYpRmNwRilGMSooRmVwRilGZnBGKSlGNEZncEYpRjEqKCIkbyJGKSlGJkZGRikpRi9Gam9GKUYpKioiJSM+JEYpRmVxRilGaHBGKUYzRilGKSoqIiVHUkYpRmVxRilGW3BGKUY6RilGMSoqIiRvJkYpRmVxRilGQ0YpRkFGKUYpKipGXHJGKUZlcUYpRj1GKUZJRilGKSoqRmpxRilGZXFGKUY3RilGY3BGKUYxKipGaHFGKUZlcUYpRi5GKUZicUYpRikqKEZkcUYpRmVxRikpRjRGam9GKUYpKigiJFQlRilGJUYpKUYvRmBvRilGKSoqIiUlPSNGKUYlRilGZnFGKUYzRilGMSoqIiQrKEYpRiVGKUZocEYpRjpGKUYpKioiJS9kRilGJUYpRltwRilGQUYpRikqKiIlQSQqRilGJUYpRkNGKUZJRilGMSoqRmpyRilGJUYpRj1GKUZjcEYpRikqKkZockYpRiVGKUY3RilGYnFGKUYpKipGZnJGKUYlRilGLkYpRmFyRilGMSooRmNyRilGJUYpKUY0RmBvRilGKSooIiRrJEYpRixGKSlGL0ZobkYpRjEqKiIkYyhGKUYsRilGZHJGKUYzRilGKSoqIiUhbyJGKUYsRilGZnFGKUY6RilGKSoqIiVPZkYpRixGKUZocEYpRkFGKUYxKioiJWtRRilGLEYpRltwRilGSUYpRikqKkZcdEYpRixGKUZDRilGY3BGKUYpKipGanNGKUYsRilGPUYpRmJxRilGMSoqRmhzRilGLEYpRjdGKUZhckYpRikqKkZmc0YpRixGKUYuRilGYXNGKUYpKihGY3NGKUYsRikpRjRGaG5GKUYxKigiJD0iRilGNkYpKUYvRldGKUYpKioiI1dGKUY2RilGZHNGKUYzRilGMSoqIiRpKkYpRjZGKUZkckYpRjpGKUYxKioiJF8oRilGNkYpRmZxRilGQUYpRikqKiIlL01GKUY2RilGaHBGKUZJRilGKSoqIiVPbEYpRjZGKUZbcEYpRmNwRilGMSoqRl11RilGNkYpRkNGKUZicUYpRikqKkZbdUYpRjZGKUY9RilGYXJGKUYpKipGaXRGKUY2RilGN0YpRmFzRilGMSoqRmd0RilGNkYpRi5GKUZidEYpRjEqKEZkdEYpRjZGKSlGNEZXRilGKSooRmdwRilGPEYpKUYvRlJGKUYxKioiI19GKUY8RilGZXRGKUYzRilGMSoqIiQpPUYpRjxGKUZkc0YpRjpGKUYpKioiJGcjRilGPEYpRmRyRilGQUYpRikqKiIlMzdGKUY8RilGZnFGKUZJRilGMSoqIiRDKUYpRjxGKUZocEYpRmNwRilGKSoqRmF2RilGPEYpRltwRilGYnFGKUYpKipGX3ZGKUY8RilGQ0YpRmFyRilGMSoqRl12RilGPEYpRj1GKUZhc0YpRikqKkZbdkYpRjxGKUY3RilGYnRGKUYpKipGaXVGKUY8RilGLkYpRmV1RilGMSooRmdwRilGPEYpKUY0RlJGKUYxKiQpRi9GTkYpRjEqKEZncEYpRmd1RilGM0YpRikqKCIjbUYpRmV0RilGOkYpRjEqKCIkPyNGKUZkc0YpRkFGKUYpKigiJCZcRilGZHJGKUZJRilGMSooIiQjekYpRmZxRilGY3BGKUYpKigiJEMqRilGaHBGKUZicUYpRjEqKEZjd0YpRltwRilGYXJGKUYpKihGYXdGKUZDRilGYXNGKUYxKihGX3dGKUY9RilGYnRGKUYpKihGXXdGKUY3RilGZXVGKUYxKihGZ3BGKUYuRilGaHZGKUYpKiQpRjRGTkYpRjFGKQ== IiIi a2toAA; PCgvLCgqJClJImFHNiIiIiMiIiIhIiIqJClJImJHRihGKUYqRisqJClJImNHRihGKUYqRiosJEkjQ0NHRihGKy8sKEYlRipGLEYqRi9GK0YzLywoRiVGKkYsRitGL0YrLCRJI0FBR0YoRisvLChGJUYrRixGKkYvRipGOS8sKEYvRitGJUYrRixGKiwkSSNCQkdGKEYrLywoRiVGKkYsRitGL0YqRj8= (tmp1): simplify(%, a2toAA); tmp2:= collect(%, AA, factor); KiYsTioqIiIjIiIiKUkjQ0NHNiIiIiZGJilJI0FBR0YpIiInRiZJI0JCR0YpRiYhIiIqKClGLkYlRiYpRihGLUYmKUYsIiIlRiZGJiomRjJGJilGLkYtRiZGLyooKUYoRjRGJkYxRiZGK0YmRiYqKkY0RiZGNkYmKUYoIiIkRiYpRixGO0YmRi8qKEY2RiZGOEYmKUYsRiVGJkYmKipGJUYmRjZGJkYnRiZGLEYmRiYqJkY2RiZGK0YmRi8qKkYlRiYpRi5GKkYmRihGJkYrRiZGLyomRjJGJkYrRiZGLyooKUYuRjRGJilGKEYlRiZGK0YmRiYqKkYlRiZGLkYmRjJGJilGLEYqRiZGJioqRiVGJkYxRiZGJ0YmRkhGJkYvKipGNEYmKUYuRjtGJkY6RiZGK0YmRiYqKkYlRiZGNkYmRihGJkZIRiZGJioqRiVGJkZCRiZGRkYmRkhGJkYvKihGNkYmRkZGJkYzRiZGJioqRiVGJkZCRiZGJ0YmRj5GJkYmKipGJUYmRkJGJkYyRiZGLEYmRiYqKEZFRiZGMkYmRj5GJkYmKipGJUYmRkVGJkY4RiZGM0YmRi8qKkY0RiZGS0YmRjJGJkY8RiZGL0YmLCgqJkZGRiZGMUYmRi8qJkZGRiZGPkYmRiYqJkYxRiZGPkYmRiZGLw== KiYsMCooKSwmSSNCQkc2IiIiIkkjQ0NHRighIiIiIiNGKSksJkYnRilGKkYpIiIlRikpSSNBQUdGKCIiJ0YpRisqMEYsRilGJ0YpRipGKUYuRiksJiokKUYnRixGKUYpKiQpRipGLEYpRilGKUYlRikpRjEiIiZGKUYpKixGNkYpRjhGKUYlRikpRi5GLEYpKUYxRi9GKUYpKi5GL0YpKUYnIiIkRikpRipGQEYpRi5GKSwoRjVGKSomRidGKUYqRilGK0Y3RilGKSlGMUZARilGKyoqKUYqRi9GKSlGJ0YvRilGPEYpKUYxRixGKUYpKixGLEYpKUYnRjpGKSlGKkY6RilGLkYpRjFGKUYpKiYpRipGMkYpKUYnRjJGKUYrRiksJiomRjRGKUZIRilGKSomRjhGKUY2RilGK0Yr subs(AAtoa2, tmp2);; length(convert(%,string)); KiYsMCoqIiM7IiIiKSwmKiYiIiNGJilJImJHNiJGKkYmISIiKiZGKkYmKUkiY0dGLUYqRiZGJkYqRiYpSSJhR0YtIiIpRiYpLCgqJClGM0YqRiZGLiokRitGJkYmKiRGMEYmRiYiIidGJkYuKjAiIiVGJiwoRjdGJkY5Ri5GOkYmRiYsKEY3RiZGOUYmRjpGLkYmRjhGJiwmKiQpRj5GKkYmRiYqJClGP0YqRiZGJkYmRidGJilGNiIiJkYmRiYqLkY9RiZGQkYmRkRGJkYnRiYpRjNGPUYmKUY2Rj1GJkYmKi5GNEYmKUY+IiIkRiYpRj9GTEYmRjhGJiwoRkFGJiomRj5GJkY/RiZGLkZDRiZGJilGNkZMRiZGLiosRj1GJilGP0Y9RiYpRj5GPUYmRkhGJilGNkYqRiZGJiosRj1GJilGPkZGRiYpRj9GRkYmRjhGJkY2RiZGJiomKUY/RjtGJilGPkY7RiZGLkYmLCYqJkZARiZGVEYmRiYqJkZERiZGQkYmRi5GLg== IiRmJg== tmp10:= (-16*4*(b^2-c^2)^2*a^8*(-a^2+b^2+c^2)^6+ 16*(a^4+2*b^2*c^2-b^4-c^4)*a^2*((a^2-b^2+c^2)^2+(a^2+b^2-c^2)^2)*(b^2-c^2)^2*(-a^2+b^2+c^2)^5 +16*(a^4+2*b^2*c^2-b^4-c^4)^2*(b^2-c^2)^2*a^4*(-a^2+b^2+c^2)^4 -8*(a^4+2*b^2*c^2-b^4-c^4)^3*a^2*((a^2-b^2+c^2)^2-(a^4+2*b^2*c^2-b^4-c^4)+(a^2+b^2-c^2)^2)*(-a^2+b^2+c^2)^3 +4*(a^4+2*b^2*c^2-b^4-c^4)^4*a^4*(-a^2+b^2+c^2)^2 +4*(a^4+2*b^2*c^2-b^4-c^4)^5*a^2*(-a^2+b^2+c^2) -(a^4+2*b^2*c^2-b^4-c^4)^6)/ (((a^2-b^2+c^2)^2+(a^2+b^2-c^2)^2)*(-a^2+b^2+c^2)^2 -(a^4+2*b^2*c^2-b^4-c^4)^2); ency(%), length(convert(%,string)); KiYsMCoqIiNrIiIiKSwmKiQpSSJiRzYiIiIjRiZGJiokKUkiY0dGLEYtRiYhIiJGLUYmKUkiYUdGLCIiKUYmKSwoKiQpRjNGLUYmRjFGKUYmRi5GJiIiJ0YmRjEqLiIjO0YmLCoqJClGMyIiJUYmRiYqKEYtRiZGKkYmRi9GJkYmKiQpRitGP0YmRjEqJClGMEY/RiZGMUYmRjhGJiwmKiQpLChGN0YmRilGMUYuRiZGLUYmRiYqJCksKEY3RiZGKUYmRi5GMUYtRiZGJkYmRidGJilGNiIiJkYmRiYqLEY7RiYpRjxGLUYmRidGJkY+RiYpRjZGP0YmRiYqLEY0RiYpRjwiIiRGJkY4RiYsLkZGRiZGPUYxRkBGMUZBRiZGQ0YmRklGJkYmKUY2RlNGJkYxKipGP0YmKUY8Rj9GJkY+RiYpRjZGLUYmRiYqKkY/RiYpRjxGTUYmRjhGJkY2RiZGJiokKUY8RjlGJkYxRiYsJiomRkVGJkZYRiZGJiokRk9GJkYxRjE= NiQiJWJMIiQrJg== "(16*(b^2-c^2)^2*a^8*(-a^2+b^2+c^2)^6 -4*(a^4+2*b^2*c^2-b^4-c^4)*a^2*((a^2-b^2+c^2)^2+(a^2+b^2-c^2)^2)*(b^2-c^2)^2*(-a^2+b^2+c^2)^5 -4*(a^4+2*b^2*c^2-b^4-c^4)^2*(b^2-c^2)^2*a^4*(-a^2+b^2+c^2)^4 +2*(a^4+2*b^2*c^2-b^4-c^4)^3*a^2*((a^2-b^2+c^2)^2 -(a^4+2*b^2*c^2-b^4-c^4)+(a^2+b^2-c^2)^2)*(-a^2+b^2+c^2)^3-(a^4+2*b^2*c^2-b^4-c^4)^4*a^4*(-a^2+b^2+c^2)^2-(a^4+2*b^2*c^2-b^4-c^4)^5*a^2*(-a^2+b^2+c^2)+(a^4+2*b^2*c^2-b^4-c^4)^6/4)/(((a^2-b^2+c^2)^2+(a^2+b^2-c^2)^2)*(-a^2+b^2+c^2)^2-(a^4+2*b^2*c^2-b^4-c^4)^2)": SubstituteAll(%, "-a^2+b^2+c^2","b^2+c^2-a^2"): length(%); tmp11:= parse(%%): ency(%); IiQlXA== IiViTA== seq(factor(op([1,j],tmp10)/op([1,j],tmp11)), j=1..7); NikhIiVGI0YjRiNGI0YjRiM= tmqx:= tmp11; KiYsMCoqIiM7IiIiKSwmKiQpSSJiRzYiIiIjRiZGJiokKUkiY0dGLEYtRiYhIiJGLUYmKUkiYUdGLCIiKUYmKSwoKiQpRjNGLUYmRjFGKUYmRi5GJiIiJ0YmRiYqLiIiJUYmLCoqJClGM0Y7RiZGJiooRi1GJkYqRiZGL0YmRiYqJClGK0Y7RiZGMSokKUYwRjtGJkYxRiZGOEYmLCYqJCksKEY3RiZGKUYxRi5GJkYtRiZGJiokKSwoRjdGJkYpRiZGLkYxRi1GJkYmRiZGJ0YmKUY2IiImRiZGMSosRjtGJilGPEYtRiZGJ0YmRj5GJilGNkY7RiZGMSosRi1GJilGPCIiJEYmRjhGJiwuRkVGJkY9RjFGP0YxRkBGJkZCRiZGSEYmRiYpRjZGUkYmRiYqKClGPEY7RiZGPkYmKUY2Ri1GJkYxKigpRjxGTEYmRjhGJkY2RiZGMSomI0YmRjtGJilGPEY5RiZGJkYmLCYqJkZERiZGV0YmRiYqJEZORiZGMUYx cutt23(): tmqx:= elimifac(%); ency(%); UVZbWzEsMzM1NF0sWzMsMjEzMF0sWzQsMzM0OF0sWzQwLDM0NzNdLFs2NCwzMzQ2XSxbODRdXTYi Nyc3JCIiJCIlSUA3JCIjayIlWUw3JCIiJSIlW0w3JCIiIiIlYUw3JCIjUyIldE0= KiYsQCokKUkiYUc2IiIiKSIiIkYpKigiIiVGKSlGJiIiJ0YpKUkiYkdGJyIiI0YpISIiKihGK0YpRixGKSlJImNHRidGMEYpRjEqKEYtRikpRiZGK0YpKUYvRitGKUYpKipGK0YpRjZGKUYuRilGM0YpRjEqKEYtRilGNkYpKUY0RitGKUYpKihGK0YpKUYmRjBGKSlGL0YtRilGMSoqRitGKUY8RilGN0YpRjNGKUYpKipGK0YpRjxGKUYuRilGOkYpRikqKEYrRilGPEYpKUY0Ri1GKUYxKiQpRi9GKEYpRikqKEYrRilGPUYpRjNGKUYpKigiIzVGKUY3RilGOkYpRjEqKEYrRilGLkYpRkFGKUYpKiQpRjRGKEYpRilGMSxidioqIiRXJUYpKUYmIiM7RilGPUYpRjNGKUYpKioiJVdERikpRiYiIzlGKUY3RilGQUYpRjEqKiIkOyZGKSlGJiIjPUYpRjdGKUYzRilGMSoqRlRGKUZVRilGLkYpRjpGKUYxKioiJFcoRilGUUYpRkNGKUYzRilGKSoqIiQnPkYpKUYmIiM/RilGLkYpRjNGKUYpKioiI19GKUY8RikpRi9GZ25GKUYzRilGMSoqRllGKUZRRilGLkYpRklGKUYpKipGUEYpRlFGKUY9RilGOkYpRjEqKCIjR0YpKUYmIiNBRilGLkYpRjEqKCIkJVtGKUZVRilGQUYpRikqKEZib0YpRlVGKUY9RilGKSoqIiVHUkYpKUYmRkZGKSlGL0ZGRilGOkYpRjEqKiIkbyZGKUZmb0YpRkNGKUZBRilGKSoqIiRjKEYpRixGKSlGL0ZORilGM0YpRikqKiIla1FGKUYsRilGZ29GKUZJRilGKSoqIiUvZEYpRiVGKUZnb0YpRkFGKUYpKioiJSFvIkYpRixGKSlGL0ZSRilGOkYpRikqKiIlT2ZGKUYsRikpRi8iIzdGKUZBRilGMSoqIiRfKEYpRjZGKUZjcEYpRkFGKUYpKioiJSM+JEYpRmZvRilGZnBGKUYzRilGKSokKUYvIiNDRilGMSoqIiNXRilGNkYpKUYvRlZGKUYzRilGMSoqIiVPbEYpRjZGKUZnb0YpKUY0RkZGKUYxKipGXnBGKUYsRilGQ0YpRmRxRilGKSooIiUrPUYpRlFGKUZkcUYpRikqKEZeb0YpRl9vRilGM0YpRjEqKCIkayRGKUYsRilGYXFGKUYxKigiJG8iRilGZm9GKUZjcEYpRikqKCIkI3pGKUZjcEYpRmRxRilGKSooIiQ/I0YpRj1GKSlGNEZWRilGKSooRmByRilGYXFGKUZBRilGKSooRl5yRilGZ29GKSlGNEZSRilGKSooRmdwRilGPEYpKUYvRmBvRilGMSooRmdwRilGZnJGKUYzRilGKSooIiNtRilGam5GKUY6RilGMSoqIiRnI0YpRjxGKUY9RikpRjRGTkYpRikqKiIkKT1GKUY8RilGYXFGKUY6RilGKSoqRltzRilGPEYpRlxwRilGQUYpRikqKiIlMzdGKUY8RilGQ0YpRmRyRilGMSoqIiRDKUYpRjxGKUZnb0YpKUY0RmdwRilGKSoqRmNzRilGPEYpRmZwRilGZHFGKUYpKigiJCZcRilGXHBGKUZJRilGMSooIiRDKkYpRmZwRilGZHNGKUYxKihGZ3NGKUZDRilGXHNGKUYxKihGaXJGKUY3RikpRjRGZ25GKUYxKigiI1VGKUZmbkYpRjpGKUYxKigiJTY4RilGTUYpRklGKUYxKioiJGkqRilGNkYpRlxwRilGOkYpRjEqKkZgcEYpRiVGKUY9RilGZHFGKUYpKioiJSU9I0YpRiVGKUYuRilGZHJGKUYxKipGW3BGKUYsRilGLkYpRlxzRilGKSoqRmBxRilGNkYpRi5GKUZhckYpRjEqKkZhc0YpRjxGKUZjcEYpRklGKUYxKihGZ3FGKUZRRilGZ29GKUYpKihGanFGKUYsRilGYXJGKUYxKihGXHJGKUZmb0YpRmRyRilGKSooRmdwRilGLkYpKUY0RmBvRilGKSooRmdwRilGPEYpRl11RilGMSoqRl5zRilGPEYpRjdGKUZhckYpRikqKiIkKyhGKUYlRilGZnBGKUY6RilGKSoqRmF1RilGJUYpRjdGKUZkc0YpRikqKiIlL01GKUY2RilGQ0YpRmRzRilGKSoqRmR1RilGNkYpRmZwRilGSUYpRikqKiIlY1BGKSlGJkZncEYpRkNGKUY6RilGKSoqRmd1RilGaHVGKUY3RilGSUYpRikqKkZidEYpRjZGKUY3RilGXHNGKUYxKioiJUEkKkYpRiVGKUZDRilGSUYpRjEqJiIiKEYpKUYmRl5xRilGKSokKUY0Rl5xRilGMSoqRmluRilGPEYpRi5GKUZcdEYpRjEqKiIlTTxGKUZNRilGN0YpRjpGKUYpKioiI1tGKUZodUYpRj1GKUZBRilGKSoqIiU/REYpRmh1RilGZ29GKUYzRilGMSoqRmh2RilGaHVGKUYuRilGZHFGKUYxKipGTEYpRk1GKUYuRilGQUYpRikqKCIkVCVGKUYlRilGXHNGKUYpKigiJWc3RilGaHVGKUZkc0YpRjEqKCIkPSJGKUY2RilGXHRGKUYpKihGYHdGKUY2RilGam5GKUYpKihGXHdGKUYlRilGXHBGKUYpKipGaXBGKUY2RilGPUYpRmRyRilGKSoqRmlvRilGZm9GKUY9RilGSUYpRikqKkZlb0YpRmZvRilGN0YpRmRxRilGMSoqRltxRilGZm9GKUYuRilGZHNGKUYpKihGXndGKUZodUYpRmZwRilGMSooRmB0RilGTUYpRkNGKUYxKipGYnBGKUYsRilGN0YpRmRyRilGKSoqRmVwRilGLEYpRj1GKUZkc0YpRjEqKkZldEYpRiVGKUZjcEYpRjNGKUYxKihGXnRGKUZmbkYpRjdGKUYxRik= IiViTA== fintax(tmqx); length(%); UV9dbig3KmFeMjQrKC0yOCpiXjItMjgqY14yKSphXjIyKygtNDIqYl40KzE5NipiXjIqY14yLTQyKmNeNCkqYV4yMCsoNDg0KmJeNi01MTYqYl40KmNeMi01MTYqYl4yKmNeNCs0ODQqY142KSphXjE4LTMqKDQzNypiXjQrNzI2KmJeMipjXjIrNDM3KmNeNCkqKGJeMi1jXjIpXjIqYV4xNisyNCooYl4yK2NeMikqKDc1KmJeNCsxMDYqYl4yKmNeMis3NSpjXjQpKihiXjItY14yKV4yKmFeMTQtMTIqKDEwNSpiXjgrNDIwKmJeNipjXjIrNDIyKmJeNCpjXjQrNDIwKmJeMipjXjYrMTA1KmNeOCkqKGJeMi1jXjIpXjIqYV4xMis4KihiXjIrY14yKSooMjEqYl44KzQyMCpiXjYqY14yLTUwKmJeNCpjXjQrNDIwKmJeMipjXjYrMjEqY144KSooYl4yLWNeMileMiphXjEwKyg3KmJeNC0zMCpiXjIqY14yKzcqY140KSooNjMqYl44Kzg0KmJeNipjXjItMzgqYl40KmNeNCs4NCpiXjIqY142KzYzKmNeOCkqKGJeMi1jXjIpXjIqYV44LTI4KihiXjIrY14yKSooMTMqYl40KzM4KmJeMipjXjIrMTMqY140KSooYi1jKV42KihiK2MpXjYqYV42KzIqKDU5KmJeOCszMzIqYl42KmNeMis2MjYqYl40KmNeNCszMzIqYl4yKmNeNis1OSpjXjgpKihiLWMpXjYqKGIrYyleNiphXjQtNCooMypiXjIrY14yKSooYl4yKzMqY14yKSooYl4yK2NeMikqKGJeNCs2KmJeMipjXjIrY140KSooYi1jKV42KihiK2MpXjYqYV4yLShiLWMpXjEyKihiK2MpXjEyKS8oYV44LTQqKGJeMitjXjIpKmFeNisoNipiXjQtNCpiXjIqY14yKzYqY140KSphXjQtNCooYl4yK2NeMikqKGJeMi1jXjIpXjIqYV4yKyhiXjQrNipiXjIqY14yK2NeNCkqKGIrYyleMiooYi1jKV4yKTYi IiQvKQ== bary2norm(pX(2096))+bary2norm(pX(3421)): tmqx:= elimifac(factor(%[1]));; ency(%); Error, adding lists of different length LUkjbXNHNiMvSSttb2R1bGVuYW1lRzYiSSxUeXBlc2V0dGluZ0dJKF9zeXNsaWJHRic2I1ElZmluaUYn LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYoLUkjbWlHRiQ2JVEldG1xeEYnLyUnaXRhbGljR1EldHJ1ZUYnLyUsbWF0aHZhcmlhbnRHUSdpdGFsaWNGJy1JI21vR0YkNi1RIzo9RicvRjNRJ25vcm1hbEYnLyUmZmVuY2VHUSZmYWxzZUYnLyUqc2VwYXJhdG9yR0Y9LyUpc3RyZXRjaHlHRj0vJSpzeW1tZXRyaWNHRj0vJShsYXJnZW9wR0Y9LyUubW92YWJsZWxpbWl0c0dGPS8lJ2FjY2VudEdGPS8lJ2xzcGFjZUdRLDAuMjc3Nzc3OGVtRicvJSdyc3BhY2VHRkwtSShtYWN0aW9uR0YkNiUtSShtZmVuY2VkR0YkNigtSSdtdGFibGVHRiQ2NS1JJG10ckdGJDYnLUkkbXRkR0YkNigtSSNtbkdGJDYkUSIxRidGOS8lKXJvd2FsaWduR1EhRicvJSxjb2x1bW5hbGlnbkdGXm8vJStncm91cGFsaWduR0Zeby8lKHJvd3NwYW5HUSIxRicvJStjb2x1bW5zcGFuR0Zlby1GZm42KC1JI21zR0YkNiNRY28/eDxzdWI+MjA5Njwvc3ViPit4PHN1Yj4zNDIxPC9zdWI+KHVzaW5nPEk+YWN0dWFsPC9JPnRyaWxpbmVhcmRpc3RhbmNlcylGJ0Zcb0Zfb0Zhb0Zjb0Zmb0Zcb0Zfb0Zhby8lJmFsaWduR1ElYXhpc0YnL0Zdb1EpYmFzZWxpbmVGJy9GYG9RJ2NlbnRlckYnL0Zib1EnfGZybGVmdHxockYnLyUvYWxpZ25tZW50c2NvcGVHRjEvJSxjb2x1bW53aWR0aEdRJWF1dG9GJy8lJndpZHRoR0ZbcS8lK3Jvd3NwYWNpbmdHUSYxLjBleEYnLyUuY29sdW1uc3BhY2luZ0dRJjAuOGVtRicvJSlyb3dsaW5lc0dRJW5vbmVGJy8lLGNvbHVtbmxpbmVzR0ZmcS8lJmZyYW1lR0ZmcS8lLWZyYW1lc3BhY2luZ0dRLDAuNGVtfjAuNWV4RicvJSplcXVhbHJvd3NHRj0vJS1lcXVhbGNvbHVtbnNHRj0vJS1kaXNwbGF5c3R5bGVHRj0vJSVzaWRlR1EmcmlnaHRGJy8lMG1pbmxhYmVsc3BhY2luZ0dGY3FGOS9JK21zZW1hbnRpY3NHRiRRKlJvd1ZlY3RvckYnLyUlb3BlbkdRIltGJy8lJmNsb3NlR1EiXUYnRmlyLyUrYWN0aW9udHlwZUdRLnJ0YWJsZWFkZHJlc3NGJy8lKXJ0YWJsZWlkR1EpMTEwNzkzNTJGJy8lK2ZvcmVncm91bmRHUShbMCwwLDBdRicvJSlyZWFkb25seUdGPUY5 Error, (in kicety) ambiguous multiple assignment "(5*a^12-10*(b^2+c^2)*a^10+(-9*b^4+34*b^2*c^2-9*c^4)*a^8+36*(b^2+c^2)*(b^2-c^2)^2*a^6-(29*b^4+54*b^2*c^2+29*c^4)*(b^2-c^2)^2*a^4+2*(3*b^2+c^2)*(b^2+3*c^2)*(b^2+c^2)*(b^2-c^2)^2*a^2+(b^2-c^2)^6)/(-a^2+b^2+c^2)/(a^16-8*(b^2+c^2)*a^14+(28*b^4-40*b^2*c^2+28*c^4)*a^12-56*(b^2+c^2)*(b^2-c^2)^2*a^10+2*(35*b^4+114*b^2*c^2+35*c^4)*(b^2-c^2)^2*a^8-8*(b^2+c^2)*(7*b^4+18*b^2*c^2+7*c^4)*(b^2-c^2)^2*a^6+4*(b^4+7*c^4)*(7*b^4+c^4)*(b^2-c^2)^2*a^4-8*(b^2+c^2)*(b^2-c^2)^6*a^2+(b^4+14*b^2*c^2+c^4)*(b^2-c^2)^6)": ency(parse(%)), length(%); tmqx:= parse(%%); NiQiJWNMIiQmXA== KigsMComIiImIiIiKUkiYUc2IiIjN0YmRiYqKCIjNUYmLCYqJClJImJHRikiIiNGJkYmKiQpSSJjR0YpRjFGJkYmRiYpRihGLEYmISIiKiYsKComIiIqRiYpRjAiIiVGJkY2KigiI01GJkYvRiZGM0YmRiYqJkY6RiYpRjRGPEYmRjZGJilGKCIiKUYmRiYqKiIjT0YmRi1GJiksJkYuRiZGMkY2RjFGJilGKCIiJ0YmRiYqKCwoKiYiI0hGJkY7RiZGJiooIiNhRiZGL0YmRjNGJkYmKiZGTEYmRkBGJkYmRiZGRUYmKUYoRjxGJkY2Ki5GMUYmLCYqJiIiJEYmRi9GJkYmRjJGJkYmLCZGLkYmKiZGVEYmRjNGJkYmRiZGLUYmRkVGJilGKEYxRiZGJiokKUZGRkhGJkYmRiYsKCokRldGJkY2Ri5GJkYyRiZGNiw0KiQpRigiIztGJkYmKihGQkYmRi1GJilGKCIjOUYmRjYqJiwoKiYiI0dGJkY7RiZGJiooIiNTRiZGL0YmRjNGJkY2KiZGYG9GJkZARiZGJkYmRidGJkYmKioiI2NGJkYtRiZGRUYmRjVGJkY2KipGMUYmLCgqJiIjTkYmRjtGJkYmKigiJDkiRiZGL0YmRjNGJkYmKiZGaW9GJkZARiZGJkYmRkVGJkZBRiZGJiosRkJGJkYtRiYsKComIiIoRiZGO0YmRiYqKCIjPUYmRi9GJkYzRiZGJiomRmBwRiZGQEYmRiZGJkZFRiZGR0YmRjYqLEY8RiYsJiokRjtGJkYmRmNwRiZGJiwmRl9wRiYqJEZARiZGJkYmRkVGJkZQRiZGJioqRkJGJkYtRiZGWUYmRldGJkY2KiYsKEZmcEYmKihGXG9GJkYvRiZGM0YmRiZGaHBGJkYmRllGJkYmRjY= (factor@crossdiv)(pX(6), pX(3350)): tmqx:= elimifac(%[1]);; KigsWioqIiM5IiIiKUkiYUc2IiIiI0YmKUkiYkdGKUYqRiYpSSJjR0YpIiIpRiZGJiooIiM1RiYpRihGMUYmRitGJiEiIiooIiIqRiYpRihGL0YmKUYsIiIlRiZGMyooIiNPRiYpRigiIidGJilGLEY8RiZGJiooIiNIRiYpRihGOEYmKUYsRi9GJkYzKihGPEYmRidGJilGLEYxRiZGJioqIiNdRiZGQEYmRjdGJilGLkY4RiZGJioqIiNNRiZGNkYmRitGJilGLkYqRiZGJiooRjxGJkYnRiYpRi5GMUYmRiYqKEY/RiZGQEYmRi1GJkYzKihGOkYmRjtGJilGLkY8RiZGJiooRjVGJkY2RiZGRkYmRjMqKEYxRiZGMkYmRklGJkYzKipGJUYmRidGJkZBRiZGSUYmRiYqKkY6RiZGO0YmRjdGJkZJRiZGMyoqRjpGJkY7RiZGK0YmRkZGJkYzKihGPEYmRitGJkZLRiZGMyooIiM6RiZGN0YmRi1GJkYmKigiIz9GJkY9RiZGTkYmRjMqKEZWRiZGQUYmRkZGJkYmKihGPEYmRkNGJkZJRiZGMyomIiImRiYpRigiIzdGJkYmKiQpRixGaG5GJkYmKiQpRi5GaG5GJkYmKipGOEYmRkBGJkY9RiZGSUYmRiYqKkY4RiZGQEYmRitGJkZORiZGJioqRlhGJkYnRiZGN0YmRk5GJkYzKipGWEYmRidGJkY9RiZGRkYmRjNGJiwoKiRGJ0YmRiYqJEYrRiZGMyokRklGJkYzRjMsZnAqJClGLiIjO0YmRiYqKEYvRiYpRihGJUYmRitGJkYzKioiI2NGJkYyRiZGN0YmRklGJkYmKioiI1NGJkZnbkYmRitGJkZJRiZGMyooRlxwRiZGMkYmRj1GJkYzKigiI0dGJkZnbkYmRjdGJkYmKipGXHBGJkZARiZGK0YmRktGJkYzKioiJEcjRiZGQEYmRjdGJkYtRiZGJioqIiQrJUYmRkBGJkY9RiZGTkYmRjMqKkZkcEYmRkBGJkZBRiZGRkYmRiYqKkZccEYmRkBGJkZDRiZGSUYmRjMqKiIjKSlGJkY7RiZGK0YmRi1GJkYzKioiJFciRiZGO0YmRjdGJkZORiZGJioqRlxxRiZGO0YmRj1GJkZGRiZGJioqRmpwRiZGO0YmRkFGJkZJRiZGMyoqRmpwRiZGNkYmRitGJkZORiZGJioqIiQ7JEYmRjZGJkY3RiZGRkYmRjMqKkZqcEYmRjZGJkY9RiZGSUYmRiYqKkZccEYmRjJGJkYrRiZGRkYmRiYqKCIjcUYmRjZGJkZBRiZGJiooRlxwRiZGO0YmRkNGJkYzKihGL0YmRidGJilGLEYlRiZGMyooRmFwRiZGQEYmRmpuRiZGJiokKUYsRmhvRiZGJiooRi9GJkZocUYmRklGJkYmKigiI29GJkZqbkYmRkZGJkYzKigiJCU9RiZGQ0YmRk5GJkYmKihGYHJGJkY9RiZGS0YmRiYqJClGKEZob0YmRiYqKEZlcUYmRjZGJkYtRiZGJiooRlxwRiZGTkYmRjJGJkYzKipGXnBGJkZcb0YmRidGJkYrRiZGJioqRl5wRiZGTkYmRidGJkZBRiZGJioqIiNzRiZGRkYmRidGJkZDRiZGMyoqRmlyRiZGS0YmRidGJkY3RiZGMyoqRl5wRiZGLUYmRidGJkY9RiZGJioqRl5wRiZGSUYmRidGJkZqbkYmRiYqKEYvRiYpRi5GJUYmRidGJkYzKihGYXBGJkZcb0YmRkBGJkYmKihGXHBGJkZLRiZGO0YmRjMqKEZhcEYmRmduRiZGRkYmRiYqKEYvRiZGam9GJkZJRiZGMyooRl5yRiZGN0YmRlxvRiZGMyooIiRdI0YmRkFGJkYtRiZGMyooRi9GJkYrRiZGXnNGJkYmRjM= reflection(pX(3),pX(2131)): tmqx:= (elimifac@factor)(%[1]);; KiYsYnYqKiIkVyUiIiIpSSJhRzYiIiM7RiYpSSJiR0YpIiInRiYpSSJjR0YpIiIjRiZGJioqIiVXREYmKUYoIiM5RiYpRiwiIiVGJilGL0YtRiYhIiIqKiIkOyZGJilGKCIjPUYmRjVGJkYuRiZGOCoqRjpGJkY7RiYpRixGMEYmKUYvRjZGJkY4KioiJFcoRiZGM0YmKUYsIiIpRiZGLkYmRiYqKiIkJz5GJilGKCIjP0YmRj5GJkYuRiZGJioqIiNfRiYpRihGMEYmKUYsRkdGJkYuRiZGOCoqRkFGJkYzRiZGPkYmKUYvRkNGJkYmKipGMkYmRjNGJkYrRiZGP0YmRjgqKCIjR0YmKUYoIiNBRiZGPkYmRjgqKCIkJVtGJkY7RiZGN0YmRiYqKEZURiZGO0YmRitGJkYmKioiJUdSRiYpRigiIzVGJilGLEZZRiZGP0YmRjgqKiIkbyZGJkZYRiZGQkYmRjdGJkYmKioiJGMoRiYpRihGLUYmKUYsRipGJkYuRiZGJioqIiVrUUYmRmluRiZGWkYmRk1GJkYmKioiJS9kRiYpRihGQ0YmRlpGJkY3RiZGJioqIiUhbyJGJkZpbkYmKUYsRjRGJkY/RiZGJioqIiVPZkYmRmluRiYpRiwiIzdGJkY3RiZGOCoqIiRfKEYmKUYoRjZGJkZib0YmRjdGJkYmKioiJSM+JEYmRlhGJkZlb0YmRi5GJkYmKiQpRiwiI0NGJkY4KioiI1dGJkZpb0YmKUYsRjxGJkYuRiZGOCoqIiVPbEYmRmlvRiZGWkYmKUYvRllGJkY4KipGXG9GJkZpbkYmRkJGJkZkcEYmRiYqKCIlKz1GJkYzRiZGZHBGJkYmKihGUEYmRlFGJkYuRiZGOCooIiRrJEYmRmluRiZGYXBGJkY4KigiJG8iRiZGWEYmRmJvRiZGJiooIiQjekYmRmJvRiZGZHBGJkYmKigiJD8jRiZGK0YmKUYvRjxGJkYmKihGYHFGJkZhcEYmRjdGJkYmKihGXnFGJkZaRiYpRi9GNEYmRiYqKEZmb0YmKUYsRlJGJkZKRiZGOCooRmZvRiZGZnFGJkYuRiZGJiooIiNtRiZGS0YmRj9GJkY4KioiJGcjRiZGSkYmRitGJilGL0YqRiZGJioqIiQpPUYmRkpGJkZhcEYmRj9GJkYmKipGW3JGJkZKRiZGam5GJkY3RiZGJioqIiUzN0YmRkpGJkZCRiZGZHFGJkY4KioiJEMpRiZGSkYmRlpGJilGL0Zmb0YmRiYqKkZjckYmRkpGJkZlb0YmRmRwRiZGJiooIiQmXEYmRmpuRiZGTUYmRjgqKCIkQypGJkZlb0YmRmRyRiZGOCooRmdyRiZGQkYmRlxyRiZGOCooRmlxRiZGNUYmKUYvRkdGJkY4KigiI1VGJkZGRiZGP0YmRjgqKCIlNjhGJkYnRiZGTUYmRjgqKiIkaSpGJkZpb0YmRmpuRiZGP0YmRjgqKkZeb0YmRl9vRiZGK0YmRmRwRiZGJioqIiUlPSNGJkZfb0YmRj5GJkZkcUYmRjgqKkZobkYmRmluRiZGPkYmRlxyRiZGJioqRmBwRiZGaW9GJkY+RiZGYXFGJkY4KipGYXJGJkZKRiZGYm9GJkZNRiZGOCooRmdwRiZGM0YmRlpGJkYmKihGanBGJkZpbkYmRmFxRiZGOCooRlxxRiZGWEYmRmRxRiZGJiooRmZvRiZGPkYmKUYvRlJGJkYmKihGZm9GJkZKRiZGXXRGJkY4KipGXnJGJkZKRiZGNUYmRmFxRiZGJioqIiQrKEYmRmVvRiZGX29GJkY/RiZGJioqRmF0RiZGNUYmRmRyRiZGX29GJkYmKioiJS9NRiZGQkYmRmRyRiZGaW9GJkYmKipGZHRGJkZlb0YmRmlvRiZGTUYmRiYqKiIlY1BGJilGKEZmb0YmRkJGJkY/RiZGJioqRmd0RiZGaHRGJkY1RiZGTUYmRiYqKkZic0YmRmlvRiZGNUYmRlxyRiZGOCoqIiVBJCpGJkZfb0YmRkJGJkZNRiZGOComIiIoRiYpRihGXnBGJkYmKiQpRi9GXnBGJkY4KipGSUYmRkpGJkY+RiZGXHNGJkY4KioiJU08RiZGJ0YmRjVGJkY/RiZGJioqIiNbRiZGaHRGJkYrRiZGN0YmRiYqKiIlP0RGJkZodEYmRlpGJkYuRiZGOCoqRmh1RiZGaHRGJkY+RiZGZHBGJkY4KipGJUYmRidGJkY+RiZGN0YmRiYqKCIkVCVGJkZfb0YmRlxyRiZGJiooIiVnN0YmRmh0RiZGZHJGJkY4KigiJD0iRiZGaW9GJkZcc0YmRiYqKEZgdkYmRmlvRiZGS0YmRiYqKEZcdkYmRl9vRiZGam5GJkYmKipGaG9GJkZpb0YmRitGJkZkcUYmRiYqKkZmbkYmRlhGJkYrRiZGTUYmRiYqKkZXRiZGWEYmRjVGJkZkcEYmRjgqKkZbcEYmRlhGJkY+RiZGZHJGJkYmKihGXnZGJkZodEYmRmVvRiZGOCooRmBzRiZGJ0YmRkJGJkY4KipGYW9GJkZpbkYmRjVGJkZkcUYmRiYqKkZkb0YmRmluRiZGK0YmRmRyRiZGOCoqRmVzRiZGX29GJkZib0YmRi5GJkY4KihGXnNGJkZGRiZGNUYmRjhGJixAKiRGQkYmRiYqKEY2RiZGK0YmRi5GJkYmKihGWUYmRjVGJkY/RiZGOCooRjZGJkY+RiZGN0YmRiYqJEZNRiZGJiooRjZGJkZKRiZGK0YmRjgqKkY2RiZGSkYmRjVGJkYuRiZGJioqRjZGJkZKRiZGPkYmRj9GJkYmKihGNkYmRkpGJkY3RiZGOCooRi1GJkZpb0YmRjVGJkYmKipGNkYmRmlvRiZGPkYmRi5GJkY4KihGLUYmRmlvRiZGP0YmRiYqKEY2RiZGaW5GJkY+RiZGOCooRjZGJkZpbkYmRi5GJkY4KiRGX29GJkYmRjg= tmp:= (cevadiv)(pX(20),pX(84))[1]; KigsKCoqLCgqJiIiJCIiIilJImJHNiIiIiVGKCEiIiooIiIjRigpRipGL0YoLCYqJClJImNHRitGL0YoRigqJClJImFHRitGL0YoRihGKEYoKiQpLCZGMkYoRjVGLUYvRihGKEYoLCgqJkYnRigpRjRGLEYoRi0qKEYvRihGM0YoLCZGNUYoKiRGMEYoRihGKEYoKiQpLCZGNUYoRkBGLUYvRihGKEYoRjdGKCw2KiQpRjdGJ0YoRigqJkY2RihGKkYoRigqJkY2RihGNEYoRigqJkY3RihGMEYoRi0qKkYvRihGN0YoRipGKEY0RihGLSomRjdGKEYzRihGLSokKUYqRidGKEYtKiZGMEYoRjRGKEYoKiZGKkYoRjNGKEYoKiQpRjRGJ0YoRi1GLUYtKipGO0YoLCgqJkYnRigpRjdGLEYoRi0qKEYvRigsJkZARihGMkYoRihGNkYoRigqJCksJkZARihGMkYtRi9GKEYoRihGKkYoLDZGTEYoRk5GKEZPRi1GUEYtRklGKEZKRi1GS0YoRkdGLUZIRihGRUYtRi1GKCoqRiVGKEZTRihGNEYoLDZGUEYoRktGKEZIRi1GRUYtRk9GKEZKRi1GR0YoRk5GLUZJRihGTEYtRi1GKEYoRjdGKEZERi0= op(1, tmp): tmqx:= subs(%= map(U-> U/rotp(-3*c^4+2*c^2*(a^2+b^2)+(a^2-b^2)^2), %), tmp);; KigsKCooSSJhRzYiIiIiLDYqJClGJSIiJEYnRicqJilGJSIiI0YnSSJiR0YmRidGJyomRi1GJ0kiY0dGJkYnRicqJkYlRicpRi9GLkYnISIiKipGLkYnRiVGJ0YvRidGMUYnRjQqJkYlRicpRjFGLkYnRjQqJClGL0YrRidGNComRjNGJ0YxRidGJyomRi9GJ0Y3RidGJyokKUYxRitGJ0Y0RjQsKComRitGJylGJSIiJUYnRjQqKEYuRicsJiokRjNGJ0YnKiRGN0YnRidGJ0YtRidGJyokKSwmRkRGJ0ZFRjRGLkYnRidGNEY0KihGL0YnLDZGOEYnRjpGJ0Y7RjRGPEY0RjJGJ0Y1RjRGNkYnRixGNEYwRidGKUY0RjQsKComRitGJylGL0ZBRidGNCooRi5GJ0YzRicsJkZFRicqJEYtRidGJ0YnRicqJCksJkZFRidGUEY0Ri5GJ0YnRjRGJyooRjFGJyw2RjxGJ0Y2RidGMEY0RilGNEY7RidGNUY0RixGJ0Y6RjRGMkYnRjhGNEY0LCgqJkYrRicpRjFGQUYnRjQqKEYuRidGN0YnLCZGUEYnRkRGJ0YnRicqJCksJkZQRidGREY0Ri5GJ0YnRjRGJ0YnRiVGJ0YoRjQ= # tmqy:= tmqx: tmqx:= a^2/tmqy; KihJImFHNiIiIiIsKCooLDYqJClGIyIiJEYlRiUqJilGIyIiI0YlSSJiR0YkRiVGJSomRi1GJUkiY0dGJEYlRiUqJkYjRiUpRi9GLkYlISIiKipGLkYlRiNGJUYvRiVGMUYlRjQqJkYjRiUpRjFGLkYlRjQqJClGL0YrRiVGNComRjNGJUYxRiVGJSomRi9GJUY3RiVGJSokKUYxRitGJUY0RjQsKComRitGJSlGIyIiJUYlRjQqKEYuRiUsJiokRjNGJUYlKiRGN0YlRiVGJUYtRiVGJSokKSwmRkRGJUZFRjRGLkYlRiVGNEYjRiVGNCooLDZGKUY0RixGNEYwRiVGMkYlRjVGNEY2RiVGOEYlRjpGJUY7RjRGPEY0RjQsKComRitGJSlGL0ZBRiVGNCooRi5GJSwmKiRGLUYlRiVGRUYlRiVGM0YlRiUqJCksJkZQRjRGRUYlRi5GJUYlRjRGL0YlRiUqKCw2RilGNEYsRiVGMEY0RjJGJUY1RjRGNkYlRjhGNEY6RjRGO0YlRjxGJUY0LCgqJkYrRiUpRjFGQUYlRjQqKEYuRiUsJkZQRiVGREYlRiVGN0YlRiUqJCksJkZQRiVGREY0Ri5GJUYlRjRGMUYlRiVGNEYoRiU=
<Text-field style="Heading 2" layout="Heading 2">3339</Text-field> zalo[1]; substax(%); "(a-b+c)*(a+b-c)*(a+b+c)+(4*r/R)*a*b*c"; parse(%); subs(kitcircle, valR22, %); (elimifac@factor)(%); tmqx:= tmqx*a; ency(%); UUAoYS1iK2MpKGErYi1jKShhK2IrYykrKDRyL1IpYWJjNiI= UUUoYS1iK2MpKihhK2ItYykqKGErYitjKSsoNHIvUikqYSpiKmM2Ig== UUYoYS1iK2MpKihhK2ItYykqKGErYitjKSsoNCpyL1IpKmEqYipjNiI= LCYqKCwoSSJiRzYiISIiSSJhR0YmIiIiSSJjR0YmRilGKSwoRiVGKUYoRilGKkYnRiksKEYoRilGJUYpRipGKUYpRikqLiIiJUYpSSJyR0YmRilJIlJHRiZGJ0YoRilGJUYpRipGKUYp LCYqKCwoSSJiRzYiISIiSSJhR0YmIiIiSSJjR0YmRilGKSwoRiVGKUYoRilGKkYnRiksKEYoRilGJUYpRipGKUYpRikqKiIiI0YpRiRGKUYrRiksKEYoRilGJUYnRipGJ0YpRic= KiYsKComIiIkIiIiSSJiRzYiRiYhIiJJImFHRihGJiomRiVGJkkiY0dGKEYmRilGJiwoRipGJkYnRilGLEYpRik= KigsKComIiIkIiIiSSJiRzYiRiYhIiJJImFHRihGJiomRiVGJkkiY0dGKEYmRilGJiwoRipGJkYnRilGLEYpRilGKkYm IiVTTA==
<Text-field style="Heading 2" layout="Heading 2">3318</Text-field> ency(IT(pX(603))); (reduce@factor@IT2@pX)(603): tmqx:= %[1]; ency(%); IiVFTA== LCQqKCwoSSJhRzYiIiIiSSJiR0YmISIiSSJjR0YmRilGJyksJkYoRidGKkYpIiIjRicpLDYqJClGKCIiJEYnRikqJilGKEYtRidGKkYnRicqJkYoRicpRipGLUYnRicqJClGKkYyRidGKSomRiVGJ0Y0RidGKSoqRi1GJ0YlRidGKEYnRipGJ0YpKiZGJUYnRjZGJ0YpKiYpRiVGLUYnRihGJ0YnKiZGPUYnRipGJ0YnKiQpRiVGMkYnRidGLUYnRik= IiU9TA== tmpdan:= (b + c - a)*(b - c)^2*(a^3 + a^2*(b + c) - a*(b + c)^2 - (b + c)*(b - c)^2)^2; KigsKEkiYUc2IiEiIkkiYkdGJSIiIkkiY0dGJUYoRigpLCZGJ0YoRilGJiIiI0YoKSwqKiQpRiQiIiRGKEYoKiYsJkYnRihGKUYoRigpRiRGLEYoRigqJilGM0YsRihGJEYoRiYqJkYzRihGKkYoRiZGLEYo factor(tmpdan/tmqx); IiIi ency(IT(pX(909))),ency(IT2(pX(909))); NiRJIj9HNiIiJUVM
<Text-field style="Heading 2" layout="Heading 2">3237, 3238 = bad search value</Text-field> www; Vector(zalo); LUkjbW5HNiMvSSttb2R1bGVuYW1lRzYiSSxUeXBlc2V0dGluZ0dJKF9zeXNsaWJHRic2JFElMzIzOEYnLyUsbWF0aHZhcmlhbnRHUSdub3JtYWxGJw== LSZJJ1ZlY3Rvckc2JCUqcHJvdGVjdGVkR0koX3N5c2xpYkc2IjYjSSdjb2x1bW5HRig2Iy9JJCVpZEdGKCIoczEpKik= cutt(); xcollect(-%, sqrt(a^2*b^2+a^2*c^2+b^2*c^2), factor); encyclo(%); UVZbWzEsMjU2XSxbMywxNjcyXSxbNiwxNjczXSxbNTUsMTY3MF0sWzU2LDE2NzFdLFszNzFdXTYi Nyc3JCIiIiIkYyM3JCIjYiIlcTs3JCIjYyIlcjs3JCIiJCIlczs3JCIiJyIldDs= KigsNiomKUkiYUc2IiIiIyIiIilJImJHRidGKEYpISIiKiZGJUYpKUkiY0dGJ0YoRilGLCokKUYrIiIlRilGLCooRihGKSlGKyIiJEYpRi9GKUYpKihGMkYpRipGKUYuRilGLCooRihGKUYqRikpLChGJEYpRi1GKSomRipGKUYuRilGKSNGKUYoRilGKSooRihGKUYrRikpRi9GNUYpRikqKkYoRilGK0YpRjhGKUYvRilGLCokKUYvRjJGKUYsKihGKEYpRi5GKUY4RilGKUYpLChGJkYpRitGLEYvRixGKUYlRik= LCYqLCIiIyIiIiwoKiQpSSJiRzYiRiRGJUYlKiZGKUYlSSJjR0YqRiUhIiIqJClGLEYkRiVGJUYlLChJImFHRipGJUYpRi1GLEYtRiUpRjFGJEYlKSwoKiZGMkYlRihGJUYlKiZGMkYlRi9GJUYlKiZGKEYlRi9GJUYlI0YlRiRGJUYtKigsMEY1RiVGNkYlKiQpRikiIiVGJUYlKihGJEYlKUYpIiIkRiVGLEYlRi0qKEY9RiVGKEYlRi9GJUYlKihGJEYlRilGJSlGLEZARiVGLSokKUYsRj1GJUYlRiVGMEYlRjJGJUYl LCYqLCIiIyIiIiwoKiQpSSJiRzYiRiRGJUYlKiZGKUYlSSJjR0YqRiUhIiIqJClGLEYkRiVGJUYlLChJImFHRipGJUYpRi1GLEYtRiUpRjFGJEYlKSwoKiZGMkYlRihGJUYlKiZGMkYlRi9GJUYlKiZGKEYlRi9GJUYlI0YlRiRGJUYtKigsMEY1RiVGNkYlKiQpRikiIiVGJUYlKihGJEYlKUYpIiIkRiVGLEYlRi0qKEY9RiVGKEYlRi9GJUYlKihGJEYlRilGJSlGLEZARiVGLSokKUYsRj1GJUYlRiVGMEYlRjJGJUYl L1E2bGVuZ3Rofm9mfmNvZWZmaWNpZW50NiIiJDAj L1Eqbm90fmZvdW5kNiI3JSQiK0EpcCFlViEjNSQiNS9UbXghcFdMZ1AlISM/JCIrR3hEd1ZGKA== cutt23(); encyclo(%); UVZbWzEsMjU2XSxbMywxNjcyXSxbNiwxNjczXSxbNTUsMTY3MF0sWzU2LDE2NzFdLFszNzFdXTYi Nyc3JCIiIiIkYyM3JCIjYiIlcTs3JCIjYyIlcjs3JCIiJCIlczs3JCIiJyIldDs= KiYpSSJhRzYiIiIjIiIiLCwqJkYjRicpSSJiR0YlRiZGJ0YnKiZGI0YnKUkiY0dGJUYmRidGJyokKUYrIiIlRichIiIqKkYmRidGK0YnKSwoRilGJ0YsRicqJkYqRidGLUYnRicjRidGJkYnRi5GJ0YnKiQpRi5GMUYnRjJGJw== KiYpSSJhRzYiIiIjIiIiLCwqJkYjRicpSSJiR0YlRiZGJ0YnKiZGI0YnKUkiY0dGJUYmRidGJyokKUYrIiIlRichIiIqKkYmRidGK0YnKSwoRilGJ0YsRicqJkYqRidGLUYnRicjRidGJkYnRi5GJ0YnKiQpRi5GMUYnRjJGJw== L1E2bGVuZ3Rofm9mfmNvZWZmaWNpZW50NiIiJDAi L1Eqbm90fmZvdW5kNiI3JSQiK0EpcCFlViEjNSQiNWFSbXghcFdMZ1AlISM/JCIrR3hEd1ZGKA== tmp:= factor(cutt()/cutt23()):; rationalize(tmp): factor(expand(numer(%)))/factor(denom(%)); UVZbWzEsMjU2XSxbMywxNjcyXSxbNiwxNjczXSxbNTUsMTY3MF0sWzU2LDE2NzFdLFszNzFdXTYi Nyc3JCIiIiIkYyM3JCIjYiIlcTs3JCIjYyIlcjs3JCIiJCIlczs3JCIiJyIldDs= UVZbWzEsMjU2XSxbMywxNjcyXSxbNiwxNjczXSxbNTUsMTY3MF0sWzU2LDE2NzFdLFszNzFdXTYi Nyc3JCIiIiIkYyM3JCIjYiIlcTs3JCIjYyIlcjs3JCIiJCIlczs3JCIiJyIldDs= KiYsKiokKUkiYUc2IiIiIyIiIiEiIiokKUkiYkdGJ0YoRilGKiokKUkiY0dGJ0YoRilGKiomRihGKSksKComRiVGKUYsRilGKSomRiVGKUYvRilGKSomRixGKUYvRilGKSNGKUYoRilGKUYpLChGJkYpRi1GKUYwRilGKg== www; enc_dat[www]; tmqx; encyclo(%); IiVRSw== JCIrYlxYI2UoISM1 KiYpSSJhRzYiIiIjIiIiLCwqJkYjRicpSSJiR0YlRiZGJ0YnKiZGI0YnKUkiY0dGJUYmRidGJyokKUYrIiIlRichIiIqKkYmRidGK0YnKSwoRilGJ0YsRicqJkYqRidGLUYnRicjRidGJkYnRi5GJ0YnKiQpRi5GMUYnRjJGJw== KiYpSSJhRzYiIiIjIiIiLCwqJkYjRicpSSJiR0YlRiZGJ0YnKiZGI0YnKUkiY0dGJUYmRidGJyokKUYrIiIlRichIiIqKkYmRidGK0YnKSwoRilGJ0YsRicqJkYqRidGLUYnRicjRidGJkYnRi5GJ0YnKiQpRi5GMUYnRjJGJw== L1E2bGVuZ3Rofm9mfmNvZWZmaWNpZW50NiIiJDAi L1Eqbm90fmZvdW5kNiI3JSQiK0EpcCFlViEjNSQiNWFSbXghcFdMZ1AlISM/JCIrR3hEd1ZGKA== tmqx := (1-cos(A+omega))*sin(A); KiYsJiIiIkYkLUkkY29zRzYkJSpwcm90ZWN0ZWRHSShfc3lzbGliRzYiNiMsJkkiQUdGKkYkSSZvbWVnYUdGKkYkISIiRiQtSSRzaW5HRic2I0YtRiQ= (elimifac@factor@subs)(kitcircle, kashi, expand(tmqx)); encyclo(%); KiYpSSJhRzYiIiIjIiIiLC4qLCIiJUYnKUkiUkdGJUYmRidJImJHRiVGJ0kiY0dGJUYnKSwoKiZGI0YnKUYtRiZGJ0YnKiZGI0YnKUYuRiZGJ0YnKiZGMkYnRjRGJ0YnI0YnRiZGJ0YnKiZGK0YnKUYtRipGJyEiIioqRiZGJ0YrRidGMkYnRjRGJ0Y5KiZGK0YnKUYuRipGJ0Y5KiYpRiRGKkYnRitGJ0YnKihGI0YnRjJGJ0Y0RidGJ0Yn KiYpSSJhRzYiIiIjIiIiLC4qLCIiJUYnKUkiUkdGJUYmRidJImJHRiVGJ0kiY0dGJUYnKSwoKiZGI0YnKUYtRiZGJ0YnKiZGI0YnKUYuRiZGJ0YnKiZGMkYnRjRGJ0YnI0YnRiZGJ0YnKiZGK0YnKUYtRipGJyEiIioqRiZGJ0YrRidGMkYnRjRGJ0Y5KiZGK0YnKUYuRipGJ0Y5KiYpRiRGKkYnRitGJ0YnKihGI0YnRjJGJ0Y0RidGJ0Yn L1E2bGVuZ3Rofm9mfmNvZWZmaWNpZW50NiIiJFAi L1Eqbm90fmZvdW5kNiI3JSQiK0EpcCFlViEjNSQiNW1SbXghcFdMZ1AlISM/JCIrR3hEd1ZGKA== enc_dat[1]; pX(1)+[0,0,1/100000]; encyclo(%); JCIrNCYzLnAiISIq NyVJImFHNiJJImJHRiQsJiMiIiIiJysrNUYoSSJjR0YkRig= NyVJImFHNiJJImJHRiQsJiMiIiIiJysrNUYoSSJjR0YkRig= L1E2bGVuZ3Rofm9mfmNvZWZmaWNpZW50NiIiI0U= L1Eqbm90fmZvdW5kNiI3JSQiKyMqb04obyIhIiokIjUsM05jeDB6SSFwIiEjPiQiKzQmMy5wIkYo
<Text-field style="Heading 2" layout="Heading 2">3129</Text-field> tmqy:=tmqx; LCwqLCIiIyIiIikiIiQjRiVGJEYlKUkiYUc2IkYnRiVJImJHRitGJUkiY0dGK0YlISIiKipGJkYlRipGJSlGLEYnRiVGLUYlRiUqKkYmRiVGKkYlRixGJSlGLUYnRiVGJSoqRidGJSlGLEYkRiUpRi1GJEYlSSJSR0YrRiVGJSooRidGJSlGKiIiJUYlRjZGJUYu xcollect(tmqy/rotp(1)/sqrt(3),[R,sqrt(3)],factor): tmqx:= collect(-subs(apbpc,%),R, factor); LCYqKiwmKiQpSSJhRzYiIiIjIiIiRioqJkkiYkdGKEYqSSJjR0YoRiohIiJGKiwmRiVGKkYrRipGKikiIiQjRipGKUYqSSJSR0YoRipGKioqLCgqJkYpRipGJkYqRioqJClGLEYpRipGLiokKUYtRilGKkYuRipGJ0YqRixGKkYtRipGKg== tmqx:= collect(subs(valR22,tmqy)/sqrt(3), R, factor); LCYqKkkiYUc2IiIiIiw0KiQpRiQiIiRGJkYmKiYpRiQiIiNGJkkiYkdGJUYmRiYqJkYsRiZJImNHRiVGJkYmKiZGJEYmKUYuRi1GJiEiIiomRiRGJilGMEYtRiZGMyokKUYuRipGJkYzKiZGMkYmRjBGJkYmKiZGLkYmRjVGJkYmKiQpRjBGKkYmRjNGJilGKiNGJkYtRiZJIlJHRiVGJkYzKipGLEYmRi5GJkYwRiYsKEYkRiZGLkYzRjBGM0YmRiY= (factor@cevadiv)(pX(12),pX(10))[1]; tmqx:= elimifac(%); ency(%); LCQqMCwmSSJjRzYiIiIiSSJhR0YmRidGJywmSSJiR0YmRidGKEYnRicpLCZGKkYnRiVGJyIiI0YnLC4qKEYoRidGKkYnRiVGJ0YnKiQpRigiIiRGJ0YnKiQpRipGMkYnISIiKihGLUYnKUYoRi1GJ0YqRidGJyooRi1GJ0Y3RidGJUYnRicqJClGJUYyRidGNUYnLChGKkY1RihGJ0YlRidGNSwoRipGJ0YoRidGJUY1RjUsKEYoRidGKkY1RiVGNUY1RjU= KiYsJkkiYkc2IiIiIkkiY0dGJUYmRiYsLiooSSJhR0YlRiZGJEYmRidGJkYmKiQpRioiIiRGJkYmKiQpRiRGLUYmISIiKigiIiNGJilGKkYyRiZGJEYmRiYqKEYyRiZGM0YmRidGJkYmKiQpRidGLUYmRjBGJg== IiV5Sg==
<Text-field style="Heading 2" layout="Heading 2">2981</Text-field> tmqx:= CD(pX(14))[1]; tmqx:= (elimifac@factor)(%); tmqx:=1/xcollect(expand(1/sqrt(3)/%),[R,sqrt(3)], factor); ency(%); LCQqJCwoKigpSSJhRzYiIiIjIiIiLCYqKEYnRipJImNHRihGKkkiYkdGKEYqRioqKCkiIiQjRipGKUYqLCgqJEYmRipGKiokKUYuRilGKiEiIiokKUYtRilGKkYqRipJIlJHRihGKkY3RjcsJkYsRioqKEYwRiosKEY0RipGNUYqRjhGN0YqRjpGKkY3RjdGKiooRjZGKkY7RjcsJkYsRioqKEYwRiosKEY1RipGOEYqRjRGN0YqRjpGKkY3RjdGNyooRjlGKkYrRjdGP0Y3RjdGN0Y3 USVmaW5pNiI= KiQsMCoqKSIiJCMiIiIiIiNGKClJImFHNiJGJkYoSSJiR0YsRihJImNHRixGKEYoKihGJkYoKUYrIiIlRihJIlJHRixGKEYoKipGJUYoRitGKClGLUYmRihGLkYoISIiKihGJkYoKUYtRjFGKEYyRihGNSoqIiInRigpRi1GKUYoKUYuRilGKEYyRihGKCoqRiVGKEYrRihGLUYoKUYuRiZGKEY1KihGJkYoKUYuRjFGKEYyRihGNUY1 KiQsJioqKSIiJCMiIiIiIiNGKCwoKiQpSSJhRzYiRilGKEYoKiQpSSJiR0YuRilGKCEiIiokKUkiY0dGLkYpRihGKEYoLChGK0YoRi9GKEYzRjJGKEkiUkdGLkYoRigqKiwoRitGKEYvRjJGM0YyRihGLUYoRjFGKEY1RihGKEYy IiUkKkg=
<Text-field style="Heading 2" layout="Heading 2">3079</Text-field> DP(pX(30))[1]; tmqx:= elimifac(factor(%)); ency(%); KiYpLCgqJiIiIyIiIilJImFHNiIiIiVGJ0YnKiQpLCYqJClJImJHRipGJkYnRicqJClJImNHRipGJkYnISIiRiZGJ0Y1KiYpRilGJkYnLCZGL0YnRjJGJ0YnRjVGJkYnLC4qJkYmRicpRjFGK0YnRicqJCksJkYyRicqJEY3RidGNUYmRidGNSomRjBGJywmRjJGJ0Y/RidGJ0Y1KiZGJkYnKUY0RitGJ0YnKiQpLCZGP0YnRi9GNUYmRidGNSomRjNGJywmRj9GJ0YvRidGJ0Y1Ric= USVmaW5pNiI= KiQpLC4qJiIiIyIiIilJImFHNiIiIiVGJ0YnKiQpSSJiR0YqRitGJyEiIiooRiZGJylGLkYmRicpSSJjR0YqRiZGJ0YnKiQpRjNGK0YnRi8qJilGKUYmRidGMUYnRi8qJkY3RidGMkYnRi8iIiRGJw== IiUiMyQ=
<Text-field style="Heading 2" layout="Heading 2">2902</Text-field> pX(62); isol:= isolate(valR, sqrt(a+b+c)); subs(map(1/id, %), pX(61)); tmqx:= %[1]; NyUsJioqKSIiJCMiIiIiIiNGKClJImFHNiJGJkYoSSJiR0YsRihJImNHRixGKEYoKigsKCokKUYrRilGKCEiIiokKUYtRilGKEYoKiQpRi5GKUYoRihGKEkiUkdGLEYoRjJGKEYzLCYqKkYlRigpRi1GJkYoRi5GKEYrRihGKCooLChGNkYoRjFGKEY0RjNGKEY4RihGNUYoRjMsJioqRiVGKClGLkYmRihGK0YoRi1GKEYoKigsKEYxRihGNEYoRjZGM0YoRjhGKEY3RihGMw== LyokKSwoSSJhRzYiIiIiSSJiR0YnRihJImNHRidGKCNGKCIiI0YoKjBJIlJHRichIiIpLChGKUYoRiZGKEYqRi9GK0YvKSwoRiZGKEYpRi9GKkYoRitGL0YmRihGKUYoRipGKCksKEYmRi9GKUYoRipGKEYrRi8= NyUsJiomKSIiJCMiIiIiIiNGKClJImFHNiJGKUYoRigqLCwoKiRGKkYoISIiKiQpSSJiR0YsRilGKEYoKiQpSSJjR0YsRilGKEYoRihGK0YoRjNGMEY2RjBJIlJHRixGKEYoLCYqLCwoRjRGKEYvRihGMUYwRihGN0YoRitGMEYzRihGNkYwRigqJkYlRihGMkYoRigsJiosLChGL0YoRjFGKEY0RjBGKEY3RihGK0YwRjNGMEY2RihGKComRiVGKEY1RihGKA== LCYqJikiIiQjIiIiIiIjRicpSSJhRzYiRihGJ0YnKiwsKCokRilGJyEiIiokKUkiYkdGK0YoRidGJyokKUkiY0dGK0YoRidGJ0YnRipGJ0YyRi9GNUYvSSJSR0YrRidGJw== www; (elimifac@factor)(excentral_isogon(pX(62))[1]): tmp:= subs(isol, collect(expand(%), R, factor)); IiVgSA== LCgqLkkiYUc2IiIiIiw2KiQpRiQiIiRGJkYmKiYpRiQiIiNGJkkiYkdGJUYmRiYqJkYkRiYpRi5GLUYmISIiKiQpRi5GKkYmRjEqJkYsRiZJImNHRiVGJkYmKihGJEYmRjVGJkYuRiZGMSomRjBGJkY1RiZGMSomRiRGJilGNUYtRiZGMSomRi5GJkY5RiZGMSokKUY1RipGJkYxRiYpLChGLkYxRjVGMUYkRiZGLUYmKSwoRiRGJkYuRjFGNUYmRi1GJiksKEYuRiZGJEYmRjVGMUYtRiYpSSJSR0YlRi1GJkYmKjZGLUYmKUYqI0YmRi1GJkZCRiZGPkYmRkBGJiw6KiQpRi4iIiVGJkYxKiZGJEYmRjNGJkYxKiZGM0YmRjVGJkYxKihGJEYmRjBGJkY1RiZGMSooRiRGJkYuRiZGOUYmRjEqJkYuRiZGPEYmRjEqJkYpRiZGLkYmRiYqKEYsRiZGLkYmRjVGJkYmKiZGPEYmRiRGJkYxKiQpRjVGS0YmRjEqJkYpRiZGNUYmRiYqJClGJEZLRiZGJkYmRi5GJkY1RiZGLEYmRkRGJkYmKixGKkYmRjBGJkYpRiZGOUYmLEIqJkZYRiZGNUYmRiYqKkYqRiZGJEYmRi5GJkY8RiZGMSomRi5GJkZYRiZGJioqRi1GJkY5RiZGLkYmRixGJkYxKipGLUYmRjVGJkYwRiZGLEYmRjEqKiIiJkYmRilGJkYuRiZGNUYmRiYqJClGNUZbb0YmRjEqKEYtRiZGMEYmRjxGJkYmKiZGLkYmRlVGJkYxKipGKkYmRiRGJkYzRiZGNUYmRjEqJkZKRiZGJEYmRjEqJClGLkZbb0YmRjEqJkZKRiZGNUYmRjEqJkZVRiZGJEYmRjEqJClGJEZbb0YmRiYqKEYtRiZGM0YmRjlGJkYmRiZGJg== collect(subs(valR22, tmp), R, factor):; elimifac(factor(%)): tmqx1:= xcollect(%, [R, sqrt], factor); #tmqx:= xcollect(%/a/b/c, [R, sqrt(3)], (U-> map(abctax,U))@factor); (elimifac@factor@subs)(apbpc, tmqx1): tmqx:= xcollect(%, [R,sqrt(3)],(U-> map(abctax,U))@factor); LCYqMiIiJCIiIkkiYUc2IkYlLChGJkYlSSJiR0YnRiVJImNHRidGJUYlLChGKSEiIkYqRixGJkYlRiUsKEYpRiVGJkYlRipGLEYlLChGJkYlRilGLEYqRiVGJSw6KiQpRikiIiVGJUYsKiZGJkYlKUYpRiRGJUYsKiZGNEYlRipGJUYsKihGJkYlKUYpIiIjRiVGKkYlRiwqKEYmRiVGKUYlKUYqRjhGJUYsKiZGKUYlKUYqRiRGJUYsKiYpRiZGJEYlRilGJUYlKigpRiZGOEYlRilGJUYqRiVGJSomRjxGJUYmRiVGLCokKUYqRjJGJUYsKiZGPkYlRipGJUYlKiQpRiZGMkYlRiVGJUkiUkdGJ0YlRiUqLClGJCNGJUY4RiUsViooRiRGJSlGJiIiJkYlRipGJUYlKihGJEYlKUYqRk5GJUYmRiVGLCooRiRGJSlGKUZORiVGKkYlRiwqKCIiJ0YlRjRGJUY8RiVGJSooRiRGJUYpRiVGUEYlRiwqJClGJkZURiVGJSooRiRGJUZNRiVGKUYlRiUqKkZURiVGQEYlRjdGJUY6RiVGLCokKUYpRlRGJUYsKihGJEYlRkBGJUZDRiVGLCooRiRGJUZGRiVGOkYlRiUqJkY3RiVGQ0YlRiUqKEYkRiVGRkYlRjdGJUYlKihGJEYlRkBGJUYxRiVGLComRjFGJUY6RiVGJSokKUYqRlRGJUYsKioiIzZGJUYqRiVGRkYlRilGJUYlKipGMkYlRipGJUY+RiVGN0YlRiUqKiIiKUYlRipGJUZARiVGNEYlRiwqKkYyRiVGPkYlRilGJUY6RiVGJSoqIiIoRiVGKkYlRiZGJUYxRiVGLCoqRmJvRiVGQEYlRilGJUY8RiVGLCoqRjhGJUY3RiVGPEYlRiZGJUYsKipGOEYlRiZGJUY0RiVGOkYlRiwqKkZlb0YlRiZGJUYpRiVGQ0YlRiwqKEYkRiVGJkYlRlJGJUYsRiVGKUYlRipGJUZARiVGJQ== LCYqKCwwKiQpSSJhRzYiIiInIiIiRioqJiwmKiYiIiRGKkkiYkdGKEYqRioqJkYuRipJImNHRihGKkYqRiopRiciIiZGKkYqKiwiIiVGKiwmRi9GKkYxRipGKilGJ0YuRipGL0YqRjFGKkYqKiYsKComRi5GKilGLyIiI0YqRioqKCIjNkYqRi9GKkYxRipGKiomRi5GKilGMUY8RipGKkYqKUYnRjVGKkYqKigsJiokRjtGKkYqKiRGQEYqRipGKiwoRjpGKiooIiIpRipGL0YqRjFGKkYqRj9GKkYqKUYnRjxGKiEiIiooRjZGKiwsKiZGLkYqKUYvRjVGKkYqKihGNUYqKUYvRi5GKkYxRipGKiooRjxGKkY7RipGQEYqRkoqKEY1RipGL0YqKUYxRi5GKkYqKiZGLkYqKUYxRjVGKkYqRipGJ0YqRkoqJiwoRkRGKiooRi5GKkYvRipGMUYqRipGRUYqRiopLCZGREYqRkVGSkY8RipGSkYqRidGKkkiUkdGKEYqRkoqLCwyKiRGQUYqRioqKEZJRipGL0YqRjFGKkYqKiRGTkYqRkoqJkZQRipGMUYqRkoqJkYvRipGU0YqRkoqJEZVRipGSiomRjZGKkY3RipGKiooRjZGKkZDRipGJ0YqRkpGKilGLiNGKkY8RipGSUYqRi9GKkYxRipGKg==
<Text-field style="Heading 2" layout="Heading 2">2672</Text-field> Vector(zalo); valto:= \317\204=tau, tau=(1+sqrt(5))/2; zalo[1]; substax(%); SubstituteAll(%, "\317\204", "tau"); parse(%); tmpq:= a*subs(valto, kashi, defR2, %); (factor)(tmpq); tmqx:= xcollect(elimifac(%), [R, sqrt(5)], factor); fintax(%); parse(%);
<Text-field style="Heading 2" layout="Heading 2">2598</Text-field> Vector(zalo); zalo[3][4..-1]; : tmp3:= substax(%); zalo[2]; : tmp2:= substax(%); zalo[1];"k(a,b,c)*c*a/(c+a)+h(a,b,c)*b*a/(b+a)" : tmp1:= substax(%); (subs)(parse(tmp2), parse(tmp3), parse(tmp1))*a; tmpq:= xcollect(expand(%), [rot3](sec(A)), distributed); sec(A)+sec(B); %= (factor@subs)(kashi, convert(%, sincos)); subs(rot3(%), eval({rot3}(-%)), tmpq); tmqx:= map(U->factor(U*R^0*rotp((a+b)*(a+b-c)/(a^2+b^2-c^2))*4), %);ency(%); tmqx:= (elimifac@factor)(tmpq); ency(%); (factor@subs)(kashi, expand(convert(tmpq, sincos))); tmqx:= elimifac(%); sec(A-B): %=subs(kashi, map(1/id, defR2), expand(%)); rot3(factor(%)): subs(%, tmpq): tmqx:= map(U->U/4/rotp(a^3), %); ency(%); tmpq:= (elimifac@factor@subs)(kashi, expand(%)); collect(tmpq, R, factor); (elimifac@factor@subs)(defR2, map(id^2, defR2), map(id^3, defR2), tmpq); tmqx:=%:
<Text-field style="Heading 2" layout="Heading 2">2574</Text-field> www;tmqx:= isoconj(pX(6), pX(1823) )[1];ency(%); pX(1823)[1]; tmqx:= 1/xcollect(%/a, WW3, abctax); ency(%); evalmm(pX(1382)*rotp(sqrt(a)))[1]; a^3/xcollect(%, WW4, factor); convert(%, string); www; # tmqy:= tmqx; length(convert,%, string); tmqx:= a^2/cos(A)/pX(1113)[1]; ency(%), length(convert(%, string)); tmqx:= a/cos(A)/pX(1113)[1]; ency(%), length(convert(%, string)); tmqx:= 1/a^2/cos(A)/pX(1113)[1]; ency(%), length(convert(%, string)); pX(4); subs(kashi, 2*tmqx); rationalize(%); elimifac(%); tmqx:= xcollect(%, WW3, factor);ency(%), length(convert(%, string)); tmqx:= 1/a*pX(1114)[1]; ency(%); [rot3](%%): tmqx:= isotom(%)[1]; ency(%); # zipd([rot3](tmqy),[rot3](tmqx)): subs(ency_,%);evalmm(expand(%)/%[1]); factor(%); cutt();
<Text-field style="Heading 2" layout="Heading 2">2534</Text-field> kitcircle; WW1; WW2; WW3:= sqrt(a^6-a^4*b^2-a^4*c^2-a^2*b^4+3*a^2*b^2*c^2-a^2*c^4+b^6-b^4*c^2-b^2*c^4+c^6); www; SubstituteAll(zalo[1],",JasatX(1113).",""); "(1-J/e)*cos(A)+4*cos(B)*cos(C)"; substax(%); ; tmp1:= parse(%); #tmp2:= x=x: #substax(zalo[2]); "d=(3-2*cos(A)-2*cos(B)-2*cos(C))^(1/2)": tmp2:= parse(%); tmp3:= subs(tmp2, valJ, kitcircle, kashi, expand(tmp1)*a); ency(%); tmqx:= xcollect(2*tmp3*WW2, WW2, factor); tmqx:= simplify(%) assuming a>0,b>0,c>0: tmqx:= xcollect(%*rotp(sqrt(1)*a^2), WW2, factor); ency(%); (factor@subs)(defR2, map(1/id, defR2), tmp3): simplify(%) assuming a+b+c>0; tmqx:= xcollect(elimifac(%), [WW2,R], factor); ency(%); tmp1:= subs(kitcircle, s=(a+b+c)/2, kashi, expand(%) ); ency(%); WW1:= sqrt(a^2*b^2+a^2*c^2+b^2*c^2); WW2:= sqrt(a^4-a^2*b^2-a^2*c^2+b^4-b^2*c^2+c^4); subs(map(1/id, defR2), map(1/id^2, defR2), defR2, tmp1): tmqx:= xcollect(%*WW1*2*a*b*c, [WW2], normal); fintax(tmqx); parse(%); ency(%); (tmp1): collect(subs(valom, kashi, expand(%)), R); subs(map(1/id, defR2), defR2, %): factor(%): elimifac(%); subs(defR2,%); tmqx:= xcollect(%, sqrt(b^4-b^2*c^2+c^4-a^2*b^2-a^2*c^2+a^4), factor); ency(%); fintax(tmqx); parse(%); defR2; isolate(defR, S); valom; # latexx(%); (subs)(valom, cos(omega)^2+sin(omega)^2): collect(%,R); (factor@simplify)(%, {defR2}); r=S/((a+b+c)/2); (factor@subs)(isolate(defR, S), %); valr;
<Text-field style="Heading 2" layout="Heading 2">2511</Text-field> tmqy:= tmqx; ency(%); insidetax(tmqy); factor(parse(%)/tmqy); SubstituteAll(convert(tmqy, string), "(b-c)*(b+c)","(b^2-c^2)"); convert(tmqy, string); RegSubs("\134\134(b-c)[*]\134\134(b\134\134+c)([^^])"="(b^2-c^2)\134\1341", %); "(b-c)*(b+c)*(a^4-a^2*b^2+2*a^2*b*c-a^2*c^2-b^2*c^2)*a"; RegSubs("\134\134(b-c)[*]\134\134(b\134\134+c)([^^])"="(b^2-c^2)\134\1341", %);
<Text-field style="Heading 2" layout="Heading 2">2493</Text-field> Vector(zalo); substax(zalo[2]); tmp1:= parse(%); substax(zalo[1]); "a*(a^(6)*(b^(2)+c^(2))-a^(4)*(b^(2)+c^(2))^(2)+(b^(4)-b^(2)*c^(2)+c^(4))*((b^(2)-c^(2))^(2))-T)"; zalocom:= subs(tmp1, parse(%)); ency(a*zalocom); cutt(); fintax(%); tmp:= parse(%); zalocom*a; factor(%/tmqx);
<Text-field style="Heading 2" layout="Heading 2">2454</Text-field> zalo; tmp1:= parse(substax(zalo[3])); substax(zalo[2]); "K=(1/2)*(a^(8)+b^(8)+c^(8)-S26+a^(2)*b^(2)*c^(2)*(a^(2)+b^(2)+c^(2)))^(1/2)"; tmp2:= parse(%); tmp2; solve( defR, {S});; valK:= subs(S=areaofABC, op(%)),subs(S=areaABC, op(%)), subs(tmp1, tmp2); substax(zalo[1]); "b*c*(3*a^(2)*b*c*cos(B)*cos(C)-4*(S)^(2)-2*K)"; subs(solve( defR, {S}), K=-K, tmp2, tmp1, kashi, a*parse(%)); ency(%); tmqx:= ((3*(c^2+a^2-b^2))*(a^2+b^2-c^2)-(1)*a^2*b^2*c^2/R^2+4*sqrt(a^8+b^8+c^8-a^2*(b^6+c^6)-b^2*(c^6+a^6)-c^2*(a^6+b^6)+a^2*b^2*c^2*(a^2+b^2+c^2))); ency(%); fintax(tmqx); parse(%);
<Text-field style="Heading 2" layout="Heading 2">2404</Text-field> (reduce@factor@gss)(pX(106)); lesgs:= table(): for j to 2400 do if j=3 or fdat[j]="ohlala" then next; fi; ency(gss(pX(j))): if % <> `?` then lesgs[j]:= %; fi; od: j:='j': revgs:= table(); for j in map(op, [indices](lesgs) ) do revgs[lesgs[j]]:=j od: j:='j': revgs[www]; (factor@gss)(pX(%))[1]; tmqx:= elimifac(%); ency(%);
<Text-field style="Heading 2" layout="Heading 2">2365</Text-field> www; tmqx:= cutt(); (factor@cet2@pX)(57): elimifac(%[1]);
<Text-field style="Heading 2" layout="Heading 2">2306</Text-field> www; #X(1081)-Ceva conjugate of X(1251) # cevadiv(pX(1081),pX(1251)): ency(%); tmp1:= cutt(); algsubs(defR2, tmp1): tmqx:= collect(%/rotp(a^2)/4/sqrt(3), R, factor); ency(%); tmqx:= tmp1;
<Text-field style="Heading 2" layout="Heading 2">2333</Text-field> fdat[www]; parse(substax(%)); ency(%); cutt();ency(%);
<Text-field style="Heading 2" layout="Heading 2">2153</Text-field> convert(todo, set) minus map(op, {indices}(saver)): www:= min(%); #parse(saver[280]): qqq:= [rot3](%): isoconj(pX(2),pX(1250)): tmp1:= %[1]; tmqx:= numer(tmp1)/collect(denom(tmp1)/sqrt(3), R, factor); #tmqx:= numer(%)/a^2/collect(denom(%)/a^2, R, factor); tmqx:= elimifac(tmqx); ency(%); pX(2145)[1]; factor(%/tmqx);
<Text-field style="Heading 2" layout="Heading 2">2146</Text-field> saver[www-1]; [rot3](parse(%)): tmp1:= isoconj(pX(2), %); indets(%); subs(a=A^2,b=B^2,c=C^2, tmp1[1]): simplify(%, symbolic); factor(%); elimifac(%); subs(seq(C^(2*k)=c^k, k=[5,4,3,2,1]), seq(B^(2*k)=b^k, k=[5,4,3,2,1]), seq(A^(2*k)=a^k, k=[5,4,3,2,1]), seq(C^(2*k+1)=sqrt(CC)*c^k, k=[5,4,3,2,1,0]), seq(A^(2*k+1)=sqrt(AA)*a^k, k=[5,4,3,2,1,0]), seq(B^(2*k+1)=sqrt(BB)*b^k, k=[5,4,3,2,1,0]), %); xcollect(%, [sqrt(BB), sqrt(CC)], factor); tmqx:= subs(AA=a, BB=b,CC=c,%); ency(%); subs(A=sqrt(a),B=sqrt(b),C=sqrt(c), %): simplify(%, symbolic); xcollect(%, [b^(3/2),c^(3/2), a]); X(2146) = X(238)-CEVA CONJUGATE OF X(365) tmp1:= cevadiv(pX(238),pX(365)); ency(%); tmp1[1]: expand(%/rotp(a)); subs(seq(a^((2*k+1)/2)=sqrt(A)*a^k, k=0..4), seq(b^((2*k+1)/2)=sqrt(B)*b^k, k=0..4), seq(c^((2*k+1)/2)=sqrt(C)*c^k, k=0..4), %): xcollect(%, [sqrt(A), sqrt(B), sqrt(C)], factor, distributed); -tmp1[1]/rotp((a^2-b*c)*a); xcollect(%,[a^(3/2), b^(3/2)], factor, distributed); tmqx:= xcollect(%,[a^(3/2), b^(1/2)], factor);
<Text-field style="Heading 2" layout="Heading 2">2120</Text-field> cutt(); saver[www-1]: (factor@isogon)([rot3](parse(%))): tmqx:=%[1];;tmqx:=elimifac(tmqx); www-1; tmp1:= eigentrans(pX(512)); tmqx:=(elimifac@factor)(tmp1[1]); tmpp:= convert(-a^2/tmp1[1],string); ency(parse(%)), length(%);; length(convert(tmp1[1],string)), ency(tmp1);;
<Text-field style="Heading 2" layout="Heading 2">2102</Text-field> tmp:= cutt(); UU:= (op@indets)(tmp,sqrt); tmqx:= xcollect(tmp, UU, abctax); tmqx:= tmp; ency(%);
<Text-field style="Heading 2" layout="Heading 2">2058</Text-field> valR22:= defR2, map(1/id, defR2), map(id^2, defR2); collect(orion(pX(69))[1], R, factor): elimifac(%): tmqx:= map(abctax,%); length(convert(%, string)), ency(%); : collect(subs(valR22, %)/R, R, factor): tmq1:= collect(subs(valR22, %)*R, R, factor); (elimifac@factor)(tmq1): tmq2:= xcollect(%, [R, sqrt(3)], abctax); coeff(tmq2,R,0): tmqx:= collect(%,a,factor)+select(has,tmq2,R); xcollect(tmqx, R, factor);length(convert(%, string)); tmqx:= tmq2;; length(convert(%, string)); ency(tmqx);
<Text-field style="Heading 2" layout="Heading 2">2038</Text-field> WW:= sqrt(-a^2*c^2+c^4-b^2*c^2-a^2*b^2+a^4+b^4); VV:= sqrt(a^2*b^2+a^2*c^2+b^2*c^2); www; zalocom*a; (factor@subs)(kitcircle, %): xcollect(subs(valom, kashi,expand(%)), [WW, VV, R], factor); subs(defR2, map(1/id, defR2), map(1/id^2, defR2), %); -elimifac(factor(%)); : subs(defR2, map(1/id, defR2), %): subs(defR2, map(1/id, defR2),collect(%*R,R)); elimifac(factor(%)); subs(defR2, map(1/id, defR2),collect(%*R, R, factor)); elimifac(factor(%)): tmqx:= collect(%,R, factor); ency(%); : xcollect(-%*2*rotp(a), [WW, VV, R], factor); tmqx:= xcollect(numer(%), [WW], factor); ency(%);
<Text-field style="Heading 2" layout="Heading 2">2037</Text-field> zalo[2];"rr=(r^2+s^2)/(4*r)"; val_rr:= parse(%); WW:= sqrt(-a^2*c^2+c^4-b^2*c^2-a^2*b^2+a^4+b^4); zalo[1]; "e*a*cot(A)-(2*rr-e*s*csc(omega))*cos(A+omega)"; parse(%); tmp1:= subs(val_rr, kitcircle, valom, kashi, convert(a*expand(%),sincos)); tmp2:= xcollect(tmp1*4*R*rotp(a^2)*sqrt(a^2*b^2+a^2*c^2+b^2*c^2),[WW, R], factor); subs(defR2, map(1/id, defR2), tmp2): tmqx:= xcollect(%*rotp((a+b-c)/a^2)*(a+b+c)/2, WW, factor); ency(tmqx);
<Text-field style="Heading 2" layout="Heading 2">2019</Text-field> zalocom*a; subs(kitcircle, %): tmp1:= collect(subs(valom, kashi, expand(%)),R, factor); collect(tmp1*R^2, R, factor): collect(subs(defR2,%)*R, R, factor): collect(subs(defR2,%), R, factor); tmp2:= elimifac(factor(%)); tmqx:= collect(tmp2, R, factor); ency(%);
<Text-field style="Heading 2" layout="Heading 2">2015</Text-field> cutt(); tmqx: tmqx:= xcollect(%*R*rotp(a^5)/(a^2+b^2+c^2), [sqrt(a^6-a^4*b^2-a^2*b^4+b^6-a^4*c^2+3*b^2*a^2*c^2-b^4*c^2-c^4*a^2-b^2*c^4+c^6), sqrt(a^2*b^2+a^2*c^2+b^2*c^2)], factor); tmqx:= xcollect(tmqx*rotp(a^2), [sqrt(a^6-a^4*b^2-a^2*b^4+b^6-a^4*c^2+3*b^2*a^2*c^2-b^4*c^2-c^4*a^2-b^2*c^4+c^6)], factor); ency(%); subs(apbpc, %)*(a^2+b^2+c^2)/rotp(a^2): tmqx:= xcollect(%, [sqrt(a^6-a^4*b^2-a^2*b^4+b^6-a^4*c^2+3*b^2*a^2*c^2-b^4*c^2-c^4*a^2-b^2*c^4+c^6)], factor); ency(%); tmqx; subs(isolate(valR,sqrt(b+a+c)), %)*R: collect(%, R, factor); subs(apbpc,%); tmqx:= collect(%/a/b/c, R, factor); ency(%);
<Text-field style="Heading 2" layout="Heading 2">1832</Text-field> (zosma@pX)(1497); %[1]; tmqx:= collect(%/a/b/c, R, factor); ency(%); elimifac(factor(tmqx)): tmqx:= map(collect,%, R, abctax);
<Text-field style="Heading 2" layout="Heading 2">1982</Text-field> # gera[www]:="1_648=2_3=255_1098"; cutt();
<Text-field style="Heading 2" layout="Heading 2">1822</Text-field> tmqx:= cutt(): WW:= (op@indets)(%, sqrt); tmqx:= xcollect(tmqx, WW, abctax); fintax(tmqx); parse(%); ency(tmqx);
<Text-field style="Heading 2" layout="Heading 2">1683</Text-field> wedge(wedge(pX(3),pX(6)), wedge(pX(10), pX(1676))): tmp1:= subs(valom, kashi, expand(%))[1]: # ency(%); WW:= op(indets(tmp1, sqrt)); xcollect(tmp1*R^3, [R,WW], factor):; xcollect(subs(defR2, %), WW, factor); elimifac(factor(%)): tmqx:= xcollect(%, 1/WW, factor); fintax(%); parse(%);
<Text-field style="Heading 2" layout="Heading 2">1662</Text-field> zalo[1]; kitcircle; substax(zalo[1]); parse(%)*a; tmp1:= subs(kitcircle, s=(a+b+c)/2, kashi, expand(%) ); ency(%); WW1:= sqrt(a^2*b^2+a^2*c^2+b^2*c^2); WW2:= sqrt(a^4-a^2*b^2-a^2*c^2+b^4-b^2*c^2+c^4); subs(map(1/id, defR2), map(1/id^2, defR2), defR2, tmp1): tmqx:= xcollect(%*WW1*2*a*b*c, [WW2], normal); fintax(tmqx); parse(%); ency(%); (tmp1): collect(subs(valom, kashi, expand(%)), R); subs(map(1/id, defR2), defR2, %): factor(%): elimifac(%); subs(defR2,%); tmqx:= xcollect(%, sqrt(b^4-b^2*c^2+c^4-a^2*b^2-a^2*c^2+a^4), factor); ency(%); fintax(tmqx); parse(%); defR2; isolate(defR, S); valom; # latexx(%); (subs)(valom, cos(omega)^2+sin(omega)^2): collect(%,R); (factor@simplify)(%, {defR2}); r=S/((a+b+c)/2); (factor@subs)(isolate(defR, S), %); valr;
<Text-field style="Heading 2" layout="Heading 2">1601, 05</Text-field> ruse:= 1/R=R/subs(defR2,R^2); www; steinbart(pX(254))[1]; elimifac(factor(%)); tmpp:= fintax(%); parse(%); ency(%); steinbart(pX(254))[1]; collect(%, R); xcollect(-subs(ruse, %), [R, sqrt(3)], (U->map(abctax, U))@factor); tmpp:= fintax(%); parse(%); ency(%); www; steinbart(pX(5))[1]; tmpp:= fintax(%); parse(%); ency(%);
<Text-field style="Heading 2" layout="Heading 2">1522</Text-field> orthojoin(pX(13)): tmqx:= (factor@subs)(defR2, %[1]); ency(%); elimifac(tmqx): map(xcollect,%,[R, sqrt(3)]); a*((-18*a^5*c^4-3*a*c^8+12*a^3*b^6-18*a^5*b^4-3*a*b^8+12*a^7*b^2+12*a^7*c^2+12*a^3*c^6-3*a^9+12*a*b^2*c^6-18*a*b^4*c^4+12*a*b^6*c^2-12*a^3*b^2*c^4-12*a^5*b^2*c^2-12*a^3*b^4*c^2)*R/sqrt(3)+(2*c^9*b+2*b^9*c+12*b^5*c^5-8*b^3*c^7-8*b^7*c^3-7*a^4*b^5*c-9*a^6*b^3*c+5*b^7*a^2*c-5*a^2*b^3*c^5-7*a^4*c^5*b+9*a^8*b*c+14*a^4*b^3*c^3+5*c^7*a^2*b-9*a^6*b*c^3-5*b^5*c^3*a^2))*(a^6*b^2+a^6*c^2-3*a^4*b^4+2*a^4*b^2*c^2-3*a^4*c^4+3*a^2*b^6-2*a^2*b^4*c^2-2*a^2*b^2*c^4+3*a^2*c^6-b^8-b^6*c^2+4*b^4*c^4-b^2*c^6-c^8): tmqx:= map(xcollect,%,[R, sqrt(3)], abctax); tmpp:= fintax(tmqx); parse(%); ency(%); www:=62; pX(62); isolate(valR,sqrt(a+b+c)); subs(map(1/id, %),%%); (elimifac@factor)(%[1]): collect(%, R, factor); tmpp:= fintax(%); parse(%); ency(%); www;orthojoin(pX(589)); tmqy:= (elimifac@factor@subs)(defR2, %[1]); ency(%); tmqy: length(convert(%, string)); tmqx:= map(collect,factor(tmqy),R, abctax);length(convert(%, string)); subs(defR2, collect(tmqy, R)): collect(factor(%), R);;length(convert(%, string)); elimifac(factor(subs(defR2, collect(expand(tmqy), R)))): collect(%, R, abctax); tmpp:= convert(%, string); parse(%); ency(%);length(convert(tmpp, string)); map(xcollect,tmqy,[R, sqrt(3)]): collect(select(has,%,R)/sqrt(1), R, normal)*remove(has,%,R); tmqx:= map(xcollect,%,[R, sqrt(3)], abctax); tmpp:= fintax(%); parse(%); ency(%); tmqy:=cutt(); map(xcollect,tmqy,[R, sqrt(3)]): collect(select(has,%,R)/sqrt(3), R, normal)*remove(has,%,R); tmqx:= map(xcollect,%,[R, sqrt(3)], abctax); tmpp:= fintax(%); parse(%); ency(%);
<Text-field style="Heading 2" layout="Heading 2">1113, 1314</Text-field> seq(``||u||2=u^2,u=[a,b,c]); valJ:= J= subs( J = 1/(a*b*c)*(S(6) - S(2,4) + 3*a^2*b^2*c^2)^(1/2), S(6) = a^6 + b^6 + c^6, S(2,4) = a^2*b4 + a2*c4 + b2*c4 + b2*a4 + c2*a4 + c2*b4, seq(``||u||4=u^4,u=[a,b,c]),seq(``||u||2=u^2,u=[a,b,c]), J); substax("(1 - J)* cos (A) - 2* cos (B) *cos (C)"); parse(%); subs(valJ,%)*sin(A); subs(kashi, %); WW:= op(indets(%, sqrt)); xcollect(%%,WW, factor); elimifac(factor(%)); xcollect(-%,WW, factor@expand); ency(%); fac:=a^2*b^2*c^2/R^2/4*(a+b+c); sqrtfac:= a*b*c/R/2*sqrt(a+b+c); uuu:= (subs)(f(a,b,c) = (d^2 + (4*r - R)*R + sqrt(Q))*SB*SC + (d^2 + 2*r^2 - R^2)*a^2*SA, Q = 4*d^2*R*(4*r - R) + (d^2 - 3*R^2 + 4*r*(r + R))^2, d = J*R, valJ, valr, SA = (b^2 + c^2 - a^2)/2, SB = (-b^2 + c^2 + a^2)/2, SC = (b^2 - c^2 + a^2)/2, Q*fac); collect(uuu,R, factor): valQ:= QQ= (factor@subs)(valR, %); normal(%-rot(%)); vvv:= (subs)(f(a,b,c) = (d^2 + (4*r - R)*R + sqrt(Q))*SB*SC + (d^2 + 2*r^2 - R^2)*a^2*SA, sqrt(Q)=sqrt(QQ)/sqrtfac, d = J*R, valJ, valr, SA = (b^2 + c^2 - a^2)/2, SB = (-b^2 + c^2 + a^2)/2, SC = (b^2 - c^2 + a^2)/2, f(a,b,c)); map(id^2, valR); collect(vvv, R, factor); vvv1:= collect(subs(map(id^2, valR),map(1/id^2, valR), %), sqrt(QQ),normal); vvv2:= collect(4*vvv1*a*b*c*(a+b+c), sqrt(QQ), factor); remove(has,vvv2,QQ); a*b*c*collect(%/a/b/c,a, factor); insidetax(%); vvv3:= parse(%)+select(has,vvv2,QQ); subs(valQ,QQ): collect(%,a, factor): insidetax(%): length(%); valQ:= QQ=parse(%%); subs(valQ,vvv3); tmpp:=convert(%, string); L=length(%), ency(parse(%)); tmpp := "a*b*c*(2*a^7+(-3*b^2+4*b*c-3*c^2)*a^5+(b+c)*(b-c)^2*a^4-2*b*c*(b-c)^2*a^3-2*(b+c)*(b^2+b*c+c^2)*(b-c)^2*a^2+(b+c)^2*(b-c)^4*a+(b^2+c^2)*(b-c)^2*(b+c)^3)-2*(a^2-b^2+c^2)*(a^2+b^2-c^2)*(a+b+c)^(1/2)*R*(-a^9+(b+c)*a^8+(b^2+c^2)*a^7-(b+c)*(3*c^2-4*b*c+3*b^2)*a^6+(-c^2+2*b^2)*(-2*c^2+b^2)*a^5+(b+c)*(c^2-2*b*c+2*b^2)*(2*c^2-2*b*c+b^2)*a^4-3*(b^2+c^2)*(b^2-c^2)^2*a^3+(b+c)*(c^4+2*b*c^3-2*b^2*c^2+2*b^3*c+b^4)*(b-c)^2*a^2+(b^4+3*b^2*c^2+c^4)*(b^2-c^2)^2*a-(b-c)^2*(b^2-b*c+c^2)^2*(b+c)^3)^(1/2)"; L=length(%), ency(parse(%));
<Text-field style="Heading 2" layout="Heading 2">1117....</Text-field> SubstituteAll(zalo[2],"<sub>",""): SubstituteAll(%,"</sub>",""); par1:= parse("n(a,b,c)=5*(SA)^2*((SB)^2+(SC)^2)-3*a^2*(SA)^3-4*(SB)^2*(SC)^2-SA*SB*SC*(2*SA-SB-SC)"); SubstituteAll(zalo[3],"<sub>",""): SubstituteAll(%,"</sub>",""); par2:= parse("d(a,b,c)=2*a*(4*(SA)^2-b^2*c^2)*(b^2*c^2*(3*a^2-8*SA)+8*(SA)^3)"); (factor@subs)(par1,par2,SA=(b^2+c^2-a^2)/2,SB=(-b^2+c^2+a^2)/2,SC=(b^2-c^2+a^2)/2, a*n(a,b,c)/d(a,b,c)): elimifac(%);ency(%);
<Text-field style="Heading 1" layout="Heading 1">Trigo</Text-field>
<Text-field style="Heading 2" layout="Heading 2">3368</Text-field>
<Text-field style="Heading 3" layout="Heading 3"><Font encoding="UTF-8">r\303\250gles</Font></Text-field> cos(A-2*pi/5): %=expand(%): rule51:= (eval@subs)(pi=Pi, %); Ly1JJHNpbkc2JCUqcHJvdGVjdGVkR0koX3N5c2xpYkc2IjYjLCZJIkFHRigiIiIqJiNGLCIjNUYsSSNQaUdGJkYsRiwsJiomLUkkY29zR0YlNiNGK0YsLUY0NiMsJComIyIiIyIiJkYsRjBGLEYsRixGLComLUYkRjVGLC1GJEY3RixGLA== sin(A-2*pi/5): %=expand(%): rule52:= (eval@subs)(pi=Pi, -%); Ly1JJGNvc0c2JCUqcHJvdGVjdGVkR0koX3N5c2xpYkc2IjYjLCZJIkFHRigiIiIqJiNGLCIjNUYsSSNQaUdGJkYsRiwsJiomLUkkc2luR0YlNiNGK0YsLUYkNiMsJComIyIiIyIiJkYsRjBGLEYsRiwhIiIqJi1GJEY1RiwtRjRGN0YsRiw= sin(A+2*Pi/10): %=subs(rule5, expand(%)): subs(A=A+Pi/10, rule51, rule52, rule5, %): xcollect(%, [sin(A),cos(A)], factor): rule53:= xcollect(%, [sin(A),cos(A),5+sqrt(5)], factor); Ly1JJHNpbkc2JCUqcHJvdGVjdGVkR0koX3N5c2xpYkc2IjYjLCZJIkFHRigiIiIqJiMiIiQiIzVGLEkjUGlHRiZGLEYsLCYqKCwmKiYjRiwiIilGLCkiIiMjRixGOUYsISIiKihGNkYsRjhGLCkiIiZGOkYsRixGLCksJkY+RiwqJEY9RixGLEY6RiwtRiQ2I0YrRixGLComLCYqJiNGLCIiJUYsRj1GLEYsRkdGLEYsLUkkY29zR0YlRkNGLEYs cos(A+2*Pi/10): %=subs(rule5, expand(%)): subs(A=A+Pi/10, rule51, rule52, rule5, %): xcollect(%, [sin(A),cos(A)], factor): rule54:= xcollect(%, [sin(A),cos(A),5+sqrt(5)], factor); Ly1JJGNvc0c2JCUqcHJvdGVjdGVkR0koX3N5c2xpYkc2IjYjLCZJIkFHRigiIiIqJiMiIiQiIzVGLEkjUGlHRiZGLEYsLCYqJiwmI0YsIiIlISIiKiZGNUYsKSIiJiNGLCIiI0YsRjdGLC1JJHNpbkdGJTYjRitGLEYsKigsJiomI0YsIiIpRiwpRjxGO0YsRjcqKEZDRixGRUYsRjlGLEYsRiwpLCZGOkYsKiRGOUYsRixGO0YsLUYkRj9GLEYs sols:=[solve(x^24=1)]: nops(%); map(evalc@Im, sols); evalf(%); evalf(sin(5*Pi/12)); IiND NzosJComIyIiIiIiI0YmKUYnRiVGJkYmLCRGJCEiIkYpRiNGKkYmIiIhRissJComRiVGJikiIiRGJUYmRiosJEYtRiYsJCooI0YmIiIlRiZGKEYmKUY0RjNGJkYmLCRGMkYqLCQqJkYzRiYpLCYiIilGJioqRidGJkYoRiZGNUYmRi5GJkYmRiVGJkYmLCRGOEYqLCQqKEYzRiZGKEYmKSwmRjRGJiooRihGJkY1RiZGLkYmRipGJUYmRiosJEY/RiZGMEYsRjZGMUY9RjdGQ0Y+ NzokIis1eTFycSEjNSQhKzV5MXJxRiVGJkYjJCEiIiIiISQiIiJGKiRGKkYqRi0kIStTU0RnJylGJSQiK1NTRGcnKUYlJCIrKSoqKioqKipcRiUkISspKioqKioqKlxGJSQiK2kjZSNmJypGJSQhK2kjZSNmJypGJSQhK18vPillI0YlJCIrXy8+KWUjRiVGMEYuRjRGMkY4RjZGPEY6 JCIraiNlI2YnKiEjNQ== cos(Pi/12)=(1/4)*sqrt(2)*sqrt(4+sqrt(2)*4^(1/4)*sqrt(3)); rule12:= simplify(%); Ly1JJGNvc0c2JCUqcHJvdGVjdGVkR0koX3N5c2xpYkc2IjYjLCQqJiMiIiIiIzdGLUkjUGlHRiZGLUYtLCQqKCNGLSIiJUYtKSIiIyNGLUY1Ri0pLCZGM0YtKihGNEYtKUYzRjJGLSkiIiRGNkYtRi1GNkYtRi0= Ly1JJGNvc0c2JCUqcHJvdGVjdGVkR0koX3N5c2xpYkc2IjYjLCQqJiMiIiIiIzdGLUkjUGlHRiZGLUYtLCQqKCNGLSIiJUYtKSIiIyNGLUY1Ri0sJkYtRi0qJCkiIiRGNkYtRi1GLUYt cos(5*Pi/12); simplify(%); LUkkY29zRzYkJSpwcm90ZWN0ZWRHSShfc3lzbGliRzYiNiMsJComIyIiJiIjNyIiIkkjUGlHRiVGLkYu LUkkY29zRzYkJSpwcm90ZWN0ZWRHSShfc3lzbGliRzYiNiMsJComIyIiJiIjNyIiIkkjUGlHRiVGLkYu rule12 := { cos(1/12*Pi) = (1/4)*sqrt(2)*(1+sqrt(3)),sin(5/12*Pi)=cos(1/12*Pi), cos(5/12*Pi) = sin(1/12*Pi),sin(1/12*Pi)=(1/4)*sqrt(2)*(-1+sqrt(3)) }; evalf(map(lhs-rhs,%)); PCYvLUkkY29zRzYkJSpwcm90ZWN0ZWRHSShfc3lzbGliRzYiNiMsJComIyIiIiIjN0YuSSNQaUdGJ0YuRi4sJCooI0YuIiIlRi4pIiIjI0YuRjZGLiwmRi5GLiokKSIiJEY3Ri5GLkYuRi4vLUYlNiMsJComIyIiJkYvRi5GMEYuRi4tSSRzaW5HRiZGKi9GQywkKihGM0YuRjVGLiwmRjlGLkYuISIiRi5GLi8tRkRGPkYk PCUkISIiISM1JCIiIUYnJCIiIkYl
www; subs(rule8, kashi, (eval@expand@convert)(parse(fdat[www]), sincos) ); collect( factor(%), R, factor); qqq:= subs(defR2pow,%); subs(rule8, %); elimifac(numer(%))/elimifac(factor(denom(%)*sqrt(2+sqrt(2)))); tmqx:= xcollect( %, R, factor); ency(%); subs(rule12, kashi, (expand@convert)(parse(fdat[www]), sincos) ); subs(rule12, %); collect(%*R^2, R); subs(defR2pow,%); (elimifac@factor)(%): tmqx:= map(collect, %, R, factor); ency(%); LCYqMCMiIiIiIiVGJUkiYUc2IkYlSSJSR0YoISIiLCgqJClGJyIiI0YlRioqJClJImJHRihGLkYlRiUqJClJImNHRihGLkYlRiVGJUYxRipGNEYqLUkkY29zRzYkJSpwcm90ZWN0ZWRHSShfc3lzbGliR0YoNiMsJComI0YlIiImRiVJI1BpR0Y4RiVGJUYlRiUqKkYkRiVGLUYlKUYpRi5GKi1JJHNpbkdGN0Y6RiVGKg== LCYqMCMiIiIiIiVGJUkiYUc2IkYlSSJSR0YoISIiLCgqJClGJyIiI0YlRioqJClJImJHRihGLkYlRiUqJClJImNHRihGLkYlRiVGJUYxRipGNEYqLUkkY29zRzYkJSpwcm90ZWN0ZWRHSShfc3lzbGliR0YoNiMsJComI0YlIiImRiVJI1BpR0Y4RiVGJUYlRiUqKkYkRiVGLUYlKUYpRi5GKi1JJHNpbkdGN0Y6RiVGKg== LCYqMCMiIiIiIiVGJUkiYUc2IkYlLCgqJClGJyIiI0YlISIiKiQpSSJiR0YoRixGJUYlKiQpSSJjR0YoRixGJUYlRiVGMEYtRjNGLS1JJGNvc0c2JCUqcHJvdGVjdGVkR0koX3N5c2xpYkdGKDYjLCQqJiNGJSIiJkYlSSNQaUdGN0YlRiVGJUkiUkdGKEYlRiUqKEYkRiVGK0YlLUkkc2luR0Y2RjlGJUYt LCYqMCMiIiIiIiVGJUkiYUc2IkYlLCgqJClGJyIiI0YlISIiKiQpSSJiR0YoRixGJUYlKiQpSSJjR0YoRixGJUYlRiVGMEYtRjNGLS1JJGNvc0c2JCUqcHJvdGVjdGVkR0koX3N5c2xpYkdGKDYjLCQqJiNGJSIiJkYlSSNQaUdGN0YlRiVGJUkiUkdGKEYlRiUqKEYkRiVGK0YlLUkkc2luR0Y2RjlGJUYt LCQqLCMiIiIiIiVGJUkiYUc2IkYlLCYqKC1JJGNvc0c2JCUqcHJvdGVjdGVkR0koX3N5c2xpYkdGKDYjLCQqJiNGJSIiJkYlSSNQaUdGLkYlRiVGJSwoKiQpRiciIiNGJUYlKiQpSSJiR0YoRjlGJSEiIiokKUkiY0dGKEY5RiVGPUYlSSJSR0YoRiVGJSoqRidGJS1JJHNpbkdGLUYwRiVGPEYlRkBGJUYlRiVGPEY9RkBGPUY9 IiUkUiQ= www; subs(rule51, rule52, rule53, rule54, rule5, kashi, convert(parse(fdat[www]), sincos) ); subs(rule5, kashi, expand(%)); collect(%*R^2, R); subs(defR2pow,%); (elimifac@factor)(%): tmqx:= map(xcollect, %, [R,4,20], factor); ency(%); IiUoUiQ= LCQqKiMiIiIiIiNGJUkiYUc2IkYlSSJSR0YoISIiLUkkY29zRzYkJSpwcm90ZWN0ZWRHSShfc3lzbGliR0YoNiMsJkkiQUdGKEYlKiYjRiYiIiZGJUkjUGlHRi5GJUYlRipGJQ== LCQqKiMiIiIiIiNGJUkiYUc2IkYlSSJSR0YoISIiLCYqLEYkRiUsKCokKUYnRiZGJUYqKiQpSSJiR0YoRiZGJUYlKiQpSSJjR0YoRiZGJUYlRiVGMkYqRjVGKiwmKiYjRiUiIiVGJSkiIiZGJEYlRiVGOEYqRiVGJSosI0YlIiIpRiVGJ0YlRilGKilGJkYkRiUpLCZGO0YlKiRGOkYlRiVGJEYlRipGKkYl LCQqKiMiIiIiIiNGJUkiYUc2IkYlSSJSR0YoRiUsJiosRiRGJSwoKiQpRidGJkYlISIiKiQpSSJiR0YoRiZGJUYlKiQpSSJjR0YoRiZGJUYlRiVGMkYvRjVGLywmKiYjRiUiIiVGJSkiIiZGJEYlRiVGOEYvRiVGJSosI0YlIiIpRiVGJ0YlRilGLylGJkYkRiUpLCZGO0YlKiRGOkYlRiVGJEYlRi9GL0Yl LCQqKiMiIiIiIiNGJUkiYUc2IkYlSSJSR0YoRiUsJiosRiRGJSwoKiQpRidGJkYlISIiKiQpSSJiR0YoRiZGJUYlKiQpSSJjR0YoRiZGJUYlRiVGMkYvRjVGLywmKiYjRiUiIiVGJSkiIiZGJEYlRiVGOEYvRiVGJSosI0YlIiIpRiVGJ0YlRilGLylGJkYkRiUpLCZGO0YlKiRGOkYlRiVGJEYlRi9GL0Yl USVmaW5pNiI= KiQsJiooIiIlIiIiLCgqJClJImFHNiIiIiNGJkYmKiQpSSJiR0YrRixGJiEiIiokKUkiY0dGK0YsRiZGMEYmSSJSR0YrRiZGJiouKSwmIiImRiYqJClGOCNGJkYsRiZGJkY7RiYpRixGO0YmLCZGOUYmRiZGJkYmRipGJkYvRiZGM0YmRiZGMA== IiUoUiQ= (factor@subs)(apbpc, tmqx): tmpx:= xcollect(elimifac(%), [R,3]); ency(%); USVmaW5pNiI= KiQsKComLCgqJiIiJSIiIilJImFHNiIiIiNGKEYoKiZGJ0YoKUkiYkdGK0YsRighIiIqJkYnRigpSSJjR0YrRixGKEYwRihJIlJHRitGKEYoKiwpRiwjRihGLEYoKSwmIiImRigqJClGOkY3RihGKEY3RihGKkYoRi9GKEYzRihGKCouRjxGKEY2RihGOEYoRipGKEYvRihGM0YoRihGMA== IiUoUiQ= evalf(tmp); evalf(cos(2*Pi/5)); JCIrVSpwLDQkISM1 JCIrUSpwLDQkISM1 PCYvLUkkY29zRzYkJSpwcm90ZWN0ZWRHSShfc3lzbGliRzYiNiMsJComIyIiIiIiJkYuSSNQaUdGJ0YuRi4sJiomI0YuIiIlRi4pRi8jRi4iIiNGLkYuRjNGLi8tRiU2IywkKiYjRjdGL0YuRjBGLkYuLCZGMkYuRjMhIiIvLUkkc2luR0YmRiosJCoqI0YuIiIpRi4pRjdGNkYuKSwmRi9GLiokRjVGLkYuRjZGLiwmRkpGLkYuRj9GLkYuLy1GQkY6LCQqKEYzRi5GR0YuRkhGLkYu PCUkISIlISM1JCIiIkYlJCIiJkYl 2*sin(Pi/5)*cos(Pi/5)=sin(2*Pi/5); subs(rules5,%); isolate(%, sin((1/5)*Pi)); rationalize(%); LywkKigiIiMiIiItSSRzaW5HNiQlKnByb3RlY3RlZEdJKF9zeXNsaWJHNiI2IywkKiYjRiYiIiZGJkkjUGlHRipGJkYmRiYtSSRjb3NHRilGLUYmRiYtRig2IywkKiYjRiVGMUYmRjJGJkYm LywkKigiIiMiIiItSSRzaW5HNiQlKnByb3RlY3RlZEdJKF9zeXNsaWJHNiI2IywkKiYjRiYiIiZGJkkjUGlHRipGJkYmRiYsJiomI0YmIiIlRiYpRjEjRiZGJUYmRiZGNUYmRiZGJiwkKihGNUYmKUYlRjhGJiksJkYxRiYqJEY3RiZGJkY4RiZGJg== Ly1JJHNpbkc2JCUqcHJvdGVjdGVkR0koX3N5c2xpYkc2IjYjLCQqJiMiIiIiIiZGLUkjUGlHRiZGLUYtLCQqKiNGLSIiJUYtKSIiIyNGLUY1Ri0pLCZGLkYtKiQpRi5GNkYtRi1GNkYtLCZGNkYtKiZGNkYtRjpGLUYtISIiRi0= Ly1JJHNpbkc2JCUqcHJvdGVjdGVkR0koX3N5c2xpYkc2IjYjLCQqJiMiIiIiIiZGLUkjUGlHRiZGLUYtLCQqKiNGLSIiKUYtKSIiIyNGLUY1Ri0pLCZGLkYtKiQpRi5GNkYtRi1GNkYtLCZGOUYtRi0hIiJGLUYt sin(A+Pi/10); cos(A-Pi/10); LUkkc2luRzYkJSpwcm90ZWN0ZWRHSShfc3lzbGliRzYiNiMsJkkiQUdGJyIiIiomI0YrIiM1RitJI1BpR0YlRitGKw== LUkkc2luRzYkJSpwcm90ZWN0ZWRHSShfc3lzbGliRzYiNiMsJkkiQUdGJyIiIiomIyIiIyIiJkYrSSNQaUdGJUYrRis=
<Text-field style="Heading 2" layout="Heading 2">2962</Text-field> fdat[www]; (expand@convert)(parse(%), sincos); subs(kashi,kashkash,%): expand(numer(%))/expand(denom(%)): (elimifac@factor)(%); tmqx:= (elimifac@factor@subs)(valR22,%); UUBzaW4oQSkqKGNvcyhCKSpjb3MoQykrY29zKEItQykpNiI= LCYqKiIiIyIiIi1JJHNpbkc2JCUqcHJvdGVjdGVkR0koX3N5c2xpYkc2IjYjSSJBR0YrRiUtSSRjb3NHRig2I0kiQkdGK0YlLUYvNiNJIkNHRitGJUYlKihGJkYlLUYnRjBGJS1GJ0YzRiVGJQ== USVmaW5pNiI= LCwqKCIiIyIiIilJImFHNiIiIiVGJSlJIlJHRihGJEYlRiUqKkYpRiUpSSJiR0YoRiRGJSlJImNHRihGJEYlRipGJUYlKihGJEYlKUYuRilGJUYqRiUhIiIqKEYkRiUpRjBGKUYlRipGJUYzKigpRidGJEYlRi1GJUYvRiVGJQ== USVmaW5pNiI= LC4qJClJImFHNiIiIiUiIiIhIiIqKCIiJ0YoKUkiYkdGJiIiI0YoKUkiY0dGJkYuRihGKSomIiIkRigpRi1GJ0YoRigqJkYyRigpRjBGJ0YoRigqKEYuRigpRiVGLkYoRixGKEYpKihGLkYoRjdGKEYvRihGKQ== ency(tmqx); IiUhNCQ= valR; L0kiUkc2IiowKSwoSSJhR0YkIiIiSSJiR0YkRilJImNHRiRGKSNGKSIiIyEiIiksKEYqRilGKEYpRitGLkYsRi4pLChGKkYuRihGKUYrRilGLEYuRihGKUYqRilGK0YpKSwoRihGLkYqRilGK0YpRixGLg==
<Text-field style="Heading 2" layout="Heading 2">2654</Text-field> WW1,WW2,WW3,WW4; subs(kitcircle, tmqx): (elimifac@factor)(%): tmqx:= xcollect(%, [WW1,WW2], (U->`if`(type(U,`*`), map(abctax,U), abctax(U)) )@factor );
<Text-field style="Heading 2" layout="Heading 2">2469, 2448</Text-field> subs(vale, tmqx)*4*a*b*c*sqrt(a^2*b^2+a^2*c^2+b^2*c^2): tmqx:= xcollect(%, [sqrt(a^6-a^4*b^2-a^4*c^2-a^2*b^4+3*a^2*b^2*c^2-a^2*c^4+b^6-b^4*c^2-b^2*c^4+c^6), sqrt(-a^2*c^2+c^4-b^2*c^2-a^2*b^2+a^4+b^4), A], factor); ency(tmqx); www; tmqx: tmp1:= simplify(%) assuming a>0,b>0,c>0; indets(tmp1, sqrt): tmqx:= xcollect(tmp1*4*rotp(sqrt(a)*a)/R, [sqrt(a^3-a^2*b-a^2*c-a*b^2+3*a*b*c-a*c^2+b^3-b^2*c-b*c^2+c^3)], factor); ency(%);
<Text-field style="Heading 2" layout="Heading 2">2361</Text-field> www;parse(fdat[www]); expand(%); (expand@subs)(kashi, A=2*AA, %); tmqx:= (elimifac@factor@subs)(AA=A/2, kashkash, %); ency(%);
<Text-field style="Heading 2" layout="Heading 2">2081</Text-field> tmqy:= tmqx: (factor@algsubs)(defR2, tmqy); tmqx:= elimifac(%);
<Text-field style="Heading 2" layout="Heading 2">2011</Text-field> tmqy:= tmqx; (elimifac@factor@subs)(defR2,%); ency(%); tmqy:= tmqx: xcollect(tmqy,[R,b^2*c^2+a^2*b^2+a^2*c^2], factor); indets(%); (elimifac@factor@subs)(vale,%%); tmqx:= xcollect(%, [VV,WW]); ency(%);