Magma V2.19-8 Tue Aug 20 2013 16:17:19 on localhost [Seed = 1292685722] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1554 geometric_solution 5.34274219 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 4 0132 0132 0132 0132 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 -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.251979654557 0.519770565239 0 3 5 4 0132 0213 0132 0213 0 0 0 0 0 0 1 -1 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 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.244790236968 1.557807538449 6 0 5 6 0132 0132 2310 1023 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 -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.782130427190 0.591444419550 4 5 1 0 1302 3201 0213 0132 0 0 0 0 0 -1 0 1 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 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 -1.129099787065 0.774254766670 5 3 0 1 0132 2031 0132 0213 0 0 0 0 0 0 -1 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 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 1.244790236968 1.557807538449 4 2 3 1 0132 3201 2310 0132 0 0 0 0 0 1 0 -1 0 0 -1 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 0 0 0 0 0 1 -1 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.251979654557 0.519770565239 2 6 6 2 0132 3201 2310 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.271645405225 0.398566959776 ==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' : negation(d['1']), 's_3_4' : d['1'], 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : negation(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' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_0_6' : negation(d['1']), 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(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_0'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_1010_1'], 's_3_6' : negation(d['1']), 'c_1100_1' : d['c_0011_3'], 'c_1100_0' : d['c_1010_1'], 'c_1100_3' : d['c_1010_1'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_0']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0011_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' : negation(d['c_0011_0']), 'c_0011_4' : d['c_0011_0'], 'c_0011_6' : d['c_0011_0'], '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_0101_0']), 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_2'], 'c_1001_3' : d['c_0101_0'], 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_6'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_0']), 'c_0110_6' : d['c_0101_2'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_0'], 'c_1010_4' : d['c_0011_3'], 'c_1010_3' : d['c_0101_2'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : d['c_1010_1'], '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_3, c_0101_0, c_0101_1, c_0101_2, c_0101_6, c_1010_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 5073803952247473061549862557/158329488122863950000795536*c_1010_1^1\ 8 - 53266569285549802883844766795/474988464368591850002386608*c_101\ 0_1^17 + 79610265817394989883417309323/474988464368591850002386608*\ c_1010_1^16 - 5543629647642502470019816736/296867790230369906251491\ 63*c_1010_1^15 - 46637807361922809976429743355/79164744061431975000\ 397768*c_1010_1^14 + 73790842794141283285753387297/2374942321842959\ 25001193304*c_1010_1^13 - 427841425228851096746064149555/1187471160\ 92147962500596652*c_1010_1^12 - 77278519075563206160054996275/29686\ 779023036990625149163*c_1010_1^11 - 697317610527033559109820887731/118747116092147962500596652*c_1010_1\ ^10 - 477357454381312516731962375929/39582372030715987500198884*c_1\ 010_1^9 - 1067179401126977837844730553177/2374942321842959250011933\ 04*c_1010_1^8 - 311379802647169166749173799623/39582372030715987500\ 198884*c_1010_1^7 - 265341199830036845037863333655/1583294881228639\ 50000795536*c_1010_1^6 + 85341529938621916191262992276/989559300767\ 8996875049721*c_1010_1^5 - 126966189919142904820283959881/158329488\ 122863950000795536*c_1010_1^4 - 1152219945331400513645315391617/474\ 988464368591850002386608*c_1010_1^3 + 350931007251817941342220938403/474988464368591850002386608*c_1010_1\ ^2 + 71951120407188531936837863873/474988464368591850002386608*c_10\ 10_1 - 32257155729816904618486265867/474988464368591850002386608, c_0011_0 - 1, c_0011_3 + c_1010_1, c_0101_0 - 8722695922115084325660030/9895593007678996875049721*c_1010_1\ ^18 + 34150005447879023099894141/9895593007678996875049721*c_1010_1\ ^17 - 57378503887262933814770905/9895593007678996875049721*c_1010_1\ ^16 + 67363954250456587784882031/9895593007678996875049721*c_1010_1\ ^15 + 141467181100713530672569045/9895593007678996875049721*c_1010_\ 1^14 - 153196502551882423347274218/9895593007678996875049721*c_1010\ _1^13 + 995297057098376577608520419/9895593007678996875049721*c_101\ 0_1^12 + 293022698683064876399656830/9895593007678996875049721*c_10\ 10_1^11 + 1203004609946093549997527918/9895593007678996875049721*c_\ 1010_1^10 + 2450433023030882690047556121/9895593007678996875049721*\ c_1010_1^9 - 409387111350723732954985239/9895593007678996875049721*\ c_1010_1^8 + 1104362011900402721428857391/9895593007678996875049721\ *c_1010_1^7 - 941958688365683492087766689/9895593007678996875049721\ *c_1010_1^6 - 2994886638982393656635842129/989559300767899687504972\ 1*c_1010_1^5 + 855653890398153875909624613/989559300767899687504972\ 1*c_1010_1^4 + 676074543140561726464156338/989559300767899687504972\ 1*c_1010_1^3 - 319370245634839237527343010/989559300767899687504972\ 1*c_1010_1^2 - 9961133795885899281493804/9895593007678996875049721*\ c_1010_1 + 17645647930741749607787862/9895593007678996875049721, c_0101_1 + 219425811351271699085055/9895593007678996875049721*c_1010_1^\ 18 - 944564315887375558770381/9895593007678996875049721*c_1010_1^17 + 1918441150242822000275528/9895593007678996875049721*c_1010_1^16 - 2847515702262756210270693/9895593007678996875049721*c_1010_1^15 - 1705632055270899223382385/9895593007678996875049721*c_1010_1^14 + 3398876323334211348023481/9895593007678996875049721*c_1010_1^13 - 27494900692669564668167727/9895593007678996875049721*c_1010_1^12 + 4103877744705281112361231/9895593007678996875049721*c_1010_1^11 - 45131232890540872566164002/9895593007678996875049721*c_1010_1^10 - 47280850955218275986752310/9895593007678996875049721*c_1010_1^9 + 2022683461167064914888407/9895593007678996875049721*c_1010_1^8 - 61292333627470589065282459/9895593007678996875049721*c_1010_1^7 + 33646423981554890329007123/9895593007678996875049721*c_1010_1^6 + 22528651849123339525231505/9895593007678996875049721*c_1010_1^5 - 18358872332237984095157360/9895593007678996875049721*c_1010_1^4 + 666246222583335322355089/9895593007678996875049721*c_1010_1^3 + 1053973274293420080252819/9895593007678996875049721*c_1010_1^2 + 4724599459736624249100427/9895593007678996875049721*c_1010_1 - 14071057361874024503902450/9895593007678996875049721, c_0101_2 - 213144944716469895153531/9895593007678996875049721*c_1010_1^\ 18 + 894454030603554071211938/9895593007678996875049721*c_1010_1^17 - 1750386645506397714845418/9895593007678996875049721*c_1010_1^16 + 2536600297520353625595345/9895593007678996875049721*c_1010_1^15 + 1936037580992400020789781/9895593007678996875049721*c_1010_1^14 - 3065493695561315503364937/9895593007678996875049721*c_1010_1^13 + 26046458879832451020866731/9895593007678996875049721*c_1010_1^12 - 1538638368754895014599742/9895593007678996875049721*c_1010_1^11 + 42830015573037301770843610/9895593007678996875049721*c_1010_1^10 + 47516968347997397191856477/9895593007678996875049721*c_1010_1^9 + 293177425119667811256311/9895593007678996875049721*c_1010_1^8 + 56247282550735875334767788/9895593007678996875049721*c_1010_1^7 - 32547226800045856945117300/9895593007678996875049721*c_1010_1^6 - 20772556257101972785092965/9895593007678996875049721*c_1010_1^5 + 17488891759514165585542639/9895593007678996875049721*c_1010_1^4 - 1579136461921840308767841/9895593007678996875049721*c_1010_1^3 - 6780116164518365085906364/9895593007678996875049721*c_1010_1^2 - 23674082621084659113505431/9895593007678996875049721*c_1010_1 + 73141937117090566361685/9895593007678996875049721, c_0101_6 - 7889350183218582711292476/9895593007678996875049721*c_1010_1\ ^18 + 31115143802453793483026310/9895593007678996875049721*c_1010_1\ ^17 - 52536979186077512497322065/9895593007678996875049721*c_1010_1\ ^16 + 60557317541143669182975685/9895593007678996875049721*c_1010_1\ ^15 + 131085829009385902198106856/9895593007678996875049721*c_1010_\ 1^14 - 149836415053935347521317490/9895593007678996875049721*c_1010\ _1^13 + 908186899540283276778539292/9895593007678996875049721*c_101\ 0_1^12 + 254479103719450534047228144/9895593007678996875049721*c_10\ 10_1^11 + 1047492868130024716882955949/9895593007678996875049721*c_\ 1010_1^10 + 2280381272518514203980163687/9895593007678996875049721*\ c_1010_1^9 - 418144374483800830301580533/9895593007678996875049721*\ c_1010_1^8 + 1152987231599793621710152883/9895593007678996875049721\ *c_1010_1^7 - 564902386650363019907406881/9895593007678996875049721\ *c_1010_1^6 - 2527321024199239179288637947/989559300767899687504972\ 1*c_1010_1^5 + 1195414834671207379627657186/98955930076789968750497\ 21*c_1010_1^4 + 723614079139682253789528942/98955930076789968750497\ 21*c_1010_1^3 - 429789470213891159435362706/98955930076789968750497\ 21*c_1010_1^2 - 6470819260883347323796830/9895593007678996875049721\ *c_1010_1 + 27365706612316428224893927/9895593007678996875049721, c_1010_1^19 - 10/3*c_1010_1^18 + 14/3*c_1010_1^17 - 5*c_1010_1^16 - 58/3*c_1010_1^15 + 20/3*c_1010_1^14 - 334/3*c_1010_1^13 - 100*c_1010_1^12 - 596/3*c_1010_1^11 - 1232/3*c_1010_1^10 - 622/3*c_1010_1^9 - 842/3*c_1010_1^8 - 103*c_1010_1^7 + 251*c_1010_1^6 + 11*c_1010_1^5 - 230/3*c_1010_1^4 + 12*c_1010_1^3 + 22/3*c_1010_1^2 - 4/3*c_1010_1 - 1/3 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB