Magma V2.19-8 Tue Aug 20 2013 16:17:25 on localhost [Seed = 3263389192] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1643 geometric_solution 5.38563024 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 1230 3012 3201 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 0 1 0 -1 1 0 -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.282103760106 0.184029824084 0 0 2 2 0132 2310 2310 0132 0 0 0 0 0 -1 1 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 1 -1 0 -1 0 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 1.722379085098 1.512435228538 3 1 1 4 0132 3201 0132 0132 0 0 0 0 0 1 0 -1 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 -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.623563955163 0.375684124602 2 5 4 6 0132 0132 3201 0132 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 -1 0 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 0 0.341052024436 1.033631431931 3 6 2 5 2310 0132 0132 1023 0 0 0 0 0 -1 1 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 -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.341052024436 1.033631431931 5 3 5 4 2031 0132 1302 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.524111636146 0.392147731104 6 4 3 6 3201 0132 0132 2310 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 0 0 0 0 0 0 -0.287877964564 0.872476019533 ==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' : 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' : 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' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_5' : negation(d['c_0011_2']), 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0011_2']), 'c_0101_4' : 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_2'], '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' : d['c_0110_5'], 'c_1001_4' : d['c_0101_0'], 'c_1001_6' : d['c_0110_5'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : negation(d['c_0101_1']), '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_3'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : negation(d['c_0101_0']), 'c_1010_6' : d['c_0101_0'], 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : d['c_0110_5'], 'c_1010_3' : d['c_0110_5'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : 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_3, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t + 63973675242142106346286/860529042015536224159*c_0110_5^27 - 1854681715501737380535329/860529042015536224159*c_0110_5^25 + 25061682805250271121514905/860529042015536224159*c_0110_5^23 - 199383006930001567204168600/860529042015536224159*c_0110_5^21 + 1009919563474705843245687721/860529042015536224159*c_0110_5^19 - 3364253544012858687387408768/860529042015536224159*c_0110_5^17 + 7476382457272798548693228385/860529042015536224159*c_0110_5^15 - 11168533967398680657738522243/860529042015536224159*c_0110_5^13 + 11339660068873713414505906541/860529042015536224159*c_0110_5^11 - 8010368541901775752569441668/860529042015536224159*c_0110_5^9 + 4006135839830471051545579206/860529042015536224159*c_0110_5^7 - 1331148937641497983885171968/860529042015536224159*c_0110_5^5 + 238225260017642239384116725/860529042015536224159*c_0110_5^3 - 14164688070436975463218884/860529042015536224159*c_0110_5, c_0011_0 - 1, c_0011_2 + 94345363047719975489/9465819462170898465749*c_0110_5^26 - 2634985193560874434406/9465819462170898465749*c_0110_5^24 + 34312227173425799999167/9465819462170898465749*c_0110_5^22 - 261685925525243696820334/9465819462170898465749*c_0110_5^20 + 1262735075925771824997194/9465819462170898465749*c_0110_5^18 - 3992153775564765694527473/9465819462170898465749*c_0110_5^16 + 768561205320294132270784/860529042015536224159*c_0110_5^14 - 12230744620613598278381395/9465819462170898465749*c_0110_5^12 + 1120046706701555977561033/860529042015536224159*c_0110_5^10 - 795165587026696044169035/860529042015536224159*c_0110_5^8 + 4355884259756265805873347/9465819462170898465749*c_0110_5^6 - 1443766167728196333024863/9465819462170898465749*c_0110_5^4 + 239871090232790376149264/9465819462170898465749*c_0110_5^2 - 3640886085673525679843/9465819462170898465749, c_0011_4 + 25673601605819621383/9465819462170898465749*c_0110_5^27 - 667868834025141767807/9465819462170898465749*c_0110_5^25 + 8033523188114316959895/9465819462170898465749*c_0110_5^23 - 55104159051385317027881/9465819462170898465749*c_0110_5^21 + 228195269338195588208088/9465819462170898465749*c_0110_5^19 - 569118309401420382143262/9465819462170898465749*c_0110_5^17 + 72153855008301414902978/860529042015536224159*c_0110_5^15 - 367566252328139015910662/9465819462170898465749*c_0110_5^13 - 65984420153359082476482/860529042015536224159*c_0110_5^11 + 150104280593312070911566/860529042015536224159*c_0110_5^9 - 1649640761528744997843782/9465819462170898465749*c_0110_5^7 + 1012377968846189723505969/9465819462170898465749*c_0110_5^5 - 413108336368907039369827/9465819462170898465749*c_0110_5^3 + 79410901393374906162024/9465819462170898465749*c_0110_5, c_0101_0 - 247664550870007079582/9465819462170898465749*c_0110_5^27 + 7061920930659947090429/9465819462170898465749*c_0110_5^25 - 93617182982973782681449/9465819462170898465749*c_0110_5^23 + 726253362027089384541743/9465819462170898465749*c_0110_5^21 - 3551166575079621431781339/9465819462170898465749*c_0110_5^19 + 11241392999510465083492022/9465819462170898465749*c_0110_5^17 - 2106662695853613394011972/860529042015536224159*c_0110_5^15 + 30966041057519255384119494/9465819462170898465749*c_0110_5^13 - 2428401768050546442639306/860529042015536224159*c_0110_5^11 + 1363643962031840041945546/860529042015536224159*c_0110_5^9 - 5281313177189711004976420/9465819462170898465749*c_0110_5^7 + 613251714637769280846000/9465819462170898465749*c_0110_5^5 + 296570582691519671998972/9465819462170898465749*c_0110_5^3 - 74334190050979512160681/9465819462170898465749*c_0110_5, c_0101_1 + 41771642882470056638/9465819462170898465749*c_0110_5^26 - 1371646608490734594318/9465819462170898465749*c_0110_5^24 + 20700202359909715209695/9465819462170898465749*c_0110_5^22 - 184464277546809070609391/9465819462170898465749*c_0110_5^20 + 1051854082421315329141512/9465819462170898465749*c_0110_5^18 - 3950511676949553737376644/9465819462170898465749*c_0110_5^16 + 893923999922209406242462/860529042015536224159*c_0110_5^14 - 16173293331735665305271408/9465819462170898465749*c_0110_5^12 + 1598365466955035289327662/860529042015536224159*c_0110_5^10 - 1170810369243371921348088/860529042015536224159*c_0110_5^8 + 6550496423618588611515175/9465819462170898465749*c_0110_5^6 - 2162923753015342375550700/9465819462170898465749*c_0110_5^4 + 334713030115716091617117/9465819462170898465749*c_0110_5^2 - 8405368728452849837945/9465819462170898465749, c_0101_3 - 143411547576399297388/9465819462170898465749*c_0110_5^26 + 4298377747056547402245/9465819462170898465749*c_0110_5^24 - 59823825467436477177152/9465819462170898465749*c_0110_5^22 + 490460512694712620474426/9465819462170898465749*c_0110_5^20 - 2559095601255563013564163/9465819462170898465749*c_0110_5^18 + 8744281210743905316649750/9465819462170898465749*c_0110_5^16 - 1791454184290797994261588/860529042015536224159*c_0110_5^14 + 29242135211717337867222872/9465819462170898465749*c_0110_5^12 - 2606767294880479398718504/860529042015536224159*c_0110_5^10 + 1734190060747052325453750/860529042015536224159*c_0110_5^8 - 8834059351944993517780115/9465819462170898465749*c_0110_5^6 + 2536988345653034409035505/9465819462170898465749*c_0110_5^4 - 307763617520281342182280/9465819462170898465749*c_0110_5^2 + 3768596057807338293957/9465819462170898465749, c_0110_5^28 - 29*c_0110_5^26 + 392*c_0110_5^24 - 3120*c_0110_5^22 + 15813*c_0110_5^20 - 52721*c_0110_5^18 + 117303*c_0110_5^16 - 175531*c_0110_5^14 + 178637*c_0110_5^12 - 126566*c_0110_5^10 + 63535*c_0110_5^8 - 21241*c_0110_5^6 + 3856*c_0110_5^4 - 241*c_0110_5^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB