Magma V2.19-8 Tue Aug 20 2013 16:17:30 on localhost [Seed = 644332287] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1728 geometric_solution 5.43451894 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 1230 3012 0 0 0 0 0 -1 0 1 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 1 -1 0 0 1 -1 0 1 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.516541654902 0.644591644091 0 3 3 4 0132 0132 2031 0132 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 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.827434937983 0.869593452988 4 0 5 3 1302 0132 0132 1302 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 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.755134314942 0.460500020799 4 1 2 1 3012 0132 2031 1302 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 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.563255894010 0.169811992339 5 2 1 3 1230 2031 0132 1230 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 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.064212392127 0.660465769914 6 4 6 2 0132 3012 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.911515403210 0.528232668962 5 5 6 6 0132 3201 2031 1302 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 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.587531558484 0.178232353395 ==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' : negation(d['1']), 's_2_0' : negation(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_4']), 'c_1100_5' : negation(d['c_0011_0']), 'c_1100_4' : d['c_0110_3'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0110_3'], 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : d['c_0101_1'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : negation(d['c_0011_4']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : negation(d['c_0011_0']), 'c_0101_2' : negation(d['c_0011_4']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_0']), '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_0011_4']), 'c_1001_4' : negation(d['c_0110_2']), 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : negation(d['c_0110_3']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0110_2']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0110_3'], 'c_0110_2' : d['c_0110_2'], 'c_0110_5' : negation(d['c_0011_4']), 'c_0110_4' : d['c_0011_0'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : d['c_0011_4'], 'c_1010_5' : negation(d['c_0101_0']), 'c_1010_4' : negation(d['c_0011_0']), 'c_1010_3' : negation(d['c_0110_3']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0110_2']), '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_4, c_0101_0, c_0101_1, c_0101_5, c_0110_2, c_0110_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 853765893453117344483685/67966063722348202819624*c_0110_3^19 + 1413657076884378242403129/67966063722348202819624*c_0110_3^18 + 7232110839105727480540233/67966063722348202819624*c_0110_3^17 - 8294081316267887129046917/67966063722348202819624*c_0110_3^16 - 1228585305699030540331487/1836920641144546022152*c_0110_3^15 - 8751328017705487471042895/16991515930587050704906*c_0110_3^14 - 15276870658484108000914075/16991515930587050704906*c_0110_3^13 + 28924555964898651177810861/67966063722348202819624*c_0110_3^12 + 270171393979135321518258753/67966063722348202819624*c_0110_3^11 + 273619761119904724355714519/67966063722348202819624*c_0110_3^10 + 86895527106467723998464487/16991515930587050704906*c_0110_3^9 + 472404584378638972738038693/67966063722348202819624*c_0110_3^8 + 34455071110832437891123656/8495757965293525352453*c_0110_3^7 - 1801532982216829028450679/33983031861174101409812*c_0110_3^6 - 3156977618983820288882531/1836920641144546022152*c_0110_3^5 + 47076696411100562157967959/67966063722348202819624*c_0110_3^4 + 85057258575679902595612181/67966063722348202819624*c_0110_3^3 - 23990035374867255882674209/33983031861174101409812*c_0110_3^2 - 28630442906904576843629225/67966063722348202819624*c_0110_3 + 6409609511549194547201899/67966063722348202819624, c_0011_0 - 1, c_0011_4 - 1195863295962953258282/8495757965293525352453*c_0110_3^19 - 3643565235501584717163/8495757965293525352453*c_0110_3^18 - 10754555333425534506443/8495757965293525352453*c_0110_3^17 - 1449229673741837829416/8495757965293525352453*c_0110_3^16 + 2611348101815492432202/229615080143068252769*c_0110_3^15 + 97013547971792780124377/8495757965293525352453*c_0110_3^14 + 87567356549911533344278/8495757965293525352453*c_0110_3^13 + 68721975403026683805494/8495757965293525352453*c_0110_3^12 - 571652349295398713064641/8495757965293525352453*c_0110_3^11 - 671228600353928826928301/8495757965293525352453*c_0110_3^10 - 619248070490665185955019/8495757965293525352453*c_0110_3^9 - 1122273659809787712468544/8495757965293525352453*c_0110_3^8 - 717315781683490733586219/8495757965293525352453*c_0110_3^7 - 80396216158064611851565/8495757965293525352453*c_0110_3^6 + 7590521919327196678044/229615080143068252769*c_0110_3^5 - 39971430152530237415298/8495757965293525352453*c_0110_3^4 - 316368569210609829304871/8495757965293525352453*c_0110_3^3 + 109947354021827664016852/8495757965293525352453*c_0110_3^2 + 106719519879304818577687/8495757965293525352453*c_0110_3 - 31508849876958805678348/8495757965293525352453, c_0101_0 + 1450103518486566894858/8495757965293525352453*c_0110_3^19 + 852679180088668783574/8495757965293525352453*c_0110_3^18 + 12058396192697664723698/8495757965293525352453*c_0110_3^17 - 26313089499782508049499/8495757965293525352453*c_0110_3^16 - 1173126493988280700698/229615080143068252769*c_0110_3^15 - 23378617995345866237595/8495757965293525352453*c_0110_3^14 - 104882861277143795576187/8495757965293525352453*c_0110_3^13 + 146682314167672557391613/8495757965293525352453*c_0110_3^12 + 249006591749712573929240/8495757965293525352453*c_0110_3^11 + 247003400801908213094277/8495757965293525352453*c_0110_3^10 + 478001090941331341966992/8495757965293525352453*c_0110_3^9 + 425568744203348704395483/8495757965293525352453*c_0110_3^8 + 280322024844680286754222/8495757965293525352453*c_0110_3^7 - 12157461549693578996210/8495757965293525352453*c_0110_3^6 - 51199822296573439434/229615080143068252769*c_0110_3^5 + 131937581136893349261879/8495757965293525352453*c_0110_3^4 + 14403292551827685108181/8495757965293525352453*c_0110_3^3 - 32194916096798670463048/8495757965293525352453*c_0110_3^2 - 14950017113034156310110/8495757965293525352453*c_0110_3 - 2224414113055545086594/8495757965293525352453, c_0101_1 + 662628635418824907410/8495757965293525352453*c_0110_3^19 + 652004447928044532236/8495757965293525352453*c_0110_3^18 + 5116555521165706633786/8495757965293525352453*c_0110_3^17 - 9816805317293476139491/8495757965293525352453*c_0110_3^16 - 786687045136150008581/229615080143068252769*c_0110_3^15 - 5732249315286825158146/8495757965293525352453*c_0110_3^14 - 43408081111074992075606/8495757965293525352453*c_0110_3^13 + 50010973504228592528387/8495757965293525352453*c_0110_3^12 + 177445873224397492648041/8495757965293525352453*c_0110_3^11 + 79346436685598137793927/8495757965293525352453*c_0110_3^10 + 214268766534138333746515/8495757965293525352453*c_0110_3^9 + 227568693516711263883159/8495757965293525352453*c_0110_3^8 + 67097910421439568226345/8495757965293525352453*c_0110_3^7 - 27615848769909953058620/8495757965293525352453*c_0110_3^6 - 1178960491957985312522/229615080143068252769*c_0110_3^5 + 92304520783049847494774/8495757965293525352453*c_0110_3^4 + 2908330434663630384698/8495757965293525352453*c_0110_3^3 - 44674483115794963740127/8495757965293525352453*c_0110_3^2 - 2937649584843442621122/8495757965293525352453*c_0110_3 - 997598421052064564023/8495757965293525352453, c_0101_5 + 746736968285586170608/499750468546677961909*c_0110_3^19 + 769245346206691943084/499750468546677961909*c_0110_3^18 + 6071580946529637107190/499750468546677961909*c_0110_3^17 - 10990754712593214930557/499750468546677961909*c_0110_3^16 - 840865372273998045072/13506769420180485457*c_0110_3^15 - 15874266199731257670137/499750468546677961909*c_0110_3^14 - 49680869008861690197231/499750468546677961909*c_0110_3^13 + 56621265298087561597092/499750468546677961909*c_0110_3^12 + 186860050598900408871906/499750468546677961909*c_0110_3^11 + 151224269071846693342242/499750468546677961909*c_0110_3^10 + 246950226623400859243022/499750468546677961909*c_0110_3^9 + 274497105149936706165904/499750468546677961909*c_0110_3^8 + 125094211937562348634533/499750468546677961909*c_0110_3^7 - 48023503363549156835892/499750468546677961909*c_0110_3^6 - 1950119282225115573002/13506769420180485457*c_0110_3^5 + 56915541457484203606849/499750468546677961909*c_0110_3^4 + 28941898577330504959560/499750468546677961909*c_0110_3^3 - 37115168684442828671338/499750468546677961909*c_0110_3^2 - 9369815280583430523257/499750468546677961909*c_0110_3 + 3306769014420370465475/499750468546677961909, c_0110_2 - 997598421052064564023/8495757965293525352453*c_0110_3^19 - 334969785633239656613/8495757965293525352453*c_0110_3^18 - 7328782920488471979948/8495757965293525352453*c_0110_3^17 + 20080531836946675094131/8495757965293525352453*c_0110_3^16 + 867089955861979339175/229615080143068252769*c_0110_3^15 - 11150649091100388165083/8495757965293525352453*c_0110_3^14 + 57116451210993242375303/8495757965293525352453*c_0110_3^13 - 121220757953136028069400/8495757965293525352453*c_0110_3^12 - 203379025442995806733455/8495757965293525352453*c_0110_3^11 - 5114637828130322568168/8495757965293525352453*c_0110_3^10 - 226916278577385683361134/8495757965293525352453*c_0110_3^9 - 133893082413032199097512/8495757965293525352453*c_0110_3^8 + 95885701937838741432123/8495757965293525352453*c_0110_3^7 + 153888973052969185296346/8495757965293525352453*c_0110_3^6 + 1841989179759141759124/229615080143068252769*c_0110_3^5 - 135400592939235396453430/8495757965293525352453*c_0110_3^4 + 51402985519915200369831/8495757965293525352453*c_0110_3^3 + 63761834118839568790101/8495757965293525352453*c_0110_3^2 - 35696097326326382663920/8495757965293525352453*c_0110_3 - 3420277409018498344876/8495757965293525352453, c_0110_3^20 + c_0110_3^19 + 8*c_0110_3^18 - 15*c_0110_3^17 - 42*c_0110_3^16 - 18*c_0110_3^15 - 63*c_0110_3^14 + 78*c_0110_3^13 + 254*c_0110_3^12 + 183*c_0110_3^11 + 307*c_0110_3^10 + 349*c_0110_3^9 + 132*c_0110_3^8 - 87*c_0110_3^7 - 96*c_0110_3^6 + 92*c_0110_3^5 + 41*c_0110_3^4 - 61*c_0110_3^3 - 9*c_0110_3^2 + 9*c_0110_3 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB