Magma V2.19-8 Tue Aug 20 2013 16:14:07 on localhost [Seed = 425231648] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s059 geometric_solution 3.59784330 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 1 1230 3012 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 1.436592491139 0.080406503706 0 2 2 0 3201 0132 1023 0132 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 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 1.216701555866 0.104705623934 3 1 1 3 0132 0132 1023 1023 0 0 0 0 0 1 0 -1 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 -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 1.360904323792 0.494694105204 2 4 5 2 0132 0132 0132 1023 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 0 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.203244623781 0.430360569247 5 3 5 5 2310 0132 2103 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 0 0 0 1 0 -1 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.021038090556 0.990331726378 4 4 4 3 2103 2310 3201 0132 0 0 0 0 0 1 0 -1 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 1 0 -1 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.021038090556 0.990331726378 ==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_1'], 'c_1100_4' : negation(d['c_0011_5']), 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_5' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0011_5'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_1']), '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_4']), 'c_1001_4' : d['c_0011_5'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0011_5'], 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : negation(d['c_0101_4']), 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0011_5'], 'c_1010_2' : d['c_0101_2'], '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_5, c_0101_0, c_0101_2, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 3103661402814119766/112054210252530437*c_0101_4^16 + 15894676869210441758/112054210252530437*c_0101_4^15 - 64541985824926870496/112054210252530437*c_0101_4^14 + 53910189480517222739/112054210252530437*c_0101_4^13 + 200166461923643485531/112054210252530437*c_0101_4^12 - 619825751613201532092/112054210252530437*c_0101_4^11 + 255007044245549474967/112054210252530437*c_0101_4^10 + 633725716159863894031/112054210252530437*c_0101_4^9 - 388529316224755620632/112054210252530437*c_0101_4^8 - 252366130978010345492/112054210252530437*c_0101_4^7 - 268098159137039134100/112054210252530437*c_0101_4^6 + 1009786197705778306943/112054210252530437*c_0101_4^5 - 694525573266679520245/112054210252530437*c_0101_4^4 + 102029869033957533965/112054210252530437*c_0101_4^3 + 47622611062057712669/112054210252530437*c_0101_4^2 - 31550121551414755511/112054210252530437*c_0101_4 + 7902919788112805765/112054210252530437, c_0011_0 - 1, c_0011_1 - 3883426556415932/112054210252530437*c_0101_4^16 + 56041614022513098/112054210252530437*c_0101_4^15 - 252062313773921868/112054210252530437*c_0101_4^14 + 753075020487122255/112054210252530437*c_0101_4^13 - 111011625626307469/112054210252530437*c_0101_4^12 - 3261986373239749772/112054210252530437*c_0101_4^11 + 6612236798500941006/112054210252530437*c_0101_4^10 + 267282263104386783/112054210252530437*c_0101_4^9 - 8255718247935384222/112054210252530437*c_0101_4^8 + 1411655094129258051/112054210252530437*c_0101_4^7 + 3434663025713094718/112054210252530437*c_0101_4^6 + 5536167720775329512/112054210252530437*c_0101_4^5 - 11134455479718141793/112054210252530437*c_0101_4^4 + 4387843848033963886/112054210252530437*c_0101_4^3 + 831273728398676077/112054210252530437*c_0101_4^2 - 672252728395110010/112054210252530437*c_0101_4 + 150983997896640886/112054210252530437, c_0011_5 + 107339691778052857/112054210252530437*c_0101_4^16 - 558478224134487219/112054210252530437*c_0101_4^15 + 2277312395803479686/112054210252530437*c_0101_4^14 - 2042550715264761949/112054210252530437*c_0101_4^13 - 6786955666756663350/112054210252530437*c_0101_4^12 + 22083778709630059564/112054210252530437*c_0101_4^11 - 10571436008991969589/112054210252530437*c_0101_4^10 - 21527735537771389356/112054210252530437*c_0101_4^9 + 15874558840421793626/112054210252530437*c_0101_4^8 + 8060581629056298484/112054210252530437*c_0101_4^7 + 7646773380271782195/112054210252530437*c_0101_4^6 - 36116537509897194592/112054210252530437*c_0101_4^5 + 27217279301641510394/112054210252530437*c_0101_4^4 - 4709627449611443546/112054210252530437*c_0101_4^3 - 2177679401407785595/112054210252530437*c_0101_4^2 + 1119628468165153735/112054210252530437*c_0101_4 - 187355075156717370/112054210252530437, c_0101_0 + 246610203411757128/112054210252530437*c_0101_4^16 - 1348822965975899941/112054210252530437*c_0101_4^15 + 5532476279247751130/112054210252530437*c_0101_4^14 - 5900791938368711018/112054210252530437*c_0101_4^13 - 15093951247845966842/112054210252530437*c_0101_4^12 + 55160872061939587950/112054210252530437*c_0101_4^11 - 35056241738426813683/112054210252530437*c_0101_4^10 - 49524587707761553431/112054210252530437*c_0101_4^9 + 49287098783144488818/112054210252530437*c_0101_4^8 + 16267422651029913548/112054210252530437*c_0101_4^7 + 11930279802232683059/112054210252530437*c_0101_4^6 - 90624491750262979397/112054210252530437*c_0101_4^5 + 79493315810416581833/112054210252530437*c_0101_4^4 - 17400258404249007906/112054210252530437*c_0101_4^3 - 6130845594312131727/112054210252530437*c_0101_4^2 + 3686271702403084567/112054210252530437*c_0101_4 - 677719290147476700/112054210252530437, c_0101_2 + 455981839052212386/112054210252530437*c_0101_4^16 - 2416633790796612975/112054210252530437*c_0101_4^15 + 9875298185043016036/112054210252530437*c_0101_4^14 - 9486408044868439930/112054210252530437*c_0101_4^13 - 28506583995622001417/112054210252530437*c_0101_4^12 + 96781836849269321465/112054210252530437*c_0101_4^11 - 52102608480394359350/112054210252530437*c_0101_4^10 - 91517362628565466728/112054210252530437*c_0101_4^9 + 75958465805519995626/112054210252530437*c_0101_4^8 + 32689643283072766289/112054210252530437*c_0101_4^7 + 29131717353773092828/112054210252530437*c_0101_4^6 - 158262966415291894445/112054210252530437*c_0101_4^5 + 126849170936841253339/112054210252530437*c_0101_4^4 - 24366698327902230668/112054210252530437*c_0101_4^3 - 9988518819071975168/112054210252530437*c_0101_4^2 + 5654963829100577012/112054210252530437*c_0101_4 - 1084182475050815781/112054210252530437, c_0101_4^17 - 5*c_0101_4^16 + 20*c_0101_4^15 - 14*c_0101_4^14 - 70*c_0101_4^13 + 194*c_0101_4^12 - 46*c_0101_4^11 - 246*c_0101_4^10 + 106*c_0101_4^9 + 135*c_0101_4^8 + 84*c_0101_4^7 - 334*c_0101_4^6 + 165*c_0101_4^5 + 47*c_0101_4^4 - 44*c_0101_4^3 + 5*c_0101_4^2 + 2*c_0101_4 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB