Magma V2.19-8 Tue Aug 20 2013 16:18:32 on localhost [Seed = 3515895011] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2712 geometric_solution 5.96388081 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 -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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.392772980070 0.268844765836 2 0 3 0 0132 2310 0132 0132 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 0 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.873498324151 0.917855717371 1 4 5 5 0132 0132 0132 2031 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 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 1.279240512210 1.065139974319 4 5 4 1 2103 1023 3201 0132 0 0 0 0 0 -1 0 1 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 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.508396217123 1.024780375534 3 2 3 6 2310 0132 2103 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 -1 0 1 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.159212117292 0.668519466705 3 2 6 2 1023 1302 1230 0132 0 0 0 0 0 1 0 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.169572336462 0.592008479961 6 6 4 5 1302 2031 0132 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.316551835121 0.704170600385 ==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' : negation(d['c_0101_1']), 'c_1100_5' : d['c_0110_6'], 'c_1100_4' : negation(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' : d['c_0110_6'], 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : negation(d['c_0011_6']), 'c_0101_4' : d['c_0011_6'], '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' : d['c_0011_3'], 'c_0011_4' : d['c_0011_1'], '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_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_1'], 'c_1001_4' : d['c_0011_3'], 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_6']), 'c_1001_2' : negation(d['c_0110_6']), '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_0011_6']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0011_6'], 'c_1010_5' : negation(d['c_0110_6']), 'c_1010_4' : negation(d['c_0110_6']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0011_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_6, c_0101_0, c_0101_1, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t - 2396456692715121182909/1330057820513108208*c_0110_6^15 - 4149164021704934776661/1330057820513108208*c_0110_6^14 + 6880211286435844155695/332514455128277052*c_0110_6^13 + 11153910884041274685819/443352606837702736*c_0110_6^12 + 48095736061425324141359/1330057820513108208*c_0110_6^11 - 368580055897614267010139/1330057820513108208*c_0110_6^10 - 1469938426047937766548771/1330057820513108208*c_0110_6^9 + 694281446818305684211851/443352606837702736*c_0110_6^8 + 760307036979680445631589/332514455128277052*c_0110_6^7 - 2491403114529813108980261/1330057820513108208*c_0110_6^6 - 2631693956126640837330455/1330057820513108208*c_0110_6^5 + 482735217953811550477201/665028910256554104*c_0110_6^4 + 550662274154163815959577/665028910256554104*c_0110_6^3 - 45150017823305991887621/1330057820513108208*c_0110_6^2 - 178533190646892201504703/1330057820513108208*c_0110_6 - 29853245144023646384143/1330057820513108208, c_0011_0 - 1, c_0011_1 - 880196588750781/153515445580922*c_0110_6^15 - 1920884280098987/153515445580922*c_0110_6^14 + 4548966324471784/76757722790461*c_0110_6^13 + 16043437503713289/153515445580922*c_0110_6^12 + 26297270110416963/153515445580922*c_0110_6^11 - 120561225747537845/153515445580922*c_0110_6^10 - 589182738705810689/153515445580922*c_0110_6^9 + 480935320976914859/153515445580922*c_0110_6^8 + 616582225587921524/76757722790461*c_0110_6^7 - 305722625996163855/153515445580922*c_0110_6^6 - 893181668965965311/153515445580922*c_0110_6^5 - 21801786549773235/76757722790461*c_0110_6^4 + 123704143500381802/76757722790461*c_0110_6^3 + 51894204798846993/153515445580922*c_0110_6^2 - 17250182874691203/153515445580922*c_0110_6 - 4090460686610047/153515445580922, c_0011_3 + 7789217017627569/614061782323688*c_0110_6^15 + 17243489465383105/614061782323688*c_0110_6^14 - 20004261569689629/153515445580922*c_0110_6^13 - 144590055778330837/614061782323688*c_0110_6^12 - 236762526681226907/614061782323688*c_0110_6^11 + 1060252605710579191/614061782323688*c_0110_6^10 + 5248591242813295567/614061782323688*c_0110_6^9 - 4097375820990068445/614061782323688*c_0110_6^8 - 2768122885271334611/153515445580922*c_0110_6^7 + 2386283418500852321/614061782323688*c_0110_6^6 + 8038199631427658107/614061782323688*c_0110_6^5 + 302266354017153931/307030891161844*c_0110_6^4 - 1099556528398458213/307030891161844*c_0110_6^3 - 510363001634488295/614061782323688*c_0110_6^2 + 142476461084931067/614061782323688*c_0110_6 + 36783956503229587/614061782323688, c_0011_6 + 4587761619218021/614061782323688*c_0110_6^15 + 8747901263763477/614061782323688*c_0110_6^14 - 12644377994566089/153515445580922*c_0110_6^13 - 71555812722203625/614061782323688*c_0110_6^12 - 110224071646007911/614061782323688*c_0110_6^11 + 674680278394649195/614061782323688*c_0110_6^10 + 2912363472430491387/614061782323688*c_0110_6^9 - 3402756969708221505/614061782323688*c_0110_6^8 - 1505029464371667013/153515445580922*c_0110_6^7 + 3491037780967905493/614061782323688*c_0110_6^6 + 4821582397000634295/614061782323688*c_0110_6^5 - 504120520220793429/307030891161844*c_0110_6^4 - 871978430703944045/307030891161844*c_0110_6^3 - 54420114647006091/614061782323688*c_0110_6^2 + 232372582294372695/614061782323688*c_0110_6 + 41136535776087463/614061782323688, c_0101_0 - 177514085858829/307030891161844*c_0110_6^15 + 425355708881247/307030891161844*c_0110_6^14 + 954696254755108/76757722790461*c_0110_6^13 - 4620586235892327/307030891161844*c_0110_6^12 - 11495028649133301/307030891161844*c_0110_6^11 - 53302235695320851/307030891161844*c_0110_6^10 - 15349900916023063/307030891161844*c_0110_6^9 + 667117589108351521/307030891161844*c_0110_6^8 - 10758482673579015/76757722790461*c_0110_6^7 - 1257730689033904773/307030891161844*c_0110_6^6 - 236576693253183387/307030891161844*c_0110_6^5 + 386676798186776339/153515445580922*c_0110_6^4 + 160203303163463119/153515445580922*c_0110_6^3 - 128852815646461557/307030891161844*c_0110_6^2 - 93344172186753787/307030891161844*c_0110_6 - 13306173296328111/307030891161844, c_0101_1 + 1920231499887145/153515445580922*c_0110_6^15 + 4079826054323325/153515445580922*c_0110_6^14 - 10066638471191987/76757722790461*c_0110_6^13 - 33961838880458047/153515445580922*c_0110_6^12 - 54930398334323419/153515445580922*c_0110_6^11 + 267223138711676557/153515445580922*c_0110_6^10 + 1271736528559140845/153515445580922*c_0110_6^9 - 1128859765021728931/153515445580922*c_0110_6^8 - 1330132085417527913/76757722790461*c_0110_6^7 + 837802004811825725/153515445580922*c_0110_6^6 + 1973827393039027253/153515445580922*c_0110_6^5 - 7961280264976695/76757722790461*c_0110_6^4 - 292874655874225070/76757722790461*c_0110_6^3 - 94573558652147741/153515445580922*c_0110_6^2 + 51372765693752007/153515445580922*c_0110_6 + 11087288861799319/153515445580922, c_0110_6^16 + 2*c_0110_6^15 - 11*c_0110_6^14 - 17*c_0110_6^13 - 24*c_0110_6^12 + 148*c_0110_6^11 + 654*c_0110_6^10 - 702*c_0110_6^9 - 1489*c_0110_6^8 + 693*c_0110_6^7 + 1348*c_0110_6^6 - 111*c_0110_6^5 - 548*c_0110_6^4 - 97*c_0110_6^3 + 76*c_0110_6^2 + 30*c_0110_6 + 3 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB