hityue
2009-07-03, 15:26
f1 =5414053390562155/4835703278458516698824704-4799615436717989/4611686018427387904*d3*d1-7596212998375145/2361183241434822606848*d6*d4+5915172431074309/2417851639229258349412352*d6^2+1969400614447585/2361183241434822606848*d3^2+8485157729244211/2251799813685248*d1^2+8413402321151401/4611686018427387904*d1*d2-7083512789939995/73786976294838206464*d1*d5-7711296927237183/18014398509481984*d1*d4+8360076685373257/147573952589676412928*d1*d6+5834133662678955/2361183241434822606848*d2^2-3389598154341253/1180591620717411303424*d2*d3-4906013721651243/18889465931478580854784*d2*d5-3822343366701357/36893488147419103232*d2*d4+1468615796806723/9444732965739290427392*d2*d6+5700719311340947/37778931862957161709568*d3*d5+8722136198587173/147573952589676412928*d3*d4-6826218924064771/75557863725914323419136*d3*d6+6436308085718293/1180591620717411303424*d4*d5+3504006784131207/288230376151711744*d4^2+8251087648343901/1208925819614629174706176*d5^2-4939919704118053/604462909807314587353088*d5*d6
f2 =-2678319665550037/147573952589676412928-8089860992560867/1152921504606846976*d3*d5-8203265092408145/18014398509481984*d3*d4+8560270566818315/73786976294838206464*d3*d6-4811010233485923/4611686018427387904*d3^2-1843563009798847/144115188075855872*d5^2+3508742028900705/9223372036854775808*d5*d6-8965192171239811/2251799813685248*d2^2+4463011866695511/36028797018963968*d2*d3+8130893354578261/18014398509481984*d2*d5+6245271250218143/72057594037927936*d2*d4-120988089327403/18014398509481984*d2*d6-3174927240730365/2305843009213693952*d4*d5-8635895813882375/562949953421312*d4^2+3714370381080923/144115188075855872*d4*d6-951541051546111/295147905179352825856*d6^2-8159295255366759/18014398509481984*d1*d6-5234187632143433/1099511627776*d1^2+4754008236364635/8796093022208*d1*d4-5425665749959421/144115188075855872*d1*d5+2252313572408035/281474976710656*d1*d3-7823171740072251/18014398509481984*d1*d2
f3 =-4732059215104871/72057594037927936*d3*d5+4753980612147379/8796093022208*d3*d4-8651263420540587/18014398509481984*d3*d6+4766675425011525/1125899906842624*d3^2+1079475361716769/70368744177664*d5^2+7290203134210989/73786976294838206464*d5*d6+5234187789902089/1099511627776*d2^2-6915024379212219/73786976294838206464*d2*d3-4753980677928299/8796093022208*d2*d5-607073521296533/8796093022208*d2*d4+1150242619491393/18014398509481984*d2*d6+1/35184372088832*d4*d5+8693914979500499/140737488355328*d4^2-8635849353808547/281474976710656*d4*d6+7849467956063947/576460752303423488*d6^2+4754008302145477/8796093022208*d1*d6+5247870297557427/274877906944*d1^2-595817351913825/274877906944*d1*d4+4856588170371975/70368744177664*d1*d5-2617093855511225/274877906944*d1*d3-3/70368744177664*d1*d2-1819/2000
f4 =4856588170371975/70368744177664*d3*d5-595817351913825/274877906944*d3*d4+4753980677928221/8796093022208*d3*d6-5234187789901467/1099511627776*d3^2-8693914979500499/140737488355328*d5^2+1/35184372088832*d5*d6-5247870297557427/274877906944*d2^2-3/70368744177664*d2*d3+595817351913825/274877906944*d2*d5+4869316546173443/17592186044416*d2*d4-607073521296533/8796093022208*d2*d6-d4^2+8693914979500499/70368744177664*d4*d6-4317901446867359/281474976710656*d6^2-595817351913825/274877906944*d1*d6-d1^2-4869316546173443/17592186044416*d1*d5+5247870297557427/137438953472*d1*d3+39499/2500
f5 =-2*d1*d3+d2^2+4869316546173443/17592186044416*d2*d6+5247870297557427/274877906944*d3^2-4869316546173443/17592186044416*d3*d5-595817351913825/274877906944*d3*d6-2*d4*d6+d5^2+8693914979500499/140737488355328*d6^2-5340037705038299/70368744177664
f6 =-d3^2-d6^2+2169197463332297/35184372088832
[d1,d2,d3,d4,d5,d6] =solve(f1,f2,f3,f4,f5,f6)
f2 =-2678319665550037/147573952589676412928-8089860992560867/1152921504606846976*d3*d5-8203265092408145/18014398509481984*d3*d4+8560270566818315/73786976294838206464*d3*d6-4811010233485923/4611686018427387904*d3^2-1843563009798847/144115188075855872*d5^2+3508742028900705/9223372036854775808*d5*d6-8965192171239811/2251799813685248*d2^2+4463011866695511/36028797018963968*d2*d3+8130893354578261/18014398509481984*d2*d5+6245271250218143/72057594037927936*d2*d4-120988089327403/18014398509481984*d2*d6-3174927240730365/2305843009213693952*d4*d5-8635895813882375/562949953421312*d4^2+3714370381080923/144115188075855872*d4*d6-951541051546111/295147905179352825856*d6^2-8159295255366759/18014398509481984*d1*d6-5234187632143433/1099511627776*d1^2+4754008236364635/8796093022208*d1*d4-5425665749959421/144115188075855872*d1*d5+2252313572408035/281474976710656*d1*d3-7823171740072251/18014398509481984*d1*d2
f3 =-4732059215104871/72057594037927936*d3*d5+4753980612147379/8796093022208*d3*d4-8651263420540587/18014398509481984*d3*d6+4766675425011525/1125899906842624*d3^2+1079475361716769/70368744177664*d5^2+7290203134210989/73786976294838206464*d5*d6+5234187789902089/1099511627776*d2^2-6915024379212219/73786976294838206464*d2*d3-4753980677928299/8796093022208*d2*d5-607073521296533/8796093022208*d2*d4+1150242619491393/18014398509481984*d2*d6+1/35184372088832*d4*d5+8693914979500499/140737488355328*d4^2-8635849353808547/281474976710656*d4*d6+7849467956063947/576460752303423488*d6^2+4754008302145477/8796093022208*d1*d6+5247870297557427/274877906944*d1^2-595817351913825/274877906944*d1*d4+4856588170371975/70368744177664*d1*d5-2617093855511225/274877906944*d1*d3-3/70368744177664*d1*d2-1819/2000
f4 =4856588170371975/70368744177664*d3*d5-595817351913825/274877906944*d3*d4+4753980677928221/8796093022208*d3*d6-5234187789901467/1099511627776*d3^2-8693914979500499/140737488355328*d5^2+1/35184372088832*d5*d6-5247870297557427/274877906944*d2^2-3/70368744177664*d2*d3+595817351913825/274877906944*d2*d5+4869316546173443/17592186044416*d2*d4-607073521296533/8796093022208*d2*d6-d4^2+8693914979500499/70368744177664*d4*d6-4317901446867359/281474976710656*d6^2-595817351913825/274877906944*d1*d6-d1^2-4869316546173443/17592186044416*d1*d5+5247870297557427/137438953472*d1*d3+39499/2500
f5 =-2*d1*d3+d2^2+4869316546173443/17592186044416*d2*d6+5247870297557427/274877906944*d3^2-4869316546173443/17592186044416*d3*d5-595817351913825/274877906944*d3*d6-2*d4*d6+d5^2+8693914979500499/140737488355328*d6^2-5340037705038299/70368744177664
f6 =-d3^2-d6^2+2169197463332297/35184372088832
[d1,d2,d3,d4,d5,d6] =solve(f1,f2,f3,f4,f5,f6)