Magma V2.19-8 Tue Aug 20 2013 23:38:18 on localhost [Seed = 2598174388] Type ? for help. Type -D to quit. Loading file "K12n655__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K12n655 geometric_solution 9.37939181 oriented_manifold CS_known -0.0000000000000005 1 0 torus 0.000000000000 0.000000000000 10 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 1 -1 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 -1 0 1 0 0 -10 10 -1 10 0 -9 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.898411414616 1.135529552284 0 5 2 6 0132 0132 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 1 -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.242616122179 0.792100774138 7 0 8 1 0132 0132 0132 0132 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 1 0 -1 0 0 0 0 0 -1 0 1 0 -10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.657560574952 0.837964553851 4 9 5 0 3201 0132 3120 0132 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 0 0 0 0 -10 0 0 10 -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.362104959486 0.694892310218 8 6 0 3 0321 3012 0132 2310 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 0 -1 1 10 0 -10 0 -10 0 0 10 0 -9 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.158544796188 0.785849365034 9 1 3 7 0213 0132 3120 0132 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 0 0 0 0 -9 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.046374825414 0.993461141512 4 8 1 7 1230 3120 0132 0213 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 -1 1 0 0 0 0 0 9 0 0 -9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.490755431170 0.808216147121 2 9 5 6 0132 0213 0132 0213 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 0 0 -9 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.391808251973 0.642441508748 4 6 9 2 0321 3120 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 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 10 0 0 -10 -10 1 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.533805799930 0.646472600009 5 3 7 8 0213 0132 0213 0132 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 0 0 0 0 9 0 0 -9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.232726528017 1.243104973998 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_5' : negation(d['c_1001_3']), 'c_1001_4' : negation(d['c_0011_6']), 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : negation(d['c_1001_3']), 'c_1001_1' : d['c_1001_0'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : negation(d['c_0011_6']), 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : d['c_1001_3'], 's_2_8' : d['1'], 's_2_9' : negation(d['1']), 's_2_0' : negation(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_2_7' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : negation(d['1']), 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : d['c_1010_7'], 'c_1100_8' : d['c_1010_7'], 'c_1100_5' : negation(d['c_0011_8']), 'c_1100_4' : d['c_0011_3'], 'c_1100_7' : negation(d['c_0011_8']), 'c_1100_6' : d['c_1010_7'], 'c_1100_1' : d['c_1010_7'], 'c_1100_0' : d['c_0011_3'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : d['c_1010_7'], 'c_1010_7' : d['c_1010_7'], 'c_1010_6' : negation(d['c_0011_8']), 'c_1010_5' : d['c_1001_0'], 'c_1010_4' : negation(d['c_0101_0']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_1001_3']), 'c_1010_0' : negation(d['c_0011_6']), 'c_1010_9' : d['c_1001_3'], 'c_1010_8' : negation(d['c_0011_6']), 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : negation(d['1']), 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : negation(d['1']), 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : negation(d['1']), 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_3']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0101_7' : d['c_0101_1'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0011_3']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_8'], 'c_0101_2' : negation(d['c_0011_4']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_0'], 'c_0101_8' : negation(d['c_0101_1']), 'c_0110_9' : negation(d['c_0101_1']), 'c_0110_8' : negation(d['c_0011_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0011_8']), 'c_0110_7' : negation(d['c_0011_4']), 'c_0110_6' : d['c_0011_4']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 11 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_4, c_0011_6, c_0011_8, c_0101_0, c_0101_1, c_1001_0, c_1001_3, c_1010_7 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 11 Groebner basis: [ t - 177231799276732968/719531606846941*c_1010_7^10 + 419716882486737142/719531606846941*c_1010_7^9 - 1169002873653173086/719531606846941*c_1010_7^8 + 50197745997530035/102790229549563*c_1010_7^7 - 974037402031783626/719531606846941*c_1010_7^6 - 681024041109193844/719531606846941*c_1010_7^5 - 659451629766538660/719531606846941*c_1010_7^4 - 1535786850015677641/719531606846941*c_1010_7^3 + 520837290765603059/719531606846941*c_1010_7^2 - 1439217302706542710/719531606846941*c_1010_7 + 114808164071162204/719531606846941, c_0011_0 - 1, c_0011_3 - 452968892/643811057*c_1010_7^10 + 1159430185/643811057*c_1010_7^9 - 3248612265/643811057*c_1010_7^8 + 1484705143/643811057*c_1010_7^7 - 2785542718/643811057*c_1010_7^6 - 1833632182/643811057*c_1010_7^5 - 1551747517/643811057*c_1010_7^4 - 4322494349/643811057*c_1010_7^3 + 1507916044/643811057*c_1010_7^2 - 4302439351/643811057*c_1010_7 + 1266738269/643811057, c_0011_4 - 1258701996/643811057*c_1010_7^10 + 3198898869/643811057*c_1010_7^9 - 8638857455/643811057*c_1010_7^8 + 3541215530/643811057*c_1010_7^7 - 6342757206/643811057*c_1010_7^6 - 3611113930/643811057*c_1010_7^5 - 3318418529/643811057*c_1010_7^4 - 9487158640/643811057*c_1010_7^3 + 5762468863/643811057*c_1010_7^2 - 9488315161/643811057*c_1010_7 + 2232265516/643811057, c_0011_6 - 441415720/643811057*c_1010_7^10 + 1204027758/643811057*c_1010_7^9 - 3352047732/643811057*c_1010_7^8 + 2112158766/643811057*c_1010_7^7 - 3201319021/643811057*c_1010_7^6 - 634539065/643811057*c_1010_7^5 - 1091999748/643811057*c_1010_7^4 - 3541324874/643811057*c_1010_7^3 + 2361299876/643811057*c_1010_7^2 - 4229198904/643811057*c_1010_7 + 1824123260/643811057, c_0011_8 + 464994908/643811057*c_1010_7^10 - 1347510005/643811057*c_1010_7^9 + 3616367272/643811057*c_1010_7^8 - 2310670799/643811057*c_1010_7^7 + 2658227984/643811057*c_1010_7^6 + 1023207212/643811057*c_1010_7^5 + 1433751065/643811057*c_1010_7^4 + 3676978488/643811057*c_1010_7^3 - 3176994876/643811057*c_1010_7^2 + 4966096910/643811057*c_1010_7 - 1508543517/643811057, c_0101_0 - 733110852/643811057*c_1010_7^10 + 1684221311/643811057*c_1010_7^9 - 4656155885/643811057*c_1010_7^8 + 1221047003/643811057*c_1010_7^7 - 4033894758/643811057*c_1010_7^6 - 1973954879/643811057*c_1010_7^5 - 2412806908/643811057*c_1010_7^4 - 5553330724/643811057*c_1010_7^3 + 2481756820/643811057*c_1010_7^2 - 4990347629/643811057*c_1010_7 + 974252520/643811057, c_0101_1 + 9865472/643811057*c_1010_7^10 + 41429832/643811057*c_1010_7^9 - 125788026/643811057*c_1010_7^8 + 442470771/643811057*c_1010_7^7 - 137938445/643811057*c_1010_7^6 + 98814378/643811057*c_1010_7^5 + 341060904/643811057*c_1010_7^4 + 397548374/643811057*c_1010_7^3 + 789914551/643811057*c_1010_7^2 - 168814310/643811057*c_1010_7 + 533457127/643811057, c_1001_0 - 144928676/643811057*c_1010_7^10 + 389863323/643811057*c_1010_7^9 - 1166308292/643811057*c_1010_7^8 + 687581273/643811057*c_1010_7^7 - 1260424868/643811057*c_1010_7^6 - 752616724/643811057*c_1010_7^5 - 1023432680/643811057*c_1010_7^4 - 1777164908/643811057*c_1010_7^3 + 937507377/643811057*c_1010_7^2 - 1814973090/643811057*c_1010_7 + 649165718/643811057, c_1001_3 + 403179148/643811057*c_1010_7^10 - 768004461/643811057*c_1010_7^9 + 2331884931/643811057*c_1010_7^8 - 40428248/643811057*c_1010_7^7 + 2774030087/643811057*c_1010_7^6 + 1604550013/643811057*c_1010_7^5 + 1661427619/643811057*c_1010_7^4 + 3255968770/643811057*c_1010_7^3 - 1032183872/643811057*c_1010_7^2 + 2008038119/643811057*c_1010_7 - 648331848/643811057, c_1010_7^11 - 11/4*c_1010_7^10 + 15/2*c_1010_7^9 - 9/2*c_1010_7^8 + 25/4*c_1010_7^7 + 7/4*c_1010_7^6 + 9/4*c_1010_7^5 + 29/4*c_1010_7^4 - 25/4*c_1010_7^3 + 37/4*c_1010_7^2 - 15/4*c_1010_7 + 1/4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.100 Total time: 0.300 seconds, Total memory usage: 32.09MB