Magma V2.19-8 Tue Aug 20 2013 16:18:30 on localhost [Seed = 3600239589] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2691 geometric_solution 5.94835305 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 3 0132 3120 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 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 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.906993816006 0.885053267888 0 0 5 4 0132 3120 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.382749000185 0.409996964539 4 5 4 0 0132 3012 1230 0132 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 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.642523751009 0.393381120918 6 4 0 6 0132 3120 0132 3201 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 0 -1 1 -1 0 0 1 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.454551214056 0.412111675403 2 3 1 2 0132 3120 0132 3012 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 0 0 0 0 0 0 0 0 0 0 0.742625109306 1.015297648396 2 5 5 1 1230 1230 3012 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 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 0 0 0.783356881030 1.303256142965 3 3 6 6 0132 2310 1230 3012 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 1 -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.673330817303 0.812916341667 ==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' : d['1'], 's_2_0' : 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_2_6' : negation(d['1']), 's_1_6' : 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' : negation(d['1']), 's_1_0' : negation(d['1']), 's_0_6' : 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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0011_2'], 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : d['c_0011_5'], 's_3_6' : negation(d['1']), 'c_1100_1' : d['c_0011_5'], 'c_1100_0' : d['c_0011_3'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0011_2'], 'c_0101_2' : d['c_0011_3'], 'c_0101_1' : d['c_0011_2'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_2']), 'c_0011_6' : negation(d['c_0011_3']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0011_5']), 'c_1001_4' : negation(d['c_0011_0']), 'c_1001_6' : negation(d['c_0011_2']), 'c_1001_1' : d['c_0101_5'], 'c_1001_0' : negation(d['c_0101_5']), 'c_1001_3' : d['c_0011_0'], 'c_1001_2' : negation(d['c_0011_5']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_2'], 'c_0110_3' : d['c_0101_6'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0011_2'], 'c_0110_4' : d['c_0011_3'], 'c_0110_6' : d['c_0011_2'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0011_2'], 'c_1010_2' : negation(d['c_0101_5']), 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : d['c_0011_0']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_2, c_0011_3, c_0011_5, c_0101_0, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 37154430576979361303/3280842829789626*c_0101_6^18 - 235012913089461880186/1640421414894813*c_0101_6^17 + 654415859135734003630/1640421414894813*c_0101_6^16 - 83119135116165951445/1640421414894813*c_0101_6^15 - 5986348133747243993891/3280842829789626*c_0101_6^14 + 7290004740748666121024/1640421414894813*c_0101_6^13 - 7541757850933825384927/1640421414894813*c_0101_6^12 + 509091986297045389876/1640421414894813*c_0101_6^11 + 8257822797173430549269/1640421414894813*c_0101_6^10 - 6761530837585410248689/1093614276596542*c_0101_6^9 + 8320341033476174944025/3280842829789626*c_0101_6^8 + 4175825053869656426125/3280842829789626*c_0101_6^7 - 974716350910866497572/546807138298271*c_0101_6^6 + 1893483363855926450129/3280842829789626*c_0101_6^5 - 1712426387961781959/1093614276596542*c_0101_6^4 + 54989674482202187431/1640421414894813*c_0101_6^3 - 62634728428126997605/1093614276596542*c_0101_6^2 + 67394569356053345885/3280842829789626*c_0101_6 - 1301880715770870753/546807138298271, c_0011_0 - 1, c_0011_2 - 690164963747560/54595181379*c_0101_6^18 + 8824391662626110/54595181379*c_0101_6^17 - 25461828450099743/54595181379*c_0101_6^16 + 1994143599518367/18198393793*c_0101_6^15 + 111800071743570116/54595181379*c_0101_6^14 - 285734155642366207/54595181379*c_0101_6^13 + 311690341967133781/54595181379*c_0101_6^12 - 45692034701355763/54595181379*c_0101_6^11 - 314009380309239460/54595181379*c_0101_6^10 + 416195096911729664/54595181379*c_0101_6^9 - 63889103138204141/18198393793*c_0101_6^8 - 70189591396291235/54595181379*c_0101_6^7 + 40729328521086488/18198393793*c_0101_6^6 - 45132164674344868/54595181379*c_0101_6^5 + 1118159127452596/54595181379*c_0101_6^4 - 1595557043009908/54595181379*c_0101_6^3 + 3942091357299431/54595181379*c_0101_6^2 - 1569812355297820/54595181379*c_0101_6 + 65171940841728/18198393793, c_0011_3 - 678445793928728/54595181379*c_0101_6^18 + 2889471622822814/18198393793*c_0101_6^17 - 24955074112404899/54595181379*c_0101_6^16 + 5703747031130116/54595181379*c_0101_6^15 + 109836311300262937/54595181379*c_0101_6^14 - 93309365887942079/18198393793*c_0101_6^13 + 304489991699173804/54595181379*c_0101_6^12 - 43425059508137656/54595181379*c_0101_6^11 - 102687766398786245/18198393793*c_0101_6^10 + 135573343587658612/18198393793*c_0101_6^9 - 186322864770955321/54595181379*c_0101_6^8 - 69274993404097060/54595181379*c_0101_6^7 + 119274644145592597/54595181379*c_0101_6^6 - 43836938089594388/54595181379*c_0101_6^5 + 1064505249297064/54595181379*c_0101_6^4 - 1587631925091544/54595181379*c_0101_6^3 + 1282370360299831/18198393793*c_0101_6^2 - 508888632769791/18198393793*c_0101_6 + 189830047428836/54595181379, c_0011_5 - 9940629069674004688/546807138298271*c_0101_6^18 + 380710103502086669467/1640421414894813*c_0101_6^17 - 1093056514123557017396/1640421414894813*c_0101_6^16 + 80526967228408161161/546807138298271*c_0101_6^15 + 4824484708346254731206/1640421414894813*c_0101_6^14 - 4085090522024849850197/546807138298271*c_0101_6^13 + 13285778854368547447511/1640421414894813*c_0101_6^12 - 610538466678204771024/546807138298271*c_0101_6^11 - 13510646140933516399883/1640421414894813*c_0101_6^10 + 17754736661535609125845/1640421414894813*c_0101_6^9 - 8081709231422463121903/1640421414894813*c_0101_6^8 - 3061108851233171795047/1640421414894813*c_0101_6^7 + 1733668940711648989345/546807138298271*c_0101_6^6 - 633114782426263594174/546807138298271*c_0101_6^5 + 44075959288622757880/1640421414894813*c_0101_6^4 - 70689075745633825900/1640421414894813*c_0101_6^3 + 167794991950672566449/1640421414894813*c_0101_6^2 - 66214330966538945576/1640421414894813*c_0101_6 + 2731621196644390190/546807138298271, c_0101_0 - 10794587483753022460/546807138298271*c_0101_6^18 + 413352622390388630909/1640421414894813*c_0101_6^17 - 1186206841638221162771/1640421414894813*c_0101_6^16 + 260651318884183707226/1640421414894813*c_0101_6^15 + 5237999692722219380696/1640421414894813*c_0101_6^14 - 13298525323042366383493/1640421414894813*c_0101_6^13 + 4803072982904772946864/546807138298271*c_0101_6^12 - 658844826777794518312/546807138298271*c_0101_6^11 - 14663353367758242597469/1640421414894813*c_0101_6^10 + 19257031795639646647666/1640421414894813*c_0101_6^9 - 8758308818660997776935/1640421414894813*c_0101_6^8 - 1108166252985701577508/546807138298271*c_0101_6^7 + 1879869832897318186563/546807138298271*c_0101_6^6 - 686163081490873836383/546807138298271*c_0101_6^5 + 47972970208473120035/1640421414894813*c_0101_6^4 - 25613808135592150963/546807138298271*c_0101_6^3 + 181916609884478396278/1640421414894813*c_0101_6^2 - 23927942943476073286/546807138298271*c_0101_6 + 2961626986208419893/546807138298271, c_0101_5 - 5491291668267889904/546807138298271*c_0101_6^18 + 210394185297161633092/1640421414894813*c_0101_6^17 - 201650678498662693516/546807138298271*c_0101_6^16 + 136993522539332626798/1640421414894813*c_0101_6^15 + 887932466886967790493/546807138298271*c_0101_6^14 - 6785049772883931154120/1640421414894813*c_0101_6^13 + 7379314476535878174517/1640421414894813*c_0101_6^12 - 352004939077844622982/546807138298271*c_0101_6^11 - 7458187690464150613274/1640421414894813*c_0101_6^10 + 3285105219896853037084/546807138298271*c_0101_6^9 - 1508083630159879674245/546807138298271*c_0101_6^8 - 1666912232676914787854/1640421414894813*c_0101_6^7 + 962535539364300378768/546807138298271*c_0101_6^6 - 355984020372652902996/546807138298271*c_0101_6^5 + 28765674716513599729/1640421414894813*c_0101_6^4 - 37961775536607881519/1640421414894813*c_0101_6^3 + 93065617267214167730/1640421414894813*c_0101_6^2 - 37222082689843989889/1640421414894813*c_0101_6 + 1554705634547196094/546807138298271, c_0101_6^19 - 93/7*c_0101_6^18 + 303/7*c_0101_6^17 - 190/7*c_0101_6^16 - 1103/7*c_0101_6^15 + 495*c_0101_6^14 - 659*c_0101_6^13 + 2050/7*c_0101_6^12 + 2948/7*c_0101_6^11 - 5815/7*c_0101_6^10 + 4062/7*c_0101_6^9 - 267/7*c_0101_6^8 - 1594/7*c_0101_6^7 + 1080/7*c_0101_6^6 - 242/7*c_0101_6^5 + 22/7*c_0101_6^4 - 48/7*c_0101_6^3 + 36/7*c_0101_6^2 - 10/7*c_0101_6 + 1/7 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB