Magma V2.19-8 Tue Aug 20 2013 16:18:06 on localhost [Seed = 1343343764] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2331 geometric_solution 5.71867959 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 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 -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.236010986285 0.175434038415 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 -1 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 0 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.034853260016 1.853214348632 1 3 4 5 0132 3201 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 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.294771828044 0.950208485595 5 4 2 1 1023 0132 2310 0132 0 0 0 0 0 -1 0 1 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 -1 0 1 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.294771828044 0.950208485595 6 3 6 2 0132 0132 2310 0132 0 0 0 0 0 1 -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 0 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.084774355444 0.610579238820 5 3 2 5 3012 1023 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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.070830046253 0.819779684716 4 4 6 6 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.491519806433 0.321944096001 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(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' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : negation(d['1']), 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(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' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0101_4'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_3'], '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_1'], 'c_0101_4' : d['c_0101_4'], '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' : negation(d['c_0011_3']), '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_3'], 'c_1001_4' : d['c_0101_0'], 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : negation(d['c_0101_3']), '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_0011_3'], 'c_0110_4' : d['c_0101_0'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0101_0']), 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : 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_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 36 Groebner basis: [ t - 4492409898498087192894638996090467/22154434185854933721239719089650\ *c_0101_4^35 + 21427763253660381528321161515965297/4430886837170986\ 744247943817930*c_0101_4^33 - 571405259402073541261787760816913473/\ 11077217092927466860619859544825*c_0101_4^31 + 7373636443383533554537420815451782061/22154434185854933721239719089\ 650*c_0101_4^29 - 16542993233694203000710602232750704873/1107721709\ 2927466860619859544825*c_0101_4^27 + 57208296290464417359784430395108597208/1107721709292746686061985954\ 4825*c_0101_4^25 - 165584882879119258849667258631167386352/11077217\ 092927466860619859544825*c_0101_4^23 + 163387478562472919239241079616768628967/443088683717098674424794381\ 7930*c_0101_4^21 - 1614530150904627225537268235002972301593/2215443\ 4185854933721239719089650*c_0101_4^19 + 1178842797752796551263642126616539441656/11077217092927466860619859\ 544825*c_0101_4^17 - 2406171747885533193216820205169697345687/22154\ 434185854933721239719089650*c_0101_4^15 + 823941087124272985880574204046479546169/110772170929274668606198595\ 44825*c_0101_4^13 - 714144530799874894746669670240476646563/2215443\ 4185854933721239719089650*c_0101_4^11 + 6789948790485324425441250376033716349/88617736743419734884958876358\ 6*c_0101_4^9 - 6060122517562533248015941691327265972/11077217092927\ 466860619859544825*c_0101_4^7 - 99276373013385786083367269667354857\ 9/11077217092927466860619859544825*c_0101_4^5 + 224932136065826493679324495220988173/221544341858549337212397190896\ 50*c_0101_4^3 - 13066612357986591926906820911420384/110772170929274\ 66860619859544825*c_0101_4, c_0011_0 - 1, c_0011_1 + 357796402272576465456953167/886177367434197348849588763586*c\ _0101_4^34 + 9648073077284061158993479511/8861773674341973488495887\ 63586*c_0101_4^32 - 158880020757117677945697891608/4430886837170986\ 74424794381793*c_0101_4^30 + 3473081963386638261715360031093/886177\ 367434197348849588763586*c_0101_4^28 - 10757450854249128195558582472295/443088683717098674424794381793*c_0\ 101_4^26 + 45175787641874377503945621238099/44308868371709867442479\ 4381793*c_0101_4^24 - 146101582758475330940129797961637/44308868371\ 7098674424794381793*c_0101_4^22 + 804683437336645541748153435286381\ /886177367434197348849588763586*c_0101_4^20 - 1876649567346678592246546717866275/886177367434197348849588763586*c\ _0101_4^18 + 1649726650163520237409296115453667/4430886837170986744\ 24794381793*c_0101_4^16 - 3878619306756833326013121673333605/886177\ 367434197348849588763586*c_0101_4^14 + 1411346155151526329353215326513741/443088683717098674424794381793*c\ _0101_4^12 - 1162452826875105676094408691965209/8861773674341973488\ 49588763586*c_0101_4^10 + 195874852391053731354551104965921/8861773\ 67434197348849588763586*c_0101_4^8 + 9811022812523750298598181728441/443088683717098674424794381793*c_01\ 01_4^6 - 3229931221897233691153718338152/44308868371709867442479438\ 1793*c_0101_4^4 - 806750787588530156251351166935/886177367434197348\ 849588763586*c_0101_4^2 + 373393837791183790655461487467/4430886837\ 17098674424794381793, c_0011_3 + 69694845925914883769332894326/443088683717098674424794381793\ *c_0101_4^35 - 3345710400846186997393435880815/88617736743419734884\ 9588763586*c_0101_4^33 + 35952892424694795963816779992705/886177367\ 434197348849588763586*c_0101_4^31 - 116928461134779887054533564576072/443088683717098674424794381793*c_\ 0101_4^29 + 1057979421488297041545224620553887/88617736743419734884\ 9588763586*c_0101_4^27 - 1842776976545457205649849742127675/4430886\ 83717098674424794381793*c_0101_4^25 + 5364816932511342560206750967923325/443088683717098674424794381793*c\ _0101_4^23 - 13317757837747539660270906726618021/443088683717098674\ 424794381793*c_0101_4^21 + 53198228538666650317151901067426067/8861\ 77367434197348849588763586*c_0101_4^19 - 79033769744350131932782474294650949/886177367434197348849588763586*\ c_0101_4^17 + 41384749863711143043640686144021553/44308868371709867\ 4424794381793*c_0101_4^15 - 59024185104293941360463204769020391/886\ 177367434197348849588763586*c_0101_4^13 + 13759827906001625569555169110369939/443088683717098674424794381793*\ c_0101_4^11 - 7725870263748671280776153987218223/886177367434197348\ 849588763586*c_0101_4^9 + 1070062329007264217431611587571543/886177\ 367434197348849588763586*c_0101_4^7 - 13923018722152728440988822493675/443088683717098674424794381793*c_0\ 101_4^5 - 5481924518842126780012893452598/4430886837170986744247943\ 81793*c_0101_4^3 + 2011418797931779320481749233129/8861773674341973\ 48849588763586*c_0101_4, c_0101_0 - 206441767056967224758040745871/88617736743419734884958876358\ 6*c_0101_4^34 + 4885815889016837791321078385821/8861773674341973488\ 49588763586*c_0101_4^32 - 25830575191155333461081586469732/44308868\ 3717098674424794381793*c_0101_4^30 + 330223685011031126993198215532311/886177367434197348849588763586*c_\ 0101_4^28 - 734100014438626781917377399465470/443088683717098674424\ 794381793*c_0101_4^26 + 2519184557263933112818088491121366/44308868\ 3717098674424794381793*c_0101_4^24 - 7251011175026899054650555820509288/443088683717098674424794381793*c\ _0101_4^22 + 35556637360090489019026474928758913/886177367434197348\ 849588763586*c_0101_4^20 - 69537160802395396704015164741863705/8861\ 77367434197348849588763586*c_0101_4^18 + 49974662767627142707003521864690648/443088683717098674424794381793*\ c_0101_4^16 - 100069929920770423361511296915340407/8861773674341973\ 48849588763586*c_0101_4^14 + 33582718732476454725423927059645936/44\ 3088683717098674424794381793*c_0101_4^12 - 28557707670551989153597846289683591/886177367434197348849588763586*\ c_0101_4^10 + 6706570149634028550292248650444365/886177367434197348\ 849588763586*c_0101_4^8 - 250772352409929129427274325217890/4430886\ 83717098674424794381793*c_0101_4^6 - 35885605510736711549596215429192/443088683717098674424794381793*c_0\ 101_4^4 + 11062951099225723096155498674335/886177367434197348849588\ 763586*c_0101_4^2 - 342715987362156353630425822857/4430886837170986\ 74424794381793, c_0101_1 - 76915803664195116525147948204/443088683717098674424794381793\ *c_0101_4^34 + 1780944987920764818024218743391/44308868371709867442\ 4794381793*c_0101_4^32 - 18341943393180173336241014771454/443088683\ 717098674424794381793*c_0101_4^30 + 113787666188145149690276609997531/443088683717098674424794381793*c_\ 0101_4^28 - 490262432485110872095430234205030/443088683717098674424\ 794381793*c_0101_4^26 + 1635467610677625353046290912537549/44308868\ 3717098674424794381793*c_0101_4^24 - 4605456268072481166592775644350907/443088683717098674424794381793*c\ _0101_4^22 + 11020367982407366424707746000795066/443088683717098674\ 424794381793*c_0101_4^20 - 20629699654662738484304998598410211/4430\ 88683717098674424794381793*c_0101_4^18 + 27537821848089575134033071574437436/443088683717098674424794381793*\ c_0101_4^16 - 24758765280829948505018519949858911/44308868371709867\ 4424794381793*c_0101_4^14 + 14340081912924172736500125353445302/443\ 088683717098674424794381793*c_0101_4^12 - 4911490054288234404890828311092089/443088683717098674424794381793*c\ _0101_4^10 + 757632516236320984099121548622590/44308868371709867442\ 4794381793*c_0101_4^8 + 23061778046867471178382231795582/4430886837\ 17098674424794381793*c_0101_4^6 - 14656024980953816768911757995142/\ 443088683717098674424794381793*c_0101_4^4 - 290892040312376892326588687308/443088683717098674424794381793*c_010\ 1_4^2 + 186654713974947708705899041627/4430886837170986744247943817\ 93, c_0101_3 + 183752346842050842020955407/886177367434197348849588763586*c\ _0101_4^35 + 89215418397785679216919525107/886177367434197348849588\ 763586*c_0101_4^33 - 1049701925751449097755973366321/44308868371709\ 8674424794381793*c_0101_4^31 + 21543937318872041436530200326647/886\ 177367434197348849588763586*c_0101_4^29 - 66191728253772636719480715313697/443088683717098674424794381793*c_0\ 101_4^27 + 281816786896504105456176567428031/4430886837170986744247\ 94381793*c_0101_4^25 - 929663630011011899480361653584528/4430886837\ 17098674424794381793*c_0101_4^23 + 5192135785037011136420620696855461/886177367434197348849588763586*c\ _0101_4^21 - 12302767833552701645961059028424391/886177367434197348\ 849588763586*c_0101_4^19 + 11292607226619456472680946834608613/4430\ 88683717098674424794381793*c_0101_4^17 - 29124539685937555250318531163661827/886177367434197348849588763586*\ c_0101_4^15 + 12424679581189976121695196891106777/44308868371709867\ 4424794381793*c_0101_4^13 - 13281445500406244763127629864770327/886\ 177367434197348849588763586*c_0101_4^11 + 3877603133561332359337927758972387/886177367434197348849588763586*c\ _0101_4^9 - 144450923846327998134230468051427/443088683717098674424\ 794381793*c_0101_4^7 - 63231185680805330983165613962122/44308868371\ 7098674424794381793*c_0101_4^5 + 26511966097635760126008511834335/8\ 86177367434197348849588763586*c_0101_4^3 - 184032040021661664644089633652/443088683717098674424794381793*c_010\ 1_4, c_0101_4^36 - 24*c_0101_4^34 + 258*c_0101_4^32 - 1680*c_0101_4^30 + 7615*c_0101_4^28 - 26595*c_0101_4^26 + 77624*c_0101_4^24 - 193183*c_0101_4^22 + 387424*c_0101_4^20 - 580462*c_0101_4^18 + 617470*c_0101_4^16 - 451273*c_0101_4^14 + 217680*c_0101_4^12 - 63766*c_0101_4^10 + 9082*c_0101_4^8 - 59*c_0101_4^6 - 125*c_0101_4^4 + 15*c_0101_4^2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB