Magma V2.19-8 Tue Aug 20 2013 16:17:37 on localhost [Seed = 3035965522] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1851 geometric_solution 5.49371549 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 2 0 0132 1302 0132 2031 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 0 1 -1 0 0 0 0 0 1 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.659656908308 0.420634673750 0 2 4 3 0132 0213 0132 0132 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 -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.500128884028 0.436321740434 3 4 1 0 0132 1023 0213 0132 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 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.500128884028 0.436321740434 2 5 1 5 0132 0132 0132 1023 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 -1 1 0 0 0 0 0 -1 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.733988659858 1.694978008959 2 6 6 1 1023 0132 3201 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 0.545425587760 0.544929876060 5 3 5 3 2310 0132 3201 1023 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 1 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.462109828582 0.376870985181 4 4 6 6 2310 0132 1230 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 1.708119524422 0.647288292227 ==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' : d['1'], 's_3_4' : d['1'], 's_3_0' : negation(d['1']), 's_2_0' : negation(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' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : negation(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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : negation(d['c_0101_4']), 'c_1100_5' : negation(d['c_0011_2']), 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0011_2'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : negation(d['c_0011_0']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_2'], 'c_0011_4' : d['c_0011_2'], 'c_0011_6' : negation(d['c_0011_2']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_5']), 'c_1001_4' : negation(d['c_0101_6']), 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : d['c_0101_4'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0011_0']), 'c_1001_2' : d['c_0101_4'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_0']), 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : negation(d['c_0101_5']), 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0101_4']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0011_0']), 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : negation(d['c_0101_5']), 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0011_0']), '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_2, c_0101_0, c_0101_1, c_0101_4, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 49002613793985/174780718313408*c_0101_6^18 - 1262375328480099/436951795783520*c_0101_6^16 - 5750288338847849/436951795783520*c_0101_6^14 + 1252374659738998/13654743618235*c_0101_6^12 + 7886199622158921/21847589789176*c_0101_6^10 + 7449766144064923/174780718313408*c_0101_6^8 - 40646306218496051/87390359156704*c_0101_6^6 - 68717155305531681/218475897891760*c_0101_6^4 - 10835607298458667/873903591567040*c_0101_6^2 + 5593917498955351/218475897891760, c_0011_0 - 1, c_0011_2 + 180980813217/941706456430*c_0101_6^19 - 379953972995/188341291286*c_0101_6^17 - 810635834615/94170645643*c_0101_6^15 + 30258272444079/470853228215*c_0101_6^13 + 22042995123909/94170645643*c_0101_6^11 - 1387032026707/188341291286*c_0101_6^9 - 274141531854269/941706456430*c_0101_6^7 - 80106966632074/470853228215*c_0101_6^5 - 6898953990769/941706456430*c_0101_6^3 + 9321536395301/941706456430*c_0101_6, c_0101_0 - 2808709720/94170645643*c_0101_6^18 + 178848913867/470853228215*c_0101_6^16 + 280061705037/470853228215*c_0101_6^14 - 5893598911678/470853228215*c_0101_6^12 - 1171652725349/94170645643*c_0101_6^10 + 6406378418578/94170645643*c_0101_6^8 + 147101377915/94170645643*c_0101_6^6 - 23300232527134/470853228215*c_0101_6^4 - 5717236431772/470853228215*c_0101_6^2 + 2370020857079/470853228215, c_0101_1 - 55995897293/470853228215*c_0101_6^19 + 598144684032/470853228215*c_0101_6^17 + 2396442918402/470853228215*c_0101_6^15 - 3831243142479/94170645643*c_0101_6^13 - 12919708289550/94170645643*c_0101_6^11 + 2745170084325/94170645643*c_0101_6^9 + 80591833148091/470853228215*c_0101_6^7 + 34377027696488/470853228215*c_0101_6^5 - 1352885783416/470853228215*c_0101_6^3 - 251315835286/94170645643*c_0101_6, c_0101_4 - 27816011811/941706456430*c_0101_6^19 + 319947052459/941706456430*c_0101_6^17 + 94106827182/94170645643*c_0101_6^15 - 5214186225201/470853228215*c_0101_6^13 - 12043940910089/470853228215*c_0101_6^11 + 31083137222039/941706456430*c_0101_6^9 + 5882690240205/188341291286*c_0101_6^7 - 5445170041749/470853228215*c_0101_6^5 - 10451392613277/941706456430*c_0101_6^3 - 309218931191/941706456430*c_0101_6, c_0101_5 + 57952907311/1883412912860*c_0101_6^18 - 59934053193/188341291286*c_0101_6^16 - 1352179758991/941706456430*c_0101_6^14 + 4782931410217/470853228215*c_0101_6^12 + 18536680523779/470853228215*c_0101_6^10 + 3615990749677/1883412912860*c_0101_6^8 - 51255357727949/941706456430*c_0101_6^6 - 13663492612949/470853228215*c_0101_6^4 + 5843876745983/1883412912860*c_0101_6^2 + 283784879333/94170645643, c_0101_6^20 - 10*c_0101_6^18 - 50*c_0101_6^16 + 312*c_0101_6^14 + 1384*c_0101_6^12 + 571*c_0101_6^10 - 1530*c_0101_6^8 - 1660*c_0101_6^6 - 479*c_0101_6^4 + 48*c_0101_6^2 + 32 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB