Magma V2.19-8 Tue Aug 20 2013 16:16:16 on localhost [Seed = 2429619314] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0542 geometric_solution 4.56412312 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 3201 2031 1302 0 0 0 0 0 0 0 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 1 0 -1 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.424974422156 0.042737101017 0 2 0 2 0132 0132 2310 2310 0 0 0 0 0 0 0 0 -1 0 0 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 0 0 0 0 0 0 1 0 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.712753641360 0.622924868838 1 1 3 3 3201 0132 0132 2310 0 0 0 0 0 0 0 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 0 0 0 1 0 0 -1 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.607198303290 2.541342122915 2 4 5 2 3201 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.408747530491 0.171817736305 5 3 5 6 2031 0132 2103 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 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 -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.796353447040 0.764578824597 4 6 4 3 2103 0132 1302 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 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.796353447040 0.764578824597 6 5 4 6 3201 0132 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 0 0 1 0 -1 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.953901273709 0.479021491081 ==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_5']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : d['c_0101_0'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_3'], 'c_0101_4' : d['c_0011_3'], 'c_0101_3' : d['c_0011_5'], 'c_0101_2' : negation(d['c_0101_0']), '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' : 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_3'], 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : d['c_0011_5'], 'c_1001_6' : d['c_1001_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_0011_5'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_0']), 'c_0110_2' : negation(d['c_0011_5']), 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : negation(d['c_0101_6']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_1001_3'], 'c_1010_4' : d['c_1001_3'], 'c_1010_3' : d['c_0011_5'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : d['c_0011_5'], '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_6, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t - 92071594257175006237336601/71187913967608247894130967*c_1001_3^14 + 149821028802481282850521534/71187913967608247894130967*c_1001_3^13 + 1268757601394558671843533980/71187913967608247894130967*c_1001_3^12 - 211947013989290521748726706/71187913967608247894130967*c_1001_3^1\ 1 - 18677779124288932045532949090/71187913967608247894130967*c_1001\ _3^10 + 23993129545626986715461431523/71187913967608247894130967*c_\ 1001_3^9 + 12840279658154454203732134603/71187913967608247894130967\ *c_1001_3^8 + 38281609497713356359618478835/71187913967608247894130\ 967*c_1001_3^7 - 19972870429685450010089358831/71187913967608247894\ 130967*c_1001_3^6 - 6444845546915136462547457039/374673231408464462\ 6006893*c_1001_3^5 - 60247982091018362335743379323/7118791396760824\ 7894130967*c_1001_3^4 + 35249246181985965448615100127/7118791396760\ 8247894130967*c_1001_3^3 + 70700667715231349989999128020/7118791396\ 7608247894130967*c_1001_3^2 + 10873288685319407688175310914/7118791\ 3967608247894130967*c_1001_3 - 15017403277695211923417124872/711879\ 13967608247894130967, c_0011_0 - 1, c_0011_3 - 282248532310398416727/69787796304254149029232*c_1001_3^14 + 691656779991170861753/69787796304254149029232*c_1001_3^13 + 1664004998182037899819/34893898152127074514616*c_1001_3^12 - 3361221275516178665743/69787796304254149029232*c_1001_3^11 - 54532365454219198364533/69787796304254149029232*c_1001_3^10 + 117918501444341224791411/69787796304254149029232*c_1001_3^9 - 7225232305666288363087/8723474538031768628654*c_1001_3^8 + 168503404288653192132153/69787796304254149029232*c_1001_3^7 - 189769639641706681342871/69787796304254149029232*c_1001_3^6 - 226533386504019620009793/69787796304254149029232*c_1001_3^5 - 26665412095069716771387/69787796304254149029232*c_1001_3^4 + 98867061434133598663613/69787796304254149029232*c_1001_3^3 + 12457887700851431032849/8723474538031768628654*c_1001_3^2 - 12767685279193559405137/34893898152127074514616*c_1001_3 + 34726270468373332161929/69787796304254149029232, c_0011_5 - 112247268451029917904123/59947717025354314016110288*c_1001_3\ ^14 + 414798444315522819121285/59947717025354314016110288*c_1001_3^\ 13 + 561776764312553165880223/29973858512677157008055144*c_1001_3^1\ 2 - 3229111315770480139302147/59947717025354314016110288*c_1001_3^1\ 1 - 21918208357504184018067089/59947717025354314016110288*c_1001_3^\ 10 + 74379573246819042980327543/59947717025354314016110288*c_1001_3\ ^9 - 6655603334120748519014823/7493464628169289252013786*c_1001_3^8 + 55185308548926180831188693/59947717025354314016110288*c_1001_3^7 - 165510419104518301428764283/59947717025354314016110288*c_1001_3^6 - 53879747923201796138301805/59947717025354314016110288*c_1001_3^5 + 113138938255858405017794833/59947717025354314016110288*c_1001_3^4 + 209629839948699843464427497/59947717025354314016110288*c_1001_3^3 + 8747660732944494573838893/7493464628169289252013786*c_1001_3^2 - 41249232647091474989390317/29973858512677157008055144*c_1001_3 - 10974283729318476094059563/59947717025354314016110288, c_0101_0 - 218031550193941302393/69787796304254149029232*c_1001_3^14 + 904766861799196790263/69787796304254149029232*c_1001_3^13 + 943477465656127860317/34893898152127074514616*c_1001_3^12 - 7382995160957497502001/69787796304254149029232*c_1001_3^11 - 40622670043308429247387/69787796304254149029232*c_1001_3^10 + 163677760906284405015469/69787796304254149029232*c_1001_3^9 - 19404332624575042255009/8723474538031768628654*c_1001_3^8 + 137982733083905982288471/69787796304254149029232*c_1001_3^7 - 366520757947860303559625/69787796304254149029232*c_1001_3^6 - 50178587939085696737119/69787796304254149029232*c_1001_3^5 + 361189701931385718774811/69787796304254149029232*c_1001_3^4 + 324558666867201018505555/69787796304254149029232*c_1001_3^3 + 11748486011511018305407/8723474538031768628654*c_1001_3^2 - 95755108195533321772615/34893898152127074514616*c_1001_3 - 29639633183866409519081/69787796304254149029232, c_0101_1 + 159105238596547147395061/59947717025354314016110288*c_1001_3\ ^14 - 403741894886809471780171/59947717025354314016110288*c_1001_3^\ 13 - 991283046461572919650617/29973858512677157008055144*c_1001_3^1\ 2 + 2351524826647660251247053/59947717025354314016110288*c_1001_3^1\ 1 + 32412921950211033863380287/59947717025354314016110288*c_1001_3^\ 10 - 70401649639194214204277497/59947717025354314016110288*c_1001_3\ ^9 + 1246574882492542266837425/7493464628169289252013786*c_1001_3^8 - 47720631022583232208058523/59947717025354314016110288*c_1001_3^7 + 119158040085605860050069077/59947717025354314016110288*c_1001_3^6 + 160807931644551211216042787/59947717025354314016110288*c_1001_3^5 - 45082996617572615037823791/59947717025354314016110288*c_1001_3^4 - 234877871193671527623231367/59947717025354314016110288*c_1001_3^3 - 6915642352461361448144487/7493464628169289252013786*c_1001_3^2 + 52578457916086384220723539/29973858512677157008055144*c_1001_3 + 56991026999057607287995525/59947717025354314016110288, c_0101_6 - 485051813185061943062467/59947717025354314016110288*c_1001_3\ ^14 + 785714382494489026656397/59947717025354314016110288*c_1001_3^\ 13 + 3307686082301669380960039/29973858512677157008055144*c_1001_3^\ 12 - 916021335733360892674619/59947717025354314016110288*c_1001_3^1\ 1 - 97454675262481397418212889/59947717025354314016110288*c_1001_3^\ 10 + 125269654747341355053693359/59947717025354314016110288*c_1001_\ 3^9 + 6735748315702801346489715/7493464628169289252013786*c_1001_3^\ 8 + 225880971281831324782740861/59947717025354314016110288*c_1001_3\ ^7 - 108860506721632308551141139/59947717025354314016110288*c_1001_\ 3^6 - 590139401299896620361986869/59947717025354314016110288*c_1001\ _3^5 - 350844240774846561149582055/59947717025354314016110288*c_100\ 1_3^4 + 96241341953691511324026737/59947717025354314016110288*c_100\ 1_3^3 + 37092040384131027028186421/7493464628169289252013786*c_1001\ _3^2 + 22155695361299664155217347/29973858512677157008055144*c_1001\ _3 - 29238915081684773320732675/59947717025354314016110288, c_1001_3^15 - 2*c_1001_3^14 - 13*c_1001_3^13 + 7*c_1001_3^12 + 200*c_1001_3^11 - 334*c_1001_3^10 - 9*c_1001_3^9 - 439*c_1001_3^8 + 414*c_1001_3^7 + 1140*c_1001_3^6 + 296*c_1001_3^5 - 514*c_1001_3^4 - 615*c_1001_3^3 + 86*c_1001_3^2 + 135*c_1001_3 - 19 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.220 seconds, Total memory usage: 32.09MB