Magma V2.19-8 Tue Aug 20 2013 16:16:00 on localhost [Seed = 256807880] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0243 geometric_solution 4.26370667 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 1302 1023 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.556604117839 0.038445668484 0 2 0 2 0132 0132 1023 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 -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.394186315820 0.194664556793 3 1 4 1 0132 0132 0132 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 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.445565143818 4.674339900470 2 4 4 5 0132 3201 0213 0132 0 0 0 0 0 0 1 -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 0 0 0 0 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.265359444303 0.514875709842 5 3 3 2 0132 0213 2310 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 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.265359444303 0.514875709842 4 6 3 6 0132 0132 0132 1023 0 0 0 0 0 0 1 -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 1 -1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.193221225685 0.471538415519 6 5 6 5 2031 0132 1302 1023 0 0 0 0 0 0 0 0 0 0 -1 1 1 -1 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 -1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.606377555312 0.257173458731 ==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' : negation(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' : negation(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' : d['c_0011_4'], 'c_1100_4' : negation(d['c_0011_0']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : negation(d['c_0011_4']), 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0011_4'], '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_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : 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_0']), 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : d['c_0101_4'], 'c_1001_4' : negation(d['c_0101_4']), 'c_1001_6' : d['c_0110_6'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : d['c_0011_4'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0011_4'], 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0101_4'], 'c_1010_5' : d['c_0110_6'], 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : d['c_0101_4'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : d['c_0011_4'], 'c_1010_0' : d['c_0011_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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_4, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t - 652396243624767127/59448477177981075*c_0110_6^13 + 855248951248227281/19816159059327025*c_0110_6^12 + 4129503896574162617/59448477177981075*c_0110_6^11 - 31838092303122108103/59448477177981075*c_0110_6^10 - 3783586290279218369/59448477177981075*c_0110_6^9 + 43180841582924384159/19816159059327025*c_0110_6^8 + 92706839761861871404/59448477177981075*c_0110_6^7 - 47970680103729160733/11889695435596215*c_0110_6^6 - 56264602432094873016/19816159059327025*c_0110_6^5 + 34553496976872719653/11889695435596215*c_0110_6^4 + 26681761650009996986/59448477177981075*c_0110_6^3 + 9345954506111028219/19816159059327025*c_0110_6^2 - 58651937319943971334/59448477177981075*c_0110_6 + 16734085199598343549/59448477177981075, c_0011_0 - 1, c_0011_4 - 1717290615172866/3963231811865405*c_0110_6^13 + 6311996546836187/3963231811865405*c_0110_6^12 + 2474748887834629/792646362373081*c_0110_6^11 - 80196857485095784/3963231811865405*c_0110_6^10 - 5936452019013785/792646362373081*c_0110_6^9 + 327902308951237451/3963231811865405*c_0110_6^8 + 325646814831369669/3963231811865405*c_0110_6^7 - 525359778728080497/3963231811865405*c_0110_6^6 - 553508751140296233/3963231811865405*c_0110_6^5 + 279399284491462959/3963231811865405*c_0110_6^4 + 99547506976455521/3963231811865405*c_0110_6^3 + 112199898764817528/3963231811865405*c_0110_6^2 - 115905777472594876/3963231811865405*c_0110_6 + 4924599780838759/792646362373081, c_0101_0 + 960765404696863/3963231811865405*c_0110_6^13 - 3300182997100856/3963231811865405*c_0110_6^12 - 1519998939597996/792646362373081*c_0110_6^11 + 42676846022510772/3963231811865405*c_0110_6^10 + 5160088444487863/792646362373081*c_0110_6^9 - 172302531299456013/3963231811865405*c_0110_6^8 - 218675374609744322/3963231811865405*c_0110_6^7 + 220698701750126976/3963231811865405*c_0110_6^6 + 328970251370434924/3963231811865405*c_0110_6^5 - 56570297660965482/3963231811865405*c_0110_6^4 - 16626641200763638/3963231811865405*c_0110_6^3 - 63935318185671224/3963231811865405*c_0110_6^2 + 41292305547313198/3963231811865405*c_0110_6 - 2056767462379276/792646362373081, c_0101_1 + 1782590204086998/3963231811865405*c_0110_6^13 - 6375653312724036/3963231811865405*c_0110_6^12 - 2671407240338295/792646362373081*c_0110_6^11 + 81575429940570692/3963231811865405*c_0110_6^10 + 7550045706067464/792646362373081*c_0110_6^9 - 331802544688217723/3963231811865405*c_0110_6^8 - 365191232868150022/3963231811865405*c_0110_6^7 + 489134734528971856/3963231811865405*c_0110_6^6 + 586499368022264489/3963231811865405*c_0110_6^5 - 215850849642443967/3963231811865405*c_0110_6^4 - 72105212507640473/3963231811865405*c_0110_6^3 - 115955952571441219/3963231811865405*c_0110_6^2 + 102428458341114983/3963231811865405*c_0110_6 - 4060416070346436/792646362373081, c_0101_2 - 338978159901842/3963231811865405*c_0110_6^13 + 1059816116164199/3963231811865405*c_0110_6^12 + 598018986323706/792646362373081*c_0110_6^11 - 14051633193592853/3963231811865405*c_0110_6^10 - 2671460170567878/792646362373081*c_0110_6^9 + 55684507977980217/3963231811865405*c_0110_6^8 + 94694083144823863/3963231811865405*c_0110_6^7 - 44659930642814274/3963231811865405*c_0110_6^6 - 129005689625896631/3963231811865405*c_0110_6^5 - 29012109777091497/3963231811865405*c_0110_6^4 - 7077183093248548/3963231811865405*c_0110_6^3 + 27491607706210556/3963231811865405*c_0110_6^2 - 4575429408613787/3963231811865405*c_0110_6 + 396323520893651/792646362373081, c_0101_4 - 2128304810498518/3963231811865405*c_0110_6^13 + 7617753426211341/3963231811865405*c_0110_6^12 + 3201271018840823/792646362373081*c_0110_6^11 - 97670232778955732/3963231811865405*c_0110_6^10 - 9110976637606580/792646362373081*c_0110_6^9 + 399415269070538608/3963231811865405*c_0110_6^8 + 438697006495787527/3963231811865405*c_0110_6^7 - 597700299258995101/3963231811865405*c_0110_6^6 - 723022499448411059/3963231811865405*c_0110_6^5 + 268021140293640602/3963231811865405*c_0110_6^4 + 115862122888987438/3963231811865405*c_0110_6^3 + 141970956952510514/3963231811865405*c_0110_6^2 - 124983254134323533/3963231811865405*c_0110_6 + 4795530661930415/792646362373081, c_0110_6^14 - 4*c_0110_6^13 - 6*c_0110_6^12 + 49*c_0110_6^11 + 2*c_0110_6^10 - 196*c_0110_6^9 - 127*c_0110_6^8 + 365*c_0110_6^7 + 219*c_0110_6^6 - 265*c_0110_6^5 + 2*c_0110_6^4 - 46*c_0110_6^3 + 87*c_0110_6^2 - 37*c_0110_6 + 5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB