Magma V2.19-8 Tue Aug 20 2013 16:14:45 on localhost [Seed = 610646082] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s739 geometric_solution 5.25865863 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 6 1 2 0 0 0132 0132 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.339648423786 0.534088085519 0 3 2 4 0132 0132 1230 0132 0 0 0 0 0 1 0 -1 0 0 0 0 -1 1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.595585657176 0.987965999968 3 0 4 1 3201 0132 0132 3012 0 0 0 0 0 0 1 -1 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.595585657176 0.987965999968 3 1 3 2 2310 0132 3201 2310 0 0 0 0 0 -1 0 1 -1 0 1 0 -1 1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 -1 1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.043921707705 1.088704113244 5 5 1 2 0132 3201 0132 0132 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.016758322805 1.323419567211 4 5 4 5 0132 2310 2310 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.618516157314 0.610733539466 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : negation(d['1']), 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : d['c_0110_2'], 'c_1100_1' : d['c_0110_2'], 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : d['c_0110_2'], 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0101_0'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_1' : negation(d['c_0110_2']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_2']), 'c_0110_2' : d['c_0110_2'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_2'], 'c_1010_5' : negation(d['c_0101_0']), 'c_1010_4' : negation(d['c_0101_0']), 'c_1010_3' : negation(d['c_0110_2']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_4, c_0101_0, c_0101_1, c_0101_2, c_0110_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t - 338314106320298755961492/97284418837034822516901*c_0110_2^18 - 396279760174328053352693/97284418837034822516901*c_0110_2^17 + 3594664193057733433520375/97284418837034822516901*c_0110_2^16 - 56371355140551691547896/32428139612344940838967*c_0110_2^15 + 1752581906003778516997987/32428139612344940838967*c_0110_2^14 + 13071843921349632007005862/97284418837034822516901*c_0110_2^13 - 41937158342934676539824623/97284418837034822516901*c_0110_2^12 + 2003017805917421671866859/97284418837034822516901*c_0110_2^11 - 12202320408897512843680649/32428139612344940838967*c_0110_2^10 - 27434355877913330580274901/97284418837034822516901*c_0110_2^9 + 64710433139549641504901524/97284418837034822516901*c_0110_2^8 - 23142847284879114691741082/32428139612344940838967*c_0110_2^7 + 104148108472234221259767814/97284418837034822516901*c_0110_2^6 - 98715262522918283805285683/97284418837034822516901*c_0110_2^5 + 11600966520027760055528592/32428139612344940838967*c_0110_2^4 - 30213370108847357886644914/97284418837034822516901*c_0110_2^3 + 24678353849227132985392949/97284418837034822516901*c_0110_2^2 + 5379945124731167492981169/32428139612344940838967*c_0110_2 - 5699603086800696911102267/97284418837034822516901, c_0011_0 - 1, c_0011_4 + 53700913516807928291732/97284418837034822516901*c_0110_2^18 + 123991365360812574700184/97284418837034822516901*c_0110_2^17 - 448809316468715458120181/97284418837034822516901*c_0110_2^16 - 173451481083838996696202/32428139612344940838967*c_0110_2^15 - 416943466583883336544846/32428139612344940838967*c_0110_2^14 - 3384861066491787837468439/97284418837034822516901*c_0110_2^13 + 3210763790067472050293326/97284418837034822516901*c_0110_2^12 + 4402448825503406519555168/97284418837034822516901*c_0110_2^11 + 3079506816217623860342531/32428139612344940838967*c_0110_2^10 + 13958149441383977789552789/97284418837034822516901*c_0110_2^9 + 2691030161857815486808244/97284418837034822516901*c_0110_2^8 + 3351915690346994851872193/32428139612344940838967*c_0110_2^7 - 4508293503134621854132126/97284418837034822516901*c_0110_2^6 + 6619483753055115856623131/97284418837034822516901*c_0110_2^5 + 1686843876947581074956102/32428139612344940838967*c_0110_2^4 + 7206260014194330887583169/97284418837034822516901*c_0110_2^3 + 3750169661460225997019482/97284418837034822516901*c_0110_2^2 - 152498728063248626403502/32428139612344940838967*c_0110_2 - 256282687734255362869384/97284418837034822516901, c_0101_0 - 4754494466594411654200/32428139612344940838967*c_0110_2^18 - 8965837849565325560556/32428139612344940838967*c_0110_2^17 + 43151916465869946305053/32428139612344940838967*c_0110_2^16 + 27122195278969982205198/32428139612344940838967*c_0110_2^15 + 102662916243685092811938/32428139612344940838967*c_0110_2^14 + 257689856130066738946846/32428139612344940838967*c_0110_2^13 - 384953206767288797645207/32428139612344940838967*c_0110_2^12 - 203072074514099817372986/32428139612344940838967*c_0110_2^11 - 762023008352589744718393/32428139612344940838967*c_0110_2^10 - 918371595170679975728775/32428139612344940838967*c_0110_2^9 + 98785706676667857508580/32428139612344940838967*c_0110_2^8 - 1043056200701505218838045/32428139612344940838967*c_0110_2^7 + 837332341580116561427605/32428139612344940838967*c_0110_2^6 - 1062773191426597567869482/32428139612344940838967*c_0110_2^5 + 25889701583111043786272/32428139612344940838967*c_0110_2^4 - 695462322751581031344882/32428139612344940838967*c_0110_2^3 - 70034634511049815109573/32428139612344940838967*c_0110_2^2 + 48025926817388280949191/32428139612344940838967*c_0110_2 - 24888754883729712553921/32428139612344940838967, c_0101_1 - 6925645791523543956413/97284418837034822516901*c_0110_2^18 - 14037618238222824521351/97284418837034822516901*c_0110_2^17 + 60174395762298647620892/97284418837034822516901*c_0110_2^16 + 15664687829083471668308/32428139612344940838967*c_0110_2^15 + 54673674993172249538048/32428139612344940838967*c_0110_2^14 + 400435211929219784167567/97284418837034822516901*c_0110_2^13 - 500510132003880160159198/97284418837034822516901*c_0110_2^12 - 331468317370754901686231/97284418837034822516901*c_0110_2^11 - 414520203612622911631865/32428139612344940838967*c_0110_2^10 - 1556919556147344646045580/97284418837034822516901*c_0110_2^9 - 56440633699521779837744/97284418837034822516901*c_0110_2^8 - 550471598850769879021565/32428139612344940838967*c_0110_2^7 + 1124955991139947068976966/97284418837034822516901*c_0110_2^6 - 1399491094565391605293157/97284418837034822516901*c_0110_2^5 - 41873892975162890920336/32428139612344940838967*c_0110_2^4 - 1034616250032238946020762/97284418837034822516901*c_0110_2^3 - 392429402385595999468354/97284418837034822516901*c_0110_2^2 + 23466766869467598491500/32428139612344940838967*c_0110_2 - 27076612308789452369690/97284418837034822516901, c_0101_2 + 33267974437073728/234256024900695711*c_0110_2^18 + 65873408520920326/234256024900695711*c_0110_2^17 - 302979757059851278/234256024900695711*c_0110_2^16 - 77239654314349741/78085341633565237*c_0110_2^15 - 224530126753784033/78085341633565237*c_0110_2^14 - 1828449174215469029/234256024900695711*c_0110_2^13 + 2673808897736692373/234256024900695711*c_0110_2^12 + 2065890368929762633/234256024900695711*c_0110_2^11 + 1636986108091350990/78085341633565237*c_0110_2^10 + 6613649917619306878/234256024900695711*c_0110_2^9 - 1179197238694114157/234256024900695711*c_0110_2^8 + 1910367160335855329/78085341633565237*c_0110_2^7 - 4976597031061421732/234256024900695711*c_0110_2^6 + 5281073796488213968/234256024900695711*c_0110_2^5 + 524547363182704817/78085341633565237*c_0110_2^4 + 3676638643098072380/234256024900695711*c_0110_2^3 + 661377038553489476/234256024900695711*c_0110_2^2 - 366187122682033240/78085341633565237*c_0110_2 - 48556232464573556/234256024900695711, c_0110_2^19 + 2*c_0110_2^18 - 9*c_0110_2^17 - 7*c_0110_2^16 - 21*c_0110_2^15 - 56*c_0110_2^14 + 78*c_0110_2^13 + 60*c_0110_2^12 + 154*c_0110_2^11 + 208*c_0110_2^10 - 22*c_0110_2^9 + 184*c_0110_2^8 - 149*c_0110_2^7 + 164*c_0110_2^6 + 43*c_0110_2^5 + 119*c_0110_2^4 + 28*c_0110_2^3 - 25*c_0110_2^2 - 2*c_0110_2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB