Magma V2.19-8 Tue Aug 20 2013 16:16:33 on localhost [Seed = 3650635009] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0831 geometric_solution 4.75512608 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 2 1 2 0132 0132 2310 1023 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 -2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.489722022013 0.259719798203 0 0 1 1 0132 3201 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.478867828907 0.080108254876 3 0 4 0 0132 0132 0132 1023 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 2 -2 0 1 0 1 -2 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.157340782846 3.834583169789 2 4 4 5 0132 3201 0213 0132 0 0 0 0 0 0 1 -1 -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 0 2 -2 -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.176997482216 0.621658718287 5 3 3 2 0132 0213 2310 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 -2 0 2 2 0 -1 -1 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.176997482216 0.621658718287 4 6 3 6 0132 0132 0132 2310 0 0 0 0 0 -1 1 0 -1 0 0 1 1 0 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -2 2 0 -2 0 0 2 1 0 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.426436981628 0.508268775962 5 5 6 6 3201 0132 1230 3012 0 0 0 0 0 1 0 -1 1 0 -1 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 2 0 -2 1 0 -1 0 0 -1 0 1 -2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.510069056850 0.468450503389 ==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' : negation(d['1']), 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : negation(d['1']), 's_2_3' : negation(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' : negation(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' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0110_6'], 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : d['c_0011_0'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : negation(d['c_0101_4']), 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0011_4'], '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' : 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_0101_4'], 'c_1001_4' : negation(d['c_0101_4']), 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : d['c_0011_4'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0011_4'], 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0101_4'], 'c_1010_5' : negation(d['c_0110_6']), 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : d['c_0101_4'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : 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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_4, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 216144161078244392450223290096884389488/137448893996407485719569755\ 4210094675*c_0110_6^20 + 252624367675928901692762130391112910543/27\ 4897787992814971439139510842018935*c_0110_6^19 - 213348616561440330843420635673439623891/274897787992814971439139510\ 842018935*c_0110_6^18 - 1759729193487841659291074042725360071317/13\ 74488939964074857195697554210094675*c_0110_6^17 + 4477908788434677827151089583566147831081/13744889399640748571956975\ 54210094675*c_0110_6^16 - 3532774128184187538262487501014829780527/\ 1374488939964074857195697554210094675*c_0110_6^15 - 3481690143249096066208043929351182393277/13744889399640748571956975\ 54210094675*c_0110_6^14 + 2577293280499631923882318549604125576111/\ 1374488939964074857195697554210094675*c_0110_6^13 - 9000759769869546304310884950889194764288/13744889399640748571956975\ 54210094675*c_0110_6^12 + 1234214518150054027162829593903022874382/\ 1374488939964074857195697554210094675*c_0110_6^11 - 1874499224736252055794532170779302875573/13744889399640748571956975\ 54210094675*c_0110_6^10 - 6675507608393042836837925540069653829788/\ 1374488939964074857195697554210094675*c_0110_6^9 + 795112094515713157257304529543057769311/274897787992814971439139510\ 842018935*c_0110_6^8 - 2220657497200427051154143701362295805933/137\ 4488939964074857195697554210094675*c_0110_6^7 + 1726229028138787042570458508772903337217/13744889399640748571956975\ 54210094675*c_0110_6^6 + 2987138542570605792403654276383460250051/1\ 374488939964074857195697554210094675*c_0110_6^5 - 521964712735857572652219819942438805382/137448893996407485719569755\ 4210094675*c_0110_6^4 + 592825084221654886844502631295382502547/137\ 4488939964074857195697554210094675*c_0110_6^3 - 646127878930138901185864307729769836/465928454225110121083287306511\ 8965*c_0110_6^2 - 396506217423338307520111648821330059936/137448893\ 9964074857195697554210094675*c_0110_6 + 33447036576302469065281685157150173899/1374488939964074857195697554\ 210094675, c_0011_0 - 1, c_0011_4 + 611516563016506251882052800395360/22813094439237756965903693\ 8458107*c_0110_6^20 - 3779627734479861732692692709333854/2281309443\ 92377569659036938458107*c_0110_6^19 + 4337990156446100149172297408858209/22813094439237756965903693845810\ 7*c_0110_6^18 + 3253244814063263964898264618331650/2281309443923775\ 69659036938458107*c_0110_6^17 - 13569759881099769800624749357499318\ /228130944392377569659036938458107*c_0110_6^16 + 14858402151653934508027976994756514/2281309443923775696590369384581\ 07*c_0110_6^15 + 4217693312150155495681580040080187/228130944392377\ 569659036938458107*c_0110_6^14 - 8142402380310332107344740563435796\ /228130944392377569659036938458107*c_0110_6^13 + 28439532595183689436507926668869231/2281309443923775696590369384581\ 07*c_0110_6^12 - 12520526650630082567656589044283868/22813094439237\ 7569659036938458107*c_0110_6^11 + 112494867303717404479898599368143\ 56/228130944392377569659036938458107*c_0110_6^10 + 14332641917059768030612713847914094/2281309443923775696590369384581\ 07*c_0110_6^9 - 14619192148118160938111302607506791/228130944392377\ 569659036938458107*c_0110_6^8 + 11732451281174744245803575128220997\ /228130944392377569659036938458107*c_0110_6^7 - 8994927892999447318891144882810726/22813094439237756965903693845810\ 7*c_0110_6^6 - 4678330206611689570527762861032547/22813094439237756\ 9659036938458107*c_0110_6^5 + 1788571741784384127168450879016583/22\ 8130944392377569659036938458107*c_0110_6^4 - 2055860107393985829755482310882692/22813094439237756965903693845810\ 7*c_0110_6^3 + 18344042105106207423905299273105/3866626176141992706\ 085371838273*c_0110_6^2 + 644189238600370453372961167094597/2281309\ 44392377569659036938458107*c_0110_6 - 51740318903107919857628326780844/228130944392377569659036938458107, c_0101_0 - 794982395325466521762616879434816/22813094439237756965903693\ 8458107*c_0110_6^20 + 4220697533792051446135169176551828/2281309443\ 92377569659036938458107*c_0110_6^19 - 1378366452483284109300480125626986/22813094439237756965903693845810\ 7*c_0110_6^18 - 8874099249902250513314967321672711/2281309443923775\ 69659036938458107*c_0110_6^17 + 12976737517086527805915235117845892\ /228130944392377569659036938458107*c_0110_6^16 - 3405386379995941991972305765076212/22813094439237756965903693845810\ 7*c_0110_6^15 - 19936474302237575007391349002069071/228130944392377\ 569659036938458107*c_0110_6^14 + 1555758439751231986436923411759106\ /228130944392377569659036938458107*c_0110_6^13 - 26765412551558193777631160104808499/2281309443923775696590369384581\ 07*c_0110_6^12 - 10415278050884642076078506230851383/22813094439237\ 7569659036938458107*c_0110_6^11 - 515258947310134751051909671055518\ 8/228130944392377569659036938458107*c_0110_6^10 - 28723571121131336626741355951494824/2281309443923775696590369384581\ 07*c_0110_6^9 + 2873718409128170041580745150212859/2281309443923775\ 69659036938458107*c_0110_6^8 - 2108795407198633682612418284983744/2\ 28130944392377569659036938458107*c_0110_6^7 + 2977126164828865946527148791674483/22813094439237756965903693845810\ 7*c_0110_6^6 + 12537800796807858805517495393018903/2281309443923775\ 69659036938458107*c_0110_6^5 + 975967451476499607457706146078687/22\ 8130944392377569659036938458107*c_0110_6^4 + 1767910606799714474409877627749771/22813094439237756965903693845810\ 7*c_0110_6^3 - 7927904023877028854349503728622/38666261761419927060\ 85371838273*c_0110_6^2 - 1139263678047192565267838861330840/2281309\ 44392377569659036938458107*c_0110_6 + 159324448468335674941612716386142/228130944392377569659036938458107\ , c_0101_1 - 1946299088265437856802376854175280/2281309443923775696590369\ 38458107*c_0110_6^20 + 11855020483573002510437133674567399/22813094\ 4392377569659036938458107*c_0110_6^19 - 12801818778953756667821403620520332/2281309443923775696590369384581\ 07*c_0110_6^18 - 10873484448129858794796558107002989/22813094439237\ 7569659036938458107*c_0110_6^17 + 401137005221343593751211045150120\ 12/228130944392377569659036938458107*c_0110_6^16 - 42101915970262816359946400309256665/2281309443923775696590369384581\ 07*c_0110_6^15 - 13614162244436003276459919417405341/22813094439237\ 7569659036938458107*c_0110_6^14 + 161913998043693366388009589960909\ 10/228130944392377569659036938458107*c_0110_6^13 - 84067185507463569917118479013956734/2281309443923775696590369384581\ 07*c_0110_6^12 + 38516122202640892708271916917626692/22813094439237\ 7569659036938458107*c_0110_6^11 - 414738970764288304643803984307713\ 63/228130944392377569659036938458107*c_0110_6^10 - 39379769884268149747142834543055058/2281309443923775696590369384581\ 07*c_0110_6^9 + 38252476999705965223184297994196341/228130944392377\ 569659036938458107*c_0110_6^8 - 34909068265546498653585971668463480\ /228130944392377569659036938458107*c_0110_6^7 + 33970462536266041749627140109187136/2281309443923775696590369384581\ 07*c_0110_6^6 + 9421829269846944743048747123451519/2281309443923775\ 69659036938458107*c_0110_6^5 - 2475690042799220018794042142998942/2\ 28130944392377569659036938458107*c_0110_6^4 + 6508253811101480767915575984852465/22813094439237756965903693845810\ 7*c_0110_6^3 - 83169695832758622445565878476905/3866626176141992706\ 085371838273*c_0110_6^2 - 610195496035297103605985220333437/2281309\ 44392377569659036938458107*c_0110_6 + 155674626273342060480292019251851/228130944392377569659036938458107\ , c_0101_2 - 1201995867466139285358512500501664/2281309443923775696590369\ 38458107*c_0110_6^20 + 7103212732210756922033620823037346/228130944\ 392377569659036938458107*c_0110_6^19 - 6454064685552195431495659108927154/22813094439237756965903693845810\ 7*c_0110_6^18 - 8911625802586405549906615796496299/2281309443923775\ 69659036938458107*c_0110_6^17 + 24425837163334852874288592225713052\ /228130944392377569659036938458107*c_0110_6^16 - 20811911777784742178048923880845745/2281309443923775696590369384581\ 07*c_0110_6^15 - 15885500313205573846574141917256622/22813094439237\ 7569659036938458107*c_0110_6^14 + 113611281839182069501680186813891\ 01/228130944392377569659036938458107*c_0110_6^13 - 49089453387052754069217781273108347/2281309443923775696590369384581\ 07*c_0110_6^12 + 12731521005150249035065346002432423/22813094439237\ 7569659036938458107*c_0110_6^11 - 159632937427014498420087601395007\ 83/228130944392377569659036938458107*c_0110_6^10 - 31364957471296989410258681281685287/2281309443923775696590369384581\ 07*c_0110_6^9 + 21395479754119575417009826311854377/228130944392377\ 569659036938458107*c_0110_6^8 - 14595025446504415177166950545667628\ /228130944392377569659036938458107*c_0110_6^7 + 14348835281555991240350664801005514/2281309443923775696590369384581\ 07*c_0110_6^6 + 11704736058147153867960378926623059/228130944392377\ 569659036938458107*c_0110_6^5 - 2119517710434697665451501501979177/\ 228130944392377569659036938458107*c_0110_6^4 + 3237731920973214416913723052575079/22813094439237756965903693845810\ 7*c_0110_6^3 - 34816590959096528340913135063137/3866626176141992706\ 085371838273*c_0110_6^2 - 1120212709717804747913522142488506/228130\ 944392377569659036938458107*c_0110_6 + 183141270616363034617661872579477/228130944392377569659036938458107\ , c_0101_4 - 903393992410004988118188792221120/22813094439237756965903693\ 8458107*c_0110_6^20 + 5962823928530998088034884560763996/2281309443\ 92377569659036938458107*c_0110_6^19 - 8675172587284894814027588777009471/22813094439237756965903693845810\ 7*c_0110_6^18 - 2513971165126685501815289377427631/2281309443923775\ 69659036938458107*c_0110_6^17 + 22042774899021451091049514350833402\ /228130944392377569659036938458107*c_0110_6^16 - 28914923654166160560438751551830204/2281309443923775696590369384581\ 07*c_0110_6^15 + 1389601206844150528831994353827091/228130944392377\ 569659036938458107*c_0110_6^14 + 1381352959558705157706447558044677\ 4/228130944392377569659036938458107*c_0110_6^13 - 42961404894469092893462244391056933/2281309443923775696590369384581\ 07*c_0110_6^12 + 35142961139079312325758741608768419/22813094439237\ 7569659036938458107*c_0110_6^11 - 241868285817270849722021319171377\ 85/228130944392377569659036938458107*c_0110_6^10 - 11501603858573134307002895773326466/2281309443923775696590369384581\ 07*c_0110_6^9 + 28333691381011167781323470809487318/228130944392377\ 569659036938458107*c_0110_6^8 - 23458916167427980713218101563489554\ /228130944392377569659036938458107*c_0110_6^7 + 20549835034138605709608854453797310/2281309443923775696590369384581\ 07*c_0110_6^6 - 1252319274783194474398073934071414/2281309443923775\ 69659036938458107*c_0110_6^5 - 4242663329292673053554630468730349/2\ 28130944392377569659036938458107*c_0110_6^4 + 3126667409698557935133037431397714/22813094439237756965903693845810\ 7*c_0110_6^3 - 54255928122936795864386549713368/3866626176141992706\ 085371838273*c_0110_6^2 + 382383783104332500863476137776719/2281309\ 44392377569659036938458107*c_0110_6 + 173244688458190468903630061181604/228130944392377569659036938458107\ , c_0110_6^21 - 93/16*c_0110_6^20 + 75/16*c_0110_6^19 + 139/16*c_0110_6^18 - 167/8*c_0110_6^17 + 245/16*c_0110_6^16 + 287/16*c_0110_6^15 - 51/4*c_0110_6^14 + 163/4*c_0110_6^13 - 31/8*c_0110_6^12 + 93/16*c_0110_6^11 + 259/8*c_0110_6^10 - 149/8*c_0110_6^9 + 17/2*c_0110_6^8 - 51/8*c_0110_6^7 - 15*c_0110_6^6 + 25/8*c_0110_6^5 - 9/4*c_0110_6^4 + 3/4*c_0110_6^3 + 2*c_0110_6^2 - 1/4*c_0110_6 - 1/16 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB