Magma V2.19-8 Tue Aug 20 2013 16:14:43 on localhost [Seed = 3600239306] 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' : 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_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' : negation(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' : 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: 26 Groebner basis: [ t - 1336061729436963220925248/222064424243001684680685*c_0101_3^24 + 18084983497295995156500684/74021474747667228226895*c_0101_3^22 - 392210190240134332105643252/222064424243001684680685*c_0101_3^20 + 2815395324754401601533410104/222064424243001684680685*c_0101_3^18 - 13949606593597081063341961244/222064424243001684680685*c_0101_3^16 + 12639234078776042621105448741/74021474747667228226895*c_0101_3^14 - 56393690837865359504185329899/222064424243001684680685*c_0101_3^12 + 45095534461846099569570303724/222064424243001684680685*c_0101_3^10 - 17632262450881570818626902291/222064424243001684680685*c_0101_3^8 + 2741198426373707226230942677/222064424243001684680685*c_0101_3^6 - 242084638351905828969039644/222064424243001684680685*c_0101_3^4 - 7990490361785911579565988/74021474747667228226895*c_0101_3^2 + 16354409887493044069472363/222064424243001684680685, c_0011_0 - 1, c_0011_1 - 2212078753759239138850/14804294949533445645379*c_0101_3^24 + 89969411080285627863648/14804294949533445645379*c_0101_3^22 - 655430931882013747703773/14804294949533445645379*c_0101_3^20 + 4715662541097604409549002/14804294949533445645379*c_0101_3^18 - 23467906992995372368954038/14804294949533445645379*c_0101_3^16 + 64821856370008893900692802/14804294949533445645379*c_0101_3^14 - 99849569089395524246011528/14804294949533445645379*c_0101_3^12 + 85795319675171809745126226/14804294949533445645379*c_0101_3^10 - 39486338089277832883989377/14804294949533445645379*c_0101_3^8 + 9564667522306300743161844/14804294949533445645379*c_0101_3^6 - 1727111463297422199328944/14804294949533445645379*c_0101_3^4 + 198896414271672521398054/14804294949533445645379*c_0101_3^2 - 8836412106579368870669/14804294949533445645379, c_0011_3 + 11490822804211197269706/14804294949533445645379*c_0101_3^25 - 469828176098450433145954/14804294949533445645379*c_0101_3^23 + 3502226590337734939730845/14804294949533445645379*c_0101_3^21 - 25107691967950719181111617/14804294949533445645379*c_0101_3^19 + 126463913400179631085590364/14804294949533445645379*c_0101_3^17 - 357560482429927595679059429/14804294949533445645379*c_0101_3^15 + 567360152048005843794352551/14804294949533445645379*c_0101_3^13 - 506888942286835612323822424/14804294949533445645379*c_0101_3^11 + 247984049148182953023933279/14804294949533445645379*c_0101_3^9 - 66687538692907779366715053/14804294949533445645379*c_0101_3^7 + 13139909231046739387087185/14804294949533445645379*c_0101_3^5 - 1856489596700482403914730/14804294949533445645379*c_0101_3^3 + 97157422975333589373381/14804294949533445645379*c_0101_3, c_0101_0 - 1479578029688510034464/14804294949533445645379*c_0101_3^24 + 60930783242317021222056/14804294949533445645379*c_0101_3^22 - 467471155482715027609292/14804294949533445645379*c_0101_3^20 + 3316278441127511034910584/14804294949533445645379*c_0101_3^18 - 16945453371763116735958646/14804294949533445645379*c_0101_3^16 + 48634852592668886549046180/14804294949533445645379*c_0101_3^14 - 76992786878660629297673932/14804294949533445645379*c_0101_3^12 + 66359036016098771653225179/14804294949533445645379*c_0101_3^10 - 29062831460721950889490140/14804294949533445645379*c_0101_3^8 + 5749836874030476368263222/14804294949533445645379*c_0101_3^6 - 735061046997423534308931/14804294949533445645379*c_0101_3^4 + 80401706537889871973870/14804294949533445645379*c_0101_3^2 + 10482236188405557840582/14804294949533445645379, c_0101_1 - 3507637627967894050842/14804294949533445645379*c_0101_3^24 + 144152478645916243106810/14804294949533445645379*c_0101_3^22 - 1097583469094891695783447/14804294949533445645379*c_0101_3^20 + 7828012492605539335798347/14804294949533445645379*c_0101_3^18 - 39841780257708558240667261/14804294949533445645379*c_0101_3^16 + 114490161851133815496378186/14804294949533445645379*c_0101_3^14 - 183721063401263880353679123/14804294949533445645379*c_0101_3^12 + 163696750665820516888689960/14804294949533445645379*c_0101_3^10 - 77457213497125638249756572/14804294949533445645379*c_0101_3^8 + 19015715924338775188316655/14804294949533445645379*c_0101_3^6 - 3467249404315044540832192/14804294949533445645379*c_0101_3^4 + 408677734864719009931062/14804294949533445645379*c_0101_3^2 + 222471440848478139857/14804294949533445645379, c_0101_3^26 - 41*c_0101_3^24 + 619/2*c_0101_3^22 - 4447/2*c_0101_3^20 + 22553/2*c_0101_3^18 - 32542*c_0101_3^16 + 107395/2*c_0101_3^14 - 102823/2*c_0101_3^12 + 56721/2*c_0101_3^10 - 9108*c_0101_3^8 + 1966*c_0101_3^6 - 313*c_0101_3^4 + 28*c_0101_3^2 - 1/2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB