Magma V2.19-8 Tue Aug 20 2013 16:14:50 on localhost [Seed = 458917750] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s816 geometric_solution 5.37931873 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 6 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 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.415116743021 0.220680474969 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 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.706712071444 0.777775299858 1 4 5 3 0132 0132 0132 2310 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 1 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.231131902653 1.246571716015 2 5 4 1 3201 1023 3201 0132 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 -1 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.231131902653 1.246571716015 3 2 4 4 2310 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 0 0 0 1 0 0 -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.258711083873 1.169999045890 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.315378791307 0.604042698905 ==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_3'], 'c_1100_4' : d['c_0101_4'], '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_5' : negation(d['c_0101_4']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0101_1']), '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_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_1']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0101_4']), '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_1'], 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : 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_3, 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 + 635522160122597312341028611220125/82130127664663402863564158450272*\ c_0101_4^21 - 484347266267722490841324938789635/1026626595808292535\ 7945519806284*c_0101_4^20 - 7014052402941068920144900493445599/4106\ 5063832331701431782079225136*c_0101_4^19 + 25457175088205059958916090353235003/2053253191616585071589103961256\ 8*c_0101_4^18 - 81216302371131294465232419371176109/410650638323317\ 01431782079225136*c_0101_4^17 - 23071642139745116384152715345811527\ /20532531916165850715891039612568*c_0101_4^16 + 653610695875701258487999915158114025/821301276646634028635641584502\ 72*c_0101_4^15 - 513073165728323843666034775633643729/8213012766466\ 3402863564158450272*c_0101_4^14 - 286160677961452341208018616580738\ 319/41065063832331701431782079225136*c_0101_4^13 + 328323586319890053395950378889488527/821301276646634028635641584502\ 72*c_0101_4^12 + 315742033677206730648139524737912147/4106506383233\ 1701431782079225136*c_0101_4^11 + 369331506531854731091816511493399\ 741/82130127664663402863564158450272*c_0101_4^10 - 1010558808840483028788850550499057871/82130127664663402863564158450\ 272*c_0101_4^9 - 68163712019169034471951957189862163/41065063832331\ 701431782079225136*c_0101_4^8 + 36119224934977558015370584219220608\ 5/82130127664663402863564158450272*c_0101_4^7 + 99126655297689303098709364245664871/2053253191616585071589103961256\ 8*c_0101_4^6 - 8521802209458567795925521893545145/10266265958082925\ 357945519806284*c_0101_4^5 - 9264182794291129473479872810169013/513\ 3132979041462678972759903142*c_0101_4^4 - 27905882930872632526312674177430315/4106506383233170143178207922513\ 6*c_0101_4^3 + 1400586213300835239238285104634267/20532531916165850\ 715891039612568*c_0101_4^2 + 6186386133064569891900072317175035/410\ 65063832331701431782079225136*c_0101_4 - 218221786120621034378573365979073/82130127664663402863564158450272, c_0011_0 - 1, c_0011_1 - 105749630394735716117936516647/25387983822152520205120296275\ 2*c_0101_4^21 + 288989744069915844056950308301/12693991911076260102\ 5601481376*c_0101_4^20 + 1346039134127685379949946345773/1269399191\ 10762601025601481376*c_0101_4^19 - 7605834799589955530604105695427/126939919110762601025601481376*c_01\ 01_4^18 + 8821468636429642809543696170105/1269399191107626010256014\ 81376*c_0101_4^17 + 12810324234006851306039500253599/12693991911076\ 2601025601481376*c_0101_4^16 - 92389645700843318572281553804235/253\ 879838221525202051202962752*c_0101_4^15 + 30246515624002183730666587430495/253879838221525202051202962752*c_0\ 101_4^14 + 27278037436355502805487937416027/63469959555381300512800\ 740688*c_0101_4^13 + 10213277754082214246944522259323/2538798382215\ 25202051202962752*c_0101_4^12 - 43573175589568165691821892383845/12\ 6939919110762601025601481376*c_0101_4^11 - 110407848063328598729522679803975/253879838221525202051202962752*c_\ 0101_4^10 + 91335092338752029533614576695887/2538798382215252020512\ 02962752*c_0101_4^9 + 16721715570667757598546072123831/634699595553\ 81300512800740688*c_0101_4^8 - 15951534992443794411650346412609/253\ 879838221525202051202962752*c_0101_4^7 - 15783847950295857122805994498305/63469959555381300512800740688*c_01\ 01_4^6 - 14536479097014507608944242765851/1269399191107626010256014\ 81376*c_0101_4^5 + 112331294765536105242165627687/63469959555381300\ 512800740688*c_0101_4^4 + 949597852586480880360069494989/6346995955\ 5381300512800740688*c_0101_4^3 + 247107956237050404873228641963/317\ 34979777690650256400370344*c_0101_4^2 - 19485398360243150143628392383/15867489888845325128200185172*c_0101_\ 4 + 25935626163898573686416330727/253879838221525202051202962752, c_0011_3 + 72616214332499980893059994696013/164260255329326805727128316\ 900544*c_0101_4^21 - 200041600929174774548468562813239/821301276646\ 63402863564158450272*c_0101_4^20 - 915108518018939350497020830944487/82130127664663402863564158450272*\ c_0101_4^19 + 5261745346703123999032036508392457/821301276646634028\ 63564158450272*c_0101_4^18 - 6303580746873582385743821724364731/821\ 30127664663402863564158450272*c_0101_4^17 - 8482811578095981621304283635715549/82130127664663402863564158450272\ *c_0101_4^16 + 64305660396116923737598822718685737/1642602553293268\ 05727128316900544*c_0101_4^15 - 24121601670248558884621116009549845\ /164260255329326805727128316900544*c_0101_4^14 - 18385614255585883215827232528393357/4106506383233170143178207922513\ 6*c_0101_4^13 - 2379839494894258017826694574315065/1642602553293268\ 05727128316900544*c_0101_4^12 + 29122762656373236022149564876410695\ /82130127664663402863564158450272*c_0101_4^11 + 71380862423372125148117953064649453/1642602553293268057271283169005\ 44*c_0101_4^10 - 64457441750372563766009468047165717/16426025532932\ 6805727128316900544*c_0101_4^9 - 1024373706280209180916874849689833\ 3/41065063832331701431782079225136*c_0101_4^8 + 13286582485338476631181437887679755/1642602553293268057271283169005\ 44*c_0101_4^7 + 10146590500482093954746524107425295/410650638323317\ 01431782079225136*c_0101_4^6 + 8561566420123202920734513141730113/8\ 2130127664663402863564158450272*c_0101_4^5 + 43403893304376823207247031367479/41065063832331701431782079225136*c\ _0101_4^4 - 372080133810960788471604987721283/410650638323317014317\ 82079225136*c_0101_4^3 - 125796547771796760968504595483659/20532531\ 916165850715891039612568*c_0101_4^2 + 3797931496706412421332891698831/5133132979041462678972759903142*c_0\ 101_4 - 164064741648079354462074524505085/1642602553293268057271283\ 16900544, c_0101_0 + 15383628067451251830525817532557/821301276646634028635641584\ 50272*c_0101_4^21 - 22394453658363675455458456138167/20532531916165\ 850715891039612568*c_0101_4^20 - 90025999342257284004786007285819/2\ 0532531916165850715891039612568*c_0101_4^19 + 586455496395114632949872982585657/20532531916165850715891039612568*\ c_0101_4^18 - 850276865618815923235157124542749/2053253191616585071\ 5891039612568*c_0101_4^17 - 327488716289474483432383132488303/10266\ 265958082925357945519806284*c_0101_4^16 + 14688955135381541662935373031903587/8213012766466340286356415845027\ 2*c_0101_4^15 - 9846652832422990447105012653150309/8213012766466340\ 2863564158450272*c_0101_4^14 - 6532175701111029998480086229923491/4\ 1065063832331701431782079225136*c_0101_4^13 + 4732899627059338606006615483588817/82130127664663402863564158450272\ *c_0101_4^12 + 5325346125223502167633409578208733/41065063832331701\ 431782079225136*c_0101_4^11 + 11033449187759192183149574592506029/8\ 2130127664663402863564158450272*c_0101_4^10 - 17381266567990769124572631554465635/8213012766466340286356415845027\ 2*c_0101_4^9 - 387825230207416225029578821584209/102662659580829253\ 57945519806284*c_0101_4^8 + 5111517686646557648251389171122135/8213\ 0127664663402863564158450272*c_0101_4^7 + 3128061977455724595078629254338903/41065063832331701431782079225136\ *c_0101_4^6 + 177794193407370235011822286137005/1026626595808292535\ 7945519806284*c_0101_4^5 - 272512648656161954838025526546603/410650\ 63832331701431782079225136*c_0101_4^4 + 102248068002128255767185945041983/41065063832331701431782079225136*\ c_0101_4^3 - 49009920630421134311651666739181/410650638323317014317\ 82079225136*c_0101_4^2 + 28047264935333175429618467724489/410650638\ 32331701431782079225136*c_0101_4 - 50031872620351968332747986472143/82130127664663402863564158450272, c_0101_1 - 3550386735059472291631433877/15867489888845325128200185172*c\ _0101_4^21 + 75901050511069290477955143009/634699595553813005128007\ 40688*c_0101_4^20 + 371861683918379346146338983209/6346995955538130\ 0512800740688*c_0101_4^19 - 2004041971296452393875171226271/6346995\ 9555381300512800740688*c_0101_4^18 + 2096730785991088542112307297737/63469959555381300512800740688*c_010\ 1_4^17 + 3860090904325355359915466926297/63469959555381300512800740\ 688*c_0101_4^16 - 12109326599478248514711064061287/6346995955538130\ 0512800740688*c_0101_4^15 + 558909243439933516101613303299/15867489\ 888845325128200185172*c_0101_4^14 + 16005404572667187972889696954599/63469959555381300512800740688*c_01\ 01_4^13 + 3139938431028496542833328845321/6346995955538130051280074\ 0688*c_0101_4^12 - 6493820967038656757481205968137/3173497977769065\ 0256400370344*c_0101_4^11 - 4074479457344702624401533370465/1586748\ 9888845325128200185172*c_0101_4^10 + 11673455181549052578109619240733/63469959555381300512800740688*c_01\ 01_4^9 + 5710432824353571116315458252075/31734979777690650256400370\ 344*c_0101_4^8 - 990619315751019651435192113659/3173497977769065025\ 6400370344*c_0101_4^7 - 9774054231306215205359008156071/63469959555\ 381300512800740688*c_0101_4^6 - 4367994828453835519286463014485/634\ 69959555381300512800740688*c_0101_4^5 + 284278009692818160762065771111/63469959555381300512800740688*c_0101\ _4^4 + 665388012965528107522267394293/63469959555381300512800740688\ *c_0101_4^3 + 206855952662168070047804265647/6346995955538130051280\ 0740688*c_0101_4^2 - 95932889369242519662338057287/6346995955538130\ 0512800740688*c_0101_4 + 13080607867426870076155772139/634699595553\ 81300512800740688, c_0101_4^22 - 5*c_0101_4^21 - 28*c_0101_4^20 + 132*c_0101_4^19 - 100*c_0101_4^18 - 320*c_0101_4^17 + 763*c_0101_4^16 + 116*c_0101_4^15 - 1165*c_0101_4^14 - 561*c_0101_4^13 + 761*c_0101_4^12 + 1415*c_0101_4^11 - 360*c_0101_4^10 - 1021*c_0101_4^9 - 141*c_0101_4^8 + 643*c_0101_4^7 + 550*c_0101_4^6 + 134*c_0101_4^5 - 32*c_0101_4^4 - 36*c_0101_4^3 - 8*c_0101_4^2 - c_0101_4 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB