Magma V2.19-8 Tue Aug 20 2013 16:17:07 on localhost [Seed = 610646263] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1363 geometric_solution 5.22597071 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 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.609025473187 0.098296811550 2 0 2 0 0132 2310 1023 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.790694400311 0.159988664095 1 3 1 4 0132 0132 1023 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 -1 1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.769546989222 0.614396429340 5 2 6 6 0132 0132 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 -1 1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.143803578871 1.611982917231 6 6 2 5 1023 2310 0132 3201 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 -1 0 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.143803578871 1.611982917231 3 4 5 5 0132 2310 1230 3012 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 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.154384581346 0.968486148043 3 4 3 4 2310 1023 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.054904289147 0.615456005222 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(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' : negation(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' : 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' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0101_3'], 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : d['c_0101_5'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], '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' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : negation(d['c_0101_5']), 'c_1001_6' : d['c_0101_1'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_5']), 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : negation(d['c_0101_3']), 'c_1010_6' : d['c_0101_5'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0101_5']), '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 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0101_0, c_0101_1, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 1331146107712502991816401446529240909/41530212575465780715185655138\ 288915072*c_0101_5^20 + 42603988515880484234240276665805718797/4153\ 0212575465780715185655138288915072*c_0101_5^18 + 1762175879152114043053605470860228405519/41530212575465780715185655\ 138288915072*c_0101_5^16 + 2817156114463164241232842504657541449066\ 7/41530212575465780715185655138288915072*c_0101_5^14 + 235028650599777035766004878021418328803975/415302125754657807151856\ 55138288915072*c_0101_5^12 + 10348099084341514222129391123469419881\ 92875/41530212575465780715185655138288915072*c_0101_5^10 + 2742704842748469336610285468317832117697/50894868352286495974492224\ 434177592*c_0101_5^8 + 586452978691916694837082209523680350678827/1\ 3843404191821926905061885046096305024*c_0101_5^6 - 87048620987661159178179206225996380365569/1038255314386644517879641\ 3784572228768*c_0101_5^4 + 476546112139085897415507390665745042871/\ 10382553143866445178796413784572228768*c_0101_5^2 - 2541053600459748166190530132111704101237/41530212575465780715185655\ 138288915072, c_0011_0 - 1, c_0011_1 + 702829718906619327257221873/5283821382492228345818124895296*\ c_0101_5^20 - 22417171213222814681412489445/52838213824922283458181\ 24895296*c_0101_5^18 - 932859016789712929153681732739/5283821382492\ 228345818124895296*c_0101_5^16 - 14977376277100394286622556126611/5\ 283821382492228345818124895296*c_0101_5^14 - 125749056703754579535698933918267/5283821382492228345818124895296*c\ _0101_5^12 - 560263106577299750245924114095619/52838213824922283458\ 18124895296*c_0101_5^10 - 51783978267206445797574006357313/22015922\ 4270509514409088537304*c_0101_5^8 - 352754006957535460137898945714559/1761273794164076115272708298432*c\ _0101_5^6 + 6003031700600382559926447865843/33023883640576427161363\ 2805956*c_0101_5^4 + 5632173531041735743415060812301/66047767281152\ 8543227265611912*c_0101_5^2 + 1185165099600304387663762028197/52838\ 21382492228345818124895296, c_0011_4 + 397227820114340209859301919/1320955345623057086454531223824*\ c_0101_5^20 - 12707858257865181636539441587/13209553456230570864545\ 31223824*c_0101_5^18 - 525872232521994289877576507849/1320955345623\ 057086454531223824*c_0101_5^16 - 8419977181499082246259731927433/13\ 20955345623057086454531223824*c_0101_5^14 - 70435903607554876391162866963037/1320955345623057086454531223824*c_\ 0101_5^12 - 312279519816460744119759628194037/132095534562305708645\ 4531223824*c_0101_5^10 - 57365866904987761465511687658821/110079612\ 135254757204544268652*c_0101_5^8 - 193846797768613428111987352631813/440318448541019028818177074608*c_\ 0101_5^6 + 11892108607475149993996015011373/33023883640576427161363\ 2805956*c_0101_5^4 + 376809600203724527429388281512/825597091014410\ 67903408201489*c_0101_5^2 + 365135674227764662127143747375/13209553\ 45623057086454531223824, c_0101_0 - 1110597940766180181620493667/1320955345623057086454531223824\ *c_0101_5^21 + 17604728697407623644069669431/6604776728115285432272\ 65611912*c_0101_5^19 + 1480902097341986338629299541503/132095534562\ 3057086454531223824*c_0101_5^17 + 11975297534495681593739822641259/\ 660477672811528543227265611912*c_0101_5^15 + 203263492558119094141035244638647/1320955345623057086454531223824*c\ _0101_5^13 + 461813910589101082755140005066535/66047767281152854322\ 7265611912*c_0101_5^11 + 355862638898505375957432764227825/22015922\ 4270509514409088537304*c_0101_5^9 + 685360868905229399603853295992731/440318448541019028818177074608*c_\ 0101_5^7 + 189766900361989119268720495332083/1320955345623057086454\ 531223824*c_0101_5^5 - 69919230544578520828526575271275/13209553456\ 23057086454531223824*c_0101_5^3 - 1384978713096104937547857458569/3\ 30238836405764271613632805956*c_0101_5, c_0101_1 - 131434348255926866156275547/2641910691246114172909062447648*\ c_0101_5^20 + 4212117136102172118900432941/264191069124611417290906\ 2447648*c_0101_5^18 + 173740463638742165592795428725/26419106912461\ 14172909062447648*c_0101_5^16 + 2777205601770292872001713477131/264\ 1910691246114172909062447648*c_0101_5^14 + 23175745937720603967504544298197/2641910691246114172909062447648*c_\ 0101_5^12 + 102357698264018988332285581221683/264191069124611417290\ 9062447648*c_0101_5^10 + 18661244616909456505659125310637/220159224\ 270509514409088537304*c_0101_5^8 + 61568467695523881918088061443513/880636897082038057636354149216*c_0\ 101_5^6 - 10094051286853547477505575674261/132095534562305708645453\ 1223824*c_0101_5^4 + 1607929875785625775442259391805/13209553456230\ 57086454531223824*c_0101_5^2 + 1609426378795346145878820031087/2641\ 910691246114172909062447648, c_0101_3 + 190663071202937261982047047/1761273794164076115272708298432*\ c_0101_5^20 - 2003830583727761139872916821/587091264721358705090902\ 766144*c_0101_5^18 - 255445261796693458869367630061/176127379416407\ 6115272708298432*c_0101_5^16 - 1383355763071093993174061971587/5870\ 91264721358705090902766144*c_0101_5^14 - 35426284540505446678071032391557/1761273794164076115272708298432*c_\ 0101_5^12 - 54033309900170049872551958702691/5870912647213587050909\ 02766144*c_0101_5^10 - 7864245293707879007749041106185/366932040450\ 84919068181422884*c_0101_5^8 - 122280862748544107924336169410033/58\ 7091264721358705090902766144*c_0101_5^6 - 9486126586250249244168076057535/440318448541019028818177074608*c_01\ 01_5^4 + 1646350088186037494475922437893/44031844854101902881817707\ 4608*c_0101_5^2 + 388402720470329707166060868813/587091264721358705\ 090902766144, c_0101_5^22 - 32*c_0101_5^20 - 1324*c_0101_5^18 - 21170*c_0101_5^16 - 176650*c_0101_5^14 - 777914*c_0101_5^12 - 1681895*c_0101_5^10 - 1314693*c_0101_5^8 + 289759*c_0101_5^6 + 28728*c_0101_5^4 - 2595*c_0101_5^2 - 391 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB