|
D.15.1.34 transformationsBeforeSplit
Procedure from library arnold.lib (see arnold_lib).
- Usage:
- transformationsBeforeSplit(N); N NormalForm as given by @ref(determineNormalForm)
- Return:
- the transformations (and in some cases their inverses) that was transformed on N.phi.sourcegerm.value to write it as a direct sum of its degenerate and nondegenerate parts,
given up to filtration d, where d is a determinacy bound for F.value (returned as type RightEquivalenceChainWithPrecision as defined in @ref(polyclass.lib))
Example:
| LIB "arnold.lib";
ring R = 0,(x,y,z),ds;
poly g = (x^2+y^2)^2+5*x^(10)+y^(11)+z^2;
poly phix = x+y^2+x^2+x*y+x^2*y+x*y^3;
poly phiy = y+y^2+2*x^2+x*y+y*x^2+y^2*x+x*y^4;
poly phiz = z+2x+x^2+y^4*x;
map phi = R,phix,phiy,phiz;
g = phi(g);
Poly F = makePoly(g);
NormalForm N = determineNormalForm(F);
transformationsBeforeSplit(N);
==>
==> Source germ = 4x2+4xz+z2+4x3+2x2z+2x4+2x2y2+y4+4x5+12x4y+12x3y2+16x2y\
3+8xy4+4y5+14x6+40x5y+82x4y2+84x3y3+68x2y4+28xy5+8y6+2xy4z+20x7+104x6y+19\
2x5y2+256x4y3+214x3y4+128x2y5+44xy6+8y7+25x8+104x7y+272x6y2+404x5y3+418x4\
y4+288x3y5+130x2y6+40xy7+4y8+60x8y+184x7y2+368x6y3+468x5y4+408x4y5+272x3y\
6+104x2y7+28xy8+5x10+56x8y2+168x7y3+318x6y4+428x5y5+362x4y6+232x3y7+95x2y\
8+24xy9+50x11+50x10y+50x9y2+24x8y3+140x7y4+256x6y5+376x5y6+324x4y7+196x3y\
8+60x2y9+8xy10+y11+225x12+500x11y+675x10y2+450x9y3+229x8y4+108x7y5+210x6y\
6+280x5y7+215x4y8+108x3y9+60x2y10+11xy11+11y12+600x13+2250x12y+4050x11y2+\
4700x10y3+3600x9y4+1800x8y5+648x7y6+124x6y7+144x5y8+364x4y9+268x3y10+306x\
2y11+121xy12+55y13+1050x14+6000x13y+14325x12y2+22650x11y3+24000x10y4+1905\
0x9y5+10500x8y6+4208x7y7+2444x6y8+2056x5y9+3272x4y10+2519x3y11+1713x2y12+\
605xy13+165y14+1260x15+10500x14y+33300x13y2+66600x12y3+91950x11y4+94860x1\
0y5+72900x9y6+49080x8y7+29460x7y8+26796x6y9+23760x5y10+20716x4y11+12831x3\
y12+6160x2y13+1826xy14+330y15+1050x16+12600x15y+53550x14y2+132900x13y3+23\
0400x12y4+293400x11y5+303159x10y6+257460x9y7+216780x8y8+181800x7y9+159668\
x6y10+124097x5y11+81090x4y12+40653x3y13+15125x2y14+3740xy15+462y16+600x17\
+10500x16y+60900x15y2+189000x14y3+403200x13y4+655068x12y5+840204x11y6+940\
344x10y7+937560x9y8+888660x8y9+773964x7y10+603597x6y11+397929x5y12+213589\
x4y13+89814x3y14+27104x2y15+5577xy16+462y17+225x18+6000x17y+49050x16y2+19\
5300x15y3+552540x14y4+1111740x13y5+1847454x12y6+2511084x11y7+2997975x10y8\
+3120300x9y9+2875230x8y10+2300982x7y11+1569012x6y12+896674x5y13+410046x4y\
14+148650x3y15+37977x2y16+6402xy17+330y18+50x19+2250x18y+27450x17y2+18864\
0x16y3+643260x15y4+1708680x14y5+3372600x13y6+5492040x12y7+7394250x11y8+84\
67670x10y9+8314470x9y10+6974715x8y11+5026770x7y12+3034560x6y13+1537395x5y\
14+622650x4y15+197115x3y16+44065x2y17+5990xy18+165y19+5x20+500x19y+38335x\
18y2+204570x17y3+872445x16y4+2487000x15y5+5591610x14y6+10025160x13y7+1476\
7875x12y8+18305084x11y9+19123565x10y10+17159325x9y11+13088400x8y12+856317\
0x7y13+4715202x6y14+2161110x5y15+800056x4y16+225885x3y17+44330x2y18+4637x\
y19+60y20+11314x20y+58570x19y2+337660x18y3+1214400x17y4+3550320x16y5+8207\
184x15y6+15465360x14y7+24321120x13y8+31990170x12y9+35937450x11y10+3441657\
2x10y11+28408625x9y12+20143455x8y13+12216660x7y14+6285390x6y15+2668704x5y\
16+909615x4y17+231585x3y18+39990x2y19+2915xy20+11y21+2048x22+11264x21y+95\
969x20y2+414370x19y3+1517420x18y4+4338858x17y5+10170204x16y6+19970784x15y\
7+32840730x14y8+46189780x13y9+55496749x12y10+57603427x11y11+51726837x10y1\
2+40199245x9y13+27015165x8y14+15504648x7y15+7512564x6y16+2980524x5y17+935\
875x4y18+211525x3y19+31327x2y20+1491xy21+y22+11264x22y+67584x21y2+366680x\
20y3+1376710x19y4+4111020x18y5+10164324x17y6+20823624x16y7+36622020x15y8+\
55030440x14y9+71766340x13y10+81242172x12y11+80074207x11y12+68764940x10y13\
+51157860x9y14+32830860x8y15+17895174x7y16+8172354x6y17+3011850x5y18+8678\
20x4y19+175500x3y20+20746x2y21+506xy22+28160x22y2+183040x21y3+831770x20y4\
+2858560x19y5+7673655x18y6+17394660x17y7+33130560x16y8+54649440x15y9+7817\
2740x14y10+97499095x13y11+106326545x12y12+100917595x11y13+83436230x10y14+\
59481150x9y15+36436380x8y16+18823170x7y17+8090790x6y18+2789385x5y19+72854\
5x4y20+132755x3y21+12160x2y22+110xy23+42240x22y3+306944x21y4+1303660x20y5\
+4316140x19y6+11142840x18y7+24264480x17y8+44926164x16y9+71745060x15y10+99\
842475x14y11+120600015x13y12+127283455x12y13+116463782x11y14+92570300x10y\
15+63316905x9y16+37035990x8y17+18277110x7y18+7402329x6y19+2402745x5y20+57\
2115x4y21+90640x3y22+5720x2y23+11xy24+42240x22y4+373120x21y5+1613914x20y6\
+5360940x19y7+13939965x18y8+29989140x17y9+54902250x16y10+85755606x15y11+1\
16278680x14y12+136331010x13y13+139149260x12y14+123282800x11y15+94538784x1\
0y16+62554140x9y17+35148720x8y18+16634310x7y19+6384900x6y20+1924662x5y21+\
416700x4y22+56480x3y23+2090x2y24+29568x22y5+363264x21y6+1736664x20y7+5906\
310x19y8+15689850x18y9+33575442x17y10+60723261x16y11+93108186x15y12+12323\
6400x14y13+141304545x13y14+140554488x12y15+121633869x11y16+90730989x10y17\
+58221300x9y18+31545285x8y19+14215224x7y20+5156652x6y21+1434087x5y22+2765\
40x4y23+29865x3y24+495x2y25+14784x22y6+294624x21y7+1654625x20y8+5810060x1\
9y9+15772635x18y10+33860631x17y11+60811896x16y12+92612670x15y13+120993090\
x14y14+136980030x13y15+133896924x12y16+113380549x11y17+82379325x10y18+510\
44325x9y19+26583525x8y20+11389722x7y21+3887472x6y22+995310x5y23+173310x4y\
24+13695x3y25+55x2y26+5280x22y7+195360x21y8+1366910x20y9+5088470x19y10+14\
241240x18y11+31284075x17y12+56506305x16y13+86355600x15y14+112119180x14y15\
+125418960x13y16+120429315x12y17+99490305x11y18+70294920x10y19+42104755x9\
y20+21114645x8y21+8629440x7y22+2787900x6y23+649440x5y24+99165x4y25+5115x3\
y26+1320x22y8+101244x21y9+974715x20y10+4065005x19y11+11884055x18y12+27049\
155x17y13+49401651x16y14+75679890x15y15+97631880x14y16+107699490x13y17+10\
1760750x12y18+82290439x11y19+56854805x10y20+33075845x9y21+16042035x8y22+6\
239730x7y23+1889082x6y24+400230x5y25+50490x4y26+1320x3y27+220x22y9+39160x\
21y10+601546x20y11+2988585x19y12+9207040x18y13+21708600x17y14+40255440x16\
y15+61816392x15y16+79768110x14y17+87299080x13y18+81790810x12y19+65099410x\
11y20+44076316x10y21+24880660x9y22+11575590x8y23+4274760x7y24+1189650x6y2\
5+227172x5y26+22110x4y27+165x3y28+22x22y10+10791x21y11+312631x20y12+19720\
25x19y13+6548250x18y14+16065564x17y15+30713712x16y16+47707392x15y17+62106\
090x14y18+67803775x13y19+62956917x12y20+49261861x11y21+32454791x10y22+177\
52590x9y23+7879680x8y24+2767884x7y25+710682x6y26+121902x5y27+8250x4y28+x2\
2y11+1991x21y12+128755x20y13+1145870x19y14+4327950x18y15+11179977x17y16+2\
2283412x16y17+35186670x15y18+46077825x14y19+50131645x13y20+45893231x12y21\
+35340466x11y22+22685210x10y23+12081495x9y24+5154990x8y25+1719102x7y26+40\
4712x6y27+60060x5y28+2310x4y29+220x21y13+39050x20y14+581900x19y15+2670030\
x18y16+7330620x17y17+15204810x16y18+24483060x15y19+32189580x14y20+3510468\
0x13y21+31875130x12y22+24321110x11y23+15322145x10y24+7933170x9y25+3242730\
x8y26+1010070x7y27+214830x6y28+25410x5y29+330x4y30+11x21y14+8030x20y15+24\
8655x19y16+1490115x18y17+4459290x17y18+9660552x16y19+16115820x15y20+21476\
970x14y21+23664195x13y22+21429020x12y23+16145831x11y24+9936885x10y25+4945\
320x9y26+1924230x8y27+552090x7y28+106722x6y29+9240x5y30+990x20y16+82335x1\
9y17+734415x18y18+2549580x17y19+5839680x16y20+10194954x15y21+13821780x14y\
22+15292680x13y23+13756095x12y24+10154985x11y25+6109272x10y26+2924910x9y2\
7+1095165x8y28+291060x7y29+50820x6y30+2772x5y31+55x20y17+18975x19y18+3161\
40x18y19+1370688x17y20+3348114x16y21+6083154x15y22+8410710x14y23+9316500x\
13y24+8396409x12y25+6120157x11y26+3638222x10y27+1688610x9y28+602910x8y29+\
146454x7y30+21252x6y31+462x5y32+2640x19y19+112200x18y20+662904x17y21+1784\
244x16y22+3388770x15y23+4881030x14y24+5477010x13y25+4988307x12y26+3605432\
x11y27+2091920x10y28+930980x9y29+307230x8y30+67452x7y31+7392x6y32+165x19y\
20+29040x18y21+281820x17y22+905520x16y23+1820280x15y24+2748900x14y25+3125\
430x13y26+2833380x12y27+2014535x11y28+1124970x10y29+482790x9y30+147840x8y\
31+30360x7y32+2310x6y33+4620x18y22+103950x17y23+432894x16y24+926310x15y25\
+1448370x14y26+1674750x13y27+1508430x12y28+1074612x11y29+586745x10y30+247\
500x9y31+70620x8y32+12870x7y33+462x6y34+330x18y23+30030x17y24+182490x16y2\
5+437052x15y26+713790x14y27+868560x13y28+790020x12y29+567270x11y30+301752\
x10y31+119790x9y32+30690x8y33+4290x7y34+5544x17y25+67452x16y26+201432x15y\
27+346500x14y28+440220x13y29+400224x12y30+279312x11y31+142692x10y32+52140\
x9y33+12540x8y34+1320x7y35+462x17y26+21252x16y27+86130x15y28+156090x14y29\
+202950x13y30+186912x12y31+128172x11y32+66330x10y33+23100x9y34+5445x8y35+\
330x7y36+4620x16y28+31350x15y29+65670x14y30+89100x13y31+88440x12y32+60390\
x11y33+31020x10y34+9735x9y35+1815x8y36+462x16y29+10230x15y30+28380x14y31+\
39600x13y32+39930x12y33+26202x11y34+12210x10y35+3465x9y36+495x8y37+2640x1\
5y31+10560x14y32+15180x13y33+15510x12y34+10395x11y35+4785x10y36+1485x9y37\
+165x8y38+330x15y32+3300x14y33+5940x13y34+6270x12y35+4785x11y36+1980x10y3\
7+550x9y38+990x14y34+2475x13y35+2475x12y36+1705x11y37+605x10y38+110x9y39+\
165x14y35+715x13y36+715x12y37+550x11y38+220x10y39+55x9y40+220x13y37+330x1\
2y38+220x11y39+110x10y40+55x13y38+110x12y39+55x11y40+11x10y41+22x12y40+11\
x11y41+11x10y42+11x12y41+11x11y42+x11y44
==>
==> Target germ = x4+1/2x2y2+1/16y4+4x5-4x4y+4x3y2-5/4x2y3+3/4xy4-1/16y5+8\
x6-14x5y+59/4x4y2-17/2x3y3+129/32x2y4-1/2xy5+13/128y6+8x7-20x6y+49/2x5y2-\
133/8x4y3+55/8x3y4-63/64x2y5+11/32xy6+13/128y7+3x7y-95/8x6y2+55/4x5y3-110\
3/64x4y4+309/32x3y5-1165/256x2y6+45/32xy7-79/4096y8-28x9+114x8y-823/4x7y2\
+1777/8x6y3-5827/32x5y4+12139/128x4y5-2655/64x3y6+4547/512x2y7-1229/1024x\
y8+659/4096y9-91x10+795/2x9y-12157/16x8y2+7231/8x7y3-95653/128x6y4+27055/\
64x5y5-93169/512x4y6+10655/256x3y7-78291/8192x2y8+33/256xy9+3975/32768y10
==>
==> Precision = 10
==>
==> Transformations:
==>
==> Transformation:
==> x-->-1/2y+z
==> y-->x
==> z-->y
==>
==> Transformation:
==> x-->x
==> y-->y
==> z-->z-1/8y2+1/2yz-1/2z2+1/4x2y+1/8y3-1/4x2z-3/8y2z+1/2yz2-1/4z3-x4+2x3y-9\
/8x2y2+3/4xy3-5/32y4-2x3z+9/4x2yz-9/4xy2z+5/8y3z-3/2x2z2+3xyz2-5/4y2z2-3/\
2xz3+5/4yz3-1/2z4-7/2x5+33/4x4y-63/8x3y2+41/8x2y3-25/16xy4+21/64y5-17/2x4\
z+63/4x3yz-123/8x2y2z+25/4xy3z-105/64y4z-21/2x3z2+41/2x2yz2-25/2xy2z2+35/\
8y3z2-41/4x2z3+25/2xyz3-105/16y2z3-5xz4+21/4yz4-7/4z5-11/2x6+16x5y-321/16\
x4y2+16x3y3-15/2x2y4+39/16xy5-35/128y6-16x5z+321/8x4yz-48x3y2z+30x2y3z-19\
5/16xy4z+105/64y5z-107/4x4z2+64x3yz2-60x2y2z2+65/2xy3z2-175/32y4z2-32x3z3\
+60x2yz3-195/4xy2z3+175/16y3z3-24x2z4+39xyz4-105/8y2z4-13xz5+35/4yz5-5/2z\
6-5x7+65/4x6y-27x5y2+209/8x4y3-505/32x3y4+51/8x2y5-91/64xy6+25/128y7-65/4\
x6z+54x5yz-627/8x4y2z+505/8x3y3z-255/8x2y4z+273/32xy5z-175/128y6z-36x5z2+\
209/2x4yz2-505/4x3y2z2+85x2y3z2-455/16xy4z2+175/32y5z2-209/4x4z3+505/4x3y\
z3-255/2x2y2z3+455/8xy3z3-875/64y4z3-101/2x3z4+102x2yz4-273/4xy2z4+175/8y\
3z4-34x2z5+91/2xyz5-175/8y2z5-13xz6+25/2yz6-25/8z7-7/2x8+13x7y-51/2x6y2+5\
1/2x5y3-585/32x4y4+69/8x3y5-161/64x2y6+15/32xy7-13x7z+51x6yz-153/2x5y2z+5\
85/8x4y3z-345/8x3y4z+483/32x2y5z-105/32xy6z-34x6z2+102x5yz2-585/4x4y2z2+1\
15x3y3z2-805/16x2y4z2+105/8xy5z2-51x5z3+585/4x4yz3-345/2x3y2z3+805/8x2y3z\
3-525/16xy4z3-117/2x4z4+138x3yz4-483/4x2y2z4+105/2xy3z4-46x3z5+161/2x2yz5\
-105/2xy2z5-23x2z6+30xyz6-15/2xz7-3x9+95/8x8y-87/4x7y2+181/8x6y3-535/32x5\
y4+477/64x4y5-147/64x3y6+7/16x2y7+25/2048y9-95/8x8z+87/2x7yz-543/8x6y2z+5\
35/8x5y3z-2385/64x4y4z+441/32x3y5z-49/16x2y6z-225/2048y8z-29x7z2+181/2x6y\
z2-535/4x5y2z2+795/8x4y3z2-735/16x3y4z2+49/4x2y5z2+75/128y7z2-181/4x6z3+5\
35/4x5yz3-2385/16x4y2z3+735/8x3y3z3-245/8x2y4z3-525/256y6z3-107/2x5z4+477\
/4x4yz4-441/4x3y2z4+49x2y3z4+315/64y5z4-159/4x4z5+147/2x3yz5-49x2y2z5-525\
/64y4z5-21x3z6+28x2yz6+75/8y3z6-7x2z7-225/32y2z7+25/8yz8-5/8z9
==>
==> Transformation:
==> x-->x
==> y-->y
==> z-->z-1/8y3+9/16y2z-yz2+5/8z3+5/16x2y2+17/128y4-3/4x2yz-9/16y3z+1/2x2z2+1\
7/16y2z2-yz3+3/8z4-9/8x4y+5/2x3y2-53/32x2y3+21/16xy4-49/256y5+51/32x4z-6x\
3yz+175/32x2y2z-45/8xy3z+283/256y4z+4x3z2-29/4x2yz2+45/4xy2z2-49/16y3z2+2\
9/8x2z3-45/4xyz3+301/64y2z3+9/2xz4-61/16yz4+41/32z5+1/2x6-11/2x5y+749/64x\
4y2-209/16x3y3+4463/512x2y4-185/64xy5+519/1024y6+27/4x5z-867/32x4yz+673/1\
6x3y2z-75/2x2y3z+975/64xy4z-225/64y5z+571/32x4z2-55x3yz2+599/8x2y2z2-643/\
16xy3z2+6243/512y4z2+217/8x3z3-2393/32x2yz3+477/8xy2z3-1589/64y3z3+955/32\
x2z4-189/4xyz4+961/32y2z4+125/8xz5-643/32yz5+23/4z6+23/4x7-803/32x6y+365/\
8x5y2-6795/128x4y3+4561/128x3y4-4219/256x2y5+2165/512xy6-101/1024y7+1543/\
64x6z-1471/16x5yz+40813/256x4y2z-4713/32x3y3z+11031/128x2y4z-1861/64xy5z+\
483/256y6z+225/4x5z2-12765/64x4yz2+9099/32x3y2z2-28555/128x2y3z2+25297/25\
6xy4z2-1185/128y5z2+6015/64x4z3-551/2x3yz3+41483/128x2y2z3-6307/32xy3z3+1\
2677/512y4z3+857/8x3z4-252x2yz4+937/4xy2z4-323/8y3z4+5245/64x2z5-309/2xyz\
5+10345/256y2z5+699/16xz6-1469/64yz6+91/16z7+257/8x8-961/8x7y+26333/128x6\
y2-7257/32x5y3+78435/512x4y4-37117/512x3y5+31319/2048x2y6-19/128xy7-691/1\
024y8+847/8x7z-48497/128x6yz+40839/64x5y2z-38061/64x4y3z+5923/16x3y4z-589\
63/512x2y5z+7073/512xy6z+1999/1024y7z+28533/128x6z2-12183/16x5yz2+277745/\
256x4y2z2-58967/64x3y3z2+49693/128x2y4z2-18131/256xy5z2-1519/1024y6z2+542\
9/16x5z3-63317/64x4yz3+81725/64x3y2z3-47959/64x2y3z3+47525/256xy4z3-991/1\
28y5z3+46619/128x4z4-30369/32x3yz4+13725/16x2y2z4-9361/32xy3z4+7533/256y4\
z4+296x3z5-69821/128x2yz5+9019/32xy2z5-6455/128y3z5+19091/128x2z6-2465/16\
xyz6+12583/256y2z6+1177/32xz7-1691/64yz7+785/128z8+1649/16x9-12973/32x8y+\
5929/8x7y2-106315/128x6y3+299525/512x5y4-137805/512x4y5+24897/512x3y6+206\
07/2048x2y7-46703/4096xy8+8733/4096y9+5781/16x8z-87591/64x7yz+75563/32x6y\
2z-297071/128x5y3z+3013465/2048x4y4z-30547/64x3y5z+3227/64x2y6z+22309/512\
xy7z-24049/2048y8z+25917/32x7z2-45095/16x6yz2+541053/128x5y2z2-950103/256\
x4y3z2+865773/512x3y4z2-381033/1024x2y5z2-25049/256xy6z2+86549/2048y7z2+7\
9755/64x6z3-121443/32x5yz3+1305863/256x4y2z3-419387/128x3y3z3+1094501/102\
4x2y4z3+32725/256xy5z3-110503/1024y6z3+87755/64x5z4-238729/64x4yz4+237297\
/64x3y2z4-223785/128x2y3z4-17933/256xy4z4+51569/256y5z4+146075/128x4z5-14\
8197/64x3yz5+109459/64x2y2z5-807/16xy3z5-564291/2048y4z5+19857/32x3z6-600\
27/64x2yz6+14735/128xy2z6+69233/256y3z6+14275/64x2z7-2497/32xyz7-46297/25\
6y2z7+1273/64xz8+4723/64yz8-1773/128z9
==>
==> Transformation:
==> x-->x
==> y-->y
==> z-->z-9/64y5+435/512y4z-41/16y3z2+545/128y2z3-15/4yz4+175/128z5+69/128x2y\
4+297/1024y6-153/64x2y3z-447/256y5z+157/32x2y2z2+1401/256y4z2-155/32x2yz3\
-1295/128y3z3+15/8x2z4+45/4y2z4-7yz5+15/8z6-273/128x4y3+69/16x3y4-121/32x\
2y5+369/128xy6-1571/2048y7+3777/512x4y2z-153/8x3y3z+9921/512x2y4z-2259/12\
8xy5z+1353/256y6z-171/16x4yz2+157/4x3y2z2-3181/64x2y3z2+1815/32xy4z2-5123\
/256y5z2+1435/256x4z3-155/4x3yz3+18055/256x2y2z3-3465/32xy3z3+96639/2048y\
4z3+15x3z4-429/8x2yz4+999/8xy2z4-9189/128y3z4+1099/64x2z5-2583/32xyz5+706\
09/1024y2z5+45/2xz6-2443/64yz6+1191/128z7+831/256x6y2-123/8x5y3+56383/204\
8x4y4-4493/128x3y5+98885/4096x2y6-321/32xy7+19249/8192y8-867/128x6yz+3129\
/64x5y2z-14769/128x4y3z+44967/256x3y4z-73725/512x2y5z+69231/1024xy6z-1866\
9/1024y7z+71/16x6z2-259/4x5yz2+28963/128x4y2z2-14137/32x3y3z2+115975/256x\
2y4z2-7963/32xy5z2+651913/8192y6z2+995/32x5z3-55215/256x4yz3+39425/64x3y2\
z3-434469/512x2y3z3+292225/512xy4z3-56905/256y5z3+651/8x4z4-921/2x3yz4+24\
6177/256x2y2z4-54189/64xy3z4+852597/2048y4z4+9275/64x3z5-39159/64x2yz5+10\
1745/128xy2z5-536711/1024y3z5+21523/128x2z6-431xyz6+438005/1024y2z6+6597/\
64xz7-52509/256yz7+11255/256z8-555/128x8y+1293/32x7y2-59849/512x6y3+12303\
/64x5y4-920057/4096x4y5+41671/256x3y6-91011/1024x2y7+3623/128xy8-60067/16\
384y9+9339/2048x8z-663/8x7yz+177879/512x6y2z-95409/128x5y3z+548985/512x4y\
4z-472227/512x3y5z+1188175/2048x2y6z-54375/256xy7z+4085477/131072y8z+427/\
8x7z2-27355/64x6yz2+21795/16x5y2z2-2651359/1024x4y3z2+354741/128x3y4z2-53\
1263/256x2y5z2+459115/512xy6z2-2478199/16384y7z2+97165/512x6z3-78115/64x5\
yz3+3561513/1024x4y2z3-1272471/256x3y3z3+9473171/2048x2y4z3-2485083/1024x\
y5z3+7809047/16384y6z3+14001/32x5z4-320697/128x4yz4+691341/128x3y2z4-3413\
729/512x2y3z4+4521981/1024xy4z4-1056273/1024y5z4+1553877/2048x4z5-105655/\
32x3yz5+12467049/2048x2y2z5-2774637/512xy3z5+25579989/16384y4z5+13991/16x\
3z6-823109/256x2yz6+1106925/256xy2z6-1674257/1024y3z6+384231/512x2z7-1300\
77/64xyz7+1161191/1024y2z7+13695/32xz8-30077/64yz8+11297/128z9
==>
==> Transformation:
==> x-->x
==> y-->y
==> z-->z-3915/16384y9+1134459/524288y8z-5685/512y7z2+2434015/65536y6z3-35116\
5/4096y5z4+9099545/65536y4z5-39875/256y3z6+1895175/16384y2z7-13125/256yz8\
+336875/32768z9
==>
|
|