Magma V2.19-8 Tue Aug 20 2013 16:19:21 on localhost [Seed = 3465499593] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3451 geometric_solution 6.63910044 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 1 3 0132 0132 1023 0132 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 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.439631150411 0.691278830288 0 4 0 3 0132 0132 1023 3201 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 -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.439631150411 0.691278830288 5 0 6 3 0132 0132 0132 1230 0 0 0 0 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 1 -1 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.306136747100 1.205137083898 2 1 0 4 3012 2310 0132 2103 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 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 1.262687652508 0.916574862585 5 1 6 3 1023 0132 3201 2103 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 -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.306136747100 1.205137083898 2 4 5 5 0132 1023 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 -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.057431266213 0.962016431470 4 6 6 2 2310 1230 3012 0132 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 0 -1 1 0 0 0 1 -1 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.597713205991 0.896319023597 ==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' : d['1'], 's_3_0' : d['1'], 's_2_0' : negation(d['1']), 's_2_1' : negation(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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0011_6'], 'c_1100_5' : d['c_0101_2'], 'c_1100_4' : negation(d['c_0011_6']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_3']), 'c_1100_0' : d['c_0011_3'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : d['c_0011_6'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_3'], 'c_0101_4' : negation(d['c_0101_2']), '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_0'], 'c_0011_4' : d['c_0011_0'], 'c_0011_6' : d['c_0011_6'], '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_2']), 'c_1001_4' : negation(d['c_0101_6']), 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0101_6'], 'c_1001_2' : d['c_0101_6'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_6'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_6' : d['c_0101_2'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : negation(d['c_0011_3']), 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : negation(d['c_0101_0']), 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0101_6']), 'c_1010_0' : d['c_0101_6']})} 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_6, c_0101_0, c_0101_1, c_0101_2, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 4700367625631374697848207618673474135649303580/34704666876291180331\ 790146332247849791890757*c_0101_6^17 + 48873101788517090001052859552734495426908213164/3470466687629118033\ 1790146332247849791890757*c_0101_6^16 + 37331009202211754308112858994280149200727711326/3470466687629118033\ 1790146332247849791890757*c_0101_6^15 - 182869529924497049960161546513592464128854574502/347046668762911803\ 31790146332247849791890757*c_0101_6^14 + 13803561921633907659418014203408052117685595570/3856074097365686703\ 532238481360872199098973*c_0101_6^13 - 513759287869484891516659593133621089850410290854/347046668762911803\ 31790146332247849791890757*c_0101_6^12 + 565407519150533744975980874365596931690632749246/347046668762911803\ 31790146332247849791890757*c_0101_6^11 - 1751478397044980942540512402022055126203442430/11568222292097060110\ 596715444082616597296919*c_0101_6^10 + 15463041000682532391038832280261423439413022435/3856074097365686703\ 532238481360872199098973*c_0101_6^9 - 9978252833624134543530096302101463757619761328/16526031845852943015\ 13816492011802371042417*c_0101_6^8 + 51158043024288951771714036051763463705169741131/1156822229209706011\ 0596715444082616597296919*c_0101_6^7 + 26739653822677053457089063115494357023502447523/3470466687629118033\ 1790146332247849791890757*c_0101_6^6 - 2912792583139739813269439303394115454265118880/11568222292097060110\ 596715444082616597296919*c_0101_6^5 - 10781789528276462185771482309066067014848335439/3470466687629118033\ 1790146332247849791890757*c_0101_6^4 + 11898131476361551188562355293649740368949664875/3470466687629118033\ 1790146332247849791890757*c_0101_6^3 + 8074682151882850716046721952080072357653426457/34704666876291180331\ 790146332247849791890757*c_0101_6^2 - 4418107082261485071589863238370580516708879925/34704666876291180331\ 790146332247849791890757*c_0101_6 + 364004546312621289382512158911915882510813403/115682222920970601105\ 96715444082616597296919, c_0011_0 - 1, c_0011_3 + 2748050721912333005130403879913617691194102/3856074097365686\ 703532238481360872199098973*c_0101_6^17 - 31958195329994935758861245666040052996345589/3856074097365686703532\ 238481360872199098973*c_0101_6^16 + 11048604719076098182012967164104152124102778/3856074097365686703532\ 238481360872199098973*c_0101_6^15 + 157078138643083139009215080986677467468131008/385607409736568670353\ 2238481360872199098973*c_0101_6^14 - 59295869251654412859439298220417119851793478/1285358032455228901177\ 412827120290733032991*c_0101_6^13 + 313595434639535174982262509153233885872655203/385607409736568670353\ 2238481360872199098973*c_0101_6^12 - 669224595802834941629254515543128257911389282/385607409736568670353\ 2238481360872199098973*c_0101_6^11 + 49123854510898311724637719891857461396633346/1285358032455228901177\ 412827120290733032991*c_0101_6^10 + 43467816581852099710274749216841974058559909/1285358032455228901177\ 412827120290733032991*c_0101_6^9 + 11699026176538421724448465353539365820823165/1836225760650327001682\ 01832445755819004713*c_0101_6^8 - 219095940619741233633308100902871\ 74222887655/1285358032455228901177412827120290733032991*c_0101_6^7 + 12772880554609620232196400429621413139482102/3856074097365686703532\ 238481360872199098973*c_0101_6^6 + 16874753887475421070288549751954720084519419/1285358032455228901177\ 412827120290733032991*c_0101_6^5 + 19715097030482561257440649974459981677028443/3856074097365686703532\ 238481360872199098973*c_0101_6^4 - 4526838552352657436121247767504429082325302/38560740973656867035322\ 38481360872199098973*c_0101_6^3 - 773662372282466240437277055800282\ 100501704/3856074097365686703532238481360872199098973*c_0101_6^2 + 3100521187657901794779321151375166935027825/38560740973656867035322\ 38481360872199098973*c_0101_6 + 10091542156421104787096507305514666\ 11787132/1285358032455228901177412827120290733032991, c_0011_6 - 2282215210964597054503349118980473694647429/1156822229209706\ 0110596715444082616597296919*c_0101_6^17 + 19337890251014204461926823694014757449297370/1156822229209706011059\ 6715444082616597296919*c_0101_6^16 + 58952168969805075899257985792431167041424761/1156822229209706011059\ 6715444082616597296919*c_0101_6^15 - 5618908643009486768973880154965438852229938/11568222292097060110596\ 715444082616597296919*c_0101_6^14 - 5650267188271383641154081821398694470348057/12853580324552289011774\ 12827120290733032991*c_0101_6^13 - 306824968504640978518600242065788674692342434/115682222920970601105\ 96715444082616597296919*c_0101_6^12 - 158846795131878191649260841171760773612067381/115682222920970601105\ 96715444082616597296919*c_0101_6^11 + 18589277099828034384007073331506491022856893/3856074097365686703532\ 238481360872199098973*c_0101_6^10 + 47244376992581003191958065716580511315822186/1285358032455228901177\ 412827120290733032991*c_0101_6^9 + 13226299052065826452364116634112309690453521/5508677281950981005046\ 05497337267457014139*c_0101_6^8 + 459954530448407447462620933027443\ 4309655210/3856074097365686703532238481360872199098973*c_0101_6^7 - 18638541355028060332600297998117319691642024/1156822229209706011059\ 6715444082616597296919*c_0101_6^6 + 26427672486527608577652859499589601234894636/3856074097365686703532\ 238481360872199098973*c_0101_6^5 + 92186024125921183069864613246048054395983832/1156822229209706011059\ 6715444082616597296919*c_0101_6^4 + 1568920568075621982512057608361588522872123/11568222292097060110596\ 715444082616597296919*c_0101_6^3 - 1665158009307773551877947418555805780761044/11568222292097060110596\ 715444082616597296919*c_0101_6^2 + 11666552579028215146329752077059965192745539/1156822229209706011059\ 6715444082616597296919*c_0101_6 + 211572832824467686523437250027435\ 4754055585/3856074097365686703532238481360872199098973, c_0101_0 - 3095805159049188186591594464726930528891096/3856074097365686\ 703532238481360872199098973*c_0101_6^17 + 32383675395426331880438748555671440795810396/3856074097365686703532\ 238481360872199098973*c_0101_6^16 + 24802686139487376001619369538921718846987828/3856074097365686703532\ 238481360872199098973*c_0101_6^15 - 144660245875290008576726300945127534338986358/385607409736568670353\ 2238481360872199098973*c_0101_6^14 + 21919518147472821125660696377497673497447977/1285358032455228901177\ 412827120290733032991*c_0101_6^13 - 262658988593194855115904083941300507000855049/385607409736568670353\ 2238481360872199098973*c_0101_6^12 + 354965954905900145864829272386047781832806876/385607409736568670353\ 2238481360872199098973*c_0101_6^11 + 69651431509490448015208326527844410837618747/1285358032455228901177\ 412827120290733032991*c_0101_6^10 - 37938201229150558240428527482130601929514918/1285358032455228901177\ 412827120290733032991*c_0101_6^9 - 9542242712227078621451472988208512813622897/18362257606503270016820\ 1832445755819004713*c_0101_6^8 + 1126658511528466568707649427415137\ 9534779332/1285358032455228901177412827120290733032991*c_0101_6^7 + 73321679409548778525179048550685943427143420/3856074097365686703532\ 238481360872199098973*c_0101_6^6 - 16497520506657071262283376725379698403174333/1285358032455228901177\ 412827120290733032991*c_0101_6^5 - 25389752694738220222623131173198312920789769/3856074097365686703532\ 238481360872199098973*c_0101_6^4 + 14027527864480414898792170566631492615358405/3856074097365686703532\ 238481360872199098973*c_0101_6^3 + 6871717183639275180931560998400069477995737/38560740973656867035322\ 38481360872199098973*c_0101_6^2 - 536289665027064007495828717368309\ 6205958060/3856074097365686703532238481360872199098973*c_0101_6 - 631883804900799878345681829270508148359938/128535803245522890117741\ 2827120290733032991, c_0101_1 + 3095805159049188186591594464726930528891096/3856074097365686\ 703532238481360872199098973*c_0101_6^17 - 32383675395426331880438748555671440795810396/3856074097365686703532\ 238481360872199098973*c_0101_6^16 - 24802686139487376001619369538921718846987828/3856074097365686703532\ 238481360872199098973*c_0101_6^15 + 144660245875290008576726300945127534338986358/385607409736568670353\ 2238481360872199098973*c_0101_6^14 - 21919518147472821125660696377497673497447977/1285358032455228901177\ 412827120290733032991*c_0101_6^13 + 262658988593194855115904083941300507000855049/385607409736568670353\ 2238481360872199098973*c_0101_6^12 - 354965954905900145864829272386047781832806876/385607409736568670353\ 2238481360872199098973*c_0101_6^11 - 69651431509490448015208326527844410837618747/1285358032455228901177\ 412827120290733032991*c_0101_6^10 + 37938201229150558240428527482130601929514918/1285358032455228901177\ 412827120290733032991*c_0101_6^9 + 9542242712227078621451472988208512813622897/18362257606503270016820\ 1832445755819004713*c_0101_6^8 - 1126658511528466568707649427415137\ 9534779332/1285358032455228901177412827120290733032991*c_0101_6^7 - 73321679409548778525179048550685943427143420/3856074097365686703532\ 238481360872199098973*c_0101_6^6 + 16497520506657071262283376725379698403174333/1285358032455228901177\ 412827120290733032991*c_0101_6^5 + 25389752694738220222623131173198312920789769/3856074097365686703532\ 238481360872199098973*c_0101_6^4 - 14027527864480414898792170566631492615358405/3856074097365686703532\ 238481360872199098973*c_0101_6^3 - 6871717183639275180931560998400069477995737/38560740973656867035322\ 38481360872199098973*c_0101_6^2 + 536289665027064007495828717368309\ 6205958060/3856074097365686703532238481360872199098973*c_0101_6 + 631883804900799878345681829270508148359938/128535803245522890117741\ 2827120290733032991, c_0101_2 + 3043665362990253758178215049534838466452454/1652603184585294\ 301513816492011802371042417*c_0101_6^17 - 32154353699337152577955754356364036545351324/1652603184585294301513\ 816492011802371042417*c_0101_6^16 - 19743528068072573451034888613510310208582606/1652603184585294301513\ 816492011802371042417*c_0101_6^15 + 130801135571316336877884954677287268988367460/165260318458529430151\ 3816492011802371042417*c_0101_6^14 - 9954642749261003340751210811794375611937918/18362257606503270016820\ 1832445755819004713*c_0101_6^13 + 321066912717268045261114715202015\ 116254507706/1652603184585294301513816492011802371042417*c_0101_6^1\ 2 - 412131488647756734133667792558307687688763815/16526031845852943\ 01513816492011802371042417*c_0101_6^11 - 11199504420637356826920326634414369656699914/5508677281950981005046\ 05497337267457014139*c_0101_6^10 - 2469217658971277522788732068727249477608244/18362257606503270016820\ 1832445755819004713*c_0101_6^9 + 7166339455940047269207987403624022\ 172803411/78695389742156871500657928191038208144877*c_0101_6^8 - 14980332497188866561892148631385151045376595/5508677281950981005046\ 05497337267457014139*c_0101_6^7 - 276919865124580187165137343789885\ 95087450322/1652603184585294301513816492011802371042417*c_0101_6^6 + 9662048258820460520976236856629011287323146/55086772819509810050460\ 5497337267457014139*c_0101_6^5 + 1624002544211487921282451802665319\ 8936395664/1652603184585294301513816492011802371042417*c_0101_6^4 + 453659822395010342136138824364892327053967/165260318458529430151381\ 6492011802371042417*c_0101_6^3 - 3081527003478931407995496867725693\ 208665773/1652603184585294301513816492011802371042417*c_0101_6^2 + 1847436348462538885998749528045339632450079/16526031845852943015138\ 16492011802371042417*c_0101_6 + 30004362610771722679157143659902211\ 3342425/550867728195098100504605497337267457014139, c_0101_6^18 - 724/71*c_0101_6^17 - 715/71*c_0101_6^16 + 2687/71*c_0101_6^15 - 1362/71*c_0101_6^14 + 7238/71*c_0101_6^13 - 6652/71*c_0101_6^12 - 2202/71*c_0101_6^11 - 1017/71*c_0101_6^10 + 1833/71*c_0101_6^9 - 1461/71*c_0101_6^8 - 1061/71*c_0101_6^7 + 276/71*c_0101_6^6 + 163/71*c_0101_6^5 - 179/71*c_0101_6^4 - 97/71*c_0101_6^3 + 20/71*c_0101_6^2 + 12/71*c_0101_6 - 9/71 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB