Magma V2.19-8 Tue Aug 20 2013 16:17:54 on localhost [Seed = 1073863808] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2128 geometric_solution 5.61843530 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 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 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.406350987533 0.220058808388 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 0 0 0 0 0 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.690784633635 0.810434731866 1 4 5 3 0132 0132 0132 2310 0 0 0 0 0 0 0 0 0 0 0 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 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.049636894578 1.046010854649 2 5 4 1 3201 0132 3201 0132 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 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.049636894578 1.046010854649 3 2 4 4 2310 0132 1230 3012 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 1.186477230858 1.272995768648 6 3 6 2 0132 0132 1023 0132 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.760224081673 1.185716795536 5 6 5 6 0132 1302 1023 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.473198054756 0.177999646625 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : 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' : negation(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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_3']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0101_1'], 's_3_6' : d['1'], '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_3'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0101_1']), 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : d['c_0011_3'], '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' : d['c_0101_0'], 'c_1001_4' : negation(d['c_0101_1']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0101_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : d['c_0011_3'], 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0101_1']), '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 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0101_0, c_0101_1, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t + 122930424680489945482858972713251993/117312143391732804779342317895\ 73502*c_0101_5^30 - 11296288803957561828447010793001918045/11731214\ 339173280477934231789573502*c_0101_5^28 + 69704391528477888108760432165022390846/5865607169586640238967115894\ 786751*c_0101_5^26 - 814760603271090667168457755384162748199/117312\ 14339173280477934231789573502*c_0101_5^24 + 61838009310906104878929579736427679851/3170598470046832561603846429\ 61446*c_0101_5^22 - 1175045291493202521970081772521922336246/586560\ 7169586640238967115894786751*c_0101_5^20 - 527499585590960363997220364318341314436/586560716958664023896711589\ 4786751*c_0101_5^18 + 2876978031464212923200371496360425434345/1173\ 1214339173280477934231789573502*c_0101_5^16 + 69459626023176575278513168927012628499/1173121433917328047793423178\ 9573502*c_0101_5^14 - 730676400717794737831734648742562059993/58656\ 07169586640238967115894786751*c_0101_5^12 + 92312968129274792351924221965477760935/1173121433917328047793423178\ 9573502*c_0101_5^10 + 115116111283275906693169404651614689335/58656\ 07169586640238967115894786751*c_0101_5^8 - 12398805187038459446336634018060658447/5865607169586640238967115894\ 786751*c_0101_5^6 - 11269354344087813852100812445882681937/11731214\ 339173280477934231789573502*c_0101_5^4 + 1349812173438479837060928025839046444/58656071695866402389671158947\ 86751*c_0101_5^2 - 1187815181063578169643367705428425955/1173121433\ 9173280477934231789573502, c_0011_0 - 1, c_0011_1 - 132138303664619996763735884911107/58656071695866402389671158\ 94786751*c_0101_5^30 + 12101905927545136954108230555678505/58656071\ 69586640238967115894786751*c_0101_5^28 - 146155492358864477948013085150568215/586560716958664023896711589478\ 6751*c_0101_5^26 + 832278931355755365845879501408190715/58656071695\ 86640238967115894786751*c_0101_5^24 - 59888688158218277554702019282880681/1585299235023416280801923214807\ 23*c_0101_5^22 + 1886027308899218097186936241044774155/586560716958\ 6640238967115894786751*c_0101_5^20 + 1755679994370526747509618674626725119/58656071695866402389671158947\ 86751*c_0101_5^18 - 3050398080241912227344136456425124429/586560716\ 9586640238967115894786751*c_0101_5^16 - 340509218788048759703871364248009533/586560716958664023896711589478\ 6751*c_0101_5^14 + 1597504115836811826991129876650770015/5865607169\ 586640238967115894786751*c_0101_5^12 - 48988158748963638748075590454045984/5865607169586640238967115894786\ 751*c_0101_5^10 - 331664745573061336612752416037035547/586560716958\ 6640238967115894786751*c_0101_5^8 + 40658099427619717753626171015048279/5865607169586640238967115894786\ 751*c_0101_5^6 + 15734264827353091304962097442927566/58656071695866\ 40238967115894786751*c_0101_5^4 - 327305069994903499857817063612840\ 9/5865607169586640238967115894786751*c_0101_5^2 - 2606002216769987216741648384832981/58656071695866402389671158947867\ 51, c_0011_3 + 1453783260348267809768397098619482/5865607169586640238967115\ 894786751*c_0101_5^31 - 133703005889767830957108637298933592/586560\ 7169586640238967115894786751*c_0101_5^29 + 1658962918567111328030628309535437955/58656071695866402389671158947\ 86751*c_0101_5^27 - 9761104967326490141372807027662948450/586560716\ 9586640238967115894786751*c_0101_5^25 + 750881740446535737216882470634516853/158529923502341628080192321480\ 723*c_0101_5^23 - 29772123722104668875496067681423444917/5865607169\ 586640238967115894786751*c_0101_5^21 - 10610908013062076108411590405379624716/5865607169586640238967115894\ 786751*c_0101_5^19 + 35213904750920047949348275883560437719/5865607\ 169586640238967115894786751*c_0101_5^17 - 1667178659354268859370225164269971193/58656071695866402389671158947\ 86751*c_0101_5^15 - 17524512807128451364989920911636425263/58656071\ 69586640238967115894786751*c_0101_5^13 + 2327647228966086135644753567432242379/58656071695866402389671158947\ 86751*c_0101_5^11 + 2718690792050194434603025726921355021/586560716\ 9586640238967115894786751*c_0101_5^9 - 469410607415606106895944734845938984/586560716958664023896711589478\ 6751*c_0101_5^7 - 103027842520167629058423482902011690/586560716958\ 6640238967115894786751*c_0101_5^5 + 21627867266290543741947519145962583/5865607169586640238967115894786\ 751*c_0101_5^3 - 19236450814134730706864221102505427/58656071695866\ 40238967115894786751*c_0101_5, c_0101_0 - 1217139266642762055564219485275350/5865607169586640238967115\ 894786751*c_0101_5^31 + 111848186297167202769119929829436256/586560\ 7169586640238967115894786751*c_0101_5^29 - 1380605826857572395308289910419548535/58656071695866402389671158947\ 86751*c_0101_5^27 + 8072686800804516153352459271513790112/586560716\ 9586640238967115894786751*c_0101_5^25 - 613495048364809429971025300233656994/158529923502341628080192321480\ 723*c_0101_5^23 + 23461594251063144725321890646288073939/5865607169\ 586640238967115894786751*c_0101_5^21 + 10062341490552863028009016241553765867/5865607169586640238967115894\ 786751*c_0101_5^19 - 28347981692108074771975462890927528578/5865607\ 169586640238967115894786751*c_0101_5^17 - 186087381820907766210646719498027495/586560716958664023896711589478\ 6751*c_0101_5^15 + 14053579041841002954412894717037075955/586560716\ 9586640238967115894786751*c_0101_5^13 - 1148119385635698806012426000094111286/58656071695866402389671158947\ 86751*c_0101_5^11 - 2036819533353574329456584698097041647/586560716\ 9586640238967115894786751*c_0101_5^9 + 307580636630153436996308868737070858/586560716958664023896711589478\ 6751*c_0101_5^7 + 36357145746857173309841129745643020/5865607169586\ 640238967115894786751*c_0101_5^5 - 24329055257340491012034988600857579/5865607169586640238967115894786\ 751*c_0101_5^3 + 17880069687230162464327717553251625/58656071695866\ 40238967115894786751*c_0101_5, c_0101_1 - 138271298454241064123298804116273/58656071695866402389671158\ 94786751*c_0101_5^30 + 12740754159817628124895399810074886/58656071\ 69586640238967115894786751*c_0101_5^28 - 159873145059344964560390545269338440/586560716958664023896711589478\ 6751*c_0101_5^26 + 944236005535528644263759060654074965/58656071695\ 86640238967115894786751*c_0101_5^24 - 72112298445251372062204009615678972/1585299235023416280801923214807\ 23*c_0101_5^22 + 2543452727510845213833361176065895529/586560716958\ 6640238967115894786751*c_0101_5^20 + 2390364482092427927243086303168999322/58656071695866402389671158947\ 86751*c_0101_5^18 - 4910017302948521885593230809594248214/586560716\ 9586640238967115894786751*c_0101_5^16 - 509460351291285907502012794409514439/586560716958664023896711589478\ 6751*c_0101_5^14 + 3119689387263592696681774750704440187/5865607169\ 586640238967115894786751*c_0101_5^12 - 51215005703844015938544413734135278/5865607169586640238967115894786\ 751*c_0101_5^10 - 741375113093762230821712439730630062/586560716958\ 6640238967115894786751*c_0101_5^8 + 82210321469989069533490151864214273/5865607169586640238967115894786\ 751*c_0101_5^6 + 43338888799950480199132555495520566/58656071695866\ 40238967115894786751*c_0101_5^4 - 789347330425450096674609815994689\ 0/5865607169586640238967115894786751*c_0101_5^2 + 2152427721234663019978229748446482/58656071695866402389671158947867\ 51, c_0101_4 + 653715071702986084739324368732524/58656071695866402389671158\ 94786751*c_0101_5^31 - 60039767579917396157885187094751312/58656071\ 69586640238967115894786751*c_0101_5^29 + 738431149055222067084993046285789227/586560716958664023896711589478\ 6751*c_0101_5^27 - 4293548557035976696851008104107593307/5865607169\ 586640238967115894786751*c_0101_5^25 + 322159866415254615627471781167317238/158529923502341628080192321480\ 723*c_0101_5^23 - 11717886422686349855131232302625846280/5865607169\ 586640238967115894786751*c_0101_5^21 - 6579706591210926471303753749819590997/58656071695866402389671158947\ 86751*c_0101_5^19 + 14949173106598363616560706725850001826/58656071\ 69586640238967115894786751*c_0101_5^17 + 1736320613362426770863495891745191649/58656071695866402389671158947\ 86751*c_0101_5^15 - 7723246622865406320879223366701385329/586560716\ 9586640238967115894786751*c_0101_5^13 - 304751478681166758584900448037161038/586560716958664023896711589478\ 6751*c_0101_5^11 + 1180676190900399360706188920241210904/5865607169\ 586640238967115894786751*c_0101_5^9 + 2936177468359660502229171135865671/58656071695866402389671158947867\ 51*c_0101_5^7 - 65820288689626211330060898806431586/586560716958664\ 0238967115894786751*c_0101_5^5 + 1193719292412429925071624926637152\ 9/5865607169586640238967115894786751*c_0101_5^3 - 11660859501906208303708664304103290/5865607169586640238967115894786\ 751*c_0101_5, c_0101_5^32 - 92*c_0101_5^30 + 1144*c_0101_5^28 - 6751*c_0101_5^26 + 19335*c_0101_5^24 - 21165*c_0101_5^22 - 6408*c_0101_5^20 + 24185*c_0101_5^18 - 1952*c_0101_5^16 - 11794*c_0101_5^14 + 1961*c_0101_5^12 + 1712*c_0101_5^10 - 356*c_0101_5^8 - 50*c_0101_5^6 + 22*c_0101_5^4 - 16*c_0101_5^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB