Magma V2.19-8 Tue Aug 20 2013 16:17:26 on localhost [Seed = 105355980] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1672 geometric_solution 5.40316839 oriented_manifold CS_known -0.0000000000000003 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 -1 0 1 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.437495212620 0.207198676308 2 0 3 0 0132 2310 0132 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 0 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.695526792579 0.677006128819 1 4 5 5 0132 0132 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 -1 1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.236883839924 1.872080787589 6 6 4 1 0132 3201 3201 0132 0 0 0 0 0 0 0 0 -1 0 1 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 -1 0 1 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.236883839924 1.872080787589 3 2 4 4 2310 0132 2031 1302 0 0 0 0 0 0 -1 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 0 0 0 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 0.380980222666 0.483803142723 6 2 6 2 1302 2310 2031 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 -0.409025938909 0.837452413284 3 5 3 5 0132 2031 2310 1302 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 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.409025938909 0.837452413284 ==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' : negation(d['1']), 's_3_5' : negation(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' : 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' : 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' : d['c_0011_3'], 'c_1100_5' : negation(d['c_0011_5']), 'c_1100_4' : d['c_0101_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_1']), 'c_1100_2' : negation(d['c_0011_5']), 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : d['c_0011_3'], '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' : d['c_0011_5'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_3']), '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' : negation(d['c_0101_3']), 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : negation(d['c_0101_0']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0101_1']), '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_0101_0'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_0011_5'], 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : negation(d['c_0101_1']), '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 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0011_5, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 580866558292941544078267640133/1022547974535508447521846464320*c_01\ 01_3^22 + 16189066499718178817390154040447/511273987267754223760923\ 232160*c_0101_3^20 + 544528787178052062401625911986683/102254797453\ 5508447521846464320*c_0101_3^18 + 279700274960606014631279544410821\ /127818496816938555940230808040*c_0101_3^16 - 127127751105537589126414878216235/51127398726775422376092323216*c_0\ 101_3^14 + 4826815329277921232578683788318091/204509594907101689504\ 369292864*c_0101_3^12 - 15311135259273563568256820467150299/1022547\ 974535508447521846464320*c_0101_3^10 + 1202734381301125713824371280379761/1022547974535508447521846464320*\ c_0101_3^8 + 540539387341413445644887843896169/10225479745355084475\ 21846464320*c_0101_3^6 + 468676497915114386711022625126869/51127398\ 7267754223760923232160*c_0101_3^4 + 56014081119681107471231091696777/255636993633877111880461616080*c_0\ 101_3^2 + 4013373998549594639644488860615/2556369936338771118804616\ 1608, c_0011_0 - 1, c_0011_1 + 189734023968558390171458541/51127398726775422376092323216*c_\ 0101_3^22 - 1335379567383065151786256159/63909248408469277970115404\ 02*c_0101_3^20 - 171880805698538129821858381891/5112739872677542237\ 6092323216*c_0101_3^18 - 315725571916134405181817371953/25563699363\ 387711188046161608*c_0101_3^16 + 76729120262409224971989341307/3195\ 462420423463898505770201*c_0101_3^14 - 8411691305724440285650441225231/51127398726775422376092323216*c_010\ 1_3^12 + 9537541270017390329465401813713/51127398726775422376092323\ 216*c_0101_3^10 - 3902559254503342071759884678395/51127398726775422\ 376092323216*c_0101_3^8 + 599390261185436607541177682053/5112739872\ 6775422376092323216*c_0101_3^6 - 42271930475872270186216564709/1278\ 1849681693855594023080804*c_0101_3^4 - 29548753336128940001961761271/12781849681693855594023080804*c_0101_\ 3^2 + 2914295703145547625625762399/3195462420423463898505770201, c_0011_3 - 2078743376256546890395332151/255636993633877111880461616080*\ c_0101_3^22 + 58351636621042109223972375833/12781849681693855594023\ 0808040*c_0101_3^20 + 1902246451278453858903046573657/2556369936338\ 77111880461616080*c_0101_3^18 + 904082625747524810187563199551/3195\ 4624204234638985057702010*c_0101_3^16 - 3055186134927721095777786141067/63909248408469277970115404020*c_010\ 1_3^14 + 18073926765777205318140302616825/5112739872677542237609232\ 3216*c_0101_3^12 - 89640727217079408827083569321153/255636993633877\ 111880461616080*c_0101_3^10 + 29607871287350705447821167153171/2556\ 36993633877111880461616080*c_0101_3^8 - 636989033347329563732849168733/255636993633877111880461616080*c_010\ 1_3^6 + 446729902224228518893566188731/1278184968169385559402308080\ 40*c_0101_3^4 + 209537592364579797319126519817/63909248408469277970\ 115404020*c_0101_3^2 - 4559628508889638350126842731/319546242042346\ 38985057702010, c_0011_5 - 2078743376256546890395332151/255636993633877111880461616080*\ c_0101_3^22 + 58351636621042109223972375833/12781849681693855594023\ 0808040*c_0101_3^20 + 1902246451278453858903046573657/2556369936338\ 77111880461616080*c_0101_3^18 + 904082625747524810187563199551/3195\ 4624204234638985057702010*c_0101_3^16 - 3055186134927721095777786141067/63909248408469277970115404020*c_010\ 1_3^14 + 18073926765777205318140302616825/5112739872677542237609232\ 3216*c_0101_3^12 - 89640727217079408827083569321153/255636993633877\ 111880461616080*c_0101_3^10 + 29607871287350705447821167153171/2556\ 36993633877111880461616080*c_0101_3^8 - 636989033347329563732849168733/255636993633877111880461616080*c_010\ 1_3^6 + 446729902224228518893566188731/1278184968169385559402308080\ 40*c_0101_3^4 + 209537592364579797319126519817/63909248408469277970\ 115404020*c_0101_3^2 - 4559628508889638350126842731/319546242042346\ 38985057702010, c_0101_0 - 4354854986665509776768560877/127818496816938555940230808040*\ c_0101_3^23 + 488867849812424799255189999941/2556369936338771118804\ 61616080*c_0101_3^21 + 3987892110745223874626840511361/127818496816\ 938555940230808040*c_0101_3^19 + 6084613701866935326721024007469/51\ 127398726775422376092323216*c_0101_3^17 - 25240229378776128231353967125887/127818496816938555940230808040*c_0\ 101_3^15 + 37934190761891949785028625904931/25563699363387711188046\ 161608*c_0101_3^13 - 373345904126344184844805004728937/255636993633\ 877111880461616080*c_0101_3^11 + 27263779340694238721706695252695/5\ 1127398726775422376092323216*c_0101_3^9 - 18657938607893396293159594026961/255636993633877111880461616080*c_0\ 101_3^7 + 8591614338799051271998802391537/2556369936338771118804616\ 16080*c_0101_3^5 + 52742106859955716252832341594/319546242042346389\ 8505770201*c_0101_3^3 - 74292405099463400772034296761/6390924840846\ 9277970115404020*c_0101_3, c_0101_1 - 537777185644438996873636657/51127398726775422376092323216*c_\ 0101_3^22 + 7560177748604036652053873159/12781849681693855594023080\ 804*c_0101_3^20 + 489338863963260426989045115599/511273987267754223\ 76092323216*c_0101_3^18 + 913446838706602175857864836439/2556369936\ 3387711188046161608*c_0101_3^16 - 414942701698272388329983860761/63\ 90924840846927797011540402*c_0101_3^14 + 23716645410880958345733095477179/51127398726775422376092323216*c_01\ 01_3^12 - 25428389056062480948163536735809/511273987267754223760923\ 23216*c_0101_3^10 + 10424032102502352937808867237867/51127398726775\ 422376092323216*c_0101_3^8 - 1593094193371015184524973351621/511273\ 98726775422376092323216*c_0101_3^6 + 53388082242871125779300912347/6390924840846927797011540402*c_0101_3\ ^4 + 74636260912881970975600419315/12781849681693855594023080804*c_\ 0101_3^2 - 2482021421288465480479614478/319546242042346389850577020\ 1, c_0101_3^24 - 56*c_0101_3^22 - 923*c_0101_3^20 - 3610*c_0101_3^18 + 5364*c_0101_3^16 - 42739*c_0101_3^14 + 37093*c_0101_3^12 - 9171*c_0101_3^10 - 1075*c_0101_3^8 - 240*c_0101_3^6 - 600*c_0101_3^4 - 16*c_0101_3^2 + 16 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB