Magma V2.19-8 Tue Aug 20 2013 16:16:02 on localhost [Seed = 4105529394] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0282 geometric_solution 4.32600593 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.565339439899 0.079085661383 2 0 2 0 0132 2310 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 0 0 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.699762609010 0.163610216900 1 3 1 4 0132 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 0 0 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.471118345837 1.032221984324 5 2 4 4 0132 0132 3012 1230 0 0 0 0 0 0 0 0 1 0 0 -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 0 0 0 1 0 0 -1 -1 1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.712253702593 1.596419867963 3 3 2 5 3012 1230 0132 3201 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 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.712253702593 1.596419867963 3 4 6 6 0132 2310 0132 3201 0 0 0 0 0 0 0 0 -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 0 0 0 -1 0 1 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.154870156129 0.455135167221 6 5 6 5 2310 2310 3201 0132 0 0 0 0 0 1 -1 0 1 0 0 -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 0 0 0 0 0 1 -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.839636763333 1.172620273923 ==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' : 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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_6']), 'c_1100_5' : negation(d['c_0011_6']), 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : negation(d['c_0011_4']), 'c_0101_5' : d['c_0011_4'], 'c_0101_4' : d['c_0101_1'], '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' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_6' : d['c_0011_4'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_4']), 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0011_4'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0011_4'], 'c_0110_6' : d['c_0011_4'], 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : negation(d['c_0011_4']), 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0011_4']), 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(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_1, c_0011_4, c_0011_6, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 2702560758945960122863289985424340915250867056005851226/48016100860\ 13520896811944759878593841389402440986858365*c_0101_3^20 - 2546280467528318034093658376585837979012441358147742713/53351223177\ 9280099645771639986510426821044715665206485*c_0101_3^19 - 25420910915343145243007100404657400080839894194633496/1240726120416\ 9304642924921860151405274908016643376895*c_0101_3^18 - 90588958805880995114320964463956740637294065268948835659/4801610086\ 013520896811944759878593841389402440986858365*c_0101_3^17 - 443692754575651031753287133149973355789850139654141998634/160053669\ 5337840298937314919959531280463134146995619455*c_0101_3^16 - 600216665390121534896583234597964982888395049893404888763/480161008\ 6013520896811944759878593841389402440986858365*c_0101_3^15 - 4252085141505856477771418502405936478052323753812552609278/48016100\ 86013520896811944759878593841389402440986858365*c_0101_3^14 - 13752674544453247734990695466105385925406697473122020702823/4801610\ 086013520896811944759878593841389402440986858365*c_0101_3^13 - 721719846860668633363426588340482533644865526810248784858/160053669\ 5337840298937314919959531280463134146995619455*c_0101_3^12 - 12588332689238618616896156208207151628075132925242776032814/1600536\ 695337840298937314919959531280463134146995619455*c_0101_3^11 + 18681213100979444878679827255861170013508838740590487137648/4801610\ 086013520896811944759878593841389402440986858365*c_0101_3^10 - 7404442255288666153225394860393725933779332663584571387049/48016100\ 86013520896811944759878593841389402440986858365*c_0101_3^9 - 981196264562276229180406312275296116603255741116267071732/160053669\ 5337840298937314919959531280463134146995619455*c_0101_3^8 + 24558774336750794221091785905833242525924291403258140344887/4801610\ 086013520896811944759878593841389402440986858365*c_0101_3^7 + 1355649501159300548796598215040200339329138532409655697788/96032201\ 7202704179362388951975718768277880488197371673*c_0101_3^6 + 7907239009915979225762873827253861157453339262049718706549/16005366\ 95337840298937314919959531280463134146995619455*c_0101_3^5 + 1095591456548396993694091275471073849396950876880553335721/53351223\ 1779280099645771639986510426821044715665206485*c_0101_3^4 + 595512253183090048445284848206410477430709725180943806131/533512231\ 779280099645771639986510426821044715665206485*c_0101_3^3 + 1642442060240794502834697273382332867652528880678748209608/16005366\ 95337840298937314919959531280463134146995619455*c_0101_3^2 - 478356485891294022486524123084781366601792648286353801708/160053669\ 5337840298937314919959531280463134146995619455*c_0101_3 - 599585782292911287318514680355048225654487795401296986054/480161008\ 6013520896811944759878593841389402440986858365, c_0011_0 - 1, c_0011_1 - 3929771776794082984479331423641283093221531320456/1127932836\ 742664058447720169104673206809819694852445*c_0101_3^20 - 31020101281085104146544368490240375431044048743597/1127932836742664\ 058447720169104673206809819694852445*c_0101_3^19 + 3049203545087835647044238848743296815430265001698/11279328367426640\ 58447720169104673206809819694852445*c_0101_3^18 - 139445766187039725084505225529692746744562217115409/112793283674266\ 4058447720169104673206809819694852445*c_0101_3^17 - 1848320814134821959911336400517309961618028449255262/11279328367426\ 64058447720169104673206809819694852445*c_0101_3^16 + 184332085783625919470472766679228875044421244137922/112793283674266\ 4058447720169104673206809819694852445*c_0101_3^15 - 6659852676140245815584854348152405797713912310792868/11279328367426\ 64058447720169104673206809819694852445*c_0101_3^14 - 15780419302148442126345560302267657242889920291584088/1127932836742\ 664058447720169104673206809819694852445*c_0101_3^13 + 4904938906683006754486376862700643244653030422569206/11279328367426\ 64058447720169104673206809819694852445*c_0101_3^12 - 60270891051791802646012945496091534157901102723854572/1127932836742\ 664058447720169104673206809819694852445*c_0101_3^11 + 66518360371298411172659795774871390737000059271741788/1127932836742\ 664058447720169104673206809819694852445*c_0101_3^10 - 61299553754692392206609405219937388520194578724944459/1127932836742\ 664058447720169104673206809819694852445*c_0101_3^9 + 52463096640497881725653094811366471499795763619026939/1127932836742\ 664058447720169104673206809819694852445*c_0101_3^8 - 9572958904821626215262016931012610277905538185916293/11279328367426\ 64058447720169104673206809819694852445*c_0101_3^7 + 4954574452421858892319267278394112011277418433837715/22558656734853\ 2811689544033820934641361963938970489*c_0101_3^6 + 19931257105528572992181419265295554636399460843703572/1127932836742\ 664058447720169104673206809819694852445*c_0101_3^5 + 3503881424626842282844997697733507127301177611028944/11279328367426\ 64058447720169104673206809819694852445*c_0101_3^4 + 6680968178745778282504935417117675108791947233542309/11279328367426\ 64058447720169104673206809819694852445*c_0101_3^3 - 1307951974289047811320824021286284662255162523722241/11279328367426\ 64058447720169104673206809819694852445*c_0101_3^2 - 1335361427592715846453127096075445653840529584454699/11279328367426\ 64058447720169104673206809819694852445*c_0101_3 - 1144499553449031341010225380944062681723391999151174/11279328367426\ 64058447720169104673206809819694852445, c_0011_4 - 6122678182175253756949250954579009857986499963888/1127932836\ 742664058447720169104673206809819694852445*c_0101_3^20 - 47163467639975891753480339139304139917665487226244/1127932836742664\ 058447720169104673206809819694852445*c_0101_3^19 + 2768069733891767672624752111897747969272796512459/22558656734853281\ 1689544033820934641361963938970489*c_0101_3^18 - 219732783355549022224448598777238127142060789471571/112793283674266\ 4058447720169104673206809819694852445*c_0101_3^17 - 2843275043482033232233874188340430805310547321287048/11279328367426\ 64058447720169104673206809819694852445*c_0101_3^16 + 166360814558334190101776649896595911286926670475445/225586567348532\ 811689544033820934641361963938970489*c_0101_3^15 - 10507198714314525975504052814140989938476891161717403/1127932836742\ 664058447720169104673206809819694852445*c_0101_3^14 - 22902004801311741536624666330361412034383925481672829/1127932836742\ 664058447720169104673206809819694852445*c_0101_3^13 + 2425205409287263169422105322922399411819506489207104/22558656734853\ 2811689544033820934641361963938970489*c_0101_3^12 - 19356585617703514705836402412520175987496654564949232/2255865673485\ 32811689544033820934641361963938970489*c_0101_3^11 + 119027970401852116656348777214268387758343957777892801/112793283674\ 2664058447720169104673206809819694852445*c_0101_3^10 - 116301485710714793906313919892334197534116618644063191/112793283674\ 2664058447720169104673206809819694852445*c_0101_3^9 + 93506312209190840679062253843289905211729820401657462/1127932836742\ 664058447720169104673206809819694852445*c_0101_3^8 - 23305938451479454593788288030444607552945272117947008/1127932836742\ 664058447720169104673206809819694852445*c_0101_3^7 + 37226350838283064493060208647457552965519550748583726/1127932836742\ 664058447720169104673206809819694852445*c_0101_3^6 + 28194236464389595154409582433114916179440004616280079/1127932836742\ 664058447720169104673206809819694852445*c_0101_3^5 - 233320582099885813666891666232423380308428405691239/112793283674266\ 4058447720169104673206809819694852445*c_0101_3^4 + 16248189588867784075482629374139381197677359523772502/1127932836742\ 664058447720169104673206809819694852445*c_0101_3^3 - 537211416738573731889860509663015670657756873507168/225586567348532\ 811689544033820934641361963938970489*c_0101_3^2 - 1357261296792918770206762977535752679092662206943566/11279328367426\ 64058447720169104673206809819694852445*c_0101_3 - 1129575889106247468521932710287768956848853493279053/11279328367426\ 64058447720169104673206809819694852445, c_0011_6 + 8655520157816659150730893084772052721187090812909/1127932836\ 742664058447720169104673206809819694852445*c_0101_3^20 + 67989028042252297879901139040172054732687176898636/1127932836742664\ 058447720169104673206809819694852445*c_0101_3^19 - 1946397042686673351228070647457644792093150875756/22558656734853281\ 1689544033820934641361963938970489*c_0101_3^18 + 305271290062590327370171209833838924128592749982429/112793283674266\ 4058447720169104673206809819694852445*c_0101_3^17 + 4066268464202635663722577554934232201329699003416561/11279328367426\ 64058447720169104673206809819694852445*c_0101_3^16 - 115367330063338651547428996953025941531588107347213/225586567348532\ 811689544033820934641361963938970489*c_0101_3^15 + 14534796735204687376632604744412814480749091661820141/1127932836742\ 664058447720169104673206809819694852445*c_0101_3^14 + 34612495757394873453054122227179648238339989805889982/1127932836742\ 664058447720169104673206809819694852445*c_0101_3^13 - 12789394733372204865015285789824768519988343688093324/1127932836742\ 664058447720169104673206809819694852445*c_0101_3^12 + 132952548558287497952162451862690519965019111920803009/112793283674\ 2664058447720169104673206809819694852445*c_0101_3^11 - 147586070925766541297870570312900601656559392325085414/112793283674\ 2664058447720169104673206809819694852445*c_0101_3^10 + 133824886820665853054557791870644035300057312546712173/112793283674\ 2664058447720169104673206809819694852445*c_0101_3^9 - 102711552226238369502791197749518803363790847157244772/112793283674\ 2664058447720169104673206809819694852445*c_0101_3^8 + 7223853241595615122738977939796902198188190526351343/11279328367426\ 64058447720169104673206809819694852445*c_0101_3^7 - 42105977534442116913283218368837512213806182795395427/1127932836742\ 664058447720169104673206809819694852445*c_0101_3^6 - 49023508448806033977737026091284855475962973902752289/1127932836742\ 664058447720169104673206809819694852445*c_0101_3^5 - 3363330187504425742568739748876905207577030851382286/11279328367426\ 64058447720169104673206809819694852445*c_0101_3^4 - 19539171663523425794966292203190504222491760099926493/1127932836742\ 664058447720169104673206809819694852445*c_0101_3^3 + 876886625941318839889215353293860477897148378300726/112793283674266\ 4058447720169104673206809819694852445*c_0101_3^2 + 2958132745141272738208887531499247029954176874810574/11279328367426\ 64058447720169104673206809819694852445*c_0101_3 + 328643933982882582500839480743333693676506004982150/225586567348532\ 811689544033820934641361963938970489, c_0101_0 - 6413527158178594104809296677355960846768635724127/1127932836\ 742664058447720169104673206809819694852445*c_0101_3^20 - 48884271901453528287369155110721606186491931859954/1127932836742664\ 058447720169104673206809819694852445*c_0101_3^19 + 18628381698603698052640006200416782910596058355281/1127932836742664\ 058447720169104673206809819694852445*c_0101_3^18 - 230968824375754367192659612012333510881913927664084/112793283674266\ 4058447720169104673206809819694852445*c_0101_3^17 - 2964752706974663242074065968638570924047887401551394/11279328367426\ 64058447720169104673206809819694852445*c_0101_3^16 + 1118141168645912987446865510051077150745379527903182/11279328367426\ 64058447720169104673206809819694852445*c_0101_3^15 - 11037247627016980735979194298954977732992199153539624/1127932836742\ 664058447720169104673206809819694852445*c_0101_3^14 - 23400480554407702013008204763660891148777584998813817/1127932836742\ 664058447720169104673206809819694852445*c_0101_3^13 + 2982866576763298118787587712067919345247285904163846/22558656734853\ 2811689544033820934641361963938970489*c_0101_3^12 - 102851800893068652900014991286718539808164317609535492/112793283674\ 2664058447720169104673206809819694852445*c_0101_3^11 + 130253113158158251854454615571961813499886808331822576/112793283674\ 2664058447720169104673206809819694852445*c_0101_3^10 - 128680012474762826199247141702780641552862597294177753/112793283674\ 2664058447720169104673206809819694852445*c_0101_3^9 + 96917695790978819638626402631979381885891874912660177/1127932836742\ 664058447720169104673206809819694852445*c_0101_3^8 - 19534937786173524488448732849679519326235242986617821/1127932836742\ 664058447720169104673206809819694852445*c_0101_3^7 + 32066631584676707452890137936380881266424884821750116/1127932836742\ 664058447720169104673206809819694852445*c_0101_3^6 + 31322955031014683929571151454199199269568109489239178/1127932836742\ 664058447720169104673206809819694852445*c_0101_3^5 - 3946988442208688837200782617928757460343965655612363/11279328367426\ 64058447720169104673206809819694852445*c_0101_3^4 + 17288231704869425072826650047658562497126249437301903/1127932836742\ 664058447720169104673206809819694852445*c_0101_3^3 - 1389027983120539810937933871548072463972565264148338/11279328367426\ 64058447720169104673206809819694852445*c_0101_3^2 - 373001959486193193366878733861875651322249320138361/225586567348532\ 811689544033820934641361963938970489*c_0101_3 - 109427818097278982191659964782231387629990603461079/225586567348532\ 811689544033820934641361963938970489, c_0101_1 - 1317913476611146582575213497294537976889901492000/2255865673\ 48532811689544033820934641361963938970489*c_0101_3^20 - 51500199606399599440744777180608184034836537048098/1127932836742664\ 058447720169104673206809819694852445*c_0101_3^19 + 9258960617527310469457221483473974904738784332473/11279328367426640\ 58447720169104673206809819694852445*c_0101_3^18 - 234241365436636372168534769830836870338643887219742/112793283674266\ 4058447720169104673206809819694852445*c_0101_3^17 - 3085921869760504745851795821403910575171248959123368/11279328367426\ 64058447720169104673206809819694852445*c_0101_3^16 + 556249388482115549134496624933144009762404026003289/112793283674266\ 4058447720169104673206809819694852445*c_0101_3^15 - 11176247609540417674440868550773268278642106165909566/1127932836742\ 664058447720169104673206809819694852445*c_0101_3^14 - 25883434643529812249849307576011228275283486731107239/1127932836742\ 664058447720169104673206809819694852445*c_0101_3^13 + 10542352568503761198653803405207169852228119410948127/1127932836742\ 664058447720169104673206809819694852445*c_0101_3^12 - 102406407976961691635392134859766270872668664352426628/112793283674\ 2664058447720169104673206809819694852445*c_0101_3^11 + 117079553533150481015676992897920141461607222753049007/112793283674\ 2664058447720169104673206809819694852445*c_0101_3^10 - 108645868780821988187308955281379082369225114522178687/112793283674\ 2664058447720169104673206809819694852445*c_0101_3^9 + 85322489893425453742959377951607715644457084379133997/1127932836742\ 664058447720169104673206809819694852445*c_0101_3^8 - 8780677982710453459886176230838083167222656875631231/11279328367426\ 64058447720169104673206809819694852445*c_0101_3^7 + 30548874126470198435302943947606815395917949374854951/1127932836742\ 664058447720169104673206809819694852445*c_0101_3^6 + 39196621550424469829033013884311154890268296436195102/1127932836742\ 664058447720169104673206809819694852445*c_0101_3^5 - 506207018690271112256359921628007351374118100268374/112793283674266\ 4058447720169104673206809819694852445*c_0101_3^4 + 15427971192089310123237884532886753189911649614949577/1127932836742\ 664058447720169104673206809819694852445*c_0101_3^3 - 1879724052265364896992555016350470520401756118482761/11279328367426\ 64058447720169104673206809819694852445*c_0101_3^2 - 2208829749067413173491375575718695734968704396227541/11279328367426\ 64058447720169104673206809819694852445*c_0101_3 - 929568973013826372661655419478547009218295702993202/112793283674266\ 4058447720169104673206809819694852445, c_0101_3^21 + 8*c_0101_3^20 + 35*c_0101_3^18 + 475*c_0101_3^17 + c_0101_3^16 + 1663*c_0101_3^15 + 4248*c_0101_3^14 - 920*c_0101_3^13 + 15102*c_0101_3^12 - 14755*c_0101_3^11 + 12777*c_0101_3^10 - 9251*c_0101_3^9 - 1175*c_0101_3^8 - 4505*c_0101_3^7 - 6434*c_0101_3^6 - 1050*c_0101_3^5 - 2385*c_0101_3^4 - 192*c_0101_3^3 + 357*c_0101_3^2 + 260*c_0101_3 + 43 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB