Magma V2.19-8 Tue Aug 20 2013 16:18:29 on localhost [Seed = 155751481] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2672 geometric_solution 5.93686781 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 2 0132 2310 0132 2310 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.401827846612 1.020513278644 0 3 4 0 0132 0132 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0.064756520883 0.710027744406 0 4 3 0 3201 1023 1023 0132 0 0 0 0 0 -1 0 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 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.685870040262 0.571313870542 4 1 2 5 2310 0132 1023 0132 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 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.236270234603 1.038608299156 2 5 3 1 1023 1023 3201 0132 0 0 0 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 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.236270234603 1.038608299156 4 6 3 6 1023 0132 0132 2310 0 0 0 0 0 -1 0 1 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 -1 1 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.837265240541 0.622873592022 5 5 6 6 3201 0132 2031 1302 0 0 0 0 0 1 0 -1 -1 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 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.561125482638 0.168311507562 ==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' : negation(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' : negation(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' : negation(d['1']), 's_1_2' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0101_6'], 'c_1100_5' : negation(d['c_0011_2']), 'c_1100_4' : negation(d['c_0011_0']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_2'], 'c_1100_3' : negation(d['c_0011_2']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_1']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_2'], 'c_0011_4' : d['c_0011_2'], 'c_0011_6' : negation(d['c_0011_2']), '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' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : negation(d['c_0101_6']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_3']), 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : negation(d['c_0101_6']), 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0110_6']), 'c_1010_4' : negation(d['c_0101_6']), 'c_1010_3' : negation(d['c_0101_6']), 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0101_1']), '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_2, c_0101_0, c_0101_1, c_0101_3, c_0101_6, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 311007918694020814312800669422183195718812095/460144842635598865512\ 868646262945783788672*c_0110_6^20 + 482765208438149907765600855083692644037794627/460144842635598865512\ 868646262945783788672*c_0110_6^19 - 807061287095997551584953632969177762645484049/115036210658899716378\ 217161565736445947168*c_0110_6^18 + 10146268847865636996484569604993641389481541391/4601448426355988655\ 12868646262945783788672*c_0110_6^17 + 25440504490029734339945328022942509686382100579/4601448426355988655\ 12868646262945783788672*c_0110_6^16 + 22156741837977423607194904317277777728655680843/2300724213177994327\ 56434323131472891894336*c_0110_6^15 - 32319032718099722731509833740945182498274877883/4601448426355988655\ 12868646262945783788672*c_0110_6^14 - 10877538692072307295909524824978526583202236163/2300724213177994327\ 56434323131472891894336*c_0110_6^13 + 7056464713947518623701891132766654662054355057/46014484263559886551\ 2868646262945783788672*c_0110_6^12 - 25717439208975350418540914466384518719454001581/4601448426355988655\ 12868646262945783788672*c_0110_6^11 - 19224893551227970002896506753645116956150179355/4601448426355988655\ 12868646262945783788672*c_0110_6^10 + 3391788586835307419137911374016766704485403663/11503621065889971637\ 8217161565736445947168*c_0110_6^9 - 1629229362481054708034170496058101648846966429/11503621065889971637\ 8217161565736445947168*c_0110_6^8 - 27567944856070392467013659302953022019199192473/2300724213177994327\ 56434323131472891894336*c_0110_6^7 + 29042726573168966635415229930097262561248736547/2300724213177994327\ 56434323131472891894336*c_0110_6^6 + 10368190190427144166879605710361492979567565411/4601448426355988655\ 12868646262945783788672*c_0110_6^5 - 3310370960143139880904252924715458645667514393/46014484263559886551\ 2868646262945783788672*c_0110_6^4 - 1541760887903943117945777192362776895630902343/23007242131779943275\ 6434323131472891894336*c_0110_6^3 - 1099588386408077539710662541094743780765875135/23007242131779943275\ 6434323131472891894336*c_0110_6^2 + 443915852690176254971281568820180890336881663/460144842635598865512\ 868646262945783788672*c_0110_6 + 1919562711023348179496123766907205\ 96640963551/460144842635598865512868646262945783788672, c_0011_0 - 1, c_0011_2 + 15618151320751728096189799581294625530331/126878173520845275\ 4171512811386799036182*c_0110_6^20 - 24171455656052716060080261982315844792507/1268781735208452754171512\ 811386799036182*c_0110_6^19 + 8118063048739101944671526458752329310\ 7490/634390867604226377085756405693399518091*c_0110_6^18 - 509282664381863184500931229394958952527679/126878173520845275417151\ 2811386799036182*c_0110_6^17 - 425419867098048179330174536909611937\ 766991/422927245069484251390504270462266345394*c_0110_6^16 - 373731482242309035960071743222121672338261/211463622534742125695252\ 135231133172697*c_0110_6^15 + 5273707843967217959506304735907317469\ 36231/422927245069484251390504270462266345394*c_0110_6^14 + 522234945369277247707062259069358619972553/634390867604226377085756\ 405693399518091*c_0110_6^13 - 3213874049443783292352041415989288337\ 55625/1268781735208452754171512811386799036182*c_0110_6^12 + 1315476080852674572227851794115424171374793/12687817352084527541715\ 12811386799036182*c_0110_6^11 + 96659942956682136624455440710722256\ 4051697/1268781735208452754171512811386799036182*c_0110_6^10 - 322952409875370944695010772370411482205336/634390867604226377085756\ 405693399518091*c_0110_6^9 + 17564355531081490025263541414397116834\ 4665/634390867604226377085756405693399518091*c_0110_6^8 + 1379782979519402874503586823262679877539296/63439086760422637708575\ 6405693399518091*c_0110_6^7 - 4826971781259413718820683713679955119\ 92171/211463622534742125695252135231133172697*c_0110_6^6 - 156444753605003443780330073743330568503565/422927245069484251390504\ 270462266345394*c_0110_6^5 + 35488192647790244777961897823934347508\ 635/422927245069484251390504270462266345394*c_0110_6^4 + 68933417180280094948275893523524792441107/6343908676042263770857564\ 05693399518091*c_0110_6^3 + 553313268810449257928141982605366202781\ 93/634390867604226377085756405693399518091*c_0110_6^2 - 20906451478067925386356579563549157793953/1268781735208452754171512\ 811386799036182*c_0110_6 - 7556413705266292791328669668860019379309\ /1268781735208452754171512811386799036182, c_0101_0 + 315729285933243574814190469598742342421/50751269408338110166\ 86051245547196144728*c_0110_6^20 - 6720244785886284291271297825567010733641/50751269408338110166860512\ 45547196144728*c_0110_6^19 + 28827051804647345621209292378196298957\ 33/1268781735208452754171512811386799036182*c_0110_6^18 - 73760857840355839403517584559546445008133/5075126940833811016686051\ 245547196144728*c_0110_6^17 + 5466841206462652360797848104616894220\ 4517/1691708980277937005562017081849065381576*c_0110_6^16 + 83463777160221629882363460792104089544653/8458544901389685027810085\ 40924532690788*c_0110_6^15 + 35547777435099203009689682842858948998\ 2771/1691708980277937005562017081849065381576*c_0110_6^14 - 167994705582999287130124068057748431883175/253756347041690550834302\ 5622773598072364*c_0110_6^13 - 423316381254629546901455161802295286\ 280435/5075126940833811016686051245547196144728*c_0110_6^12 + 17801033085862443893754964422816074458223/5075126940833811016686051\ 245547196144728*c_0110_6^11 - 5262168791307532574583555556732360072\ 39471/5075126940833811016686051245547196144728*c_0110_6^10 - 129626641174419508042109842583526035555897/126878173520845275417151\ 2811386799036182*c_0110_6^9 + 2425110382415284908460796073435115616\ 4613/1268781735208452754171512811386799036182*c_0110_6^8 - 48587343387023960850400027458983896826821/2537563470416905508343025\ 622773598072364*c_0110_6^7 - 19714760094290665305838610190965973231\ 1763/845854490138968502781008540924532690788*c_0110_6^6 + 290855484723304168944559586096515139454581/169170898027793700556201\ 7081849065381576*c_0110_6^5 + 9906186381167043898848286934285460406\ 6561/1691708980277937005562017081849065381576*c_0110_6^4 + 60727766317493092717103606331141926721133/2537563470416905508343025\ 622773598072364*c_0110_6^3 - 15881152020100030232770252902823383416\ 735/2537563470416905508343025622773598072364*c_0110_6^2 - 40414254319843951515097764707989630363309/5075126940833811016686051\ 245547196144728*c_0110_6 - 854807246572834045223916881536155463981/\ 5075126940833811016686051245547196144728, c_0101_1 + 158894131111101037455608148602038423438229/10150253881667622\ 033372102491094392289456*c_0110_6^20 - 238082165776777382706058966460585687689249/101502538816676220333721\ 02491094392289456*c_0110_6^19 + 40997665843702113921532586229392840\ 2468811/2537563470416905508343025622773598072364*c_0110_6^18 - 5099235854356343712214121083899329973657461/10150253881667622033372\ 102491094392289456*c_0110_6^17 - 4412854521887629643578403672268093\ 890368955/3383417960555874011124034163698130763152*c_0110_6^16 - 3908420618218288252858824617268838954402019/16917089802779370055620\ 17081849065381576*c_0110_6^15 + 49752302680375940948196540836288113\ 05851667/3383417960555874011124034163698130763152*c_0110_6^14 + 5649887522684857022371827273254719979305361/50751269408338110166860\ 51245547196144728*c_0110_6^13 - 28936929223505725300079428001586764\ 01051451/10150253881667622033372102491094392289456*c_0110_6^12 + 13283291162095637290493965067053073413466095/1015025388166762203337\ 2102491094392289456*c_0110_6^11 + 105773910474891728988993912020851\ 51589097673/10150253881667622033372102491094392289456*c_0110_6^10 - 1513200976869921310146815655984151581186709/25375634704169055083430\ 25622773598072364*c_0110_6^9 + 833923571220695508808232248205458108\ 400543/2537563470416905508343025622773598072364*c_0110_6^8 + 14166480310082935008249155006751928891228675/5075126940833811016686\ 051245547196144728*c_0110_6^7 - 46804640150804673822605018420647675\ 40056171/1691708980277937005562017081849065381576*c_0110_6^6 - 2058795386768026766434253239607210839464155/33834179605558740111240\ 34163698130763152*c_0110_6^5 + 326565201358379022473665528738883612\ 887553/3383417960555874011124034163698130763152*c_0110_6^4 + 671589648055926946524514382130283411866197/507512694083381101668605\ 1245547196144728*c_0110_6^3 + 5684351119735198719503424381268801201\ 80461/5075126940833811016686051245547196144728*c_0110_6^2 - 175937220014208320968820194429349906045573/101502538816676220333721\ 02491094392289456*c_0110_6 - 72844142725866008928797744474407855065\ 989/10150253881667622033372102491094392289456, c_0101_3 + 9148226461516777804851216029408315667195/6766835921111748022\ 248068327396261526304*c_0110_6^20 - 13393832616064335222188382234899222072591/6766835921111748022248068\ 327396261526304*c_0110_6^19 + 2363666500422375095712869204671984509\ 6141/1691708980277937005562017081849065381576*c_0110_6^18 - 291507371719311400534619169568947306124811/676683592111174802224806\ 8327396261526304*c_0110_6^17 - 765685845982389575850225897500633334\ 416623/6766835921111748022248068327396261526304*c_0110_6^16 - 699129788247223630406940596787186941976039/338341796055587401112403\ 4163698130763152*c_0110_6^15 + 771433057768329577557541664878524033\ 072039/6766835921111748022248068327396261526304*c_0110_6^14 + 306346477798057412812437299880493497609487/338341796055587401112403\ 4163698130763152*c_0110_6^13 - 481193964533145368717521240372749172\ 33109/6766835921111748022248068327396261526304*c_0110_6^12 + 782696626060602478014120413768798427117505/676683592111174802224806\ 8327396261526304*c_0110_6^11 + 615463599790101379681496649618012195\ 988455/6766835921111748022248068327396261526304*c_0110_6^10 - 68371384012928257351423111744316096190619/1691708980277937005562017\ 081849065381576*c_0110_6^9 + 47899920415221098699168619497647750476\ 945/1691708980277937005562017081849065381576*c_0110_6^8 + 796802058315989565587972497310390390558349/338341796055587401112403\ 4163698130763152*c_0110_6^7 - 7743245136624229169925354741316541013\ 67567/3383417960555874011124034163698130763152*c_0110_6^6 - 320170956308750647884590961102782163436143/676683592111174802224806\ 8327396261526304*c_0110_6^5 - 1081088858548545131567789074935469675\ 25635/6766835921111748022248068327396261526304*c_0110_6^4 + 53606085728143426406468981276595104966739/3383417960555874011124034\ 163698130763152*c_0110_6^3 + 38257171075388985497067620682022008182\ 715/3383417960555874011124034163698130763152*c_0110_6^2 - 4605735280597236744637556983877234473883/67668359211117480222480683\ 27396261526304*c_0110_6 - 355432417061703994066689518474396105723/6\ 766835921111748022248068327396261526304, c_0101_6 + 199856163000257590731543898371781928859523/20300507763335244\ 066744204982188784578912*c_0110_6^20 - 339798865618245368951849171287412258634647/203005077633352440667442\ 04982188784578912*c_0110_6^19 + 52821162237522741983020747039186997\ 8127173/5075126940833811016686051245547196144728*c_0110_6^18 - 6818850175600676266737642156270956977016083/20300507763335244066744\ 204982188784578912*c_0110_6^17 - 5152586443554546908913694250661930\ 584222685/6766835921111748022248068327396261526304*c_0110_6^16 - 4307702648411943336250862176407688798980597/33834179605558740111240\ 34163698130763152*c_0110_6^15 + 85673053974689272864675927854014417\ 57774981/6766835921111748022248068327396261526304*c_0110_6^14 + 6157501198361355101797758912522860592976999/10150253881667622033372\ 102491094392289456*c_0110_6^13 - 6762800368009241176149298719566282\ 738507405/20300507763335244066744204982188784578912*c_0110_6^12 + 16516773947891857835629754134383734759123033/2030050776333524406674\ 4204982188784578912*c_0110_6^11 + 974302261280245279696884241148245\ 6003003343/20300507763335244066744204982188784578912*c_0110_6^10 - 2798625380679415001379837848332206497819555/50751269408338110166860\ 51245547196144728*c_0110_6^9 + 117774188114540487087841520300746800\ 2933089/5075126940833811016686051245547196144728*c_0110_6^8 + 17397952114226161695332127414573866134750613/1015025388166762203337\ 2102491094392289456*c_0110_6^7 - 7115476646893565894106954613281289\ 444689133/3383417960555874011124034163698130763152*c_0110_6^6 - 841571433713550139879809443104458581801533/676683592111174802224806\ 8327396261526304*c_0110_6^5 + 1287261154218831371558854915436224397\ 910663/6766835921111748022248068327396261526304*c_0110_6^4 + 1168693714491660082657196397877573426488235/10150253881667622033372\ 102491094392289456*c_0110_6^3 + 67734893865100161408310040533333585\ 2894547/10150253881667622033372102491094392289456*c_0110_6^2 - 526657213068442266398956680010551867049891/203005077633352440667442\ 04982188784578912*c_0110_6 - 14466372479183915729055471500865721458\ 0547/20300507763335244066744204982188784578912, c_0110_6^21 - 10/7*c_0110_6^20 + 71/7*c_0110_6^19 - 219/7*c_0110_6^18 - 604/7*c_0110_6^17 - 1059/7*c_0110_6^16 + 633/7*c_0110_6^15 + 635/7*c_0110_6^14 - 111/7*c_0110_6^13 + 534/7*c_0110_6^12 + 502/7*c_0110_6^11 - 279/7*c_0110_6^10 + 80/7*c_0110_6^9 + 1262/7*c_0110_6^8 - 1160/7*c_0110_6^7 - 453/7*c_0110_6^6 + 12*c_0110_6^5 + 101/7*c_0110_6^4 + 64/7*c_0110_6^3 - 5/7*c_0110_6^2 - 8/7*c_0110_6 - 1/7 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB