Magma V2.19-8 Tue Aug 20 2013 16:18:54 on localhost [Seed = 1831661595] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3064 geometric_solution 6.23198206 oriented_manifold CS_known 0.0000000000000001 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.517341824755 0.366477706946 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 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 1.195573240030 0.545275244646 1 4 5 6 0132 0132 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 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.720757786892 0.539617257835 6 5 4 1 0132 1023 0132 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.720757786892 0.539617257835 6 2 6 3 1302 0132 2031 0132 0 0 0 0 0 0 0 0 -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 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.520686806113 0.783997491748 3 5 5 2 1023 1230 3012 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 1 -1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.761321281322 0.662263884398 3 4 2 4 0132 2031 0132 1302 0 0 0 0 0 1 0 -1 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 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.988888976742 0.786017005205 ==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' : negation(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' : negation(d['1']), 's_1_6' : negation(d['1']), 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : negation(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' : d['c_0011_3'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_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_1'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0011_3'], '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_3'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(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' : negation(d['c_0011_3']), 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_5'], 'c_1001_2' : d['c_0101_5'], '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_3'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_0011_1'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0101_5'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0101_3']), '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_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t - 690566017461093546958845611185176437093/487720153105989377316391346\ 975353207472*c_0101_5^27 + 531067870318732048279991734750821899079/\ 177352782947632500842324126172855711808*c_0101_5^25 - 119947405249919134954989063251897863316587/195088061242395750926556\ 5387901412829888*c_0101_5^23 + 282520758196132289936515293880796544\ 764501/1950880612423957509265565387901412829888*c_0101_5^21 - 1366299787434528296025197746600081913508733/19508806124239575092655\ 65387901412829888*c_0101_5^19 + 40269846820548744172441403391583078\ 7086635/243860076552994688658195673487676603736*c_0101_5^17 - 229030231235857802640699686317863617938403/487720153105989377316391\ 346975353207472*c_0101_5^15 + 2856738451972347453997110920422201407\ 3908909/1950880612423957509265565387901412829888*c_0101_5^13 - 30300947930749596156051742634379541859896059/1950880612423957509265\ 565387901412829888*c_0101_5^11 - 1514705353751585520867300818336221\ 9166463587/975440306211978754632782693950706414944*c_0101_5^9 + 1032991923466296249568995460911067458202747/19508806124239575092655\ 65387901412829888*c_0101_5^7 + 221647214832370217042594288369237445\ 9965095/1950880612423957509265565387901412829888*c_0101_5^5 - 41145085313887843508551681590136599050427/4877201531059893773163913\ 46975353207472*c_0101_5^3 + 412863664309357044103454465471531399249\ /1950880612423957509265565387901412829888*c_0101_5, c_0011_0 - 1, c_0011_1 + 77272182481707826491387129939769804/277113723355675782566131\ 4471450870497*c_0101_5^26 - 171599091166008117411385149997038615/27\ 71137233556757825661314471450870497*c_0101_5^24 + 3377850383819795871903720177415121692/27711372335567578256613144714\ 50870497*c_0101_5^22 - 8271316636293017151850601272746619401/277113\ 7233556757825661314471450870497*c_0101_5^20 + 39284744425884990634090910005456007839/2771137233556757825661314471\ 450870497*c_0101_5^18 - 94777495982603828555115893390033530657/2771\ 137233556757825661314471450870497*c_0101_5^16 + 37926842123471982406091463939452877807/2771137233556757825661314471\ 450870497*c_0101_5^14 - 808862374815628464301263238884637216530/277\ 1137233556757825661314471450870497*c_0101_5^12 + 936566393856601587391646253286486448396/277113723355675782566131447\ 1450870497*c_0101_5^10 + 703418720507910806086156038413175389468/27\ 71137233556757825661314471450870497*c_0101_5^8 - 41696845532317893497718766386229099505/2771137233556757825661314471\ 450870497*c_0101_5^6 - 31116105710533926545221536250191860266/27711\ 37233556757825661314471450870497*c_0101_5^4 - 5129444446334097702441213763243600288/27711372335567578256613144714\ 50870497*c_0101_5^2 - 4180804250317172388009421493709857881/2771137\ 233556757825661314471450870497, c_0011_3 - 170751483944410686778582799669901021/27711372335567578256613\ 14471450870497*c_0101_5^27 + 1461420860776444768518770413872923029/\ 11084548934227031302645257885803481988*c_0101_5^25 - 29707607675108671995849756311366050551/1108454893422703130264525788\ 5803481988*c_0101_5^23 + 70625473420619795435091169702023114077/110\ 84548934227031302645257885803481988*c_0101_5^21 - 340145974674590165805295145115347936617/110845489342270313026452578\ 85803481988*c_0101_5^19 + 201617849837867360324348288168603217323/2\ 771137233556757825661314471450870497*c_0101_5^17 - 63253943341787289715041266234272886181/2771137233556757825661314471\ 450870497*c_0101_5^15 + 7086015139054042042789755072725176320005/11\ 084548934227031302645257885803481988*c_0101_5^13 - 7674379962441889589995148263769525337143/11084548934227031302645257\ 885803481988*c_0101_5^11 - 3586165176069140399746554462704900062141\ /5542274467113515651322628942901740994*c_0101_5^9 + 261236953669936909795422295475051828183/110845489342270313026452578\ 85803481988*c_0101_5^7 + 393528280367179889221459160746188024311/11\ 084548934227031302645257885803481988*c_0101_5^5 + 10199751115658132468504724928064544248/2771137233556757825661314471\ 450870497*c_0101_5^3 + 52335484030334148066666736290821646109/11084\ 548934227031302645257885803481988*c_0101_5, c_0101_0 - 146722466482443463994864440594540321/27711372335567578256613\ 14471450870497*c_0101_5^27 + 1225692985901375065122143528652832169/\ 11084548934227031302645257885803481988*c_0101_5^25 - 25454241274132438751337946211993015551/1108454893422703130264525788\ 5803481988*c_0101_5^23 + 59349647222053982370659536602979123845/110\ 84548934227031302645257885803481988*c_0101_5^21 - 288775583699653806193771666635248120081/110845489342270313026452578\ 85803481988*c_0101_5^19 + 169160188310921392337094165541342201975/2\ 771137233556757825661314471450870497*c_0101_5^17 - 44096737917866662648061523593300585902/2771137233556757825661314471\ 450870497*c_0101_5^15 + 6061767737529236266643116215105550325973/11\ 084548934227031302645257885803481988*c_0101_5^13 - 6264101086385571720060652532175896942591/11084548934227031302645257\ 885803481988*c_0101_5^11 - 3298646950654850922446392394443687949707\ /5542274467113515651322628942901740994*c_0101_5^9 + 121818153411670481433603382341067014515/110845489342270313026452578\ 85803481988*c_0101_5^7 + 271079787208484582108532799491882689043/11\ 084548934227031302645257885803481988*c_0101_5^5 - 4336709213167001127190635986597561600/27711372335567578256613144714\ 50870497*c_0101_5^3 + 57590013513178158325272661452026799053/110845\ 48934227031302645257885803481988*c_0101_5, c_0101_1 + 11512159964953917926746563466666316/277113723355675782566131\ 4471450870497*c_0101_5^26 - 14142568374181530747456101862913355/277\ 1137233556757825661314471450870497*c_0101_5^24 + 474669930769558942506154224504939693/277113723355675782566131447145\ 0870497*c_0101_5^22 - 724466810742582767342026680030973797/27711372\ 33556757825661314471450870497*c_0101_5^20 + 4486632922958597247456305253998234482/27711372335567578256613144714\ 50870497*c_0101_5^18 - 7908720154942291737948494092921947484/277113\ 7233556757825661314471450870497*c_0101_5^16 - 10151153537350245018498788775827578471/2771137233556757825661314471\ 450870497*c_0101_5^14 - 110212860745485785698872239274118278036/277\ 1137233556757825661314471450870497*c_0101_5^12 + 16491043702813894993960044402871932457/2771137233556757825661314471\ 450870497*c_0101_5^10 + 278077802081547083690192269874848987566/277\ 1137233556757825661314471450870497*c_0101_5^8 + 43970372922157151519656291364580161170/2771137233556757825661314471\ 450870497*c_0101_5^6 - 19578391190084086836731828557220432108/27711\ 37233556757825661314471450870497*c_0101_5^4 - 955026734077885115562246495826228902/277113723355675782566131447145\ 0870497*c_0101_5^2 - 997184608168972273737823997983170327/277113723\ 3556757825661314471450870497, c_0101_3 - 57098092191268294805922166972179200/277113723355675782566131\ 4471450870497*c_0101_5^26 + 120305275253961049866169780026930712/27\ 71137233556757825661314471450870497*c_0101_5^24 - 2478575496864411490025787862038622322/27711372335567578256613144714\ 50870497*c_0101_5^22 + 5821263791016134958570616363604929157/277113\ 7233556757825661314471450870497*c_0101_5^20 - 28202546513577212363630568834108315769/2771137233556757825661314471\ 450870497*c_0101_5^18 + 66406601549134647694246187157515014927/2771\ 137233556757825661314471450870497*c_0101_5^16 - 18511974619044988826002381581078859065/2771137233556757825661314471\ 450870497*c_0101_5^14 + 590746096432648254967615168217588962995/277\ 1137233556757825661314471450870497*c_0101_5^12 - 622210830741373912373883066690413723149/277113723355675782566131447\ 1450870497*c_0101_5^10 - 630011390783240175918635407324403458743/27\ 71137233556757825661314471450870497*c_0101_5^8 + 9273572321271572027884817088493895453/27711372335567578256613144714\ 50870497*c_0101_5^6 + 45850413022667105925002914608921945373/277113\ 7233556757825661314471450870497*c_0101_5^4 + 3550230014002154047404347968224882192/27711372335567578256613144714\ 50870497*c_0101_5^2 + 4621182324360984659026365582383439797/2771137\ 233556757825661314471450870497, c_0101_5^28 - 9/4*c_0101_5^26 + 175/4*c_0101_5^24 - 433/4*c_0101_5^22 + 2041/4*c_0101_5^20 - 1238*c_0101_5^18 + 511*c_0101_5^16 - 41769/4*c_0101_5^14 + 49599/4*c_0101_5^12 + 18119/2*c_0101_5^10 - 4959/4*c_0101_5^8 - 1915/4*c_0101_5^6 - 17*c_0101_5^4 - 285/4*c_0101_5^2 + 8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB