Magma V2.19-8 Tue Aug 20 2013 16:16:02 on localhost [Seed = 728414189] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0275 geometric_solution 4.32063838 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 2 0132 3201 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.238687949584 0.063009642354 0 1 0 1 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 -1.995925133652 0.259009076624 3 0 3 0 0132 2310 2310 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.636950477517 1.785146359171 2 2 4 5 0132 3201 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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.117869749569 0.680380051141 6 5 5 3 0132 3012 1230 0132 0 0 0 0 0 0 0 0 1 0 -1 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 0 0 1 -1 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.168880077824 0.888180268676 4 6 3 4 1230 0132 0132 3012 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 0 1 -1 0 0 1 -1 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.168880077824 0.888180268676 4 5 6 6 0132 0132 2031 1302 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.561710024345 0.600274096468 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_0' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : negation(d['1']), 's_3_4' : negation(d['1']), 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : negation(d['1']), 's_2_4' : negation(d['1']), 's_2_5' : negation(d['1']), 's_2_6' : 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_0101_0'], 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : d['c_0011_4'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_2']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : negation(d['c_0011_2']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_0']), 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0011_4'], 'c_0110_4' : d['c_0101_0'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0101_0']), 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(d['c_0101_2']), 'c_1010_3' : negation(d['c_0101_0']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_0']), 'c_1010_0' : negation(d['c_0101_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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t - 120671333529191486/224106084583592245*c_0101_4^15 + 269077019030351220/44821216916718449*c_0101_4^14 - 9646235385516683307/448212169167184490*c_0101_4^13 + 776656501120629427/44821216916718449*c_0101_4^12 + 45421671791393127009/448212169167184490*c_0101_4^11 - 98924064238379875651/448212169167184490*c_0101_4^10 - 138912928365555825518/224106084583592245*c_0101_4^9 + 1143100917124913552/2175787228966915*c_0101_4^8 + 706148609127735490661/448212169167184490*c_0101_4^7 - 253937784019725612549/448212169167184490*c_0101_4^6 - 807424860411841301581/448212169167184490*c_0101_4^5 + 82141811170849134819/224106084583592245*c_0101_4^4 + 41671890612172133430/44821216916718449*c_0101_4^3 - 2364789515386356557/10932004126028890*c_0101_4^2 - 88023981141304843093/448212169167184490*c_0101_4 + 21205964127077139451/448212169167184490, c_0011_0 - 1, c_0011_2 - 715441471722877/4372801650411556*c_0101_4^15 + 1339345152445705/2186400825205778*c_0101_4^14 + 3453677317432179/4372801650411556*c_0101_4^13 - 28831356487721057/4372801650411556*c_0101_4^12 + 15813870764700481/1093200412602889*c_0101_4^11 + 74150534266751182/1093200412602889*c_0101_4^10 - 13040948075948529/4372801650411556*c_0101_4^9 - 8529921631923471/42454384955452*c_0101_4^8 - 369872582297782195/4372801650411556*c_0101_4^7 + 286453765453410755/1093200412602889*c_0101_4^6 + 293337287086678557/2186400825205778*c_0101_4^5 - 735094605342605287/4372801650411556*c_0101_4^4 - 285270334460323243/4372801650411556*c_0101_4^3 + 255787478230917647/4372801650411556*c_0101_4^2 + 10385346087953404/1093200412602889*c_0101_4 - 8229873539516049/1093200412602889, c_0011_4 - 809085210594469/4372801650411556*c_0101_4^15 + 1121589405939261/1093200412602889*c_0101_4^14 - 5148426723951725/4372801650411556*c_0101_4^13 - 16853473999006991/4372801650411556*c_0101_4^12 + 44278417240794885/2186400825205778*c_0101_4^11 + 42596094968491650/1093200412602889*c_0101_4^10 - 209846462030166893/4372801650411556*c_0101_4^9 - 5144336271633137/42454384955452*c_0101_4^8 + 184795798234809127/4372801650411556*c_0101_4^7 + 345430068575457395/2186400825205778*c_0101_4^6 - 23370614957062943/2186400825205778*c_0101_4^5 - 412220838712896323/4372801650411556*c_0101_4^4 + 5068024910214431/4372801650411556*c_0101_4^3 + 114438780593747933/4372801650411556*c_0101_4^2 - 323066737467197/2186400825205778*c_0101_4 - 2633333915466156/1093200412602889, c_0101_0 - 1353807518585049/4372801650411556*c_0101_4^15 + 2030233950703750/1093200412602889*c_0101_4^14 - 12724345652062269/4372801650411556*c_0101_4^13 - 19523649431927871/4372801650411556*c_0101_4^12 + 75231159408820313/2186400825205778*c_0101_4^11 + 54306884464573682/1093200412602889*c_0101_4^10 - 404653741657531709/4372801650411556*c_0101_4^9 - 6535764393312757/42454384955452*c_0101_4^8 + 481919529961961303/4372801650411556*c_0101_4^7 + 430104527599478575/2186400825205778*c_0101_4^6 - 147784037065502437/2186400825205778*c_0101_4^5 - 495335400725201935/4372801650411556*c_0101_4^4 + 117595382621857035/4372801650411556*c_0101_4^3 + 128043594405028385/4372801650411556*c_0101_4^2 - 8732814249859353/2186400825205778*c_0101_4 - 2529092552778632/1093200412602889, c_0101_1 - 618327656153585/4372801650411556*c_0101_4^15 + 1881997963480283/2186400825205778*c_0101_4^14 - 5882317316638589/4372801650411556*c_0101_4^13 - 9898984227477093/4372801650411556*c_0101_4^12 + 17903873526693582/1093200412602889*c_0101_4^11 + 24371614082510994/1093200412602889*c_0101_4^10 - 222375201031623133/4372801650411556*c_0101_4^9 - 3269952860906947/42454384955452*c_0101_4^8 + 316053062190216197/4372801650411556*c_0101_4^7 + 127313067846769223/1093200412602889*c_0101_4^6 - 120380332917454089/2186400825205778*c_0101_4^5 - 369455485811732571/4372801650411556*c_0101_4^4 + 105192751996369297/4372801650411556*c_0101_4^3 + 122238345859580503/4372801650411556*c_0101_4^2 - 5280466401244672/1093200412602889*c_0101_4 - 2992207603906709/1093200412602889, c_0101_2 + 194364113352625/1093200412602889*c_0101_4^15 - 1024570656598553/1093200412602889*c_0101_4^14 + 1005533464613543/1093200412602889*c_0101_4^13 + 4008386140794098/1093200412602889*c_0101_4^12 - 19544600386252865/1093200412602889*c_0101_4^11 - 46071052934163828/1093200412602889*c_0101_4^10 + 32705447049667728/1093200412602889*c_0101_4^9 + 1270152624404760/10613596238863*c_0101_4^8 + 4491450628766253/1093200412602889*c_0101_4^7 - 149892991803315258/1093200412602889*c_0101_4^6 - 42824634218988809/1093200412602889*c_0101_4^5 + 74349559136959124/1093200412602889*c_0101_4^4 + 23325930335168585/1093200412602889*c_0101_4^3 - 17211810710153360/1093200412602889*c_0101_4^2 - 4689085674646434/1093200412602889*c_0101_4 + 1204169680124143/1093200412602889, c_0101_4^16 - 6*c_0101_4^15 + 9*c_0101_4^14 + 17*c_0101_4^13 - 116*c_0101_4^12 - 164*c_0101_4^11 + 345*c_0101_4^10 + 545*c_0101_4^9 - 489*c_0101_4^8 - 780*c_0101_4^7 + 402*c_0101_4^6 + 535*c_0101_4^5 - 225*c_0101_4^4 - 175*c_0101_4^3 + 72*c_0101_4^2 + 20*c_0101_4 - 8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB