Magma V2.19-8 Tue Aug 20 2013 16:14:46 on localhost [Seed = 2000087825] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s756 geometric_solution 5.29365272 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 1 1230 3012 0132 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 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 1.599289810978 0.511992974909 0 2 3 0 3201 0132 0132 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 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.757558371653 0.514831083783 4 1 3 5 0132 0132 1302 0132 0 0 0 0 0 1 0 -1 -1 0 0 1 -1 0 0 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 -1 0 0 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.537431946872 0.557982369663 2 5 4 1 2031 2310 1023 0132 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 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.537431946872 0.557982369663 2 4 3 4 0132 1302 1023 2031 0 0 0 0 0 0 0 0 1 0 -1 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 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.583231700283 0.930309967118 5 5 2 3 1230 3012 0132 3201 0 0 0 0 0 -1 1 0 0 0 -1 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 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.586286336183 0.829125670273 ==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' : negation(d['c_0011_3']), 'c_1100_4' : negation(d['c_0011_1']), 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_5' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : negation(d['c_0011_3']), 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_1'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0011_5']), 'c_1001_4' : negation(d['c_0011_3']), 'c_1001_1' : negation(d['c_0011_5']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_0']), 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : negation(d['c_0011_3']), 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : d['c_0011_1'], 'c_1010_3' : negation(d['c_0011_5']), 'c_1010_2' : negation(d['c_0011_5']), 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(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_1, c_0011_3, c_0011_5, c_0101_0, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 10622820736415567665457/1514094395657767015144*c_0101_4^18 + 49957800276139366524145/1514094395657767015144*c_0101_4^17 - 114479563980552479627713/1514094395657767015144*c_0101_4^16 + 361085543939024093652609/1514094395657767015144*c_0101_4^15 + 1578000288548731308568149/1514094395657767015144*c_0101_4^14 - 1059512986241268523489823/378523598914441753786*c_0101_4^13 - 9956286490123736630302791/1514094395657767015144*c_0101_4^12 + 1080797295176971750000864/189261799457220876893*c_0101_4^11 + 15833357838710319755541769/1514094395657767015144*c_0101_4^10 - 13868100969701008076698973/1514094395657767015144*c_0101_4^9 - 3537311264288179014648407/757047197828883507572*c_0101_4^8 + 14792927558007654703190435/1514094395657767015144*c_0101_4^7 - 481386903914206901894571/116468799665982078088*c_0101_4^6 - 4760068498566175677272063/1514094395657767015144*c_0101_4^5 + 7491411092006152128530125/1514094395657767015144*c_0101_4^4 - 1439075925747961965831/1031399452082947558*c_0101_4^3 - 871524824072917666418955/757047197828883507572*c_0101_4^2 + 76627964383185569168855/116468799665982078088*c_0101_4 - 92644287824044046196765/1514094395657767015144, c_0011_0 - 1, c_0011_1 - 4452275566789958246389/3028188791315534030288*c_0101_4^18 - 21072791566203369021191/3028188791315534030288*c_0101_4^17 + 46999749517142543419169/3028188791315534030288*c_0101_4^16 - 151905691953018522002875/3028188791315534030288*c_0101_4^15 - 664176435348401466563701/3028188791315534030288*c_0101_4^14 + 873433138696888881322319/1514094395657767015144*c_0101_4^13 + 4163486949528610339281253/3028188791315534030288*c_0101_4^12 - 855196566029582656047905/757047197828883507572*c_0101_4^11 - 6318731342157034720969513/3028188791315534030288*c_0101_4^10 + 5736549814435296813010579/3028188791315534030288*c_0101_4^9 + 1319941269817373759557957/1514094395657767015144*c_0101_4^8 - 6133814402144493533197987/3028188791315534030288*c_0101_4^7 + 2783791076102186284340773/3028188791315534030288*c_0101_4^6 + 1868856156161237853109767/3028188791315534030288*c_0101_4^5 - 3139145928903335990134463/3028188791315534030288*c_0101_4^4 + 669378182482294248863/2062798904165895116*c_0101_4^3 + 330006596461711564905345/1514094395657767015144*c_0101_4^2 - 451404082208783787003811/3028188791315534030288*c_0101_4 + 5529641733802402687239/232937599331964156176, c_0011_3 - 2177485350959579277895/3028188791315534030288*c_0101_4^18 - 10270631981438752345147/3028188791315534030288*c_0101_4^17 + 23290777913214431263687/3028188791315534030288*c_0101_4^16 - 73926435059775166172399/3028188791315534030288*c_0101_4^15 - 324491762099815687602219/3028188791315534030288*c_0101_4^14 + 53995225387919443426567/189261799457220876893*c_0101_4^13 + 2045059786784676854270989/3028188791315534030288*c_0101_4^12 - 435431654168953462207535/757047197828883507572*c_0101_4^11 - 3208682694580066861092283/3028188791315534030288*c_0101_4^10 + 2837927714022561615683859/3028188791315534030288*c_0101_4^9 + 694630315360848803305683/1514094395657767015144*c_0101_4^8 - 3057549764242204635728589/3028188791315534030288*c_0101_4^7 + 1339265241272834649731665/3028188791315534030288*c_0101_4^6 + 968890562274346428391833/3028188791315534030288*c_0101_4^5 - 1576171732673639923923463/3028188791315534030288*c_0101_4^4 + 319174975674376470817/2062798904165895116*c_0101_4^3 + 175652021135041066587663/1514094395657767015144*c_0101_4^2 - 222301581481236170966925/3028188791315534030288*c_0101_4 + 2550570695244783534991/232937599331964156176, c_0011_5 + 23578688477247806429889/3028188791315534030288*c_0101_4^18 + 111527099590891343224001/3028188791315534030288*c_0101_4^17 - 248323142570177505388325/3028188791315534030288*c_0101_4^16 + 810870852370078948130905/3028188791315534030288*c_0101_4^15 + 3512502983413737321657797/3028188791315534030288*c_0101_4^14 - 2309277804386454279991303/757047197828883507572*c_0101_4^13 - 21846735813654517826013067/3028188791315534030288*c_0101_4^12 + 4512127503643112244329993/757047197828883507572*c_0101_4^11 + 32256738251265624434978701/3028188791315534030288*c_0101_4^10 - 31255226985530531497771665/3028188791315534030288*c_0101_4^9 - 6495877802307315973872211/1514094395657767015144*c_0101_4^8 + 32805237891186335696158295/3028188791315534030288*c_0101_4^7 - 15591216619090859934419799/3028188791315534030288*c_0101_4^6 - 9506753126152157235212535/3028188791315534030288*c_0101_4^5 + 16908749341207974992583861/3028188791315534030288*c_0101_4^4 - 963801343298192268926/515699726041473779*c_0101_4^3 - 1671910810608310578159559/1514094395657767015144*c_0101_4^2 + 2563257341742128647510343/3028188791315534030288*c_0101_4 - 33837865078723820895449/232937599331964156176, c_0101_0 - 20133006163363914596143/1514094395657767015144*c_0101_4^18 - 46981040773595824610501/757047197828883507572*c_0101_4^17 + 218711867074265148040689/1514094395657767015144*c_0101_4^16 - 351044576316710711999979/757047197828883507572*c_0101_4^15 - 2960760505701912249127717/1514094395657767015144*c_0101_4^14 + 8096754397068223959691707/1514094395657767015144*c_0101_4^13 + 4567862299425015448024695/378523598914441753786*c_0101_4^12 - 4196975185608662295508561/378523598914441753786*c_0101_4^11 - 27318711527353757057700135/1514094395657767015144*c_0101_4^10 + 7128787247526134910489995/378523598914441753786*c_0101_4^9 + 5189085213638370689512243/757047197828883507572*c_0101_4^8 - 29070721401746384675236263/1514094395657767015144*c_0101_4^7 + 7259885947066950185430577/757047197828883507572*c_0101_4^6 + 7909902919192899560944631/1514094395657767015144*c_0101_4^5 - 1882072569906818874250489/189261799457220876893*c_0101_4^4 + 1844998357435564024873/515699726041473779*c_0101_4^3 + 1427737400279535098189051/757047197828883507572*c_0101_4^2 - 2366294031314304068368975/1514094395657767015144*c_0101_4 + 8126985752958962834305/29117199916495519522, c_0101_4^19 + 4*c_0101_4^18 - 14*c_0101_4^17 + 42*c_0101_4^16 + 124*c_0101_4^15 - 501*c_0101_4^14 - 643*c_0101_4^13 + 1447*c_0101_4^12 + 825*c_0101_4^11 - 2330*c_0101_4^10 + 395*c_0101_4^9 + 1805*c_0101_4^8 - 1666*c_0101_4^7 + 64*c_0101_4^6 + 1016*c_0101_4^5 - 757*c_0101_4^4 + 26*c_0101_4^3 + 213*c_0101_4^2 - 96*c_0101_4 + 13 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.210 seconds, Total memory usage: 32.09MB