Magma V2.19-8 Tue Aug 20 2013 16:16:51 on localhost [Seed = 3953817405] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1119 geometric_solution 4.98621058 oriented_manifold CS_known 0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.664792171185 0.084398876340 2 0 2 0 0132 2310 1023 0132 0 0 0 0 0 0 -1 1 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 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.854838388084 0.103541840746 1 3 1 4 0132 0132 1023 0132 0 0 0 0 0 0 1 -1 -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 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.802186003695 0.299404564923 5 2 6 4 0132 0132 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.492760203785 0.853105200996 3 6 2 5 3012 3201 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.492760203785 0.853105200996 3 5 4 5 0132 2310 0132 3201 0 0 0 0 0 1 0 -1 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 -1 0 1 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.028770420886 1.681494118023 6 6 4 3 1230 3012 2310 0132 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 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.028770420886 1.681494118023 ==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_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' : d['c_0011_4'], 'c_1100_5' : d['c_0011_1'], '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' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_4'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_6'], '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_6'], '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' : d['c_0011_6'], 'c_1001_4' : negation(d['c_0101_6']), 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_6']), '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_0011_4'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0011_6'], 'c_0110_4' : d['c_0011_4'], 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0011_6']), 'c_1010_4' : d['c_0011_6'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0101_6']), '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_0011_6, c_0101_0, c_0101_1, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 157338451223652515/1773478854262104*c_0101_6^11 - 1413610078402043939/1773478854262104*c_0101_6^10 - 404191623819536521/886739427131052*c_0101_6^9 - 107266227807695153/295579809043684*c_0101_6^8 - 2361909693534211699/295579809043684*c_0101_6^7 - 2869108556902722307/295579809043684*c_0101_6^6 + 10885916162666408101/1773478854262104*c_0101_6^5 + 26732039639496668701/1773478854262104*c_0101_6^4 - 24087539823877444/6717722932811*c_0101_6^3 - 829790624807677667/73894952260921*c_0101_6^2 + 3197306671032300649/591159618087368*c_0101_6 + 10360084193993055133/1773478854262104, c_0011_0 - 1, c_0011_1 + 4620536075355/73894952260921*c_0101_6^11 - 44593366757800/73894952260921*c_0101_6^10 + 6283873338342/73894952260921*c_0101_6^9 - 26499531862459/73894952260921*c_0101_6^8 - 393035873457674/73894952260921*c_0101_6^7 - 245678341651467/73894952260921*c_0101_6^6 + 472846859868241/73894952260921*c_0101_6^5 + 491929888059708/73894952260921*c_0101_6^4 - 37316067786898/6717722932811*c_0101_6^3 - 246463492616461/73894952260921*c_0101_6^2 + 382811203960027/73894952260921*c_0101_6 + 24493258789033/73894952260921, c_0011_4 + 2488025207823/147789904521842*c_0011_6*c_0101_6^11 - 12645978402440/73894952260921*c_0011_6*c_0101_6^10 + 8712144662492/73894952260921*c_0011_6*c_0101_6^9 - 16108425631187/73894952260921*c_0011_6*c_0101_6^8 - 201863003719067/147789904521842*c_0011_6*c_0101_6^7 - 22811883478997/73894952260921*c_0011_6*c_0101_6^6 + 99256430664834/73894952260921*c_0011_6*c_0101_6^5 + 12341479304445/147789904521842*c_0011_6*c_0101_6^4 - 12227283675890/6717722932811*c_0011_6*c_0101_6^3 + 132135705971371/73894952260921*c_0011_6*c_0101_6^2 + 239269569711841/147789904521842*c_0011_6*c_0101_6 - 151073625904547/147789904521842*c_0011_6, c_0011_6^2 + 5087318349460/73894952260921*c_0101_6^11 - 49504450473190/73894952260921*c_0101_6^10 + 11320126354698/73894952260921*c_0101_6^9 - 34495488293166/73894952260921*c_0101_6^8 - 427772531314424/73894952260921*c_0101_6^7 - 247434146457539/73894952260921*c_0101_6^6 + 504003805451171/73894952260921*c_0101_6^5 + 478712364625690/73894952260921*c_0101_6^4 - 47869543230275/6717722932811*c_0101_6^3 - 264809859195065/73894952260921*c_0101_6^2 + 452671241316491/73894952260921*c_0101_6 - 13000346651927/73894952260921, c_0101_0 + 1645207421821/73894952260921*c_0101_6^11 - 14731572605183/73894952260921*c_0101_6^10 - 10013051407041/73894952260921*c_0101_6^9 + 5622804204328/73894952260921*c_0101_6^8 - 169241229032070/73894952260921*c_0101_6^7 - 160769272281664/73894952260921*c_0101_6^6 + 164856766333169/73894952260921*c_0101_6^5 + 219526340455919/73894952260921*c_0101_6^4 - 18756219936038/6717722932811*c_0101_6^3 - 212041316775686/73894952260921*c_0101_6^2 + 260275282141025/73894952260921*c_0101_6 + 52897207743059/73894952260921, c_0101_1 + 5554100623565/73894952260921*c_0101_6^11 - 54415534188580/73894952260921*c_0101_6^10 + 16356379371054/73894952260921*c_0101_6^9 - 42491444723873/73894952260921*c_0101_6^8 - 462509189171174/73894952260921*c_0101_6^7 - 249189951263611/73894952260921*c_0101_6^6 + 535160751034101/73894952260921*c_0101_6^5 + 465494841191672/73894952260921*c_0101_6^4 - 58423018673652/6717722932811*c_0101_6^3 - 209261273512748/73894952260921*c_0101_6^2 + 522531278672955/73894952260921*c_0101_6 + 23401000168034/73894952260921, c_0101_6^12 - 9*c_0101_6^11 - 5*c_0101_6^10 - 4*c_0101_6^9 - 90*c_0101_6^8 - 108*c_0101_6^7 + 71*c_0101_6^6 + 169*c_0101_6^5 - 43*c_0101_6^4 - 126*c_0101_6^3 + 63*c_0101_6^2 + 65*c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.230 seconds, Total memory usage: 32.09MB