Magma V2.19-8 Tue Aug 20 2013 16:14:07 on localhost [Seed = 2985307528] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s069 geometric_solution 3.61062987 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 1 1230 3012 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 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.653242563369 0.050027404816 2 0 2 0 0132 2310 1023 0132 0 0 0 0 0 0 1 -1 -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 0 -1 1 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.824858425495 0.066524489058 1 3 1 3 0132 0132 1023 1023 0 0 0 0 0 0 -1 1 1 0 -1 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 -1 0 1 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.655450826669 0.235913857610 4 2 5 2 0132 0132 0132 1023 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 -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.919383352609 1.916231510257 3 5 5 5 0132 3201 0213 2310 0 0 0 0 0 0 0 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 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.016975404385 1.008211684813 4 4 4 3 3201 0213 2310 0132 0 0 0 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 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.016975404385 1.008211684813 ==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_1']), 'c_1100_4' : d['c_0011_5'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_1'], 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : d['c_0011_5'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : 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_1']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_5'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0011_5'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_3'], 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : 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_5, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 3360110760373902676625231/77633235592014222400807*c_0101_3^16 + 6137928461613660186999163/77633235592014222400807*c_0101_3^15 - 29276675249074714433700639/77633235592014222400807*c_0101_3^14 - 139302399432404759092625001/77633235592014222400807*c_0101_3^13 + 233741076713037701107699634/77633235592014222400807*c_0101_3^12 + 281606012480089580649044746/77633235592014222400807*c_0101_3^11 - 797927559823645064744694019/77633235592014222400807*c_0101_3^10 - 132594058005711300203344000/77633235592014222400807*c_0101_3^9 + 1408159303445478960699632703/77633235592014222400807*c_0101_3^8 + 2109835760619170298945520981/77633235592014222400807*c_0101_3^7 + 681471640067511469880601933/77633235592014222400807*c_0101_3^6 + 47918053754249796860648197/77633235592014222400807*c_0101_3^5 + 139439189099380599446318138/77633235592014222400807*c_0101_3^4 + 245693443937243164056904246/77633235592014222400807*c_0101_3^3 - 216693698203431266507456/77633235592014222400807*c_0101_3^2 - 69854098810628271274256282/77633235592014222400807*c_0101_3 - 5187711957316944549353407/77633235592014222400807, c_0011_0 - 1, c_0011_1 + 226548847925919411361/1893493551024737131727*c_0101_3^16 - 379512340675490614293/1893493551024737131727*c_0101_3^15 + 1922237608695247013365/1893493551024737131727*c_0101_3^14 + 9661411011769415545747/1893493551024737131727*c_0101_3^13 - 14206369066882123298984/1893493551024737131727*c_0101_3^12 - 21050336962063396623851/1893493551024737131727*c_0101_3^11 + 49937076534567254234887/1893493551024737131727*c_0101_3^10 + 17347100759309678688346/1893493551024737131727*c_0101_3^9 - 91956139887526471947162/1893493551024737131727*c_0101_3^8 - 158225195528226171123504/1893493551024737131727*c_0101_3^7 - 67848427619963976898408/1893493551024737131727*c_0101_3^6 - 17733446354549101057364/1893493551024737131727*c_0101_3^5 - 10816195059291173396345/1893493551024737131727*c_0101_3^4 - 17755714567129129736816/1893493551024737131727*c_0101_3^3 - 1460693411176867706891/1893493551024737131727*c_0101_3^2 + 1869268718773158483990/1893493551024737131727*c_0101_3 + 791845563198626985821/1893493551024737131727, c_0011_5 - 23986250255071624172/1893493551024737131727*c_0101_3^16 + 69620755292650311425/1893493551024737131727*c_0101_3^15 - 221304691679775943645/1893493551024737131727*c_0101_3^14 - 869518419613716090213/1893493551024737131727*c_0101_3^13 + 3134477089684242700914/1893493551024737131727*c_0101_3^12 + 1290862532854510831631/1893493551024737131727*c_0101_3^11 - 11558268601861397810570/1893493551024737131727*c_0101_3^10 + 5868594863090796361617/1893493551024737131727*c_0101_3^9 + 20333554904137991184048/1893493551024737131727*c_0101_3^8 - 5167443946754959988288/1893493551024737131727*c_0101_3^7 - 20093440553375294022257/1893493551024737131727*c_0101_3^6 - 11527567831645605181394/1893493551024737131727*c_0101_3^5 + 3054857620648354001140/1893493551024737131727*c_0101_3^4 - 5732103881952303347157/1893493551024737131727*c_0101_3^3 - 4259522487658495982177/1893493551024737131727*c_0101_3^2 - 643033679158639212297/1893493551024737131727*c_0101_3 + 816435706677509027150/1893493551024737131727, c_0101_0 + 89786015239140100226/1893493551024737131727*c_0101_3^16 + 6009005819026700656/1893493551024737131727*c_0101_3^15 + 443360869615755503465/1893493551024737131727*c_0101_3^14 + 5271344430304000434252/1893493551024737131727*c_0101_3^13 + 550274950310159716899/1893493551024737131727*c_0101_3^12 - 20453657466511276822138/1893493551024737131727*c_0101_3^11 + 9956792503101986403142/1893493551024737131727*c_0101_3^10 + 45956253295015328975981/1893493551024737131727*c_0101_3^9 - 41320085499406156877172/1893493551024737131727*c_0101_3^8 - 125023057230637098224138/1893493551024737131727*c_0101_3^7 - 106409338255779901135553/1893493551024737131727*c_0101_3^6 - 29481737007131074428358/1893493551024737131727*c_0101_3^5 - 16709633273252834179557/1893493551024737131727*c_0101_3^4 - 22770858652774052199104/1893493551024737131727*c_0101_3^3 - 12162462370831836873199/1893493551024737131727*c_0101_3^2 + 2411070617907065647964/1893493551024737131727*c_0101_3 + 2360334028495534298182/1893493551024737131727, c_0101_1 - 216478982947604335643/1893493551024737131727*c_0101_3^16 + 403685412310265695422/1893493551024737131727*c_0101_3^15 - 1905531907765583902039/1893493551024737131727*c_0101_3^14 - 8879894251382956378609/1893493551024737131727*c_0101_3^13 + 15300661552172143001673/1893493551024737131727*c_0101_3^12 + 17623754500759869987374/1893493551024737131727*c_0101_3^11 - 51559420854092195576658/1893493551024737131727*c_0101_3^10 - 8392919477615883389021/1893493551024737131727*c_0101_3^9 + 92578421375504144961218/1893493551024737131727*c_0101_3^8 + 135432171132397446022816/1893493551024737131727*c_0101_3^7 + 30842436114473092374124/1893493551024737131727*c_0101_3^6 + 7651672650407480914316/1893493551024737131727*c_0101_3^5 + 10569725307318164148206/1893493551024737131727*c_0101_3^4 + 16823347021825202543322/1893493551024737131727*c_0101_3^3 - 4339325049712103346559/1893493551024737131727*c_0101_3^2 - 1557295699641873528997/1893493551024737131727*c_0101_3 + 1220457713181625389994/1893493551024737131727, c_0101_3^17 - 2*c_0101_3^16 + 9*c_0101_3^15 + 40*c_0101_3^14 - 77*c_0101_3^13 - 73*c_0101_3^12 + 254*c_0101_3^11 + c_0101_3^10 - 433*c_0101_3^9 - 557*c_0101_3^8 - 81*c_0101_3^7 + 40*c_0101_3^6 - 33*c_0101_3^5 - 66*c_0101_3^4 + 14*c_0101_3^3 + 23*c_0101_3^2 - 2*c_0101_3 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB