Magma V2.19-8 Tue Aug 20 2013 16:16:16 on localhost [Seed = 3086363477] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0537 geometric_solution 4.55659928 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 2 1 3 0132 0132 1023 0132 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 -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.663231544150 0.939396536022 0 4 0 4 0132 0132 1023 1023 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 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.623535244313 0.224013291312 3 0 4 4 0321 0132 2103 3012 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 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.338162074259 0.943283955652 2 5 0 5 0321 0132 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.421374389519 2.898320290495 2 1 2 1 2103 0132 1230 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.623535244313 0.224013291312 3 3 6 6 3201 0132 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.135767347502 0.147991199125 6 5 6 5 2031 2310 1302 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -4.240076465938 3.759516969209 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : 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' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : negation(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' : negation(d['1']), 'c_1100_6' : negation(d['c_0011_6']), 'c_1100_5' : negation(d['c_0011_6']), 'c_1100_4' : negation(d['c_0011_3']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_3'], 'c_1100_0' : negation(d['c_0011_3']), 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : negation(d['c_0110_4']), 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : negation(d['c_0011_0']), 'c_0101_4' : negation(d['c_0101_1']), 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : negation(d['c_0101_1']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : 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_1001_5' : negation(d['c_0110_5']), 'c_1001_4' : d['c_0110_4'], 'c_1001_6' : negation(d['c_0011_0']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0011_0'], 'c_1001_2' : d['c_0011_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_0'], 'c_0110_2' : negation(d['c_0011_3']), 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0110_4'], 'c_0110_6' : negation(d['c_0011_0']), 'c_1010_6' : negation(d['c_0110_5']), 'c_1010_5' : d['c_0011_0'], 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : negation(d['c_0110_5']), 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : d['c_0110_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_3, c_0011_6, c_0101_0, c_0101_1, c_0110_4, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t - 6428910958776188/827050777230909*c_0110_5^18 - 7214641251359869/827050777230909*c_0110_5^17 + 4853530796749698/39383370344329*c_0110_5^16 + 186486244055787488/827050777230909*c_0110_5^15 - 75623795249569606/118150111032987*c_0110_5^14 - 1286217806741147275/827050777230909*c_0110_5^13 + 1062979355881902868/827050777230909*c_0110_5^12 + 4006731286210974292/827050777230909*c_0110_5^11 - 208148836620728483/827050777230909*c_0110_5^10 - 2127680084893095602/275683592410303*c_0110_5^9 - 2424330779167501156/827050777230909*c_0110_5^8 + 148459976621142364/25062144764573*c_0110_5^7 + 1253835358247338855/275683592410303*c_0110_5^6 - 47949114868777423/39383370344329*c_0110_5^5 - 2081247831480116639/827050777230909*c_0110_5^4 - 57177326755419091/75186434293719*c_0110_5^3 + 224847031050597458/827050777230909*c_0110_5^2 + 209792020923134435/827050777230909*c_0110_5 + 42663683997901112/827050777230909, c_0011_0 - 1, c_0011_3 - 2461585354436/14509662758437*c_0110_5^18 - 4446776010513/14509662758437*c_0110_5^17 + 5393571252402/2072808965491*c_0110_5^16 + 98681107250213/14509662758437*c_0110_5^15 - 23414791515289/2072808965491*c_0110_5^14 - 647226549438808/14509662758437*c_0110_5^13 + 126350008515305/14509662758437*c_0110_5^12 + 1927655066685343/14509662758437*c_0110_5^11 + 833343408792098/14509662758437*c_0110_5^10 - 2870392690362108/14509662758437*c_0110_5^9 - 2475869052114771/14509662758437*c_0110_5^8 + 169362621696033/1319060250767*c_0110_5^7 + 2792126253064710/14509662758437*c_0110_5^6 + 10597336895776/2072808965491*c_0110_5^5 - 1299840329861429/14509662758437*c_0110_5^4 - 57569155386518/1319060250767*c_0110_5^3 + 98751750958345/14509662758437*c_0110_5^2 + 171011410332325/14509662758437*c_0110_5 + 36160700038913/14509662758437, c_0011_6 + 2621207814276/14509662758437*c_0110_5^18 + 4642067375851/14509662758437*c_0110_5^17 - 5765598751386/2072808965491*c_0110_5^16 - 103511420858015/14509662758437*c_0110_5^15 + 25408863345077/2072808965491*c_0110_5^14 + 680581288408739/14509662758437*c_0110_5^13 - 156379682312811/14509662758437*c_0110_5^12 - 2030956322174155/14509662758437*c_0110_5^11 - 820377417150150/14509662758437*c_0110_5^10 + 3032698288616806/14509662758437*c_0110_5^9 + 2527406828854070/14509662758437*c_0110_5^8 - 180566448559998/1319060250767*c_0110_5^7 - 2878013227374850/14509662758437*c_0110_5^6 - 6573936898479/2072808965491*c_0110_5^5 + 1343730035681027/14509662758437*c_0110_5^4 + 57000441615412/1319060250767*c_0110_5^3 - 99940920370394/14509662758437*c_0110_5^2 - 165447875206688/14509662758437*c_0110_5 - 37961744797016/14509662758437, c_0101_0 - 1667601743842/14509662758437*c_0110_5^18 - 1459609703386/14509662758437*c_0110_5^17 + 3649832006642/2072808965491*c_0110_5^16 + 41757585447948/14509662758437*c_0110_5^15 - 18456412576681/2072808965491*c_0110_5^14 - 284897766791783/14509662758437*c_0110_5^13 + 249384756960105/14509662758437*c_0110_5^12 + 876251299605137/14509662758437*c_0110_5^11 - 21644796620618/14509662758437*c_0110_5^10 - 1404091811040150/14509662758437*c_0110_5^9 - 686605907771328/14509662758437*c_0110_5^8 + 102653566664605/1319060250767*c_0110_5^7 + 1153482352600775/14509662758437*c_0110_5^6 - 41672041067859/2072808965491*c_0110_5^5 - 758302072501200/14509662758437*c_0110_5^4 - 12834232817913/1319060250767*c_0110_5^3 + 150010888646662/14509662758437*c_0110_5^2 + 68078350299034/14509662758437*c_0110_5 - 665846022764/14509662758437, c_0101_1 + 2340014407992/14509662758437*c_0110_5^18 + 4425633495363/14509662758437*c_0110_5^17 - 5134290204668/2072808965491*c_0110_5^16 - 97078971422302/14509662758437*c_0110_5^15 + 22045976623533/2072808965491*c_0110_5^14 + 636105146225301/14509662758437*c_0110_5^13 - 104091718254467/14509662758437*c_0110_5^12 - 1895143817520917/14509662758437*c_0110_5^11 - 852981995166055/14509662758437*c_0110_5^10 + 2821255885942051/14509662758437*c_0110_5^9 + 2469388616178906/14509662758437*c_0110_5^8 - 165893593673203/1319060250767*c_0110_5^7 - 2771693867234262/14509662758437*c_0110_5^6 - 14643895016389/2072808965491*c_0110_5^5 + 1293234346529742/14509662758437*c_0110_5^4 + 57149879285703/1319060250767*c_0110_5^3 - 102455364243741/14509662758437*c_0110_5^2 - 136037789324707/14509662758437*c_0110_5 - 34731515943836/14509662758437, c_0110_4 + 1667601743842/14509662758437*c_0110_5^18 + 1459609703386/14509662758437*c_0110_5^17 - 3649832006642/2072808965491*c_0110_5^16 - 41757585447948/14509662758437*c_0110_5^15 + 18456412576681/2072808965491*c_0110_5^14 + 284897766791783/14509662758437*c_0110_5^13 - 249384756960105/14509662758437*c_0110_5^12 - 876251299605137/14509662758437*c_0110_5^11 + 21644796620618/14509662758437*c_0110_5^10 + 1404091811040150/14509662758437*c_0110_5^9 + 686605907771328/14509662758437*c_0110_5^8 - 102653566664605/1319060250767*c_0110_5^7 - 1153482352600775/14509662758437*c_0110_5^6 + 41672041067859/2072808965491*c_0110_5^5 + 758302072501200/14509662758437*c_0110_5^4 + 12834232817913/1319060250767*c_0110_5^3 - 150010888646662/14509662758437*c_0110_5^2 - 68078350299034/14509662758437*c_0110_5 + 665846022764/14509662758437, c_0110_5^19 + 2*c_0110_5^18 - 15*c_0110_5^17 - 43*c_0110_5^16 + 59*c_0110_5^15 + 275*c_0110_5^14 - 2*c_0110_5^13 - 788*c_0110_5^12 - 482*c_0110_5^11 + 1086*c_0110_5^10 + 1208*c_0110_5^9 - 543*c_0110_5^8 - 1242*c_0110_5^7 - 255*c_0110_5^6 + 487*c_0110_5^5 + 340*c_0110_5^4 + 23*c_0110_5^3 - 61*c_0110_5^2 - 28*c_0110_5 - 3 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.220 seconds, Total memory usage: 32.09MB