Magma V2.19-8 Tue Aug 20 2013 16:18:32 on localhost [Seed = 1377029985] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2726 geometric_solution 5.97436488 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 2310 2310 3201 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 1 1 -2 0 0 0 0 1 0 0 -1 0 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.570907166340 0.412109680557 0 0 3 2 0132 3201 0132 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 2 -1 -1 0 0 0 0 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.635104485771 1.914471492638 4 5 1 6 0132 0132 0132 0132 0 0 0 0 0 0 1 -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 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.566960525518 1.227651909869 5 4 6 1 3201 0132 2310 0132 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 -1 0 1 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.566960525518 1.227651909869 2 3 4 4 0132 0132 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 1 0 -1 0 0 1 -1 -1 1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.168745834753 0.558228675525 5 2 5 3 2031 0132 1302 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.555340190437 0.664168291554 6 3 2 6 3201 3201 0132 2310 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 0 0 0 0 0 0 0.099665348106 0.511067900790 ==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' : 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' : negation(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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0011_6'], 'c_1100_5' : d['c_0011_2'], 'c_1100_4' : d['c_0101_4'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_6'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0011_6'], 'c_1100_2' : d['c_0011_6'], 'c_0101_6' : d['c_0101_4'], 'c_0101_5' : d['c_0011_2'], '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' : negation(d['c_0011_2']), 'c_0011_4' : negation(d['c_0011_2']), 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_2'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : negation(d['c_0101_0']), 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : negation(d['c_0101_3']), 'c_0110_4' : d['c_0101_0'], 'c_0110_6' : negation(d['c_0101_4']), 'c_1010_6' : d['c_0101_4'], 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : negation(d['c_0101_0']), 'c_1010_2' : negation(d['c_0101_3']), 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : negation(d['c_0101_1'])})} 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_2, c_0011_6, c_0101_0, c_0101_1, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 99242910524366997855199025830874872/1436590896719764683760625138125\ *c_0101_4^18 - 251529223867398381374779556527915152/287318179343952\ 936752125027625*c_0101_4^17 + 117496908701592699763999515797123954/\ 57463635868790587350425005525*c_0101_4^16 + 99500426027249612013769788734961669/11492727173758117470085001105*c\ _0101_4^15 - 1046153043347267791289170180820950819/6246047377042455\ 1467853266875*c_0101_4^14 - 85915312440647830994421512527973755781/\ 1436590896719764683760625138125*c_0101_4^13 + 3592609042806261046206546788388964399/14365908967197646837606251381\ 25*c_0101_4^12 + 203976259835464057486891240286144707481/1436590896\ 719764683760625138125*c_0101_4^11 + 61242183161131192439623991101170763973/1436590896719764683760625138\ 125*c_0101_4^10 - 63707780653872550466296107486062234332/2873181793\ 43952936752125027625*c_0101_4^9 - 160854491698739982591516671019963\ 955057/1436590896719764683760625138125*c_0101_4^8 + 1674924828238010889632451771789499236/12492094754084910293570653375\ *c_0101_4^7 + 660975465686375331495727847489301312/1149272717375811\ 7470085001105*c_0101_4^6 - 53876073915039158686817035415396918648/1\ 436590896719764683760625138125*c_0101_4^5 - 15905607026866152356790180511204786981/1436590896719764683760625138\ 125*c_0101_4^4 + 6744976700331265668275824402783018819/143659089671\ 9764683760625138125*c_0101_4^3 + 2611675996309282147843065705646782\ 09/287318179343952936752125027625*c_0101_4^2 - 305195763746583373845701120857279071/143659089671976468376062513812\ 5*c_0101_4 - 37892737037891809088047810429533073/143659089671976468\ 3760625138125, c_0011_0 - 1, c_0011_2 + 86149537180977054068727538672464/624604737704245514678532668\ 75*c_0101_4^18 - 218287204890863946163486538303424/1249209475408491\ 0293570653375*c_0101_4^17 + 101857109711836567947170983640308/24984\ 18950816982058714130675*c_0101_4^16 + 86424086051376953052899598537022/499683790163396411742826135*c_0101\ _4^15 - 20846626362082257384135244355064044/62460473770424551467853\ 266875*c_0101_4^14 - 74628224544581215976559537770599497/6246047377\ 0424551467853266875*c_0101_4^13 + 283501094924123652886073197239103\ 8/62460473770424551467853266875*c_0101_4^12 + 176928343327426111131809140397835022/62460473770424551467853266875*\ c_0101_4^11 + 53727916954134829582046914284371801/62460473770424551\ 467853266875*c_0101_4^10 - 55202944017908290624477862986904384/1249\ 2094754084910293570653375*c_0101_4^9 - 140396213634385403812648030482745559/62460473770424551467853266875*\ c_0101_4^8 + 33253497362791790448950327635388011/124920947540849102\ 93570653375*c_0101_4^7 + 575548475242449467179817343255599/49968379\ 0163396411742826135*c_0101_4^6 - 4631400035080649905359004864386040\ 1/62460473770424551467853266875*c_0101_4^5 - 13817132379053683826441960153466897/62460473770424551467853266875*c\ _0101_4^4 + 5769630753290877926073420391629328/62460473770424551467\ 853266875*c_0101_4^3 + 225929765487718152813908661247258/1249209475\ 4084910293570653375*c_0101_4^2 - 259216913726590046811927461060227/\ 62460473770424551467853266875*c_0101_4 - 32460538199928001830524476982001/62460473770424551467853266875, c_0011_6 - 35587352658327903161827098155016/624604737704245514678532668\ 75*c_0101_4^18 + 90164292334181513928693807881256/12492094754084910\ 293570653375*c_0101_4^17 - 42055550313512783909994385103702/2498418\ 950816982058714130675*c_0101_4^16 - 35712907097918288637079520079313/499683790163396411742826135*c_0101\ _4^15 + 8607732575977897871249666161215286/624604737704245514678532\ 66875*c_0101_4^14 + 30840965518401682739507473301839043/62460473770\ 424551467853266875*c_0101_4^13 - 1146568504592630531136553342842872\ /62460473770424551467853266875*c_0101_4^12 - 73113839914831184790433723352784018/62460473770424551467853266875*c\ _0101_4^11 - 22266665033943827581945812201979269/624604737704245514\ 67853266875*c_0101_4^10 + 22811422445040140585603571687075996/12492\ 094754084910293570653375*c_0101_4^9 + 58125237586727273549135453603731071/62460473770424551467853266875*c\ _0101_4^8 - 13744193301780352942681428270671384/1249209475408491029\ 3570653375*c_0101_4^7 - 238581155384835352028358402978696/499683790\ 163396411742826135*c_0101_4^6 + 19161693516047530488402619355193294\ /62460473770424551467853266875*c_0101_4^5 + 5738334084653335667248123906917768/62460473770424551467853266875*c_\ 0101_4^4 - 2392381466266486913024488721612382/624604737704245514678\ 53266875*c_0101_4^3 - 93904751189842295906217059018802/124920947540\ 84910293570653375*c_0101_4^2 + 107806566482398538703101725448788/62\ 460473770424551467853266875*c_0101_4 + 13492565048698868924067302939319/62460473770424551467853266875, c_0101_0 + 17019221406177940917498864539344/624604737704245514678532668\ 75*c_0101_4^18 - 43112105904358452018986325984504/12492094754084910\ 293570653375*c_0101_4^17 + 20093025377461239534910945871268/2498418\ 950816982058714130675*c_0101_4^16 + 17087541556338507730012950532652/499683790163396411742826135*c_0101\ _4^15 - 4111354136812410563058013682192649/624604737704245514678532\ 66875*c_0101_4^14 - 14757389890377418086401507838746112/62460473770\ 424551467853266875*c_0101_4^13 + 512351032772732180583566674841623/\ 62460473770424551467853266875*c_0101_4^12 + 34957035660845986788536313329122137/62460473770424551467853266875*c\ _0101_4^11 + 10724931766405970380455678471674971/624604737704245514\ 67853266875*c_0101_4^10 - 10900575050623934734676661625130664/12492\ 094754084910293570653375*c_0101_4^9 - 27907864648183094571347627059895464/62460473770424551467853266875*c\ _0101_4^8 + 6555185554220440338818106112830631/12492094754084910293\ 570653375*c_0101_4^7 + 114473723930418349878984361440169/4996837901\ 63396411742826135*c_0101_4^6 - 9127402723427963436710923840338071/6\ 2460473770424551467853266875*c_0101_4^5 - 2755495858883437828431644607900887/62460473770424551467853266875*c_\ 0101_4^4 + 1139090000812670557729427827031713/624604737704245514678\ 53266875*c_0101_4^3 + 45157396820085603631521760805368/124920947540\ 84910293570653375*c_0101_4^2 - 51334792064454834885259730877192/624\ 60473770424551467853266875*c_0101_4 - 6459939201033561104895305901046/62460473770424551467853266875, c_0101_1 + 4481371516649504617775452767056/6246047377042455146785326687\ 5*c_0101_4^18 - 11383963149866057332324737281896/124920947540849102\ 93570653375*c_0101_4^17 + 5369676346023057746725471304132/249841895\ 0816982058714130675*c_0101_4^16 + 4466814604797617423756149575968/4\ 99683790163396411742826135*c_0101_4^15 - 1103919793533643028831500173774251/62460473770424551467853266875*c_\ 0101_4^14 - 3854529896699007977125110037258588/62460473770424551467\ 853266875*c_0101_4^13 + 282905714592720185109412137911552/624604737\ 70424551467853266875*c_0101_4^12 + 9251353669956734566682154391388188/62460473770424551467853266875*c_\ 0101_4^11 + 2520088140725467980656907339597004/62460473770424551467\ 853266875*c_0101_4^10 - 2910209410454318028149428499663111/12492094\ 754084910293570653375*c_0101_4^9 - 6921660891510035446005760306704811/62460473770424551467853266875*c_\ 0101_4^8 + 1804592898564038673208967967839469/124920947540849102935\ 70653375*c_0101_4^7 + 28944588337721347651679865261681/499683790163\ 396411742826135*c_0101_4^6 - 2563200936665449763292521896736404/624\ 60473770424551467853266875*c_0101_4^5 - 703008493363739080486287359944438/62460473770424551467853266875*c_0\ 101_4^4 + 323720709961375962423640432717337/62460473770424551467853\ 266875*c_0101_4^3 + 11604951166097623934167958356557/12492094754084\ 910293570653375*c_0101_4^2 - 14698905106303795258164603689258/62460\ 473770424551467853266875*c_0101_4 - 1729167828721923302012385016554/62460473770424551467853266875, c_0101_3 + 88093568423773896779429960044448/624604737704245514678532668\ 75*c_0101_4^18 - 223136402751105536480551765876168/1249209475408491\ 0293570653375*c_0101_4^17 + 103961956777769783494002674053656/24984\ 18950816982058714130675*c_0101_4^16 + 88464036031918046137411167673334/499683790163396411742826135*c_0101\ _4^15 - 21269293829824405654876438573803883/62460473770424551467853\ 266875*c_0101_4^14 - 76401844788827493234257862985723329/6246047377\ 0424551467853266875*c_0101_4^13 + 257064272279012711467906694884091\ 6/62460473770424551467853266875*c_0101_4^12 + 180910143445820699770461039015760754/62460473770424551467853266875*\ c_0101_4^11 + 55682049768545735317325907293820532/62460473770424551\ 467853266875*c_0101_4^10 - 56395974700142787445906523263079763/1249\ 2094754084910293570653375*c_0101_4^9 - 144680846366196403439493067952492113/62460473770424551467853266875*\ c_0101_4^8 + 33878378057855259835849393303681502/124920947540849102\ 93570653375*c_0101_4^7 + 593044243848632331157146643840583/49968379\ 0163396411742826135*c_0101_4^6 - 4710343415669526971370587133216385\ 7/62460473770424551467853266875*c_0101_4^5 - 14245480882132268177764317360710129/62460473770424551467853266875*c\ _0101_4^4 + 5869206678395104304922398673939696/62460473770424551467\ 853266875*c_0101_4^3 + 232605326862254993779472305112706/1249209475\ 4084910293570653375*c_0101_4^2 - 264060743448437394649331855639314/\ 62460473770424551467853266875*c_0101_4 - 33215110710897621127223242600682/62460473770424551467853266875, c_0101_4^19 - 13*c_0101_4^18 + 135/4*c_0101_4^17 + 925/8*c_0101_4^16 - 567/2*c_0101_4^15 - 3145/4*c_0101_4^14 + 1279/4*c_0101_4^13 + 8173/4*c_0101_4^12 - 225/4*c_0101_4^11 - 27291/8*c_0101_4^10 - 4553/8*c_0101_4^9 + 19769/8*c_0101_4^8 + 785/4*c_0101_4^7 - 3261/4*c_0101_4^6 + 71/4*c_0101_4^5 + 963/8*c_0101_4^4 - 73/8*c_0101_4^3 - 59/8*c_0101_4^2 + 5/8*c_0101_4 + 1/8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB