Magma V2.19-8 Tue Aug 20 2013 16:16:21 on localhost [Seed = 2084429983] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0627 geometric_solution 4.62378125 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 0 0 0 0 0 0 -2 2 0 0 0 0 0 0 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 1.563362931643 0.155422881798 0 2 2 0 3201 0132 1023 0132 0 0 0 0 0 -1 -1 2 0 0 0 0 -2 2 0 0 0 1 -1 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 -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.333035040226 0.330286991230 3 1 1 4 0132 0132 1023 0132 0 0 0 0 0 1 0 -1 0 0 1 -1 1 -1 0 0 1 -2 1 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.489471545899 0.794562443385 2 5 4 4 0132 0132 1302 2031 0 0 0 0 0 0 1 -1 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 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.323775411339 0.337427565827 3 3 2 5 2031 1302 0132 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.323775411339 0.337427565827 4 3 6 6 3201 0132 0132 2310 0 0 0 0 0 0 0 0 0 0 1 -1 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 0 0 0 0 0 1 -1 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.815258886459 1.573245292786 5 6 6 5 3201 1230 3012 0132 0 0 0 0 0 0 0 0 1 0 0 -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 0 0 0 1 0 0 -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.004263481104 0.505383160813 ==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' : d['c_0011_6'], 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : d['c_0011_4'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : negation(d['c_0011_4']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_6'], '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_0011_4'], 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_5']), 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : negation(d['c_0011_4']), 'c_0110_4' : negation(d['c_0101_5']), 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : d['c_0011_4'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : d['c_0011_4'], 'c_1010_2' : d['c_0101_2'], '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_4, c_0011_6, c_0101_0, c_0101_2, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 37465286838889762820181302445198292327/1548894659342743046690850724\ 8327674975*c_0101_5^19 - 197377619160252577913185747964806509696/15\ 488946593427430466908507248327674975*c_0101_5^18 - 36723296153867582418996431495512137746/3097789318685486093381701449\ 665534995*c_0101_5^17 - 38273350418714809966575654865116794794/3097\ 789318685486093381701449665534995*c_0101_5^16 + 1048981808975874896729178279767354070106/15488946593427430466908507\ 248327674975*c_0101_5^15 - 51797165198780545253284183794706441587/1\ 5488946593427430466908507248327674975*c_0101_5^14 + 14945350155759338996243213096413453790396/1548894659342743046690850\ 7248327674975*c_0101_5^13 - 951177047671207305720119551635657491334\ /442541331240783727625957349952219285*c_0101_5^12 + 10156262427538921609290502647696331417914/2212706656203918638129786\ 749761096425*c_0101_5^11 - 8950957151525385293214802500458529430787\ 9/15488946593427430466908507248327674975*c_0101_5^10 + 22514271541432534996477718424179618849166/1548894659342743046690850\ 7248327674975*c_0101_5^9 + 8096338144755550565290450853259221951877\ /3097789318685486093381701449665534995*c_0101_5^8 - 95117166009902899442198936825339179373933/1548894659342743046690850\ 7248327674975*c_0101_5^7 + 1469299245354468510713913496550607931450\ 3/2212706656203918638129786749761096425*c_0101_5^6 - 1060133500842988335763096006691994379372/44254133124078372762595734\ 9952219285*c_0101_5^5 - 25440520585815576741468913074688241697371/1\ 5488946593427430466908507248327674975*c_0101_5^4 + 31182585127257427039053469124967766196376/1548894659342743046690850\ 7248327674975*c_0101_5^3 - 1076169257755857483004005451905360126442\ 8/15488946593427430466908507248327674975*c_0101_5^2 + 3188375328352761124700537941294583859119/15488946593427430466908507\ 248327674975*c_0101_5 - 9592598244554894858824004730949876954/61955\ 7863737097218676340289933106999, c_0011_0 - 1, c_0011_1 - 104893043250757730329717558953390374/22127066562039186381297\ 86749761096425*c_0101_5^19 - 631541928659981093219326120946820762/2\ 212706656203918638129786749761096425*c_0101_5^18 - 38428724397859237364167809900718138/8850826624815674552519146999044\ 3857*c_0101_5^17 - 217355114488767285535005459517734258/44254133124\ 0783727625957349952219285*c_0101_5^16 + 2376978018109978595297364705426822647/22127066562039186381297867497\ 61096425*c_0101_5^15 + 1927865391827792290006568696416492661/221270\ 6656203918638129786749761096425*c_0101_5^14 + 42644087099350024552559552468941546572/2212706656203918638129786749\ 761096425*c_0101_5^13 - 2464887594610567678767861510775328445/88508\ 266248156745525191469990443857*c_0101_5^12 + 141138772983422479527820478403465716131/221270665620391863812978674\ 9761096425*c_0101_5^11 - 127470117612357442518059426152199542898/22\ 12706656203918638129786749761096425*c_0101_5^10 - 70750464138512938329529003096485408293/2212706656203918638129786749\ 761096425*c_0101_5^9 + 3700525097052589547903114793390398533/885082\ 66248156745525191469990443857*c_0101_5^8 - 172539097996967389212399324729971610666/221270665620391863812978674\ 9761096425*c_0101_5^7 + 124075795739255420320519968925866137972/221\ 2706656203918638129786749761096425*c_0101_5^6 + 8312679506961601734101030765282793819/44254133124078372762595734995\ 2219285*c_0101_5^5 - 73237501544806059963156948142610637337/2212706\ 656203918638129786749761096425*c_0101_5^4 + 16640101717309346372942350062912424962/2212706656203918638129786749\ 761096425*c_0101_5^3 + 10250529745653552136692602207510289399/22127\ 06656203918638129786749761096425*c_0101_5^2 + 7930773774372076772875604170478942328/22127066562039186381297867497\ 61096425*c_0101_5 + 487383957225729375122857518570261912/4425413312\ 40783727625957349952219285, c_0011_4 - 62672903290785280587124755902943677/221270665620391863812978\ 6749761096425*c_0101_5^19 - 384099949266462090716870428132959866/22\ 12706656203918638129786749761096425*c_0101_5^18 - 24676255298217071604087777497889808/8850826624815674552519146999044\ 3857*c_0101_5^17 - 144835407464204664348488488108593074/44254133124\ 0783727625957349952219285*c_0101_5^16 + 1330298611238073287913943442936287756/22127066562039186381297867497\ 61096425*c_0101_5^15 + 1274402787826017491571473749292566748/221270\ 6656203918638129786749761096425*c_0101_5^14 + 25630674971887939577383668911031180181/2212706656203918638129786749\ 761096425*c_0101_5^13 - 6817680043647543583732171937389878906/44254\ 1331240783727625957349952219285*c_0101_5^12 + 81221720369796089297697542979602396853/2212706656203918638129786749\ 761096425*c_0101_5^11 - 68480544910962062607003365036478988314/2212\ 706656203918638129786749761096425*c_0101_5^10 - 46702736134026709062393405678186316089/2212706656203918638129786749\ 761096425*c_0101_5^9 + 9487077088238081610899925637432644814/442541\ 331240783727625957349952219285*c_0101_5^8 - 95700944748935114143099371169435582553/2212706656203918638129786749\ 761096425*c_0101_5^7 + 64011246394667740193240325409585763151/22127\ 06656203918638129786749761096425*c_0101_5^6 + 6082079934362728974187861345348185399/44254133124078372762595734995\ 2219285*c_0101_5^5 - 40346232925949908838995155851630100831/2212706\ 656203918638129786749761096425*c_0101_5^4 + 3076996566658291929444945647241758921/22127066562039186381297867497\ 61096425*c_0101_5^3 + 5584683252450578359698597237631429387/2212706\ 656203918638129786749761096425*c_0101_5^2 + 5121913199829841007306797711468544179/22127066562039186381297867497\ 61096425*c_0101_5 + 592707189201488735322468290409455606/4425413312\ 40783727625957349952219285, c_0011_6 + 74010664296930525319022568069043664/221270665620391863812978\ 6749761096425*c_0101_5^19 + 449424938114101039083275707021255027/22\ 12706656203918638129786749761096425*c_0101_5^18 + 28129232013475811985788663442316377/8850826624815674552519146999044\ 3857*c_0101_5^17 + 163845590754660044908053438891600898/44254133124\ 0783727625957349952219285*c_0101_5^16 - 1593295448726908742743245888581749767/22127066562039186381297867497\ 61096425*c_0101_5^15 - 1370381889275114034994722781854893956/221270\ 6656203918638129786749761096425*c_0101_5^14 - 30132541933975358635505446317980884667/2212706656203918638129786749\ 761096425*c_0101_5^13 + 8376323817723591079023927722542274278/44254\ 1331240783727625957349952219285*c_0101_5^12 - 98384576861359115322569628215335546236/2212706656203918638129786749\ 761096425*c_0101_5^11 + 84827983988783415606735986837896935008/2212\ 706656203918638129786749761096425*c_0101_5^10 + 51825242986472979986622884142418197448/2212706656203918638129786749\ 761096425*c_0101_5^9 - 12609064275888481111446002025588938587/44254\ 1331240783727625957349952219285*c_0101_5^8 + 119662797279542297964656359345168547556/221270665620391863812978674\ 9761096425*c_0101_5^7 - 78987070419216525434689155969417908177/2212\ 706656203918638129786749761096425*c_0101_5^6 - 1254636856839471381141842900778871342/88508266248156745525191469990\ 443857*c_0101_5^5 + 53773297618370968446704574156151902072/22127066\ 56203918638129786749761096425*c_0101_5^4 - 11317018199668545455940754661110947842/2212706656203918638129786749\ 761096425*c_0101_5^3 - 8642806299885212538853829489589037269/221270\ 6656203918638129786749761096425*c_0101_5^2 - 5196495281436014842897188600747555163/22127066562039186381297867497\ 61096425*c_0101_5 - 606676848321982592874019309867753877/4425413312\ 40783727625957349952219285, c_0101_0 - 58465138800911596328203764830601241/221270665620391863812978\ 6749761096425*c_0101_5^19 - 369085042746091823359357272276201188/22\ 12706656203918638129786749761096425*c_0101_5^18 - 25266468537040739088146330834001730/8850826624815674552519146999044\ 3857*c_0101_5^17 - 145798538115026590664794931378646677/44254133124\ 0783727625957349952219285*c_0101_5^16 + 1167475273068095990275645259455628673/22127066562039186381297867497\ 61096425*c_0101_5^15 + 1462868135216606770872131643030540289/221270\ 6656203918638129786749761096425*c_0101_5^14 + 23837460789858964202929255591838154598/2212706656203918638129786749\ 761096425*c_0101_5^13 - 5482711636537416659165187884142670267/44254\ 1331240783727625957349952219285*c_0101_5^12 + 66005407478207617713773568641770023809/2212706656203918638129786749\ 761096425*c_0101_5^11 - 41351307314056631230226809433803673852/2212\ 706656203918638129786749761096425*c_0101_5^10 - 72976660911405176385684084571217375812/2212706656203918638129786749\ 761096425*c_0101_5^9 + 11734536129720911522956241492738095243/44254\ 1331240783727625957349952219285*c_0101_5^8 - 86356691557850060071012697677516998939/2212706656203918638129786749\ 761096425*c_0101_5^7 + 35895594616552889809780193951549461313/22127\ 06656203918638129786749761096425*c_0101_5^6 + 2197425732054557699759378662215802004/88508266248156745525191469990\ 443857*c_0101_5^5 - 52577650816824098537556405351070942118/22127066\ 56203918638129786749761096425*c_0101_5^4 + 2459085317637656176961444722106714973/22127066562039186381297867497\ 61096425*c_0101_5^3 + 10031791726243395658895021440175545586/221270\ 6656203918638129786749761096425*c_0101_5^2 + 4425056773069703626792930722444082022/22127066562039186381297867497\ 61096425*c_0101_5 + 585329765319094939657574160747426363/4425413312\ 40783727625957349952219285, c_0101_2 + 38758984650819383766506173921158646/221270665620391863812978\ 6749761096425*c_0101_5^19 + 227262711577685240920680407818989888/22\ 12706656203918638129786749761096425*c_0101_5^18 + 12889650681870804034355387127283013/8850826624815674552519146999044\ 3857*c_0101_5^17 + 73640802593713710765012476562056297/442541331240\ 783727625957349952219285*c_0101_5^16 - 916840247401962341762818274482300338/221270665620391863812978674976\ 1096425*c_0101_5^15 - 566638193512971565237951455201717289/22127066\ 56203918638129786749761096425*c_0101_5^14 - 15784242765185229704372717611873519238/2212706656203918638129786749\ 761096425*c_0101_5^13 + 5033260073645245257597937648607550121/44254\ 1331240783727625957349952219285*c_0101_5^12 - 57250309087646691126162487041004579364/2212706656203918638129786749\ 761096425*c_0101_5^11 + 58270119798267555612227626046695964052/2212\ 706656203918638129786749761096425*c_0101_5^10 + 13971109372161728995837704485754376047/2212706656203918638129786749\ 761096425*c_0101_5^9 - 6671949359247838143090267744732484524/442541\ 331240783727625957349952219285*c_0101_5^8 + 74275594765563916973752916415878773349/2212706656203918638129786749\ 761096425*c_0101_5^7 - 63504836645731719643956957142598286858/22127\ 06656203918638129786749761096425*c_0101_5^6 - 659417215756997162346667615438187958/442541331240783727625957349952\ 219285*c_0101_5^5 + 25199102273623009166617726003626402303/22127066\ 56203918638129786749761096425*c_0101_5^4 - 15866216089722803921836187012261965468/2212706656203918638129786749\ 761096425*c_0101_5^3 + 3058867198486882374314222767805921994/221270\ 6656203918638129786749761096425*c_0101_5^2 - 3052827094977067722253511512796495322/22127066562039186381297867497\ 61096425*c_0101_5 - 337957477904505737753542534219699533/4425413312\ 40783727625957349952219285, c_0101_5^20 + 6*c_0101_5^19 + 9*c_0101_5^18 + 10*c_0101_5^17 - 23*c_0101_5^16 - 18*c_0101_5^15 - 405*c_0101_5^14 + 596*c_0101_5^13 - 1344*c_0101_5^12 + 1210*c_0101_5^11 + 718*c_0101_5^10 - 999*c_0101_5^9 + 1709*c_0101_5^8 - 1216*c_0101_5^7 - 434*c_0101_5^6 + 823*c_0101_5^5 - 229*c_0101_5^4 - 85*c_0101_5^3 - 65*c_0101_5^2 - 36*c_0101_5 + 5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB