Magma V2.19-8 Tue Aug 20 2013 16:16:01 on localhost [Seed = 2850567535] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0262 geometric_solution 4.30173945 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 1230 3012 3201 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 -1 0 1 -1 0 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.259150797164 0.104005853947 0 0 2 2 0132 2310 2310 0132 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 -1 1 0 1 0 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 2.534649434087 1.268657517730 3 1 1 4 0132 3201 0132 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 0 0 0 -1 0 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.622785451532 0.818434167462 2 4 4 5 0132 2310 3201 0132 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 1 -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 0 0 0 0 -0.234676154412 0.527719358845 3 5 2 3 2310 1023 0132 3201 0 0 0 0 0 0 -1 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 0 0 0 0 0 0 0 1 0 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.234676154412 0.527719358845 4 6 3 6 1023 0132 0132 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 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.646021527568 1.953468125087 5 5 6 6 3201 0132 2031 1302 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.388393162787 0.245405501952 ==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' : negation(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' : negation(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_0101_3']), 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : negation(d['c_0101_3']), 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_4'], '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' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_0'], 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : negation(d['c_0110_6']), 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(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_2, c_0011_4, c_0101_0, c_0101_1, c_0101_3, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 1502298558520274864835191830496735109746320231/66041519640191189422\ 1020886486768323279560*c_0110_6^18 + 2069736333795523732821168697714433801850644029/66041519640191189422\ 1020886486768323279560*c_0110_6^17 - 1950461186580245400246963836539510482856060661/91724332833598874197\ 36401201205115601105*c_0110_6^16 + 627499409510781059046271985496231835713034391947/660415196401911894\ 221020886486768323279560*c_0110_6^15 - 480848139366899580265938704891612951290570322653/165103799100477973\ 555255221621692080819890*c_0110_6^14 + 1095709659258560862155435474760407208617869245133/33020759820095594\ 7110510443243384161639780*c_0110_6^13 + 1426070403978213839561927754416559091018726802524/82551899550238986\ 777627610810846040409945*c_0110_6^12 + 4146876334813389003825206250225168221178588429877/66041519640191189\ 4221020886486768323279560*c_0110_6^11 + 2655119654676332447957257509016606730465706248297/11006919940031864\ 9036836814414461387213260*c_0110_6^10 - 1771291278398087523704313522629410839749585522321/66041519640191189\ 4221020886486768323279560*c_0110_6^9 - 7146141829012457594651146915121825970894417234947/16510379910047797\ 3555255221621692080819890*c_0110_6^8 + 1953671888242672333078615496896401977580200755427/13208303928038237\ 8844204177297353664655912*c_0110_6^7 + 673383799517109174077216093858407737566295560131/660415196401911894\ 22102088648676832327956*c_0110_6^6 - 180217650449801237557582717831322923549011778393/550345997001593245\ 18418407207230693606630*c_0110_6^5 + 8419660885435264847711213627764089039518494088/91724332833598874197\ 36401201205115601105*c_0110_6^4 - 766699892713838478289046605247124\ 9586085472811/165103799100477973555255221621692080819890*c_0110_6^3 - 9921673321648440261193194704702512063438439999/244598220889596997\ 85963736536546974936280*c_0110_6^2 + 86709988129309154950762557978440219197541791081/6604151964019118942\ 21020886486768323279560*c_0110_6 - 2679866630089425153680684242598422629738461113/22013839880063729807\ 3673628828922774426520, c_0011_0 - 1, c_0011_2 - 4904291020957012695652859313582211993820/1834486656671977483\ 947280240241023120221*c_0110_6^18 - 2268690759897568027392533805630005956677/61149555222399249464909341\ 3413674373407*c_0110_6^17 + 458383196202709981201750418682372122755\ 298/1834486656671977483947280240241023120221*c_0110_6^16 - 2043865584867806603390746000726707300928070/18344866566719774839472\ 80240241023120221*c_0110_6^15 + 62580192778503469483750107879765393\ 45447811/1834486656671977483947280240241023120221*c_0110_6^14 - 2363159916463634588036899437786586446587232/61149555222399249464909\ 3413413674373407*c_0110_6^13 - 124397620516708632375595893631749441\ 78953392/611495552223992494649093413413674373407*c_0110_6^12 - 13909487762031181964304153644350625347857196/1834486656671977483947\ 280240241023120221*c_0110_6^11 - 5211479887384538673827884944169600\ 0532216599/1834486656671977483947280240241023120221*c_0110_6^10 + 5288220034133942924912124273755429498382610/18344866566719774839472\ 80240241023120221*c_0110_6^9 + 311440594282749794084644302762775377\ 39134381/611495552223992494649093413413674373407*c_0110_6^8 - 10305845254290082119297342099728670931311752/6114955522239924946490\ 93413413674373407*c_0110_6^7 - 744921384705927416184378183716976172\ 5743140/611495552223992494649093413413674373407*c_0110_6^6 + 6825257581571222857914332078881584250835480/18344866566719774839472\ 80240241023120221*c_0110_6^5 - 636639552143615943425392572526291065\ 617890/611495552223992494649093413413674373407*c_0110_6^4 + 82092559940390666027700132741561733449626/1834486656671977483947280\ 240241023120221*c_0110_6^3 + 88197787050868277314467861601916866067\ 0359/1834486656671977483947280240241023120221*c_0110_6^2 - 275173194677966944919802176102664760074500/183448665667197748394728\ 0240241023120221*c_0110_6 + 235279835217800850569837267975398966688\ 15/1834486656671977483947280240241023120221, c_0011_4 - 11697672522075062899696367546520796650022/183448665667197748\ 3947280240241023120221*c_0110_6^18 - 5414347861708906999409812120123608243383/61149555222399249464909341\ 3413674373407*c_0110_6^17 + 109330067353853026173113815413091396165\ 2886/1834486656671977483947280240241023120221*c_0110_6^16 - 4874178113324900387737507544833035735760396/18344866566719774839472\ 80240241023120221*c_0110_6^15 + 14924393667638262413270698094856748\ 337892143/1834486656671977483947280240241023120221*c_0110_6^14 - 5634924017278058630013765697667104066029162/61149555222399249464909\ 3413413674373407*c_0110_6^13 - 296689652706606188454793996128168987\ 60199506/611495552223992494649093413413674373407*c_0110_6^12 - 33264505864163104949480219110072680044022566/1834486656671977483947\ 280240241023120221*c_0110_6^11 - 1244761640126912876208141127621953\ 28865592119/1834486656671977483947280240241023120221*c_0110_6^10 + 12402401540055755879042007387135524971620026/1834486656671977483947\ 280240241023120221*c_0110_6^9 + 74207077668575207544110969648138961\ 186453603/611495552223992494649093413413674373407*c_0110_6^8 - 24551413971915071543528981584835417736028288/6114955522239924946490\ 93413413674373407*c_0110_6^7 - 176821542854461514597020708206089371\ 77359564/611495552223992494649093413413674373407*c_0110_6^6 + 16253132134860154812557065324002684634850122/1834486656671977483947\ 280240241023120221*c_0110_6^5 - 15359825302053870949606763744694100\ 37646366/611495552223992494649093413413674373407*c_0110_6^4 + 195403942669939609997900252897348568698167/183448665667197748394728\ 0240241023120221*c_0110_6^3 + 2086422787334917378737925210744796023\ 435283/1834486656671977483947280240241023120221*c_0110_6^2 - 652235454696089395062570230146627614624409/183448665667197748394728\ 0240241023120221*c_0110_6 + 581328923905425276839592501344212312619\ 17/1834486656671977483947280240241023120221, c_0101_0 - 39244499724497999590948477673775650082758/550345997001593245\ 1841840720723069360663*c_0110_6^18 - 6028981250485901705071386215968450714164/61149555222399249464909341\ 3413674373407*c_0110_6^17 + 366821197504192376788572409989306992430\ 6014/5503459970015932451841840720723069360663*c_0110_6^16 - 16374181161615912642742239547069080006098153/5503459970015932451841\ 840720723069360663*c_0110_6^15 + 5016908821074123724546478650247559\ 6657824395/5503459970015932451841840720723069360663*c_0110_6^14 - 19006751894445734110792124642628593420055425/1834486656671977483947\ 280240241023120221*c_0110_6^13 - 9941478790490509519533416172880611\ 5311502681/1834486656671977483947280240241023120221*c_0110_6^12 - 109854492290993334614208018079030231350910063/550345997001593245184\ 1840720723069360663*c_0110_6^11 - 417127561934809181651476968758967\ 550463831899/5503459970015932451841840720723069360663*c_0110_6^10 + 43962199605987353611519908382700641016744578/5503459970015932451841\ 840720723069360663*c_0110_6^9 + 82921449642325458606969299611252940\ 813931853/611495552223992494649093413413674373407*c_0110_6^8 - 27959308428213318210740734372365362099451826/6114955522239924946490\ 93413413674373407*c_0110_6^7 - 587145740307955477954748663359025672\ 06828590/1834486656671977483947280240241023120221*c_0110_6^6 + 55501928646554845736165432017778771182519286/5503459970015932451841\ 840720723069360663*c_0110_6^5 - 17589510001598628211127859496608156\ 40562873/611495552223992494649093413413674373407*c_0110_6^4 + 745495319722639677467159339061590915195984/550345997001593245184184\ 0720723069360663*c_0110_6^3 + 6987914511888230613814894822881954616\ 513069/5503459970015932451841840720723069360663*c_0110_6^2 - 2225196130788970822572588366099506814049877/55034599700159324518418\ 40720723069360663*c_0110_6 + 20558174993808796521069637796271724069\ 2242/5503459970015932451841840720723069360663, c_0101_1 + 6391289534570234328692326060084807365073/5503459970015932451\ 841840720723069360663*c_0110_6^18 + 986289159499234836998105108023425098294/611495552223992494649093413\ 413674373407*c_0110_6^17 - 5973453452882368263565077900958731756373\ 48/5503459970015932451841840720723069360663*c_0110_6^16 + 2662953538720432087562602533660832159902802/55034599700159324518418\ 40720723069360663*c_0110_6^15 - 81536659305492042502603311922217800\ 90588745/5503459970015932451841840720723069360663*c_0110_6^14 + 3078065872505283771092671534068044785846201/18344866566719774839472\ 80240241023120221*c_0110_6^13 + 16210999492399252624622165372492790\ 909012211/1834486656671977483947280240241023120221*c_0110_6^12 + 18186975700313529357968648858858302235309474/5503459970015932451841\ 840720723069360663*c_0110_6^11 + 6802945004917858130925520166334961\ 7475042536/5503459970015932451841840720723069360663*c_0110_6^10 - 6701961523753074171219419788194678624744587/55034599700159324518418\ 40720723069360663*c_0110_6^9 - 135059378988911594045140243871356232\ 16548336/611495552223992494649093413413674373407*c_0110_6^8 + 4479080727053203576037029298478109504727777/61149555222399249464909\ 3413413674373407*c_0110_6^7 + 9686265443989800259832007679670424598\ 831214/1834486656671977483947280240241023120221*c_0110_6^6 - 8924067308366249963296039859408771477428801/55034599700159324518418\ 40720723069360663*c_0110_6^5 + 275670920984005533785525792353794918\ 535115/611495552223992494649093413413674373407*c_0110_6^4 - 100724517219397147154881909639240473708172/550345997001593245184184\ 0720723069360663*c_0110_6^3 - 1150592209205513905661891880497769561\ 741617/5503459970015932451841840720723069360663*c_0110_6^2 + 360290463586696679417489564786317607123566/550345997001593245184184\ 0720723069360663*c_0110_6 - 276474735332278420377557284528171356320\ 17/5503459970015932451841840720723069360663, c_0101_3 + 18434820273587492293822291623640125454568/550345997001593245\ 1841840720723069360663*c_0110_6^18 + 2849391238106557307046265469480219746033/61149555222399249464909341\ 3413674373407*c_0110_6^17 - 172292392294607386913480674605845071430\ 8916/5503459970015932451841840720723069360663*c_0110_6^16 + 7677036470687253908274446990271515316775574/55034599700159324518418\ 40720723069360663*c_0110_6^15 - 23499366160710470091198998621699486\ 444455357/5503459970015932451841840720723069360663*c_0110_6^14 + 8859024200404129378178904849205849929471053/18344866566719774839472\ 80240241023120221*c_0110_6^13 + 46783184149652519999116688899601000\ 161117013/1834486656671977483947280240241023120221*c_0110_6^12 + 52768670836372690384880911352992775453471626/5503459970015932451841\ 840720723069360663*c_0110_6^11 + 1961896243149274039470130445588789\ 98306521499/5503459970015932451841840720723069360663*c_0110_6^10 - 19168413027248963586419483711776682844552235/5503459970015932451841\ 840720723069360663*c_0110_6^9 - 39010231882191293880921975057948355\ 314547642/611495552223992494649093413413674373407*c_0110_6^8 + 12785708772016680958984357157651634956185571/6114955522239924946490\ 93413413674373407*c_0110_6^7 + 280313946625047834653579489800989484\ 79190790/1834486656671977483947280240241023120221*c_0110_6^6 - 25314481963776853164695215531954691280927569/5503459970015932451841\ 840720723069360663*c_0110_6^5 + 79560568511197902480856656756191698\ 9260390/611495552223992494649093413413674373407*c_0110_6^4 - 320822409093012958943303864760085601138852/550345997001593245184184\ 0720723069360663*c_0110_6^3 - 3300438912065148379674334920883630971\ 638278/5503459970015932451841840720723069360663*c_0110_6^2 + 1018922417610594515780880297093834199522175/55034599700159324518418\ 40720723069360663*c_0110_6 - 88813952318133177682196025082798259023\ 511/5503459970015932451841840720723069360663, c_0110_6^19 + c_0110_6^18 - 94*c_0110_6^17 + 453*c_0110_6^16 - 1438*c_0110_6^15 + 1942*c_0110_6^14 + 7044*c_0110_6^13 - 109*c_0110_6^12 + 9556*c_0110_6^11 - 5187*c_0110_6^10 - 18590*c_0110_6^9 + 13689*c_0110_6^8 + 2040*c_0110_6^7 - 3136*c_0110_6^6 + 944*c_0110_6^5 - 172*c_0110_6^4 - 171*c_0110_6^3 + 125*c_0110_6^2 - 27*c_0110_6 + 2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB