Magma V2.19-8 Tue Aug 20 2013 16:14:39 on localhost [Seed = 644332064] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s634 geometric_solution 5.12179771 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 6 1 0 0 2 0132 3201 2310 0132 0 0 0 0 0 -1 0 1 0 0 1 -1 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 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.151432846898 0.970110085210 0 3 2 4 0132 0132 1302 0132 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.631588259383 0.667453932446 1 4 0 3 2031 1023 0132 0132 0 0 0 0 0 0 -1 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 0 -1 1 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.631588259383 0.667453932446 3 1 2 3 3012 0132 0132 1230 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 0 0 0 0 0 0 1.252025822702 0.790448996777 2 5 1 5 1023 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.793367855617 0.503145584232 5 4 5 4 2310 0132 3201 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.744846480430 0.198311782654 ==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' : 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' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_5' : d['c_0011_2'], 'c_1100_4' : negation(d['c_0011_2']), 'c_1100_1' : negation(d['c_0011_2']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : d['c_0011_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_2']), 'c_0101_1' : negation(d['c_0011_2']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_2']), 'c_0011_4' : d['c_0011_2'], '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_5']), 'c_1001_4' : d['c_0110_4'], 'c_1001_1' : d['c_0101_3'], 'c_1001_0' : negation(d['c_0101_0']), 'c_1001_3' : d['c_0110_4'], 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_2']), 'c_0110_3' : d['c_0011_0'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : negation(d['c_0101_5']), 'c_0110_4' : d['c_0110_4'], 'c_1010_5' : d['c_0110_4'], 'c_1010_4' : negation(d['c_0101_5']), 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0110_4'], 'c_1010_1' : d['c_0110_4'], 'c_1010_0' : d['c_0101_0']})} 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_2, c_0101_0, c_0101_3, c_0101_5, c_0110_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 8989650973739/2011822281829*c_0110_4^19 - 31270840509325/2011822281829*c_0110_4^18 - 21907363493808/2011822281829*c_0110_4^17 + 129794167221066/2011822281829*c_0110_4^16 + 1404241357752/7478893241*c_0110_4^15 + 331625889375290/2011822281829*c_0110_4^14 - 334463859510889/2011822281829*c_0110_4^13 - 1162771237435858/2011822281829*c_0110_4^12 - 1180696664458851/2011822281829*c_0110_4^11 - 146901948242948/2011822281829*c_0110_4^10 + 913534744075529/2011822281829*c_0110_4^9 + 1141428413257077/2011822281829*c_0110_4^8 + 652276317476031/2011822281829*c_0110_4^7 + 108847354372888/2011822281829*c_0110_4^6 + 9518839353746/2011822281829*c_0110_4^5 + 143083016085497/2011822281829*c_0110_4^4 - 21948130575057/2011822281829*c_0110_4^3 - 199953502707661/2011822281829*c_0110_4^2 - 136084715439239/2011822281829*c_0110_4 - 33584568485555/2011822281829, c_0011_0 - 1, c_0011_2 + 2420101818910/2011822281829*c_0110_4^19 + 7718912649720/2011822281829*c_0110_4^18 + 3062353083357/2011822281829*c_0110_4^17 - 37451096823582/2011822281829*c_0110_4^16 - 338267869261/7478893241*c_0110_4^15 - 53988072174810/2011822281829*c_0110_4^14 + 124016687443409/2011822281829*c_0110_4^13 + 284152242043871/2011822281829*c_0110_4^12 + 205841809336869/2011822281829*c_0110_4^11 - 75948833574157/2011822281829*c_0110_4^10 - 257211745919530/2011822281829*c_0110_4^9 - 211602714797285/2011822281829*c_0110_4^8 - 65381859190891/2011822281829*c_0110_4^7 + 28921177876985/2011822281829*c_0110_4^6 + 1205567084358/2011822281829*c_0110_4^5 - 43690505097473/2011822281829*c_0110_4^4 + 18555461043015/2011822281829*c_0110_4^3 + 52627728543965/2011822281829*c_0110_4^2 + 14273625708950/2011822281829*c_0110_4 - 3846277412503/2011822281829, c_0101_0 - 1231214165032/2011822281829*c_0110_4^19 - 3754260967344/2011822281829*c_0110_4^18 - 1095487910000/2011822281829*c_0110_4^17 + 18998825859267/2011822281829*c_0110_4^16 + 162071347875/7478893241*c_0110_4^15 + 22442626123832/2011822281829*c_0110_4^14 - 63825475052414/2011822281829*c_0110_4^13 - 134735989662627/2011822281829*c_0110_4^12 - 89986244528158/2011822281829*c_0110_4^11 + 43372968336663/2011822281829*c_0110_4^10 + 119977446646644/2011822281829*c_0110_4^9 + 93986331698524/2011822281829*c_0110_4^8 + 28625816381770/2011822281829*c_0110_4^7 - 10051599934646/2011822281829*c_0110_4^6 + 5070463378357/2011822281829*c_0110_4^5 + 18264838371699/2011822281829*c_0110_4^4 - 16834094939627/2011822281829*c_0110_4^3 - 26243785209643/2011822281829*c_0110_4^2 - 4228124820605/2011822281829*c_0110_4 + 2348622781085/2011822281829, c_0101_3 - 16562539340/2011822281829*c_0110_4^19 - 74186196893/2011822281829*c_0110_4^18 - 156827075791/2011822281829*c_0110_4^17 - 4909659706/2011822281829*c_0110_4^16 + 3140009626/7478893241*c_0110_4^15 + 2328293647373/2011822281829*c_0110_4^14 + 2507654127615/2011822281829*c_0110_4^13 - 1475207471261/2011822281829*c_0110_4^12 - 8529131896790/2011822281829*c_0110_4^11 - 10971834817700/2011822281829*c_0110_4^10 - 3085627190203/2011822281829*c_0110_4^9 + 9213719820093/2011822281829*c_0110_4^8 + 13322507779255/2011822281829*c_0110_4^7 + 6868020146587/2011822281829*c_0110_4^6 - 1078960879973/2011822281829*c_0110_4^5 - 3372267935223/2011822281829*c_0110_4^4 - 2370250919241/2011822281829*c_0110_4^3 - 512965014262/2011822281829*c_0110_4^2 - 1091683698623/2011822281829*c_0110_4 - 1986080644244/2011822281829, c_0101_5 - 2477361495095/2011822281829*c_0110_4^19 - 7709251280377/2011822281829*c_0110_4^18 - 2956061304152/2011822281829*c_0110_4^17 + 37589221187780/2011822281829*c_0110_4^16 + 336253190878/7478893241*c_0110_4^15 + 54173389296678/2011822281829*c_0110_4^14 - 120743636621891/2011822281829*c_0110_4^13 - 279679216396924/2011822281829*c_0110_4^12 - 207629988072123/2011822281829*c_0110_4^11 + 64215093518146/2011822281829*c_0110_4^10 + 243734769121075/2011822281829*c_0110_4^9 + 209664428135539/2011822281829*c_0110_4^8 + 73130531747645/2011822281829*c_0110_4^7 - 15301560885530/2011822281829*c_0110_4^6 + 7884609291048/2011822281829*c_0110_4^5 + 42167743072119/2011822281829*c_0110_4^4 - 21848166415661/2011822281829*c_0110_4^3 - 52423956476151/2011822281829*c_0110_4^2 - 14614778989228/2011822281829*c_0110_4 + 3774832289881/2011822281829, c_0110_4^20 + 4*c_0110_4^19 + 4*c_0110_4^18 - 14*c_0110_4^17 - 50*c_0110_4^16 - 55*c_0110_4^15 + 28*c_0110_4^14 + 156*c_0110_4^13 + 187*c_0110_4^12 + 53*c_0110_4^11 - 120*c_0110_4^10 - 176*c_0110_4^9 - 110*c_0110_4^8 - 22*c_0110_4^7 + 4*c_0110_4^6 - 18*c_0110_4^5 - 7*c_0110_4^4 + 27*c_0110_4^3 + 25*c_0110_4^2 + 5*c_0110_4 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB