Magma V2.19-8 Tue Aug 20 2013 16:16:06 on localhost [Seed = 1528481686] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0346 geometric_solution 4.37179670 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 2 0132 2310 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 -1 1 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 5.326696657614 1.668725207848 0 3 3 0 0132 0132 3201 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 -1 0 1 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.413670751746 0.404098247587 2 0 2 0 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 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.512306563751 0.094878262592 1 1 4 5 2310 0132 0132 0132 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 -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 0 0 0 0 0.172069704728 0.507313542122 6 6 5 3 0132 3201 2031 0132 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 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.515198865736 1.013302202456 6 6 3 4 1023 2310 0132 1302 0 0 0 0 0 -1 1 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 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.515198865736 1.013302202456 4 5 4 5 0132 1023 2310 3201 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 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.398695550592 0.784161430455 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : negation(d['1']), 's_3_4' : negation(d['1']), 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : negation(d['1']), 's_2_4' : negation(d['1']), 's_2_5' : negation(d['1']), 's_2_6' : negation(d['1']), 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : negation(d['1']), 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_0_6' : negation(d['1']), 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_4'], 'c_1100_5' : d['c_0101_4'], 'c_1100_4' : d['c_0101_4'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : negation(d['c_0011_2']), 'c_1100_3' : d['c_0101_4'], 'c_1100_2' : negation(d['c_0011_2']), 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : negation(d['c_0101_1']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_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' : negation(d['c_0011_4']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : negation(d['c_0101_1']), 'c_1001_1' : negation(d['c_0101_3']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_1']), 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : d['c_0101_1'], 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : d['c_0101_1'], '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_2, c_0011_4, c_0101_0, c_0101_1, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t - 58203874557911432/9750552771833*c_0101_4^13 + 151941539857152774/9750552771833*c_0101_4^12 + 1092727311295801887/19501105543666*c_0101_4^11 - 17354737257135815311/39002211087332*c_0101_4^10 + 8566948769069472708/9750552771833*c_0101_4^9 - 6143692611144024987/9750552771833*c_0101_4^8 - 3965980223394434529/19501105543666*c_0101_4^7 + 25667541398469764277/39002211087332*c_0101_4^6 - 16340469834940166011/39002211087332*c_0101_4^5 + 2396967330179422917/39002211087332*c_0101_4^4 + 587945780167093376/9750552771833*c_0101_4^3 - 1557824658258860185/39002211087332*c_0101_4^2 + 391157646390125801/39002211087332*c_0101_4 - 33755658118908875/39002211087332, c_0011_0 - 1, c_0011_2 - 1692299788528736/9750552771833*c_0101_4^13 + 4438708951423576/9750552771833*c_0101_4^12 + 15860819761103326/9750552771833*c_0101_4^11 - 126393316725992056/9750552771833*c_0101_4^10 + 500635909621085317/19501105543666*c_0101_4^9 - 359646863036311519/19501105543666*c_0101_4^8 - 115768369267745247/19501105543666*c_0101_4^7 + 187773633655880836/9750552771833*c_0101_4^6 - 238785418804390639/19501105543666*c_0101_4^5 + 34726922756351125/19501105543666*c_0101_4^4 + 34405801097474955/19501105543666*c_0101_4^3 - 22745985098378209/19501105543666*c_0101_4^2 + 5686411416491705/19501105543666*c_0101_4 - 257367157748750/9750552771833, c_0011_4 + 4224322780772040/9750552771833*c_0101_4^13 - 10151621831910898/9750552771833*c_0101_4^12 - 83115509466344881/19501105543666*c_0101_4^11 + 611667714508151677/19501105543666*c_0101_4^10 - 560431228043695500/9750552771833*c_0101_4^9 + 687658377552977009/19501105543666*c_0101_4^8 + 191548441248888618/9750552771833*c_0101_4^7 - 829850112828524759/19501105543666*c_0101_4^6 + 222257037366222499/9750552771833*c_0101_4^5 - 14675634508640545/9750552771833*c_0101_4^4 - 39062508486878447/9750552771833*c_0101_4^3 + 42130638148920259/19501105543666*c_0101_4^2 - 8845207248776799/19501105543666*c_0101_4 + 318672816445965/9750552771833, c_0101_0 + 8202940114759144/9750552771833*c_0101_3*c_0101_4^13 - 20148915046736810/9750552771833*c_0101_3*c_0101_4^12 - 159591351483738093/19501105543666*c_0101_3*c_0101_4^11 + 1196905116572070315/19501105543666*c_0101_3*c_0101_4^10 - 2236571546377771883/19501105543666*c_0101_3*c_0101_4^9 + 1431424615054687911/19501105543666*c_0101_3*c_0101_4^8 + 351322723427107456/9750552771833*c_0101_3*c_0101_4^7 - 830876940685940342/9750552771833*c_0101_3*c_0101_4^6 + 931663319467884547/19501105543666*c_0101_3*c_0101_4^5 - 41149970090622600/9750552771833*c_0101_3*c_0101_4^4 - 77618303215553920/9750552771833*c_0101_3*c_0101_4^3 + 88344167592725287/19501105543666*c_0101_3*c_0101_4^2 - 19507321196279041/19501105543666*c_0101_3*c_0101_4 + 1559602935386059/19501105543666*c_0101_3, c_0101_1 - 1611187211616768/9750552771833*c_0101_4^13 + 3898367758998160/9750552771833*c_0101_4^12 + 15788777114462508/9750552771833*c_0101_4^11 - 116919066735277717/9750552771833*c_0101_4^10 + 215659425334948202/9750552771833*c_0101_4^9 - 268861263133374023/19501105543666*c_0101_4^8 - 143168197006962227/19501105543666*c_0101_4^7 + 320192480190403341/19501105543666*c_0101_4^6 - 87240156042213942/9750552771833*c_0101_4^5 + 12706242559609743/19501105543666*c_0101_4^4 + 30359758719878373/19501105543666*c_0101_4^3 - 16512074729932221/19501105543666*c_0101_4^2 + 3493918703191227/19501105543666*c_0101_4 - 246416096580181/19501105543666, c_0101_3^2 + 4915417884354568/9750552771833*c_0101_4^13 - 11756610032097386/9750552771833*c_0101_4^12 - 96929015792085381/19501105543666*c_0101_4^11 + 355268846395736449/9750552771833*c_0101_4^10 - 1296716655124777457/19501105543666*c_0101_4^9 + 788863029162235823/19501105543666*c_0101_4^8 + 449616583644653893/19501105543666*c_0101_4^7 - 958781627375251081/19501105543666*c_0101_4^6 + 509398182703851523/19501105543666*c_0101_4^5 - 15946853521766081/9750552771833*c_0101_4^4 - 45081395963531062/9750552771833*c_0101_4^3 + 48204290219065857/19501105543666*c_0101_4^2 - 5028909753128452/9750552771833*c_0101_4 + 729438749048601/19501105543666, c_0101_4^14 - 13/4*c_0101_4^13 - 125/16*c_0101_4^12 + 323/4*c_0101_4^11 - 1551/8*c_0101_4^10 + 3089/16*c_0101_4^9 - 45/2*c_0101_4^8 - 2193/16*c_0101_4^7 + 2163/16*c_0101_4^6 - 189/4*c_0101_4^5 - 105/16*c_0101_4^4 + 51/4*c_0101_4^3 - 83/16*c_0101_4^2 + 15/16*c_0101_4 - 1/16 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB