Magma V2.19-8 Tue Aug 20 2013 16:16:29 on localhost [Seed = 139039982] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0773 geometric_solution 4.71748146 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 3 0132 0132 0132 2031 0 0 0 0 0 0 0 0 0 0 -1 1 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 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.653747343551 1.247455659667 0 4 3 4 0132 0132 1302 2310 0 0 0 0 0 0 1 -1 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.698459906294 0.507719101254 5 0 3 5 0132 0132 3120 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 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.366825615184 0.762586406633 1 0 2 0 2031 1302 3120 0132 0 0 0 0 0 -1 1 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 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.670412373859 0.628906493681 1 1 6 6 3201 0132 0132 3201 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 0 0 0 0 0.450274510930 0.143294187844 2 2 5 5 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 0 0 0 0 0 0 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.910781186094 0.584617632241 6 4 6 4 2310 2310 3201 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.437518819895 0.223220726805 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : 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' : d['1'], 's_1_6' : 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' : d['1'], 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : negation(d['1']), 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_6']), 'c_1100_5' : d['c_0101_2'], 'c_1100_4' : negation(d['c_0011_6']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0101_2']), 'c_1100_3' : negation(d['c_0101_2']), 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0101_0']), 'c_0101_3' : d['c_0011_0'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_3']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_0'], 'c_0011_6' : d['c_0011_6'], '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' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_2']), 'c_1001_4' : negation(d['c_0110_4']), 'c_1001_6' : negation(d['c_0101_0']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_2'], 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : d['c_0011_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_3']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_5'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0110_4'], 'c_0110_6' : negation(d['c_0101_0']), 'c_1010_6' : negation(d['c_0110_4']), 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : d['c_0101_2'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : negation(d['c_0110_4']), 'c_1010_0' : d['c_0011_3']})} 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_3, c_0011_6, c_0101_0, c_0101_2, c_0101_5, c_0110_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 722753514072001942425/644936508821628744071*c_0110_4^17 - 2490360478199559253740/644936508821628744071*c_0110_4^16 + 7156226726752688989155/644936508821628744071*c_0110_4^15 + 41924543507498986264667/644936508821628744071*c_0110_4^14 + 36648591002701800097886/644936508821628744071*c_0110_4^13 - 98023295762549932171715/644936508821628744071*c_0110_4^12 - 205068471562487944612900/644936508821628744071*c_0110_4^11 - 24453430104850430327784/644936508821628744071*c_0110_4^10 + 274982958328399237767142/644936508821628744071*c_0110_4^9 + 259994926504125709091968/644936508821628744071*c_0110_4^8 - 68011105670973302809020/644936508821628744071*c_0110_4^7 - 223950248215429322706988/644936508821628744071*c_0110_4^6 - 73317857774405870963529/644936508821628744071*c_0110_4^5 + 39847101060413653142131/644936508821628744071*c_0110_4^4 + 27147499744929981885596/644936508821628744071*c_0110_4^3 - 13983186745842751389574/644936508821628744071*c_0110_4^2 + 1309242869679628318080/644936508821628744071*c_0110_4 + 19953226855921154781140/644936508821628744071, c_0011_0 - 1, c_0011_3 - 3026034095100573489/49610500678586826467*c_0110_4^17 - 10392489156525468741/49610500678586826467*c_0110_4^16 + 26507622798300418246/49610500678586826467*c_0110_4^15 + 159898479156268849195/49610500678586826467*c_0110_4^14 + 172836027259069215903/49610500678586826467*c_0110_4^13 - 197250410342204264406/49610500678586826467*c_0110_4^12 - 490951281697423971481/49610500678586826467*c_0110_4^11 - 142270972564333950105/49610500678586826467*c_0110_4^10 + 347781481258235133150/49610500678586826467*c_0110_4^9 + 224556997690600674372/49610500678586826467*c_0110_4^8 - 246346561113135533638/49610500678586826467*c_0110_4^7 - 146149323478627374847/49610500678586826467*c_0110_4^6 + 218509988182987926983/49610500678586826467*c_0110_4^5 + 178598007937432185172/49610500678586826467*c_0110_4^4 - 9413094196903800653/49610500678586826467*c_0110_4^3 - 61326595113482695547/49610500678586826467*c_0110_4^2 - 6410574051999699236/49610500678586826467*c_0110_4 + 32350974179865907298/49610500678586826467, c_0011_6 - 1314386871223748274/49610500678586826467*c_0110_4^17 - 5770074216105698970/49610500678586826467*c_0110_4^16 + 3553384242739218930/49610500678586826467*c_0110_4^15 + 70959546057349908440/49610500678586826467*c_0110_4^14 + 177977817450266848230/49610500678586826467*c_0110_4^13 + 147541912368797034698/49610500678586826467*c_0110_4^12 - 172531313515339684995/49610500678586826467*c_0110_4^11 - 538846508606232899127/49610500678586826467*c_0110_4^10 - 439153147168125110882/49610500678586826467*c_0110_4^9 + 103664715886830799923/49610500678586826467*c_0110_4^8 + 449979393256185602486/49610500678586826467*c_0110_4^7 + 306264976940904558164/49610500678586826467*c_0110_4^6 + 19226878928801981418/49610500678586826467*c_0110_4^5 - 54803605623412402988/49610500678586826467*c_0110_4^4 + 10289545137230877026/49610500678586826467*c_0110_4^3 + 17982975834082348156/49610500678586826467*c_0110_4^2 - 10013503151542121548/49610500678586826467*c_0110_4 - 36497686266484341348/49610500678586826467, c_0101_0 + 605732365662039411/49610500678586826467*c_0110_4^17 + 5370734809493301459/49610500678586826467*c_0110_4^16 + 8818345058292755459/49610500678586826467*c_0110_4^15 - 51002079937824879756/49610500678586826467*c_0110_4^14 - 232244349980799177201/49610500678586826467*c_0110_4^13 - 302810003765534493526/49610500678586826467*c_0110_4^12 + 126155971245699081513/49610500678586826467*c_0110_4^11 + 769331339630075018566/49610500678586826467*c_0110_4^10 + 755934134189366357101/49610500678586826467*c_0110_4^9 - 62568095119904361722/49610500678586826467*c_0110_4^8 - 735111435615898715045/49610500678586826467*c_0110_4^7 - 491341768546609605465/49610500678586826467*c_0110_4^6 + 22319690734058976346/49610500678586826467*c_0110_4^5 + 109621975230784497078/49610500678586826467*c_0110_4^4 - 14076257933532125316/49610500678586826467*c_0110_4^3 - 49935697755428588654/49610500678586826467*c_0110_4^2 + 81644187659637606341/49610500678586826467*c_0110_4 + 26076875915546116731/49610500678586826467, c_0101_2 + 2646485552842374201/49610500678586826467*c_0110_4^17 + 11643313799799704388/49610500678586826467*c_0110_4^16 - 11900714366425624081/49610500678586826467*c_0110_4^15 - 155982932935062019935/49610500678586826467*c_0110_4^14 - 320436213538587368740/49610500678586826467*c_0110_4^13 - 99259892784886239108/49610500678586826467*c_0110_4^12 + 603905891722626238948/49610500678586826467*c_0110_4^11 + 1040682089390184992067/49610500678586826467*c_0110_4^10 + 427620287404498362368/49610500678586826467*c_0110_4^9 - 697081279402557934517/49610500678586826467*c_0110_4^8 - 1043609066486341068034/49610500678586826467*c_0110_4^7 - 502390992078887669268/49610500678586826467*c_0110_4^6 + 144523735657905466153/49610500678586826467*c_0110_4^5 + 242366901500511813905/49610500678586826467*c_0110_4^4 + 154223127906135300865/49610500678586826467*c_0110_4^3 + 51165010954758764938/49610500678586826467*c_0110_4^2 + 42123808358071549104/49610500678586826467*c_0110_4 + 31515479176591076567/49610500678586826467, c_0101_5 + 12652121772519250470/49610500678586826467*c_0110_4^17 + 30137950444454369934/49610500678586826467*c_0110_4^16 - 150058377438112091860/49610500678586826467*c_0110_4^15 - 551289928295673754457/49610500678586826467*c_0110_4^14 - 125091396251258114504/49610500678586826467*c_0110_4^13 + 1477498660944798603943/49610500678586826467*c_0110_4^12 + 1678104623511577015829/49610500678586826467*c_0110_4^11 - 756341661638039857109/49610500678586826467*c_0110_4^10 - 2649613484174030880920/49610500678586826467*c_0110_4^9 - 1154219984192115011577/49610500678586826467*c_0110_4^8 + 1528503646907778123715/49610500678586826467*c_0110_4^7 + 1101932910712134294164/49610500678586826467*c_0110_4^6 - 100586885793377966415/49610500678586826467*c_0110_4^5 - 450882108140791395433/49610500678586826467*c_0110_4^4 - 8915827643179713800/49610500678586826467*c_0110_4^3 + 166399577321474286916/49610500678586826467*c_0110_4^2 - 172362303972136059365/49610500678586826467*c_0110_4 + 24870146061983752459/49610500678586826467, c_0110_4^18 + 3*c_0110_4^17 - 32/3*c_0110_4^16 - 155/3*c_0110_4^15 - 101/3*c_0110_4^14 + 124*c_0110_4^13 + 211*c_0110_4^12 - 10*c_0110_4^11 - 293*c_0110_4^10 - 658/3*c_0110_4^9 + 347/3*c_0110_4^8 + 197*c_0110_4^7 + 29*c_0110_4^6 - 158/3*c_0110_4^5 - 15*c_0110_4^4 + 71/3*c_0110_4^3 - 25/3*c_0110_4^2 - 14*c_0110_4 + 13/3 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB