Magma V2.19-8 Tue Aug 20 2013 16:14:35 on localhost [Seed = 408519705] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s571 geometric_solution 5.03179089 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 1 2 3 4 0132 0132 0132 0132 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 0 0 0 -1 1 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.313755225952 0.781880145067 0 2 3 4 0132 2310 3201 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 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.313755225952 0.781880145067 2 0 2 1 2310 0132 3201 3201 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 1 -1 0 1 0 0 -1 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.442046424032 1.101582678343 1 3 3 0 2310 1230 3012 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 -1 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.130332936949 0.907347863720 1 5 0 5 3201 0132 0132 2310 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 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.049730413070 0.889614676844 4 4 5 5 3201 0132 2031 1302 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.517094078937 0.215120553208 ==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' : d['1'], 's_3_5' : 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_1_5' : 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_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_5' : d['c_0101_2'], 'c_1100_4' : d['c_0011_3'], 'c_1100_1' : negation(d['c_0011_3']), 'c_1100_0' : d['c_0011_3'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : d['c_0011_0'], 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : negation(d['c_0101_0']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0101_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : negation(d['c_0011_3']), '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' : negation(d['c_0101_2']), 'c_1001_1' : negation(d['c_0101_3']), 'c_1001_0' : d['c_0101_3'], 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0101_2']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0101_0']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_2']), 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0101_2']), 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : negation(d['c_0110_5']), 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_3'], 'c_1010_1' : d['c_0101_2'], 'c_1010_0' : negation(d['c_0101_2'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0101_0, c_0101_2, c_0101_3, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 32281788676156/403167170631*c_0110_5^15 + 482045720138030/403167170631*c_0110_5^14 + 216761187776443/134389056877*c_0110_5^13 - 1650229551250904/403167170631*c_0110_5^12 - 2252969915227819/403167170631*c_0110_5^11 + 1865607475531448/403167170631*c_0110_5^10 + 948403499825274/134389056877*c_0110_5^9 - 621739163386363/403167170631*c_0110_5^8 - 496711319057607/134389056877*c_0110_5^7 - 317879139751814/403167170631*c_0110_5^6 + 77974270000593/134389056877*c_0110_5^5 + 206026386234098/403167170631*c_0110_5^4 + 37574995528006/403167170631*c_0110_5^3 + 2131289030494/403167170631*c_0110_5^2 - 18358116063145/403167170631*c_0110_5 + 3041627183201/403167170631, c_0011_0 - 1, c_0011_3 + 1217338984428/134389056877*c_0110_5^15 + 18645558355874/134389056877*c_0110_5^14 + 31643618023459/134389056877*c_0110_5^13 - 50603022225443/134389056877*c_0110_5^12 - 103647749731857/134389056877*c_0110_5^11 + 36248256527438/134389056877*c_0110_5^10 + 122998116358582/134389056877*c_0110_5^9 + 13526043141153/134389056877*c_0110_5^8 - 59418449246233/134389056877*c_0110_5^7 - 29855552681461/134389056877*c_0110_5^6 + 5662176323917/134389056877*c_0110_5^5 + 12033103458515/134389056877*c_0110_5^4 + 3814557122825/134389056877*c_0110_5^3 - 144528198733/134389056877*c_0110_5^2 - 1190650098493/134389056877*c_0110_5 - 257657029877/134389056877, c_0101_0 - 569131292488/134389056877*c_0110_5^15 - 7897600693380/134389056877*c_0110_5^14 - 2230022963070/134389056877*c_0110_5^13 + 45241688999964/134389056877*c_0110_5^12 + 16472640761132/134389056877*c_0110_5^11 - 83493581438695/134389056877*c_0110_5^10 - 36964917471907/134389056877*c_0110_5^9 + 66150782182720/134389056877*c_0110_5^8 + 35148249572254/134389056877*c_0110_5^7 - 16412333998646/134389056877*c_0110_5^6 - 15965939182506/134389056877*c_0110_5^5 - 3628792174780/134389056877*c_0110_5^4 + 2698610787016/134389056877*c_0110_5^3 + 1280512585901/134389056877*c_0110_5^2 + 503512663652/134389056877*c_0110_5 - 298145469492/134389056877, c_0101_2 - 86549963452/134389056877*c_0110_5^15 - 2159554246594/134389056877*c_0110_5^14 - 14805971779331/134389056877*c_0110_5^13 - 14732563415559/134389056877*c_0110_5^12 + 48244392141113/134389056877*c_0110_5^11 + 61750700342565/134389056877*c_0110_5^10 - 49741708145985/134389056877*c_0110_5^9 - 81829600996329/134389056877*c_0110_5^8 + 10667866421993/134389056877*c_0110_5^7 + 43708861976288/134389056877*c_0110_5^6 + 12820233598880/134389056877*c_0110_5^5 - 6718549423799/134389056877*c_0110_5^4 - 6621391663045/134389056877*c_0110_5^3 - 1395185203987/134389056877*c_0110_5^2 + 112431197237/134389056877*c_0110_5 + 648703862387/134389056877, c_0101_3 + 1271050908396/134389056877*c_0110_5^15 + 18955131563186/134389056877*c_0110_5^14 + 25154008879355/134389056877*c_0110_5^13 - 66568392307507/134389056877*c_0110_5^12 - 87368870321683/134389056877*c_0110_5^11 + 83219917584933/134389056877*c_0110_5^10 + 115311701582891/134389056877*c_0110_5^9 - 39401029355396/134389056877*c_0110_5^8 - 69385107560888/134389056877*c_0110_5^7 - 5749171811998/134389056877*c_0110_5^6 + 17066962667122/134389056877*c_0110_5^5 + 9827035461798/134389056877*c_0110_5^4 + 798057716190/134389056877*c_0110_5^3 - 1038996710051/134389056877*c_0110_5^2 - 1472720898519/134389056877*c_0110_5 - 43339910009/134389056877, c_0110_5^16 + 31/2*c_0110_5^15 + 113/4*c_0110_5^14 - 181/4*c_0110_5^13 - 107*c_0110_5^12 + 145/4*c_0110_5^11 + 150*c_0110_5^10 + 13*c_0110_5^9 - 377/4*c_0110_5^8 - 139/4*c_0110_5^7 + 41/2*c_0110_5^6 + 18*c_0110_5^5 + 13/4*c_0110_5^4 - 9/4*c_0110_5^3 - 7/4*c_0110_5^2 - 1/2*c_0110_5 + 1/4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB