Magma V2.19-8 Tue Aug 20 2013 16:16:08 on localhost [Seed = 2917937517] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0389 geometric_solution 4.45640031 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 2310 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 1 0 -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 2.378619353618 0.123444769029 0 2 2 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 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.984054444039 0.378311778977 1 1 3 3 2310 0132 0132 3201 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 0 -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.293195183132 0.238161579135 4 2 5 2 0132 2310 0132 0132 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 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.953920520243 0.767321822356 3 6 5 5 0132 0132 3012 1230 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 1 0 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.235061940200 1.141300759274 4 4 6 3 3012 1230 0132 0132 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 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 1.235061940200 1.141300759274 6 4 6 5 2031 0132 1302 0132 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 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.405222762435 0.604599340453 ==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_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' : d['1'], 's_1_0' : 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' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_3']), 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : negation(d['c_0011_3']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_2'], 'c_0101_3' : d['c_0011_5'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_6' : 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' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0011_5']), 'c_1001_4' : negation(d['c_0011_5']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_2'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : d['c_0011_5'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0011_5']), 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : d['c_0101_5'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0101_2']), '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_3, c_0011_5, c_0101_0, c_0101_1, c_0101_2, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t + 985831724901486/5680219294729*c_0101_5^21 - 1674106342971775/811459899247*c_0101_5^19 - 17095466466133379/5680219294729*c_0101_5^17 + 59191417517262453/5680219294729*c_0101_5^15 + 262003423130579971/5680219294729*c_0101_5^13 - 32541641852471845/5680219294729*c_0101_5^11 - 3052174236908418/811459899247*c_0101_5^9 - 254710750162972114/5680219294729*c_0101_5^7 - 62277670903385068/5680219294729*c_0101_5^5 - 52387528080845217/5680219294729*c_0101_5^3 + 8826414009136832/5680219294729*c_0101_5, c_0011_0 - 1, c_0011_3 - 6624783751431/39761535063103*c_0101_5^20 + 1622249411623/811459899247*c_0101_5^18 + 106140549307847/39761535063103*c_0101_5^16 - 411777615815752/39761535063103*c_0101_5^14 - 1711451077517887/39761535063103*c_0101_5^12 + 424512441863851/39761535063103*c_0101_5^10 + 14118906292497/5680219294729*c_0101_5^8 + 1584688949628424/39761535063103*c_0101_5^6 + 319987605450781/39761535063103*c_0101_5^4 + 325439090663385/39761535063103*c_0101_5^2 - 31890479215599/39761535063103, c_0011_5 + 11467087249061/39761535063103*c_0101_5^20 - 2779586015152/811459899247*c_0101_5^18 - 200994782778362/39761535063103*c_0101_5^16 + 696759978751503/39761535063103*c_0101_5^14 + 3063108938216736/39761535063103*c_0101_5^12 - 408925142610725/39761535063103*c_0101_5^10 - 62810309911310/5680219294729*c_0101_5^8 - 2800186646245343/39761535063103*c_0101_5^6 - 727419757033957/39761535063103*c_0101_5^4 - 494807952397629/39761535063103*c_0101_5^2 + 76596862341848/39761535063103, c_0101_0 + 86838471011139/39761535063103*c_0101_5^21 - 21058456856228/811459899247*c_0101_5^19 - 1509732447692758/39761535063103*c_0101_5^17 + 5196317098193462/39761535063103*c_0101_5^15 + 23089192344751177/39761535063103*c_0101_5^13 - 2700256907550029/39761535063103*c_0101_5^11 - 238123115528033/5680219294729*c_0101_5^9 - 22542023758097162/39761535063103*c_0101_5^7 - 5662307481928746/39761535063103*c_0101_5^5 - 4797795101564501/39761535063103*c_0101_5^3 + 729452252695519/39761535063103*c_0101_5, c_0101_1 + 768518926513/39761535063103*c_0101_5^20 - 213237103510/811459899247*c_0101_5^18 + 1756533854561/39761535063103*c_0101_5^16 + 75655176080966/39761535063103*c_0101_5^14 + 128538541938907/39761535063103*c_0101_5^12 - 413223867488926/39761535063103*c_0101_5^10 - 11362489624600/5680219294729*c_0101_5^8 - 23328907257573/39761535063103*c_0101_5^6 + 242344541650663/39761535063103*c_0101_5^4 + 115360721351720/39761535063103*c_0101_5^2 + 12060045392492/39761535063103, c_0101_2 + 30701558192104/39761535063103*c_0101_5^21 - 7436440120184/811459899247*c_0101_5^19 - 539474014943693/39761535063103*c_0101_5^17 + 1837127427357851/39761535063103*c_0101_5^15 + 8200146821544862/39761535063103*c_0101_5^13 - 880381993511297/39761535063103*c_0101_5^11 - 110594054423267/5680219294729*c_0101_5^9 - 7952749890893634/39761535063103*c_0101_5^7 - 2047818263777919/39761535063103*c_0101_5^5 - 1557170452686837/39761535063103*c_0101_5^3 + 259435530887770/39761535063103*c_0101_5, c_0101_5^22 - 12*c_0101_5^20 - 16*c_0101_5^18 + 62*c_0101_5^16 + 259*c_0101_5^14 - 63*c_0101_5^12 - 18*c_0101_5^10 - 256*c_0101_5^8 - 34*c_0101_5^6 - 46*c_0101_5^4 + 15*c_0101_5^2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB