Magma V2.19-8 Tue Aug 20 2013 16:16:32 on localhost [Seed = 678016241] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0823 geometric_solution 4.74990418 oriented_manifold CS_known 0.0000000000000006 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 3 0132 0132 0132 3201 0 0 0 0 0 0 1 -1 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 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.261159355890 0.443577485648 0 2 4 2 0132 2031 0132 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 -1 1 0 0 1 -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.802306119909 0.776066944051 1 0 1 4 1302 0132 1230 2310 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 -1 1 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.802306119909 0.776066944051 5 0 5 0 0132 2310 2310 0132 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 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.413651285519 2.918700096407 2 6 6 1 3201 0132 1023 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 -1 0 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 1.047601289530 0.335872009118 3 3 5 5 0132 3201 1230 3012 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.162487051486 0.153545011281 6 4 4 6 3201 0132 1023 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 1.155183885378 0.211785051235 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : 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_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' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0101_3'], 'c_1100_4' : d['c_0011_4'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_4'], 'c_1100_0' : negation(d['c_0011_3']), 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : d['c_0011_4'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_4'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_4'], 'c_0011_5' : negation(d['c_0011_3']), '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_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : d['c_0101_6'], 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : d['c_0101_4'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0011_4'], 'c_1001_2' : negation(d['c_0011_4']), 'c_0110_1' : d['c_0011_4'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_4'], 'c_0110_2' : negation(d['c_0101_4']), 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0101_6']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : negation(d['c_0011_4']), 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : negation(d['c_0101_1']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0011_4'])})} 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_3, c_0011_4, c_0101_1, c_0101_3, c_0101_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 5 Groebner basis: [ t + 3*c_0101_6^4 - 10*c_0101_6^3 - 4*c_0101_6^2 + 30*c_0101_6 - 14, c_0011_0 - 1, c_0011_3 - c_0101_6^4 + 3*c_0101_6^3 - 3*c_0101_6, c_0011_4 - c_0101_6^2 + c_0101_6 + 1, c_0101_1 + c_0101_6^3 - 2*c_0101_6^2 - c_0101_6 + 1, c_0101_3 - c_0101_6, c_0101_4 - c_0101_6^4 + 3*c_0101_6^3 - 3*c_0101_6, c_0101_6^5 - 4*c_0101_6^4 + 2*c_0101_6^3 + 5*c_0101_6^2 - 2*c_0101_6 - 1 ], Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_4, c_0101_1, c_0101_3, c_0101_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 2051005945296006628868655300955055/8130042919044964189818197511474*\ c_0101_6^19 + 18810614435674815592010551644580117/94850500722191248\ 88121230430053*c_0101_6^18 + 30354349037602513230827371581386743/81\ 30042919044964189818197511474*c_0101_6^17 - 221966918460270357589401272334796687/189701001444382497762424608601\ 06*c_0101_6^16 + 187471813215651583433409959360237527/1897010014443\ 8249776242460860106*c_0101_6^15 - 107346329075646188460826282069303\ 307/56910300433314749328727382580318*c_0101_6^14 - 288174632809644897429965077466776869/948505007221912488812123043005\ 3*c_0101_6^13 + 4305302151841085692858530813910397825/5691030043331\ 4749328727382580318*c_0101_6^12 - 606589565999690413901568711285530\ 5049/56910300433314749328727382580318*c_0101_6^11 + 3614893528333518395463169158350697881/28455150216657374664363691290\ 159*c_0101_6^10 - 3856251462760193405870462315563136594/28455150216\ 657374664363691290159*c_0101_6^9 + 2163855933051098009955182095854364987/18970100144438249776242460860\ 106*c_0101_6^8 - 1396349621124468379782783376456386339/189701001444\ 38249776242460860106*c_0101_6^7 + 123810972928873695188022922587733\ 0345/28455150216657374664363691290159*c_0101_6^6 - 1205663276648816599226704367904964421/56910300433314749328727382580\ 318*c_0101_6^5 + 235936292918536392125812324270694717/2845515021665\ 7374664363691290159*c_0101_6^4 - 1779138271332861223924708564804668\ 77/56910300433314749328727382580318*c_0101_6^3 + 21723483826425120388330594017501997/5691030043331474932872738258031\ 8*c_0101_6^2 - 2533822671803897207000523527610778/94850500722191248\ 88121230430053*c_0101_6 - 3016871924069491598210097152575075/569103\ 00433314749328727382580318, c_0011_0 - 1, c_0011_3 - 1419458258586827686157567973420/1355007153174160698303032918\ 579*c_0101_6^19 + 14476158522708841869437640252224/1355007153174160\ 698303032918579*c_0101_6^18 - 4539582993459804810102748378452/13550\ 07153174160698303032918579*c_0101_6^17 - 118802682508327402968819768703765/1355007153174160698303032918579*c\ _0101_6^16 + 199748263257540134700233404482729/13550071531741606983\ 03032918579*c_0101_6^15 - 125076212507070952558669572411415/1355007\ 153174160698303032918579*c_0101_6^14 - 165816817771391141328530299601670/1355007153174160698303032918579*c\ _0101_6^13 + 834860621724930167018080959213903/13550071531741606983\ 03032918579*c_0101_6^12 - 1537992521590139204370832832772450/135500\ 7153174160698303032918579*c_0101_6^11 + 1988685369440688113770332405560671/1355007153174160698303032918579*\ c_0101_6^10 - 2228122705857855555150753449521089/135500715317416069\ 8303032918579*c_0101_6^9 + 2161841169857467257019146453897528/13550\ 07153174160698303032918579*c_0101_6^8 - 1630725472818045133884646728910245/1355007153174160698303032918579*\ c_0101_6^7 + 969646420981957765234582647068896/13550071531741606983\ 03032918579*c_0101_6^6 - 506316917892266316095522398433126/13550071\ 53174160698303032918579*c_0101_6^5 + 209337012227862624231235750785582/1355007153174160698303032918579*c\ _0101_6^4 - 73876794404017241040862550641250/1355007153174160698303\ 032918579*c_0101_6^3 + 19013742588707750624509341818956/13550071531\ 74160698303032918579*c_0101_6^2 - 2488012297369857514340515206/1355\ 007153174160698303032918579*c_0101_6 + 1583742237613202439843651013439/1355007153174160698303032918579, c_0011_4 - 4674463938905087574579870491905/2710014306348321396606065837\ 158*c_0101_6^19 + 16693152688908450994372595202678/1355007153174160\ 698303032918579*c_0101_6^18 + 48173959161912743970736845654398/1355\ 007153174160698303032918579*c_0101_6^17 - 172413699436306980169553311798691/2710014306348321396606065837158*c\ _0101_6^16 + 11748184953271525668491390009929/271001430634832139660\ 6065837158*c_0101_6^15 + 124555445628819900988909135089113/27100143\ 06348321396606065837158*c_0101_6^14 - 589577306199337980891974314716461/2710014306348321396606065837158*c\ _0101_6^13 + 487080365347185867634099128967588/13550071531741606983\ 03032918579*c_0101_6^12 - 435605410364769328693038157160017/1355007\ 153174160698303032918579*c_0101_6^11 + 775891546104845352835200599141403/2710014306348321396606065837158*c\ _0101_6^10 - 685980317007445654156587410782205/27100143063483213966\ 06065837158*c_0101_6^9 + 200874260717848782854338758123641/27100143\ 06348321396606065837158*c_0101_6^8 + 241340291575610766150493502996827/2710014306348321396606065837158*c\ _0101_6^7 - 86254002167281653881807313765970/1355007153174160698303\ 032918579*c_0101_6^6 + 57484143013725980785738063779055/13550071531\ 74160698303032918579*c_0101_6^5 - 34428023281798603944899132642987/\ 1355007153174160698303032918579*c_0101_6^4 + 12142596280232907700111839880805/2710014306348321396606065837158*c_\ 0101_6^3 - 4703788819087820271512222705190/135500715317416069830303\ 2918579*c_0101_6^2 - 5755273421052621930453839303915/27100143063483\ 21396606065837158*c_0101_6 - 808154281590582989787619982743/2710014\ 306348321396606065837158, c_0101_1 - 105881536351988917847268107656/13550071531741606983030329185\ 79*c_0101_6^19 - 1437196160929796567484156861849/135500715317416069\ 8303032918579*c_0101_6^18 + 19377366822497869841110221518422/135500\ 7153174160698303032918579*c_0101_6^17 + 29268272933612315423640082464837/1355007153174160698303032918579*c_\ 0101_6^16 - 103490944144155113081085054370705/135500715317416069830\ 3032918579*c_0101_6^15 + 82250096674203221783321185592148/135500715\ 3174160698303032918579*c_0101_6^14 - 9502466680702064943011317949749/1355007153174160698303032918579*c_0\ 101_6^13 - 256610401938692697821538385877666/1355007153174160698303\ 032918579*c_0101_6^12 + 634484734191273102196809617829299/135500715\ 3174160698303032918579*c_0101_6^11 - 852400015406167089587984633573257/1355007153174160698303032918579*c\ _0101_6^10 + 956180721908008598432466406927452/13550071531741606983\ 03032918579*c_0101_6^9 - 996099176575800829763660874673352/13550071\ 53174160698303032918579*c_0101_6^8 + 792800462410325056191101539208137/1355007153174160698303032918579*c\ _0101_6^7 - 433747304077298147958401881328004/135500715317416069830\ 3032918579*c_0101_6^6 + 211106717410079957359047044025057/135500715\ 3174160698303032918579*c_0101_6^5 - 85420103473802061921387671352059/1355007153174160698303032918579*c_\ 0101_6^4 + 16606410322004334211993455436480/13550071531741606983030\ 32918579*c_0101_6^3 - 4035878488008889681523070880113/1355007153174\ 160698303032918579*c_0101_6^2 - 2600405718143196047652477483118/135\ 5007153174160698303032918579*c_0101_6 - 737836823561512827090261219551/1355007153174160698303032918579, c_0101_3 - 1594968835925736926446104296074/1355007153174160698303032918\ 579*c_0101_6^19 + 7930194332221120916714871509555/13550071531741606\ 98303032918579*c_0101_6^18 + 58942393348155528997203888328371/13550\ 07153174160698303032918579*c_0101_6^17 + 655356759567510778052371393090/1355007153174160698303032918579*c_01\ 01_6^16 - 134694530818112878995305537743311/13550071531741606983030\ 32918579*c_0101_6^15 + 141952954000621398703489283628588/1355007153\ 174160698303032918579*c_0101_6^14 - 196315246762845838796199630811253/1355007153174160698303032918579*c\ _0101_6^13 - 83923717081453735426387383429032/135500715317416069830\ 3032918579*c_0101_6^12 + 605728456901803677554814820871306/13550071\ 53174160698303032918579*c_0101_6^11 - 934370919923948545113035231371884/1355007153174160698303032918579*c\ _0101_6^10 + 1147372044247575826119636250081729/1355007153174160698\ 303032918579*c_0101_6^9 - 1376065704235903515065620841515111/135500\ 7153174160698303032918579*c_0101_6^8 + 1225061326494122530542736658065362/1355007153174160698303032918579*\ c_0101_6^7 - 747393562842262770786958941959954/13550071531741606983\ 03032918579*c_0101_6^6 + 435937091724938569239282235915677/13550071\ 53174160698303032918579*c_0101_6^5 - 207894551703852760884719132154635/1355007153174160698303032918579*c\ _0101_6^4 + 78537979951431623560561607316055/1355007153174160698303\ 032918579*c_0101_6^3 - 26452953896628632939279446831171/13550071531\ 74160698303032918579*c_0101_6^2 + 725824967557395533617280940169/13\ 55007153174160698303032918579*c_0101_6 - 2658917034094082220389138647404/1355007153174160698303032918579, c_0101_4 - 152458827308288098503474433711/13550071531741606983030329185\ 79*c_0101_6^19 - 314184567887375450969782145592/1355007153174160698\ 303032918579*c_0101_6^18 + 14116995021228082237074366648258/1355007\ 153174160698303032918579*c_0101_6^17 + 15788007286934767743240873285347/1355007153174160698303032918579*c_\ 0101_6^16 - 65536464668215740442567645762584/1355007153174160698303\ 032918579*c_0101_6^15 + 53368158341266330566956970522310/1355007153\ 174160698303032918579*c_0101_6^14 - 17558054760547958950366368250666/1355007153174160698303032918579*c_\ 0101_6^13 - 145844392176349917433977039842423/135500715317416069830\ 3032918579*c_0101_6^12 + 387075550324002936312214811438662/13550071\ 53174160698303032918579*c_0101_6^11 - 523946785263983567258536417991391/1355007153174160698303032918579*c\ _0101_6^10 + 596929997927157377007304723202710/13550071531741606983\ 03032918579*c_0101_6^9 - 630812375127410884258932957451501/13550071\ 53174160698303032918579*c_0101_6^8 + 508718232028581182799276100355804/1355007153174160698303032918579*c\ _0101_6^7 - 283536533742330794124360700248159/135500715317416069830\ 3032918579*c_0101_6^6 + 140987649177336070860162544829342/135500715\ 3174160698303032918579*c_0101_6^5 - 57515701756691738074987462509289/1355007153174160698303032918579*c_\ 0101_6^4 + 13592682473707083727609200106066/13550071531741606983030\ 32918579*c_0101_6^3 - 5205123353883718530692486248414/1355007153174\ 160698303032918579*c_0101_6^2 - 3223726153360194493059834242157/135\ 5007153174160698303032918579*c_0101_6 - 519023983231795567560863521682/1355007153174160698303032918579, c_0101_6^20 - 54/7*c_0101_6^19 - 111/7*c_0101_6^18 + 304/7*c_0101_6^17 - 236/7*c_0101_6^16 + 45/7*c_0101_6^15 + 820/7*c_0101_6^14 - 1968/7*c_0101_6^13 + 2733/7*c_0101_6^12 - 3306/7*c_0101_6^11 + 3554/7*c_0101_6^10 - 2983/7*c_0101_6^9 + 1970/7*c_0101_6^8 - 1242/7*c_0101_6^7 + 627/7*c_0101_6^6 - 267/7*c_0101_6^5 + 16*c_0101_6^4 - 3*c_0101_6^3 + 15/7*c_0101_6^2 + 1/7*c_0101_6 + 1/7 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB