Magma V2.19-8 Tue Aug 20 2013 16:18:54 on localhost [Seed = 964207695] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3067 geometric_solution 6.23337808 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 1230 3012 0 0 0 0 0 0 -1 1 -1 0 0 1 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 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.669745880604 1.034713810213 0 3 5 4 0132 0132 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 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.714845293753 0.768912711664 3 0 4 5 2310 0132 3201 2310 0 0 0 0 0 0 1 -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 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.714845293753 0.768912711664 3 1 2 3 3012 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.239932562404 0.680463707653 2 6 1 6 2310 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 1 -1 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 -1 1 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.989910680024 0.517119912895 2 5 5 1 3201 1230 3012 0132 0 0 0 0 0 -1 1 0 -1 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.800564321327 0.739261041064 6 4 6 4 2031 0132 1302 1023 0 0 0 0 0 0 -1 1 1 0 -1 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 0 1 -1 -1 0 1 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.594880256892 0.197924383854 ==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' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : negation(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' : 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' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_4'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0011_4'], 'c_0101_5' : d['c_0101_3'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], '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_6' : negation(d['c_0011_4']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0011_4'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0110_6'], 'c_1001_1' : d['c_0101_3'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_0'], 'c_0110_2' : negation(d['c_0101_3']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0101_3'], 'c_1010_4' : d['c_0110_6'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), '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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t + 1921818374722492519867802159565185555/13382096307123892548953279023\ 79704*c_0110_6^25 - 1593765707462028745475044636784725909215/214113\ 54091398228078325246438075264*c_0110_6^23 + 6434732558396380759979443108858522271087/53528385228495570195813116\ 09518816*c_0110_6^21 - 189671259458900965116583336359872266822941/2\ 1411354091398228078325246438075264*c_0110_6^19 + 28603481185750045701340740583665270738365/8235136188999318491663556\ 32233664*c_0110_6^17 - 51620079644262520847591101168423037168829/66\ 9104815356194627447663951189852*c_0110_6^15 + 1042984042003909503056630005149503587232005/10705677045699114039162\ 623219037632*c_0110_6^13 - 1446215291269149446672553768336559753460\ 523/21411354091398228078325246438075264*c_0110_6^11 + 118852614980785408825277314831345521115239/535283852284955701958131\ 1609518816*c_0110_6^9 - 8603628583372814538322978988228235612971/53\ 52838522849557019581311609518816*c_0110_6^7 - 939682477170789580795425596940304023483/164702723779986369833271126\ 4467328*c_0110_6^5 + 926283034818718054415183057359824739325/214113\ 54091398228078325246438075264*c_0110_6^3 + 29498017989723449563813969436716151559/5352838522849557019581311609\ 518816*c_0110_6, c_0011_0 - 1, c_0011_4 - 913583549587503924308588751990620/12867400295311435143224306\ 753651*c_0110_6^24 + 189426817778735627745914375300293235/514696011\ 81245740572897227014604*c_0110_6^22 - 764953184237268814612001095100631618/128674002953114351432243067536\ 51*c_0110_6^20 + 22555010666201932087749436928981564217/51469601181\ 245740572897227014604*c_0110_6^18 - 44237163988076656576851959090343822223/2573480059062287028644861350\ 7302*c_0110_6^16 + 49152097458280438720849105738778859227/128674002\ 95311435143224306753651*c_0110_6^14 - 124180060805543791663522365885282367603/257348005906228702864486135\ 07302*c_0110_6^12 + 172050559264142958532924696313959415987/5146960\ 1181245740572897227014604*c_0110_6^10 - 14048699697634716680791296393158774109/1286740029531143514322430675\ 3651*c_0110_6^8 + 934583466742577279264536220840992801/128674002953\ 11435143224306753651*c_0110_6^6 + 155106895694251317913713084868091\ 0051/51469601181245740572897227014604*c_0110_6^4 - 109028718382183947301987271098548145/514696011812457405728972270146\ 04*c_0110_6^2 - 3841290932345667216608568194408049/1286740029531143\ 5143224306753651, c_0101_0 + 544080015596474307555742221210784/12867400295311435143224306\ 753651*c_0110_6^25 - 28197639806183143974913801034581602/1286740029\ 5311435143224306753651*c_0110_6^23 + 455285822467852744599833555543742851/128674002953114351432243067536\ 51*c_0110_6^21 - 3353706721107052536425617244135323445/128674002953\ 11435143224306753651*c_0110_6^19 + 13140854358766355710377342507093038595/1286740029531143514322430675\ 3651*c_0110_6^17 - 29152839935521403739848907655141644168/128674002\ 95311435143224306753651*c_0110_6^15 + 36728998456808512071857878602830183525/1286740029531143514322430675\ 3651*c_0110_6^13 - 25335005509742649083400885731786417109/128674002\ 95311435143224306753651*c_0110_6^11 + 8206356861077990300933612453256151194/12867400295311435143224306753\ 651*c_0110_6^9 - 523265177245139120351622782383823965/1286740029531\ 1435143224306753651*c_0110_6^7 - 2286529370550876213215974619219023\ 17/12867400295311435143224306753651*c_0110_6^5 + 15357080616258474175577247072403643/1286740029531143514322430675365\ 1*c_0110_6^3 + 2262603135865657372625245271624150/12867400295311435\ 143224306753651*c_0110_6, c_0101_1 + 859934951554645214442750437117824/12867400295311435143224306\ 753651*c_0110_6^24 - 44576730881136381792232642036302200/1286740029\ 5311435143224306753651*c_0110_6^22 + 720081838464225212900365513100753266/128674002953114351432243067536\ 51*c_0110_6^20 - 5308390050927082441177945401813633954/128674002953\ 11435143224306753651*c_0110_6^18 + 20824945808535125780135519656778084194/1286740029531143514322430675\ 3651*c_0110_6^16 - 46283948493173905943199853906252256481/128674002\ 95311435143224306753651*c_0110_6^14 + 58476622182361574956022966713761346762/1286740029531143514322430675\ 3651*c_0110_6^12 - 40513021983152389570889395561170776554/128674002\ 95311435143224306753651*c_0110_6^10 + 13225801223321091803028520243801149556/1286740029531143514322430675\ 3651*c_0110_6^8 - 871087643235581583652943669603894888/128674002953\ 11435143224306753651*c_0110_6^6 - 368135417020983501350467019035281\ 498/12867400295311435143224306753651*c_0110_6^4 + 25590920517744483170117079330285612/1286740029531143514322430675365\ 1*c_0110_6^2 + 3656945268820308438229478427601075/12867400295311435\ 143224306753651, c_0101_2 - 1151610838248526047793837606486124/1286740029531143514322430\ 6753651*c_0110_6^24 + 238776438758845637027911150178217863/51469601\ 181245740572897227014604*c_0110_6^22 - 964203271600537225391300630949838297/128674002953114351432243067536\ 51*c_0110_6^20 + 28428215999101882227519695442256059277/51469601181\ 245740572897227014604*c_0110_6^18 - 55750984086031873955799321174579617375/2573480059062287028644861350\ 7302*c_0110_6^16 + 61936412719151399476175528624918855401/128674002\ 95311435143224306753651*c_0110_6^14 - 156445765046456798164647252066131005551/257348005906228702864486135\ 07302*c_0110_6^12 + 216687611583736465372471658277297262591/5146960\ 1181245740572897227014604*c_0110_6^10 - 17685136151242281631856766063723508330/1286740029531143514322430675\ 3651*c_0110_6^8 + 1175329363906666491127883648569187702/12867400295\ 311435143224306753651*c_0110_6^6 + 1950812987015766052215459259367431555/51469601181245740572897227014\ 604*c_0110_6^4 - 136907535372908519845995152144321765/5146960118124\ 5740572897227014604*c_0110_6^2 - 4822153767472898411988376007084025\ /12867400295311435143224306753651, c_0101_3 + 1278899065715486978853418856353830/1286740029531143514322430\ 6753651*c_0110_6^25 - 530380065719635981778080507289134431/10293920\ 2362491481145794454029208*c_0110_6^23 + 2142103756536345003162623237184600377/25734800590622870286448613507\ 302*c_0110_6^21 - 63175204020106999306964573481214915429/1029392023\ 62491481145794454029208*c_0110_6^19 + 123946355189353652454643368662385802441/514696011812457405728972270\ 14604*c_0110_6^17 - 68889797400003686984681753125595264079/12867400\ 295311435143224306753651*c_0110_6^15 + 348295365320196517815484434542021785397/514696011812457405728972270\ 14604*c_0110_6^13 - 482818414036095438165585199842658611539/1029392\ 02362491481145794454029208*c_0110_6^11 + 39405856451415413575074854281165147887/2573480059062287028644861350\ 7302*c_0110_6^9 - 2570033997231456988688146786470635737/25734800590\ 622870286448613507302*c_0110_6^7 - 4434883721864075079099705086064011623/10293920236249148114579445402\ 9208*c_0110_6^5 + 306542809104151988929221967942254925/102939202362\ 491481145794454029208*c_0110_6^3 + 11048381257551689614634330757008197/2573480059062287028644861350730\ 2*c_0110_6, c_0110_6^26 - 837/16*c_0110_6^24 + 862*c_0110_6^22 - 105135/16*c_0110_6^20 + 217205/8*c_0110_6^18 - 130667/2*c_0110_6^16 + 748727/8*c_0110_6^14 - 1271313/16*c_0110_6^12 + 37809*c_0110_6^10 - 33409/4*c_0110_6^8 + 1035/16*c_0110_6^6 + 3707/16*c_0110_6^4 - 10*c_0110_6^2 - 2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB