Magma V2.19-8 Tue Aug 20 2013 16:15:51 on localhost [Seed = 1730607949] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0071 geometric_solution 3.62393744 oriented_manifold CS_known 0.0000000000000005 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 3201 2310 1023 0 0 0 0 0 1 -1 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 1 -2 1 0 0 0 0 -2 2 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3.227364143898 0.406580804604 0 2 2 0 0132 0132 3201 1023 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 0 0 0 0 0 1 -1 -1 1 0 0 2 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.146202838186 0.053832926749 1 1 3 3 2310 0132 0132 2310 0 0 0 0 0 0 0 0 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 0 0 0 2 0 0 -2 -1 0 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3.497416774325 1.710917345185 2 4 5 2 3201 0132 0132 0132 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 0 0 0 -1 0 1 0 0 1 0 -1 2 -1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.223762296441 0.978561632466 6 3 5 6 0132 0132 1302 1023 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 0 -1 1 -1 0 0 1 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.251341929716 0.254842355485 4 6 6 3 2031 3201 2310 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 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.251341929716 0.254842355485 4 5 5 4 0132 3201 2310 1023 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 1 -1 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.038190395392 1.989131623263 ==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' : negation(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' : negation(d['1']), 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : negation(d['1']), 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : negation(d['1']), 's_1_3' : negation(d['1']), 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_0_6' : negation(d['1']), 's_0_4' : negation(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' : d['c_0011_5'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : negation(d['c_0011_5']), 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_6' : d['c_0011_3'], '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' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : d['c_0101_1'], 'c_1001_6' : d['c_0011_5'], 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : negation(d['c_0101_0']), 'c_1001_3' : negation(d['c_0011_5']), 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : negation(d['c_0011_5']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : negation(d['c_0011_5']), 'c_1010_4' : negation(d['c_0011_5']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : 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_3, c_0011_5, c_0101_0, c_0101_1, c_0101_2, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 10922592011073324710362301836133840772554085557309919/3853441461355\ 45452935357816375785052595795068557002496*c_0101_6^20 + 37011319780282076792733084686672831671153344609597369/3853441461355\ 45452935357816375785052595795068557002496*c_0101_6^19 + 8402767252835944673804628909591966951039872156645279/24084009133471\ 590808459863523486565787237191784812656*c_0101_6^18 + 1505603906083173304895701824462994546202943809559453725/38534414613\ 5545452935357816375785052595795068557002496*c_0101_6^17 + 3104318203995209750365833977885940699664504461057180399/38534414613\ 5545452935357816375785052595795068557002496*c_0101_6^16 + 19144705762966885977927193816459562150790430100622405505/3853441461\ 35545452935357816375785052595795068557002496*c_0101_6^15 + 23067453647891488897329090013169735453259648772976147421/3853441461\ 35545452935357816375785052595795068557002496*c_0101_6^14 + 15225513764001265646349525658068606041790198423635593921/5504916373\ 3649350419336830910826436085113581222428928*c_0101_6^13 + 49658324935193263515467181314799848458094676308682915103/1926720730\ 67772726467678908187892526297897534278501248*c_0101_6^12 + 146633722876454536736228828040407603250554955754342976629/192672073\ 067772726467678908187892526297897534278501248*c_0101_6^11 + 73872726142196931149112982221072380391031435481540919569/9633603653\ 3886363233839454093946263148948767139250624*c_0101_6^10 + 13505446554598637660214545599740413603162792504687062905/1204200456\ 6735795404229931761743282893618595892406328*c_0101_6^9 + 639448624921733133957842510822825277113124406102091048585/385344146\ 135545452935357816375785052595795068557002496*c_0101_6^8 + 92751752084502810295236519352314453810464148711596647393/9633603653\ 3886363233839454093946263148948767139250624*c_0101_6^7 + 215471409144611481439003830180408038056840702234459142829/963360365\ 33886363233839454093946263148948767139250624*c_0101_6^6 + 8988844087680987841580221589900783670879163005128934743/13762290933\ 412337604834207727706609021278395305607232*c_0101_6^5 + 43350595012640329519527315039937587004918864349966911857/2408400913\ 3471590808459863523486565787237191784812656*c_0101_6^4 + 330012583129594098762232444594840191375100694603123489/860143183338\ 271100302137982981663063829899706600452*c_0101_6^3 + 10103051153379943079257856204835301103281936904561536153/1204200456\ 6735795404229931761743282893618595892406328*c_0101_6^2 + 1243374284813932476182281088778279014272838673326953725/60210022833\ 67897702114965880871641446809297946203164*c_0101_6 + 185368536856497040049031063546643333403394070319495445/150525057084\ 1974425528741470217910361702324486550791, c_0011_0 - 1, c_0011_3 + 464489398794641631668427853634111308605638485221/11712588028\ 43603200411421934272902895427948536647424*c_0101_6^20 - 1977838531051614961162699866526750030373998793403/11712588028436032\ 00411421934272902895427948536647424*c_0101_6^19 - 1025949545608159652329070601708283856139363928759/29281470071090080\ 0102855483568225723856987134161856*c_0101_6^18 - 60554025384118049788467010356528116389337333257407/1171258802843603\ 200411421934272902895427948536647424*c_0101_6^17 - 76407200776930902483027216167051123595936981581065/1171258802843603\ 200411421934272902895427948536647424*c_0101_6^16 - 727752578170088589515320028042048301042954791554407/117125880284360\ 3200411421934272902895427948536647424*c_0101_6^15 - 255028510173603331846720954223616859224205266662255/117125880284360\ 3200411421934272902895427948536647424*c_0101_6^14 - 4011280803080744922492805747241310059966177657148285/11712588028436\ 03200411421934272902895427948536647424*c_0101_6^13 + 127871777658077005837429716605522400908686803926487/585629401421801\ 600205710967136451447713974268323712*c_0101_6^12 - 5492073178006204703469737428224383530882367850830627/58562940142180\ 1600205710967136451447713974268323712*c_0101_6^11 + 257720746154031997091161200090898089391627223571439/146407350355450\ 400051427741784112861928493567080928*c_0101_6^10 - 61131003987953589586955080668275548375376870222226/4575229698607825\ 001607116930753526935265423971279*c_0101_6^9 + 167649854846478361542576385112880689231042038110325/117125880284360\ 3200411421934272902895427948536647424*c_0101_6^8 - 2622598681750557611355447965578983082239421691240961/29281470071090\ 0800102855483568225723856987134161856*c_0101_6^7 - 351819368060003576270805593430248306485644284506619/732036751777252\ 00025713870892056430964246783540464*c_0101_6^6 - 308802122627667563069629788598417562122758603558179/146407350355450\ 400051427741784112861928493567080928*c_0101_6^5 - 359740009029657945253473055178189381827716060736009/732036751777252\ 00025713870892056430964246783540464*c_0101_6^4 + 5187191104130241122597744685324193659751179368173/18300918794431300\ 006428467723014107741061695885116*c_0101_6^3 - 32890050163361940160021516766894287157080760666675/1830091879443130\ 0006428467723014107741061695885116*c_0101_6^2 - 455887962424813923703255334599846884540421262868/457522969860782500\ 1607116930753526935265423971279*c_0101_6 + 1633125490556567868512376005522575578590672261894/45752296986078250\ 01607116930753526935265423971279, c_0011_5 + 317172497623533950999261780903258785370016860637/11712588028\ 43603200411421934272902895427948536647424*c_0101_6^20 - 1449237684272468485742356424874926515324541042067/11712588028436032\ 00411421934272902895427948536647424*c_0101_6^19 - 501640416934869616749341014061218810607916403915/292814700710900800\ 102855483568225723856987134161856*c_0101_6^18 - 41967605640622819015671920263514368301652829294567/1171258802843603\ 200411421934272902895427948536647424*c_0101_6^17 - 43039568309763068699055114169346755014394750655249/1171258802843603\ 200411421934272902895427948536647424*c_0101_6^16 - 531133357246125849250263048180047071275421769153247/117125880284360\ 3200411421934272902895427948536647424*c_0101_6^15 - 94355869230334994704723004474940964110649416057127/1171258802843603\ 200411421934272902895427948536647424*c_0101_6^14 - 3293541913168402248783657666835684781222726306347909/11712588028436\ 03200411421934272902895427948536647424*c_0101_6^13 + 342719529239131659856224634894121763495604609847847/585629401421801\ 600205710967136451447713974268323712*c_0101_6^12 - 5439272336811208069264804467252492736378993859978875/58562940142180\ 1600205710967136451447713974268323712*c_0101_6^11 + 432335154915848568136214522447538505696439729173663/146407350355450\ 400051427741784112861928493567080928*c_0101_6^10 - 78990713443764704731287176362621727000726546951983/4575229698607825\ 001607116930753526935265423971279*c_0101_6^9 + 4888347592503437878471576550760332940524831827223341/11712588028436\ 03200411421934272902895427948536647424*c_0101_6^8 - 5197609867327486620929406719050482820247026882212653/29281470071090\ 0800102855483568225723856987134161856*c_0101_6^7 + 30624074856224109397837187445745958979971950340219/7320367517772520\ 0025713870892056430964246783540464*c_0101_6^6 - 1469410987448469781098555270527768611736533743603711/14640735035545\ 0400051427741784112861928493567080928*c_0101_6^5 - 222807712442382938641179016187247739252573502342345/732036751777252\ 00025713870892056430964246783540464*c_0101_6^4 - 48425100758267384702938599189588965096662018853343/1830091879443130\ 0006428467723014107741061695885116*c_0101_6^3 - 42846131961491899681238835796151953298235352474563/1830091879443130\ 0006428467723014107741061695885116*c_0101_6^2 - 822121386480910093781138573171020456944628618284/457522969860782500\ 1607116930753526935265423971279*c_0101_6 - 235827834506772913156327841063713996874765841538/457522969860782500\ 1607116930753526935265423971279, c_0101_0 - 640473934616934806438792580646497401792147335563/11712588028\ 43603200411421934272902895427948536647424*c_0101_6^20 + 3096839268725065586708975863141357247666843452479/11712588028436032\ 00411421934272902895427948536647424*c_0101_6^19 + 1845263201362301861479376933867376053416223034015/58562940142180160\ 0205710967136451447713974268323712*c_0101_6^18 + 81973196406965944967367469839192631827278377710065/1171258802843603\ 200411421934272902895427948536647424*c_0101_6^17 + 59930486136982306358536515015412972775614851855537/1171258802843603\ 200411421934272902895427948536647424*c_0101_6^16 + 995931669426209547004506975130235209632389328775591/117125880284360\ 3200411421934272902895427948536647424*c_0101_6^15 - 169281021414762789421804229969971575758099984414677/117125880284360\ 3200411421934272902895427948536647424*c_0101_6^14 + 5987604360660839886154925695189131165895329900498653/11712588028436\ 03200411421934272902895427948536647424*c_0101_6^13 - 856597299657769415723046833911471998129203657192237/292814700710900\ 800102855483568225723856987134161856*c_0101_6^12 + 9657149271547089985353492546098323975648448877812759/58562940142180\ 1600205710967136451447713974268323712*c_0101_6^11 - 3237089847935922944645135509512117756496415877440831/29281470071090\ 0800102855483568225723856987134161856*c_0101_6^10 + 1124647895109054307267745885318375962139894481652193/36601837588862\ 600012856935446028215482123391770232*c_0101_6^9 - 20583964617634613331674373761601262046730062568231627/1171258802843\ 603200411421934272902895427948536647424*c_0101_6^8 + 19104024280870734951731711514958454815318516274438883/5856294014218\ 01600205710967136451447713974268323712*c_0101_6^7 - 2009406778079705418192453165634830071490233561689945/14640735035545\ 0400051427741784112861928493567080928*c_0101_6^6 + 1458096814235884078002831675208415950879227081639683/73203675177725\ 200025713870892056430964246783540464*c_0101_6^5 - 209833301695066161631089169183063826707914764303913/366018375888626\ 00012856935446028215482123391770232*c_0101_6^4 + 99636335535306815447205225779940598668015500003499/1830091879443130\ 0006428467723014107741061695885116*c_0101_6^3 - 8753169167748229028821029637162387237338629314683/91504593972156500\ 03214233861507053870530847942558*c_0101_6^2 + 127647392165086447179524930146655709235500914210/457522969860782500\ 1607116930753526935265423971279*c_0101_6 - 5264432083097503523353392674698800331982827783516/45752296986078250\ 01607116930753526935265423971279, c_0101_1 + 621469359851120148359543017742041192931423697759/11712588028\ 43603200411421934272902895427948536647424*c_0101_6^20 - 3534547680800756179780773392977939278860134915941/11712588028436032\ 00411421934272902895427948536647424*c_0101_6^19 - 223340703950380852720208552326009057980962884161/292814700710900800\ 102855483568225723856987134161856*c_0101_6^18 - 76894193950509961489859524809797832889200265687249/1171258802843603\ 200411421934272902895427948536647424*c_0101_6^17 + 7783903668699252700477656998767101252523915699705/11712588028436032\ 00411421934272902895427948536647424*c_0101_6^16 - 933800813613507216255542414669244434287591619082621/117125880284360\ 3200411421934272902895427948536647424*c_0101_6^15 + 950190221052878901002008887347227181136561932348611/117125880284360\ 3200411421934272902895427948536647424*c_0101_6^14 - 6153715227931259712499978883306388752009596153905407/11712588028436\ 03200411421934272902895427948536647424*c_0101_6^13 + 3999614652701608379340066007732079745882503191215581/58562940142180\ 1600205710967136451447713974268323712*c_0101_6^12 - 11278624737375423948936358191487197057797977332066763/5856294014218\ 01600205710967136451447713974268323712*c_0101_6^11 + 1705478797860466264474198218548995006256947897800833/73203675177725\ 200025713870892056430964246783540464*c_0101_6^10 - 5949237524433962254702781235541366638589874822520327/14640735035545\ 0400051427741784112861928493567080928*c_0101_6^9 + 45892941577174886096939762522672589998243520530525407/1171258802843\ 603200411421934272902895427948536647424*c_0101_6^8 - 3459604063857640268183853886215379874132451098596869/73203675177725\ 200025713870892056430964246783540464*c_0101_6^7 + 9887727457749170709993592137232388584651661070596477/29281470071090\ 0800102855483568225723856987134161856*c_0101_6^6 - 138843199128793148501805240379878531752968008453384/457522969860782\ 5001607116930753526935265423971279*c_0101_6^5 + 141352150476165947780180492813401131800522951106015/915045939721565\ 0003214233861507053870530847942558*c_0101_6^4 - 46854830125717231669705496879066123348023599754948/4575229698607825\ 001607116930753526935265423971279*c_0101_6^3 + 8793024700696384754978685630736393127707214395722/45752296986078250\ 01607116930753526935265423971279*c_0101_6^2 - 45198850040594105769548678317763563939667492455/4575229698607825001\ 607116930753526935265423971279*c_0101_6 + 1303335957687288857205644089701665032410336788060/45752296986078250\ 01607116930753526935265423971279, c_0101_2 - 228507249234463681102702236398061813926856207117/11712588028\ 43603200411421934272902895427948536647424*c_0101_6^20 + 1130534674908578709271845944505295565671360425363/11712588028436032\ 00411421934272902895427948536647424*c_0101_6^19 + 387183715832189814892326089961627815653744349789/292814700710900800\ 102855483568225723856987134161856*c_0101_6^18 + 27370918111991913241640834298150776072466015625119/1171258802843603\ 200411421934272902895427948536647424*c_0101_6^17 + 15897801319820057418862703079839113033429434757105/1171258802843603\ 200411421934272902895427948536647424*c_0101_6^16 + 308243515065243037737607832168131256948545175468103/117125880284360\ 3200411421934272902895427948536647424*c_0101_6^15 - 131731932790372347785174951979256125330506110881601/117125880284360\ 3200411421934272902895427948536647424*c_0101_6^14 + 1612514356262886261314544880741824202619809250724893/11712588028436\ 03200411421934272902895427948536647424*c_0101_6^13 - 670438336557608189268632816686114971538129029876435/585629401421801\ 600205710967136451447713974268323712*c_0101_6^12 + 1986573942102452325806057959796420365921543759716799/58562940142180\ 1600205710967136451447713974268323712*c_0101_6^11 - 432004972189613713302586313639330083543879153254785/146407350355450\ 400051427741784112861928493567080928*c_0101_6^10 + 65937460005170081905400848123111326289298583885765/1830091879443130\ 0006428467723014107741061695885116*c_0101_6^9 - 2130479626612137958342939294527985576255957714329949/11712588028436\ 03200411421934272902895427948536647424*c_0101_6^8 - 143768349985408993291508861396871887643412552911775/292814700710900\ 800102855483568225723856987134161856*c_0101_6^7 + 241105604126693703282374981642095937181169470454589/146407350355450\ 400051427741784112861928493567080928*c_0101_6^6 - 430024878409604224666516540328770921792608151634363/146407350355450\ 400051427741784112861928493567080928*c_0101_6^5 + 76059668552853155627721284473157834674182231841783/3660183758886260\ 0012856935446028215482123391770232*c_0101_6^4 - 31409553133436394280134048218226820636282250302089/1830091879443130\ 0006428467723014107741061695885116*c_0101_6^3 + 6973057365358651728046909208047380500632228922941/91504593972156500\ 03214233861507053870530847942558*c_0101_6^2 + 345194889461710637072282371570922690530307250774/457522969860782500\ 1607116930753526935265423971279*c_0101_6 - 3393542056540670775816116215271534575847596510146/45752296986078250\ 01607116930753526935265423971279, c_0101_6^21 - 5*c_0101_6^20 - 14/3*c_0101_6^19 - 385/3*c_0101_6^18 - 75*c_0101_6^17 - 4735/3*c_0101_6^16 + 1421/3*c_0101_6^15 - 9863*c_0101_6^14 + 20212/3*c_0101_6^13 - 101110/3*c_0101_6^12 + 75916/3*c_0101_6^11 - 201760/3*c_0101_6^10 + 42305*c_0101_6^9 - 77466*c_0101_6^8 + 103616/3*c_0101_6^7 - 156656/3*c_0101_6^6 + 40816/3*c_0101_6^5 - 56992/3*c_0101_6^4 + 320/3*c_0101_6^3 - 6400/3*c_0101_6^2 + 1280/3*c_0101_6 - 512/3 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB