Magma V2.19-8 Tue Aug 20 2013 16:14:52 on localhost [Seed = 3313785261] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s842 geometric_solution 5.42503395 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 2 1230 3012 0132 0132 0 0 0 0 0 -1 0 1 1 0 -1 0 1 -1 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.274794597321 0.662458346745 3 2 4 0 0132 3012 0132 0132 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 1 0 -1 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.722287255266 1.126093852621 1 3 0 4 1230 0132 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 0 1 0 0 0 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.722287255266 1.126093852621 1 2 3 3 0132 0132 2031 1302 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 0 0 0 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 0 0 0 0 0 0 0 0.621842119014 0.806432711061 2 5 5 1 3201 0132 3201 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 -1 0 0 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.210573540603 0.482032729434 4 4 5 5 2310 0132 2031 1302 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 1.988169970636 1.993584054739 ==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' : 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_5' : d['c_0101_5'], 'c_1100_4' : d['c_0011_4'], 'c_1100_1' : d['c_0011_4'], 'c_1100_0' : d['c_0011_4'], 'c_1100_3' : d['c_0101_0'], 'c_1100_2' : d['c_0011_4'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_1']), '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' : negation(d['c_0011_1']), 'c_1001_4' : negation(d['c_0101_5']), '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_0011_1'], 'c_0110_4' : d['c_0101_1'], 'c_1010_5' : negation(d['c_0101_5']), '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_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 29014915082945298696996820247274467/8775943184910585647408719002252\ 546*c_0101_5^23 - 8423777931896207778249935773383533/39890650840502\ 6620336759954647843*c_0101_5^22 + 224209108957221780568252490552138\ 905/8775943184910585647408719002252546*c_0101_5^21 + 13746372002833609276542211425403025/1462657197485097607901453167042\ 091*c_0101_5^20 - 6148099008567352074081983757318785/85203331892335\ 782984550669924782*c_0101_5^19 + 2798771808126132894763831144884661\ 07/398906508405026620336759954647843*c_0101_5^18 - 7282652333886550522187080803875770795/29253143949701952158029063340\ 84182*c_0101_5^17 + 10320013362605637082700140560717390983/43879715\ 92455292823704359501126273*c_0101_5^16 + 55943715181657042386957437323805828663/8775943184910585647408719002\ 252546*c_0101_5^15 - 95034632608247118743089024073527174834/4387971\ 592455292823704359501126273*c_0101_5^14 + 127183027884351060228474529336072074769/438797159245529282370435950\ 1126273*c_0101_5^13 - 151900654436975772507851593909945364479/87759\ 43184910585647408719002252546*c_0101_5^12 - 11138846279316826962382118322833079203/2925314394970195215802906334\ 084182*c_0101_5^11 + 132997624141571637745475389175455415495/877594\ 3184910585647408719002252546*c_0101_5^10 - 17539577783106339040972374504004305030/1462657197485097607901453167\ 042091*c_0101_5^9 + 5379954763762382573274986013743953531/146265719\ 7485097607901453167042091*c_0101_5^8 + 643566632687330920877236415153081028/146265719748509760790145316704\ 2091*c_0101_5^7 - 2661258620298594533210914516564729253/29253143949\ 70195215802906334084182*c_0101_5^6 + 140483557769481109723985534663382475/398906508405026620336759954647\ 843*c_0101_5^5 - 412461489394524802522696427977054735/4387971592455\ 292823704359501126273*c_0101_5^4 - 349339885121032089018979210403849713/877594318491058564740871900225\ 2546*c_0101_5^3 + 126038489184332018965980649017862197/146265719748\ 5097607901453167042091*c_0101_5^2 - 140791906815051878443190764921303367/877594318491058564740871900225\ 2546*c_0101_5 + 30966807266729622802879229787975302/438797159245529\ 2823704359501126273, c_0011_0 - 1, c_0011_1 - 528627107004543028352262481267069/23934390504301597220205597\ 27887058*c_0101_5^23 - 1602557777294786284018691352452842/119671952\ 5215079861010279863943529*c_0101_5^22 + 5416805782785454453370277773698829/23934390504301597220205597278870\ 58*c_0101_5^21 + 787922728521758307437534466872263/1196719525215079\ 861010279863943529*c_0101_5^20 - 48110802196614056097505401134753/7\ 745757444757798453140969993162*c_0101_5^19 + 57315340872519973506640444269349036/1196719525215079861010279863943\ 529*c_0101_5^18 - 142480012414498275464982455686768979/797813016810\ 053240673519909295686*c_0101_5^17 + 227113266055300720800504910527540691/119671952521507986101027986394\ 3529*c_0101_5^16 + 365885164666369504138894122258192871/79781301681\ 0053240673519909295686*c_0101_5^15 - 2003762613914025655258140725611663522/11967195252150798610102798639\ 43529*c_0101_5^14 + 2613729962400498539833511788110910040/119671952\ 5215079861010279863943529*c_0101_5^13 - 2395240112287501032689766699733997311/23934390504301597220205597278\ 87058*c_0101_5^12 - 677671953262175436423511030370720321/7978130168\ 10053240673519909295686*c_0101_5^11 + 3596989935602020237511923461211956187/23934390504301597220205597278\ 87058*c_0101_5^10 - 917383051189885803996429488603607136/1196719525\ 215079861010279863943529*c_0101_5^9 - 99027342960004043256649076584575668/1196719525215079861010279863943\ 529*c_0101_5^8 + 279001073119923715790440928454555251/1196719525215\ 079861010279863943529*c_0101_5^7 - 139705555671477223849931710711433101/239343905043015972202055972788\ 7058*c_0101_5^6 - 7437035698405800247581318629586440/39890650840502\ 6620336759954647843*c_0101_5^5 + 730832727606304095063590727351349/\ 398906508405026620336759954647843*c_0101_5^4 + 3570748906770285438538577494870763/23934390504301597220205597278870\ 58*c_0101_5^3 + 2645504771114391200860854796727338/3989065084050266\ 20336759954647843*c_0101_5^2 + 899083394143632462578459957752493/23\ 93439050430159722020559727887058*c_0101_5 - 1268974824569144167088676817874164/11967195252150798610102798639435\ 29, c_0011_4 - 669550277765857003277682071175931/23934390504301597220205597\ 27887058*c_0101_5^23 - 2079126981220399361615526033727192/119671952\ 5215079861010279863943529*c_0101_5^22 + 6399425537989728235567076859291347/23934390504301597220205597278870\ 58*c_0101_5^21 + 2023277459476788321251526098098756/119671952521507\ 9861010279863943529*c_0101_5^20 - 60061178914172472294536386160165/\ 7745757444757798453140969993162*c_0101_5^19 + 70250989364396869864750583776589350/1196719525215079861010279863943\ 529*c_0101_5^18 - 172929836904092022231055232786212475/797813016810\ 053240673519909295686*c_0101_5^17 + 235128543262243850639295558305141005/119671952521507986101027986394\ 3529*c_0101_5^16 + 515061306474692696013940085022983587/79781301681\ 0053240673519909295686*c_0101_5^15 - 2422738967683997645063408844157192756/11967195252150798610102798639\ 43529*c_0101_5^14 + 2760616588101679938279812556264207080/119671952\ 5215079861010279863943529*c_0101_5^13 - 1574025117541488371977149800898131485/23934390504301597220205597278\ 87058*c_0101_5^12 - 1042453559062037844691748432690085503/797813016\ 810053240673519909295686*c_0101_5^11 + 3845086430148874156439917856941125649/23934390504301597220205597278\ 87058*c_0101_5^10 - 681490433805952865475599922339103273/1196719525\ 215079861010279863943529*c_0101_5^9 - 271084829470101354772629748519869149/119671952521507986101027986394\ 3529*c_0101_5^8 + 276896560063278057982182106257061820/119671952521\ 5079861010279863943529*c_0101_5^7 - 102937443668100583131605825930609959/239343905043015972202055972788\ 7058*c_0101_5^6 - 2916528217205109608038458793118327/39890650840502\ 6620336759954647843*c_0101_5^5 - 928530238833857075586912174831305/\ 398906508405026620336759954647843*c_0101_5^4 - 20168908722564956406546630656199979/2393439050430159722020559727887\ 058*c_0101_5^3 + 2577503040252006832963032809728858/398906508405026\ 620336759954647843*c_0101_5^2 + 8401055467993690749440550943011653/\ 2393439050430159722020559727887058*c_0101_5 - 547691735146739208198325174113025/119671952521507986101027986394352\ 9, c_0101_0 + 475566935298222761924653538472833/23934390504301597220205597\ 27887058*c_0101_5^23 + 3419259770573861142985964487874927/239343905\ 0430159722020559727887058*c_0101_5^22 - 972488281849653161058315469265677/239343905043015972202055972788705\ 8*c_0101_5^21 - 2306050066169346144003859098078043/2393439050430159\ 722020559727887058*c_0101_5^20 + 29806637772519837058383555017791/7\ 745757444757798453140969993162*c_0101_5^19 - 96114644394204919640237082525909157/2393439050430159722020559727887\ 058*c_0101_5^18 + 93216508841022347903080096805277529/7978130168100\ 53240673519909295686*c_0101_5^17 - 99852604804463306569098847896334993/2393439050430159722020559727887\ 058*c_0101_5^16 - 350654434113753274833803136198194495/797813016810\ 053240673519909295686*c_0101_5^15 + 2421434037022802656751012653518313837/23934390504301597220205597278\ 87058*c_0101_5^14 - 1171532060557810226744618979817439440/119671952\ 5215079861010279863943529*c_0101_5^13 + 109304536857053266577216002849244717/239343905043015972202055972788\ 7058*c_0101_5^12 + 377858934351893392272838390738902017/39890650840\ 5026620336759954647843*c_0101_5^11 - 1176358279789464866778893532021940330/11967195252150798610102798639\ 43529*c_0101_5^10 + 641410286071382580873122760083263501/2393439050\ 430159722020559727887058*c_0101_5^9 + 389016613800857507619123728728484824/119671952521507986101027986394\ 3529*c_0101_5^8 - 329389404288718788656305588537955566/119671952521\ 5079861010279863943529*c_0101_5^7 + 141204250175898927616503619519561367/239343905043015972202055972788\ 7058*c_0101_5^6 + 26906818534984887348058724262071879/7978130168100\ 53240673519909295686*c_0101_5^5 - 453829437415561180348632616791393\ 2/398906508405026620336759954647843*c_0101_5^4 - 935209487408214811921964577086791/239343905043015972202055972788705\ 8*c_0101_5^3 - 6035911064212120411661789921394691/79781301681005324\ 0673519909295686*c_0101_5^2 - 8671959899233900164310200636680107/23\ 93439050430159722020559727887058*c_0101_5 + 372965397004836822230899447810897/239343905043015972202055972788705\ 8, c_0101_1 + 300140509672231369602529120402831/39890650840502662033675995\ 4647843*c_0101_5^23 + 2021960008621094867458041118862078/3989065084\ 05026620336759954647843*c_0101_5^22 - 1756467592702743609584809263426179/39890650840502662033675995464784\ 3*c_0101_5^21 - 2448204782506851121165660810127075/3989065084050266\ 20336759954647843*c_0101_5^20 + 20802857896385279224819519999920/12\ 90959574126299742190161665527*c_0101_5^19 - 60409980318171698639253850873867520/3989065084050266203367599546478\ 43*c_0101_5^18 + 67390632286930678409897762299449491/13296883613500\ 8873445586651549281*c_0101_5^17 - 113905772293123889336812068660119\ 504/398906508405026620336759954647843*c_0101_5^16 - 238003449542349220895550321136918985/132968836135008873445586651549\ 281*c_0101_5^15 + 1770086080249757736122229184913206247/39890650840\ 5026620336759954647843*c_0101_5^14 - 1689911507684933460650979270015828532/39890650840502662033675995464\ 7843*c_0101_5^13 + 178951152320696868798830083352059291/39890650840\ 5026620336759954647843*c_0101_5^12 + 408470239660846833015766254874226262/132968836135008873445586651549\ 281*c_0101_5^11 - 1187212535416374291455465325024764800/39890650840\ 5026620336759954647843*c_0101_5^10 + 318175978700495289593998928256114725/398906508405026620336759954647\ 843*c_0101_5^9 + 230060591191215925984987856657317744/3989065084050\ 26620336759954647843*c_0101_5^8 - 177733739827807698905674514312373\ 340/398906508405026620336759954647843*c_0101_5^7 + 30741034382537934471777390542651542/3989065084050266203367599546478\ 43*c_0101_5^6 + 1943104515727494676369771870279074/1329688361350088\ 73445586651549281*c_0101_5^5 - 935780084817148634782784032471537/13\ 2968836135008873445586651549281*c_0101_5^4 + 4169897791797407357677204562546887/39890650840502662033675995464784\ 3*c_0101_5^3 - 1934607905912362254194452975912576/13296883613500887\ 3445586651549281*c_0101_5^2 - 1827470568027013954826402844188639/39\ 8906508405026620336759954647843*c_0101_5 + 388757492121301677375895414792514/398906508405026620336759954647843\ , c_0101_5^24 + 7*c_0101_5^23 - 4*c_0101_5^22 - 9*c_0101_5^21 + 20*c_0101_5^20 - 197*c_0101_5^19 + 620*c_0101_5^18 - 215*c_0101_5^17 - 2458*c_0101_5^16 + 5345*c_0101_5^15 - 4281*c_0101_5^14 - 877*c_0101_5^13 + 4646*c_0101_5^12 - 3307*c_0101_5^11 - 24*c_0101_5^10 + 1415*c_0101_5^9 - 578*c_0101_5^8 - 115*c_0101_5^7 + 131*c_0101_5^6 - 9*c_0101_5^5 + c_0101_5^4 - 19*c_0101_5^3 - 14*c_0101_5^2 + c_0101_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB