Magma V2.19-8 Tue Aug 20 2013 16:16:17 on localhost [Seed = 1107549856] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0550 geometric_solution 4.57366511 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 2 1 2 0132 0132 1023 1023 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 -1 0 1 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.854901356059 0.135530954537 0 3 0 3 0132 0132 1023 1023 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 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.891633655069 0.328471856890 2 0 2 0 2310 0132 3201 1023 0 0 0 0 0 0 0 0 0 0 1 -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 1 0 -1 0 0 1 -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.871514698526 0.081443842185 4 1 5 1 0132 0132 0132 1023 0 0 0 0 0 0 -1 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 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 1.517769353412 0.421034231130 3 5 5 6 0132 0213 2310 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 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.365815497284 0.620625957193 6 4 4 3 0132 3201 0213 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 -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.365815497284 0.620625957193 5 6 4 6 0132 1302 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.106128791293 2.090198389236 ==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' : d['c_0011_5'], 'c_1100_5' : negation(d['c_0011_0']), 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : negation(d['c_0011_0']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], '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_0']), 'c_0011_6' : negation(d['c_0011_5']), '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' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_4']), 'c_1001_4' : negation(d['c_0101_4']), 'c_1001_6' : negation(d['c_0011_0']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : negation(d['c_0101_2']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_4'], 'c_0110_2' : negation(d['c_0101_2']), 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : negation(d['c_0011_0']), 'c_1010_6' : negation(d['c_0011_5']), 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : negation(d['c_0011_0']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : d['c_0101_4'], 'c_1010_0' : negation(d['c_0101_2'])})} 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_5, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t - 4677819018698848361/169141072458917900*c_0101_4^18 - 34102690011962516621/169141072458917900*c_0101_4^17 - 16951999387955764767/33828214491783580*c_0101_4^16 - 43410453034939172159/169141072458917900*c_0101_4^15 + 49433241294194409946/42285268114729475*c_0101_4^14 + 116114659505725440992/42285268114729475*c_0101_4^13 + 22680546504001541976/8457053622945895*c_0101_4^12 + 2261617674730995703/1691410724589179*c_0101_4^11 + 27234963583781433483/33828214491783580*c_0101_4^10 + 58912181219837585268/42285268114729475*c_0101_4^9 + 26593470866229155281/15376461132628900*c_0101_4^8 + 25320495555801426261/16914107245891790*c_0101_4^7 + 326210872287607608209/169141072458917900*c_0101_4^6 + 155022020890278834321/84570536229458950*c_0101_4^5 + 62318596824965369827/169141072458917900*c_0101_4^4 + 41293216195782809813/169141072458917900*c_0101_4^3 - 35464946635335114433/169141072458917900*c_0101_4^2 - 57066590093928960467/169141072458917900*c_0101_4 + 3937929611705906371/42285268114729475, c_0011_0 - 1, c_0011_5 + 256525833644/8092874280331*c_0101_4^18 + 1308498384736/8092874280331*c_0101_4^17 + 791887717622/8092874280331*c_0101_4^16 - 6221243570504/8092874280331*c_0101_4^15 - 12700416442093/8092874280331*c_0101_4^14 - 879754010271/8092874280331*c_0101_4^13 + 22813754813512/8092874280331*c_0101_4^12 + 25538303964889/8092874280331*c_0101_4^11 + 2410862485687/8092874280331*c_0101_4^10 - 9388466007780/8092874280331*c_0101_4^9 + 961516635676/8092874280331*c_0101_4^8 + 8057195467376/8092874280331*c_0101_4^7 - 1844098865291/8092874280331*c_0101_4^6 + 9391008982382/8092874280331*c_0101_4^5 + 17361520356499/8092874280331*c_0101_4^4 - 9766725960134/8092874280331*c_0101_4^3 + 1460525535732/8092874280331*c_0101_4^2 - 8515736024049/8092874280331*c_0101_4 - 2406136976362/8092874280331, c_0101_0 - 230656617128/8092874280331*c_0101_4^18 - 2004027235946/8092874280331*c_0101_4^17 - 6455459187458/8092874280331*c_0101_4^16 - 7377997498617/8092874280331*c_0101_4^15 + 8737577074664/8092874280331*c_0101_4^14 + 39377757491033/8092874280331*c_0101_4^13 + 53482575451281/8092874280331*c_0101_4^12 + 31797053955236/8092874280331*c_0101_4^11 + 3796481490955/8092874280331*c_0101_4^10 + 3886290642808/8092874280331*c_0101_4^9 + 18253642114236/8092874280331*c_0101_4^8 + 20065491618861/8092874280331*c_0101_4^7 + 19347098464715/8092874280331*c_0101_4^6 + 25213374337017/8092874280331*c_0101_4^5 + 8877423564585/8092874280331*c_0101_4^4 - 10871458760842/8092874280331*c_0101_4^3 - 17713343105088/8092874280331*c_0101_4^2 - 9126192164903/8092874280331*c_0101_4 - 2662662810006/8092874280331, c_0101_1 - 9102392729559/8092874280331*c_0101_4^18 - 64184053825083/8092874280331*c_0101_4^17 - 148852189732964/8092874280331*c_0101_4^16 - 43033436012133/8092874280331*c_0101_4^15 + 411538183291353/8092874280331*c_0101_4^14 + 819053670852984/8092874280331*c_0101_4^13 + 658165869739141/8092874280331*c_0101_4^12 + 194327804029926/8092874280331*c_0101_4^11 + 113587021142784/8092874280331*c_0101_4^10 + 358151259400894/8092874280331*c_0101_4^9 + 430235314374630/8092874280331*c_0101_4^8 + 325192247990383/8092874280331*c_0101_4^7 + 485568649500847/8092874280331*c_0101_4^6 + 418008317766949/8092874280331*c_0101_4^5 - 63729305810365/8092874280331*c_0101_4^4 + 6872233053528/8092874280331*c_0101_4^3 - 104188463615313/8092874280331*c_0101_4^2 - 106702327508348/8092874280331*c_0101_4 + 46355896106236/8092874280331, c_0101_2 - 40725431202942/8092874280331*c_0101_4^18 - 296036430028771/8092874280331*c_0101_4^17 - 731466681337881/8092874280331*c_0101_4^16 - 361264205488983/8092874280331*c_0101_4^15 + 1730972207345273/8092874280331*c_0101_4^14 + 4004205882322143/8092874280331*c_0101_4^13 + 3853342564472178/8092874280331*c_0101_4^12 + 1879022136286629/8092874280331*c_0101_4^11 + 1152885603636751/8092874280331*c_0101_4^10 + 2039505183767570/8092874280331*c_0101_4^9 + 2504000680993827/8092874280331*c_0101_4^8 + 2148768503571007/8092874280331*c_0101_4^7 + 2805116107795943/8092874280331*c_0101_4^6 + 2652788660478064/8092874280331*c_0101_4^5 + 483982128988245/8092874280331*c_0101_4^4 + 347252570562076/8092874280331*c_0101_4^3 - 295090240665040/8092874280331*c_0101_4^2 - 490634974412794/8092874280331*c_0101_4 + 148860785089346/8092874280331, c_0101_3 - 2406136976362/8092874280331*c_0101_4^18 - 17099484668178/8092874280331*c_0101_4^17 - 39806690006528/8092874280331*c_0101_4^16 - 10416435623070/8092874280331*c_0101_4^15 + 114497407506794/8092874280331*c_0101_4^14 + 222034333385587/8092874280331*c_0101_4^13 + 164497068402887/8092874280331*c_0101_4^12 + 25308984713728/8092874280331*c_0101_4^11 + 10553750680541/8092874280331*c_0101_4^10 + 98646890521517/8092874280331*c_0101_4^9 + 124883040873156/8092874280331*c_0101_4^8 + 85659414513356/8092874280331*c_0101_4^7 + 121874201256172/8092874280331*c_0101_4^6 + 112526399777943/8092874280331*c_0101_4^5 - 23827830840554/8092874280331*c_0101_4^4 - 5330835474689/8092874280331*c_0101_4^3 - 14294643803486/8092874280331*c_0101_4^2 - 25521895299352/8092874280331*c_0101_4 + 17265820578252/8092874280331, c_0101_4^19 + 7*c_0101_4^18 + 16*c_0101_4^17 + 4*c_0101_4^16 - 45*c_0101_4^15 - 87*c_0101_4^14 - 68*c_0101_4^13 - 20*c_0101_4^12 - 15*c_0101_4^11 - 42*c_0101_4^10 - 48*c_0101_4^9 - 36*c_0101_4^8 - 54*c_0101_4^7 - 46*c_0101_4^6 + 6*c_0101_4^5 - 5*c_0101_4^4 + 10*c_0101_4^3 + 10*c_0101_4^2 - 7*c_0101_4 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB