Magma V2.19-8 Tue Aug 20 2013 16:14:45 on localhost [Seed = 3549581237] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s740 geometric_solution 5.26422283 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 2 1230 3012 0132 0132 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.356918864268 0.530606231114 3 2 4 0 0132 3012 0132 0132 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.602071705405 0.963651940703 1 3 0 4 1230 0132 0132 3201 0 0 0 0 0 0 1 -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 0 1 -1 -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 0 0 0 0.602071705405 0.963651940703 1 2 3 3 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.923997153022 1.097908231205 5 2 5 1 0132 2310 1023 0132 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 0 0 0 0 0 0 0 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.869717420198 1.554334683448 4 5 4 5 0132 1302 1023 2031 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 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.436363454573 0.192217383556 ==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_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_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_5' : d['c_0011_4'], 'c_1100_4' : negation(d['c_0011_4']), 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : negation(d['c_0011_4']), 'c_1100_3' : d['c_0101_1'], 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : d['c_0101_4'], 'c_1001_4' : d['c_0101_1'], 'c_1001_1' : negation(d['c_0011_1']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0101_0']), '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_0011_1'], 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0101_1'], 'c_1010_5' : negation(d['c_0011_4']), 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : negation(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 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0101_0, c_0101_1, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 3477704181811279800158245872441991/41888184407330231365549547323282\ *c_0101_4^21 + 9527727660689161675549109562001823/41888184407330231\ 365549547323282*c_0101_4^20 + 145045027520465523633411570974050263/\ 41888184407330231365549547323282*c_0101_4^19 - 43356137813235328151663293387291195/3808016764302748305959049756662\ *c_0101_4^18 - 947387402801701556129193495961267335/418881844073302\ 31365549547323282*c_0101_4^17 + 25207666614299159614544410926643724\ 86/20944092203665115682774773661641*c_0101_4^16 - 1383601611756202965298731975235279533/20944092203665115682774773661\ 641*c_0101_4^15 - 4152223978230350141003029259334306488/20944092203\ 665115682774773661641*c_0101_4^14 + 2147538913281787721546487061232799119/20944092203665115682774773661\ 641*c_0101_4^13 + 9859901958055782034705192551841557355/41888184407\ 330231365549547323282*c_0101_4^12 - 382436319004962555139434662809722617/418881844073302313655495473232\ 82*c_0101_4^11 - 5678653908717896659656000405214568218/209440922036\ 65115682774773661641*c_0101_4^10 - 1351019728445702363334665377789491575/41888184407330231365549547323\ 282*c_0101_4^9 + 3587430767481699018035879914763246065/209440922036\ 65115682774773661641*c_0101_4^8 + 152327324167764733004602648553318\ 2679/41888184407330231365549547323282*c_0101_4^7 - 1645669317184673946507784019301667277/41888184407330231365549547323\ 282*c_0101_4^6 - 622831876138891982172035946676586429/4188818440733\ 0231365549547323282*c_0101_4^5 + 3634444409014257967365008045947836\ 2/20944092203665115682774773661641*c_0101_4^4 - 94239820271070758937553150383948165/4188818440733023136554954732328\ 2*c_0101_4^3 + 50311048918274674817561815348489959/4188818440733023\ 1365549547323282*c_0101_4^2 + 52904623724498956974418815184452933/4\ 1888184407330231365549547323282*c_0101_4 - 7592632900542622958387733108054562/20944092203665115682774773661641\ , c_0011_0 - 1, c_0011_1 + 108768757902918203702278108621942/23038501424031627251052251\ 0278051*c_0101_4^21 - 25141631017706108983148142487762/209440922036\ 65115682774773661641*c_0101_4^20 - 4583297746227985879414526843046585/23038501424031627251052251027805\ 1*c_0101_4^19 + 13994419913606331374169565980872321/230385014240316\ 272510522510278051*c_0101_4^18 + 3206557515840037611082379931757510\ 8/230385014240316272510522510278051*c_0101_4^17 - 150417539032497326273840859889705494/230385014240316272510522510278\ 051*c_0101_4^16 + 59220871761627446576095129123599053/2303850142403\ 16272510522510278051*c_0101_4^15 + 261266933166117858143238147595595976/230385014240316272510522510278\ 051*c_0101_4^14 - 79683100325723965336027845780451253/2303850142403\ 16272510522510278051*c_0101_4^13 - 27903537453611643353188628362716306/2094409220366511568277477366164\ 1*c_0101_4^12 - 49929603382018514719220646309088146/230385014240316\ 272510522510278051*c_0101_4^11 + 2943277307450427521931617394344346\ 3/20944092203665115682774773661641*c_0101_4^10 + 98238964497866631263712645098274421/2303850142403162725105225102780\ 51*c_0101_4^9 - 16640514432665254832038125892184376/209440922036651\ 15682774773661641*c_0101_4^8 - 73903022874412918937186506702119035/\ 230385014240316272510522510278051*c_0101_4^7 + 26582002968979776980357564505860332/2303850142403162725105225102780\ 51*c_0101_4^6 + 16701353829089674559052293790341374/230385014240316\ 272510522510278051*c_0101_4^5 + 2095829647805762200396735623852843/\ 230385014240316272510522510278051*c_0101_4^4 + 5352189938865153170298864727923215/23038501424031627251052251027805\ 1*c_0101_4^3 - 853166124732001279776667547937621/230385014240316272\ 510522510278051*c_0101_4^2 - 1480300997119436904120944003850959/230\ 385014240316272510522510278051*c_0101_4 + 199595314971213605948148388119623/230385014240316272510522510278051\ , c_0011_4 - 750087254301550130691463210474723/23038501424031627251052251\ 0278051*c_0101_4^21 + 17032948202971184816815388811056/190400838215\ 1374152979524878331*c_0101_4^20 + 312724472199473071321941910847055\ 31/230385014240316272510522510278051*c_0101_4^19 - 103115609478024744187260200381397938/230385014240316272510522510278\ 051*c_0101_4^18 - 203747935731583481968565144773206738/230385014240\ 316272510522510278051*c_0101_4^17 + 1089187596834203618299624020862864422/23038501424031627251052251027\ 8051*c_0101_4^16 - 602725227955699774847307659355301194/23038501424\ 0316272510522510278051*c_0101_4^15 - 1790005883185720933679071606216772926/23038501424031627251052251027\ 8051*c_0101_4^14 + 928998114553537921089490728667024470/23038501424\ 0316272510522510278051*c_0101_4^13 + 194282237066547845486624823497357302/209440922036651156827747736616\ 41*c_0101_4^12 - 82300441624466768964886504057741016/23038501424031\ 6272510522510278051*c_0101_4^11 - 203729400601093878828709689689719\ 65/1904008382151374152979524878331*c_0101_4^10 - 298765245568077832750091797289729391/230385014240316272510522510278\ 051*c_0101_4^9 + 141371502524896670710880337341086682/2094409220366\ 5115682774773661641*c_0101_4^8 + 3443025990209849166774598952429456\ 26/230385014240316272510522510278051*c_0101_4^7 - 354996146786088989718758710991489505/230385014240316272510522510278\ 051*c_0101_4^6 - 143595516093817997743744097555743506/2303850142403\ 16272510522510278051*c_0101_4^5 + 106081539258534336483778475482716\ 04/230385014240316272510522510278051*c_0101_4^4 - 20778043206086845961806671163634753/2303850142403162725105225102780\ 51*c_0101_4^3 + 11504007623947633932574241856770314/230385014240316\ 272510522510278051*c_0101_4^2 + 11931991623136465402348207205102588\ /230385014240316272510522510278051*c_0101_4 - 2946424174447104164321643394592603/23038501424031627251052251027805\ 1, c_0101_0 - 753566494270389932576179018531788/23038501424031627251052251\ 0278051*c_0101_4^21 + 186164685655053803127585147217480/20944092203\ 665115682774773661641*c_0101_4^20 + 31470767841421508364433765554015786/2303850142403162725105225102780\ 51*c_0101_4^19 - 102631438667052674328805458411591533/2303850142403\ 16272510522510278051*c_0101_4^18 - 207410675999457047525014682888478428/230385014240316272510522510278\ 051*c_0101_4^17 + 1087255227855610347121361941525449489/23038501424\ 0316272510522510278051*c_0101_4^16 - 576248967599546933347128758065114959/230385014240316272510522510278\ 051*c_0101_4^15 - 1806683245039987480817683903521525988/23038501424\ 0316272510522510278051*c_0101_4^14 + 885379736877023385573466841090720152/230385014240316272510522510278\ 051*c_0101_4^13 + 17776220048584394231875732389072053/1904008382151\ 374152979524878331*c_0101_4^12 - 3204421241734499708370265600240505\ 6/230385014240316272510522510278051*c_0101_4^11 - 222802184659004546864975905512295062/209440922036651156827747736616\ 41*c_0101_4^10 - 348933831957875879130718456771366322/2303850142403\ 16272510522510278051*c_0101_4^9 + 139581673228507825638748426458071\ 591/20944092203665115682774773661641*c_0101_4^8 + 363509286882105815615807617395516078/230385014240316272510522510278\ 051*c_0101_4^7 - 342541855747024110198115468032343077/2303850142403\ 16272510522510278051*c_0101_4^6 - 138975512431396035312755694083666\ 048/230385014240316272510522510278051*c_0101_4^5 + 10514403423445152392485710512024630/2303850142403162725105225102780\ 51*c_0101_4^4 - 21445160316016955032742356388711619/230385014240316\ 272510522510278051*c_0101_4^3 + 9818783068736457648127104180594052/\ 230385014240316272510522510278051*c_0101_4^2 + 11726054687362899355748639277181591/2303850142403162725105225102780\ 51*c_0101_4 - 2842283044546521196070370334014803/230385014240316272\ 510522510278051, c_0101_1 - 60211920742703967408696620643455/209440922036651156827747736\ 61641*c_0101_4^21 + 165675457667691529733955413815693/2094409220366\ 5115682774773661641*c_0101_4^20 + 228238011742637432367559167782790\ /1904008382151374152979524878331*c_0101_4^19 - 8289681026472713764758348410196219/20944092203665115682774773661641\ *c_0101_4^18 - 16361485066757573667567044444467226/2094409220366511\ 5682774773661641*c_0101_4^17 + 87621738088633554487278498687993373/\ 20944092203665115682774773661641*c_0101_4^16 - 4407522675524244029212248034426400/1904008382151374152979524878331*\ c_0101_4^15 - 13163838875978289153792443139564543/19040083821513741\ 52979524878331*c_0101_4^14 + 75939164728611202596312835832830693/20\ 944092203665115682774773661641*c_0101_4^13 + 173090916022343662546555657021456455/209440922036651156827747736616\ 41*c_0101_4^12 - 8195701330732819174740445658221670/209440922036651\ 15682774773661641*c_0101_4^11 - 19993818006583989489729957661064280\ 3/20944092203665115682774773661641*c_0101_4^10 - 23372709066399242129336981356952719/2094409220366511568277477366164\ 1*c_0101_4^9 + 127304386748179226627217682413279369/209440922036651\ 15682774773661641*c_0101_4^8 + 27512484612856493028359356749163629/\ 20944092203665115682774773661641*c_0101_4^7 - 29800853186199562313486379713286198/2094409220366511568277477366164\ 1*c_0101_4^6 - 11767138176088854265204932334942062/2094409220366511\ 5682774773661641*c_0101_4^5 + 950633294065168480456789449099711/209\ 44092203665115682774773661641*c_0101_4^4 - 1583050110935802319021040287885766/20944092203665115682774773661641\ *c_0101_4^3 + 987156273151980038112963685981546/2094409220366511568\ 2774773661641*c_0101_4^2 + 990955498791516253695210643637722/209440\ 92203665115682774773661641*c_0101_4 - 247055180417814270323967566785528/20944092203665115682774773661641, c_0101_4^22 - 3*c_0101_4^21 - 41*c_0101_4^20 + 148*c_0101_4^19 + 237*c_0101_4^18 - 1521*c_0101_4^17 + 1170*c_0101_4^16 + 2187*c_0101_4^15 - 1847*c_0101_4^14 - 2538*c_0101_4^13 + 838*c_0101_4^12 + 3261*c_0101_4^11 - 439*c_0101_4^10 - 2181*c_0101_4^9 + 72*c_0101_4^8 + 595*c_0101_4^7 + 69*c_0101_4^6 - 65*c_0101_4^5 + 31*c_0101_4^4 - 22*c_0101_4^3 - 12*c_0101_4^2 + 8*c_0101_4 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB