Magma V2.19-8 Tue Aug 20 2013 16:14:43 on localhost [Seed = 3280101343] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s700 geometric_solution 5.20620780 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 1 1230 3012 0132 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.484969554414 0.246513645219 2 0 3 0 0132 2310 0132 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.876422967597 0.586402769442 1 4 3 5 0132 0132 3012 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 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 1 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.935911238544 0.993239878520 5 2 4 1 1023 1230 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 -1 0 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.935911238544 0.993239878520 4 2 4 3 2310 0132 3201 0132 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 -1 0 0 1 0 -1 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.065067953223 0.939851669415 5 3 2 5 3012 1023 0132 1230 0 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 -1 0 1 -1 0 0 1 -1 1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.065067953223 0.939851669415 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : negation(d['1']), 's_1_5' : negation(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' : negation(d['1']), 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_1']), 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : negation(d['c_0101_3']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_1'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0011_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0011_3'], 'c_0110_4' : d['c_0101_3'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], 'c_1010_1' : negation(d['c_0011_0']), '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_1, c_0011_3, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 15313309490694814598627800/293161658701093674606253*c_0101_3^22 - 195734933862065419236441836/293161658701093674606253*c_0101_3^20 + 1561387435906376889719356040/293161658701093674606253*c_0101_3^18 - 8762049567029646193893729562/293161658701093674606253*c_0101_3^16 + 30391067332346231381148044033/293161658701093674606253*c_0101_3^14 - 60771532298278571891074548227/293161658701093674606253*c_0101_3^12 + 68073283060515031833887866626/293161658701093674606253*c_0101_3^10 - 42172681717484971807208863129/293161658701093674606253*c_0101_3^8 + 13323591293116784058857576193/293161658701093674606253*c_0101_3^6 - 1469381127356201136484701558/293161658701093674606253*c_0101_3^4 - 68140383861427064162057206/293161658701093674606253*c_0101_3^2 - 22136348015923065111835039/293161658701093674606253, c_0011_0 - 1, c_0011_1 - 7581831476983454172764446/293161658701093674606253*c_0101_3^\ 22 + 91340842193001180369530211/293161658701093674606253*c_0101_3^2\ 0 - 705426100030856132540884882/293161658701093674606253*c_0101_3^1\ 8 + 3813694796339100893288986452/293161658701093674606253*c_0101_3^\ 16 - 12197581439040949023192486876/293161658701093674606253*c_0101_\ 3^14 + 20874531728001653224982572066/293161658701093674606253*c_010\ 1_3^12 - 17591363543829792975189096278/293161658701093674606253*c_0\ 101_3^10 + 6746473637927374870473576453/293161658701093674606253*c_\ 0101_3^8 - 839913381945051764772479196/293161658701093674606253*c_0\ 101_3^6 - 19605094563069586544534212/293161658701093674606253*c_010\ 1_3^4 - 13916354920020998466677892/293161658701093674606253*c_0101_\ 3^2 + 266388392646045271768305/293161658701093674606253, c_0011_3 + 6471671226203082516704350/293161658701093674606253*c_0101_3^\ 23 - 77906926358594075146376045/293161658701093674606253*c_0101_3^2\ 1 + 601107020793804751904457303/293161658701093674606253*c_0101_3^1\ 9 - 3246177782768745035186383834/293161658701093674606253*c_0101_3^\ 17 + 10354778339589317894535701769/293161658701093674606253*c_0101_\ 3^15 - 17581509404851254220142446269/293161658701093674606253*c_010\ 1_3^13 + 14433875895194115515236146552/293161658701093674606253*c_0\ 101_3^11 - 5009592477867693349810411401/293161658701093674606253*c_\ 0101_3^9 + 299299562707314106596191771/293161658701093674606253*c_0\ 101_3^7 + 92397482028759593417186467/293161658701093674606253*c_010\ 1_3^5 + 12714417414782845177266098/293161658701093674606253*c_0101_\ 3^3 + 578721074522778395515883/293161658701093674606253*c_0101_3, c_0101_0 - 7112824275720486629269484/293161658701093674606253*c_0101_3^\ 22 + 86147325478194264642136118/293161658701093674606253*c_0101_3^2\ 0 - 667138345191233193495194892/293161658701093674606253*c_0101_3^1\ 8 + 3618513385051489119206946670/293161658701093674606253*c_0101_3^\ 16 - 11659464810805516283207824924/293161658701093674606253*c_0101_\ 3^14 + 20247978838989881158305491310/293161658701093674606253*c_010\ 1_3^12 - 17551046847653203719422574227/293161658701093674606253*c_0\ 101_3^10 + 7077606540259434546001263148/293161658701093674606253*c_\ 0101_3^8 - 1002981832288932738713205240/293161658701093674606253*c_\ 0101_3^6 - 4946324592033191127207699/293161658701093674606253*c_010\ 1_3^4 - 12147184012616038550367852/293161658701093674606253*c_0101_\ 3^2 + 552501630351423555720076/293161658701093674606253, c_0101_1 + 11712855074081395635199426/293161658701093674606253*c_0101_3\ ^22 - 141398152718041878160531183/293161658701093674606253*c_0101_3\ ^20 + 1093091710775141930483993573/293161658701093674606253*c_0101_\ 3^18 - 5916502880647999015025822883/293161658701093674606253*c_0101\ _3^16 + 18973729440175867168200204032/293161658701093674606253*c_01\ 01_3^14 - 32633222374693642882573939939/293161658701093674606253*c_\ 0101_3^12 + 27734427869031181681475249302/293161658701093674606253*\ c_0101_3^10 - 10747789948303368010419093032/29316165870109367460625\ 3*c_0101_3^8 + 1353730866762447378542119513/29316165870109367460625\ 3*c_0101_3^6 + 32700198520570260105135860/293161658701093674606253*\ c_0101_3^4 + 22401968507601438203511028/293161658701093674606253*c_\ 0101_3^2 - 749893322706053138042333/293161658701093674606253, c_0101_3^24 - 431/34*c_0101_3^22 + 3421/34*c_0101_3^20 - 1123/2*c_0101_3^18 + 32724/17*c_0101_3^16 - 127967/34*c_0101_3^14 + 137607/34*c_0101_3^12 - 79607/34*c_0101_3^10 + 11297/17*c_0101_3^8 - 1107/17*c_0101_3^6 - 1/17*c_0101_3^4 - 20/17*c_0101_3^2 + 1/34 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB