Magma V2.19-8 Tue Aug 20 2013 16:16:28 on localhost [Seed = 2682127225] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0757 geometric_solution 4.69952990 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 3 0132 2103 0132 0132 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 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.479076237996 1.288243370127 0 0 2 3 0132 2103 1023 2310 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 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.479076237996 1.288243370127 4 4 1 0 0132 2310 1023 0132 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 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.935069034530 1.428185676148 1 5 0 5 3201 0132 0132 1023 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 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 0 0 0 0 0 0 0 0.530621666751 0.371778014567 2 6 6 2 0132 0132 3201 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 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.048865306631 0.367814598665 5 3 5 3 2031 0132 1302 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.565550803847 0.083114049355 4 4 6 6 2310 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 3.179322213049 2.827800163688 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(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' : negation(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' : 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' : negation(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' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0101_6'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_2']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_3'], 'c_1100_0' : negation(d['c_0011_3']), 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_3'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : negation(d['c_0101_0']), 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : negation(d['c_0101_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : negation(d['c_0011_2']), 'c_0011_6' : d['c_0011_2'], '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_2'], 'c_1001_5' : d['c_0110_5'], 'c_1001_4' : negation(d['c_0101_6']), 'c_1001_6' : d['c_0101_0'], 'c_1001_1' : d['c_0011_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0110_3'], 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0101_0']), 'c_0110_3' : d['c_0110_3'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0011_0'], 'c_0110_6' : negation(d['c_0101_0']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0110_3'], 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : d['c_0110_5'], 'c_1010_2' : negation(d['c_0011_0']), 'c_1010_1' : negation(d['c_0110_3']), 'c_1010_0' : d['c_0110_3']})} 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_3, c_0101_0, c_0101_6, c_0110_3, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 44585114136551213545885622071036672/8273076697313301064897351956375\ 9*c_0110_5^21 + 957258694572993930728455131296532194/82730766973133\ 010648973519563759*c_0110_5^20 - 1651484424545328256400230492569008\ 957/27576922324377670216324506521253*c_0110_5^19 + 15015810408163488276012190235605496048/8273076697313301064897351956\ 3759*c_0110_5^18 - 37719450458214239977680630542435650481/827307669\ 73133010648973519563759*c_0110_5^17 + 69978197210004943441938394757502085252/8273076697313301064897351956\ 3759*c_0110_5^16 - 104779334357329405353836535826289268872/82730766\ 973133010648973519563759*c_0110_5^15 + 172372840046816552063932645055053009330/827307669731330106489735195\ 63759*c_0110_5^14 - 222865510325037317957900457557729083123/8273076\ 6973133010648973519563759*c_0110_5^13 + 195001908005565823066380567963756567220/827307669731330106489735195\ 63759*c_0110_5^12 - 150164602229678378607341390298375976865/8273076\ 6973133010648973519563759*c_0110_5^11 - 2768684759307273865079469217443750443/82730766973133010648973519563\ 759*c_0110_5^10 + 170402307346766953359305396440140883459/827307669\ 73133010648973519563759*c_0110_5^9 - 182838472659594554672144304699185776061/827307669731330106489735195\ 63759*c_0110_5^8 + 36486114656084602144063894315525490030/275769223\ 24377670216324506521253*c_0110_5^7 + 11738714344671729886230579292843583957/8273076697313301064897351956\ 3759*c_0110_5^6 - 51232092390593942679644714201015248274/8273076697\ 3133010648973519563759*c_0110_5^5 + 22298434528588865085468795074409327787/8273076697313301064897351956\ 3759*c_0110_5^4 + 281688849931761990156150934910819914/275769223243\ 77670216324506521253*c_0110_5^3 - 323586298313054184820736561374551\ 5284/82730766973133010648973519563759*c_0110_5^2 + 896539145003843401936887165043433230/827307669731330106489735195637\ 59*c_0110_5 - 77409246522892117283545432937099393/82730766973133010\ 648973519563759, c_0011_0 - 1, c_0011_2 + 7585696676497779996631835802187678/1133717917779970886671118\ 60142929*c_0110_5^21 - 163084214227942818968259697569111052/1133717\ 91777997088667111860142929*c_0110_5^20 + 847504062883807684736776684303954599/113371791777997088667111860142\ 929*c_0110_5^19 - 2576827086105548859188987311120844255/11337179177\ 7997088667111860142929*c_0110_5^18 + 6480024663291409727581596230676014248/11337179177799708866711186014\ 2929*c_0110_5^17 - 12057224856547000684499492089231645249/113371791\ 777997088667111860142929*c_0110_5^16 + 18085656421545995876891053587432644496/1133717917779970886671118601\ 42929*c_0110_5^15 - 29683354081701069126353183202848544997/11337179\ 1777997088667111860142929*c_0110_5^14 + 38520927888467058719168690069087216265/1133717917779970886671118601\ 42929*c_0110_5^13 - 33870796836213135138935961146418026085/11337179\ 1777997088667111860142929*c_0110_5^12 + 25985826907893842133276164976609763402/1133717917779970886671118601\ 42929*c_0110_5^11 + 218709622138914241258860640225180758/1133717917\ 77997088667111860142929*c_0110_5^10 - 29409238745886969566801257587319194968/1133717917779970886671118601\ 42929*c_0110_5^9 + 32014831382709658228248252070768209031/113371791\ 777997088667111860142929*c_0110_5^8 - 19224952531698599776462956810320610880/1133717917779970886671118601\ 42929*c_0110_5^7 - 1828931470825820483987589079997137323/1133717917\ 77997088667111860142929*c_0110_5^6 + 9042869334926575468417979047397789432/11337179177799708866711186014\ 2929*c_0110_5^5 - 4076028400537365784063051114078948667/11337179177\ 7997088667111860142929*c_0110_5^4 - 95698623395953833549609667597153230/1133717917779970886671118601429\ 29*c_0110_5^3 + 588979492254203929522143497442549474/11337179177799\ 7088667111860142929*c_0110_5^2 - 1722858254535374723745416140750843\ 20/113371791777997088667111860142929*c_0110_5 + 16000593191752317293572069975038685/1133717917779970886671118601429\ 29, c_0011_3 + 16595958075904412568475160313123/113371791777997088667111860\ 142929*c_0110_5^21 - 397693603224674629944071870653368/113371791777\ 997088667111860142929*c_0110_5^20 + 2712562459572457642756501361313247/11337179177799708866711186014292\ 9*c_0110_5^19 - 9768452734284502930140408179856590/1133717917779970\ 88667111860142929*c_0110_5^18 + 25955779523837786392862571260610178\ /113371791777997088667111860142929*c_0110_5^17 - 55277124753236101290126995873003805/1133717917779970886671118601429\ 29*c_0110_5^16 + 89748516414233938143512774279845297/11337179177799\ 7088667111860142929*c_0110_5^15 - 136653040454751504615138412279108\ 825/113371791777997088667111860142929*c_0110_5^14 + 207398636206548554541543300767734016/113371791777997088667111860142\ 929*c_0110_5^13 - 218500456965030277434889240666228132/113371791777\ 997088667111860142929*c_0110_5^12 + 165019907160722644972182083130123137/113371791777997088667111860142\ 929*c_0110_5^11 - 83597462167828294880194112280059001/1133717917779\ 97088667111860142929*c_0110_5^10 - 109011575079574103225258137092969368/113371791777997088667111860142\ 929*c_0110_5^9 + 206114761012686307309181017172658213/1133717917779\ 97088667111860142929*c_0110_5^8 - 144606293345038377903551995646738\ 154/113371791777997088667111860142929*c_0110_5^7 + 46220955538025817993492998340195333/1133717917779970886671118601429\ 29*c_0110_5^6 + 56256818054942948537006718661709241/113371791777997\ 088667111860142929*c_0110_5^5 - 39489386672701245074843842295450689\ /113371791777997088667111860142929*c_0110_5^4 + 5823537757820227803213073936967713/11337179177799708866711186014292\ 9*c_0110_5^3 + 5183989232468553237673386828401997/11337179177799708\ 8667111860142929*c_0110_5^2 - 1732150353431839349299784060375084/11\ 3371791777997088667111860142929*c_0110_5 + 203913442970654174673135315705225/113371791777997088667111860142929\ , c_0101_0 - 921788893910662857525998409020314/11337179177799708866711186\ 0142929*c_0110_5^21 + 19813329765819624075288905664152008/113371791\ 777997088667111860142929*c_0110_5^20 - 102897569322093884236044777118237919/113371791777997088667111860142\ 929*c_0110_5^19 + 312674954034373841234839762049228806/113371791777\ 997088667111860142929*c_0110_5^18 - 786073799359655175007321243250825386/113371791777997088667111860142\ 929*c_0110_5^17 + 1461764432189448740948660017919591893/11337179177\ 7997088667111860142929*c_0110_5^16 - 2191487579938677335466376712947152924/11337179177799708866711186014\ 2929*c_0110_5^15 + 3597804150967559686053746496436006453/1133717917\ 77997088667111860142929*c_0110_5^14 - 4665695135519993274821818349336131891/11337179177799708866711186014\ 2929*c_0110_5^13 + 4096349802840157012487847399842242418/1133717917\ 77997088667111860142929*c_0110_5^12 - 3141111355960413634463576870988367808/11337179177799708866711186014\ 2929*c_0110_5^11 - 39237118869922916210426697957550115/113371791777\ 997088667111860142929*c_0110_5^10 + 3572829271383559127668173729246867324/11337179177799708866711186014\ 2929*c_0110_5^9 - 3875002888730373987410683477036812250/11337179177\ 7997088667111860142929*c_0110_5^8 + 2320915182437167442955799625871273342/11337179177799708866711186014\ 2929*c_0110_5^7 + 230322646314561728248834061150909443/113371791777\ 997088667111860142929*c_0110_5^6 - 1096885954263517005849888012885433753/11337179177799708866711186014\ 2929*c_0110_5^5 + 490696551253561931303051732824007507/113371791777\ 997088667111860142929*c_0110_5^4 + 13059174813502224114168211797158678/1133717917779970886671118601429\ 29*c_0110_5^3 - 70950712729708928134564130803118622/113371791777997\ 088667111860142929*c_0110_5^2 + 20686363012293235229035305229943322\ /113371791777997088667111860142929*c_0110_5 - 1861196916638372472154339698054067/11337179177799708866711186014292\ 9, c_0101_6 + 2269656461715575411567073068629289/1133717917779970886671118\ 60142929*c_0110_5^21 - 48649353922555776821585601891276190/11337179\ 1777997088667111860142929*c_0110_5^20 + 250483330313322512107160808200517067/113371791777997088667111860142\ 929*c_0110_5^19 - 755624940906709718481640282194983059/113371791777\ 997088667111860142929*c_0110_5^18 + 1894183114033975892595573161971976837/11337179177799708866711186014\ 2929*c_0110_5^17 - 3498086736563694843585477529805617475/1133717917\ 77997088667111860142929*c_0110_5^16 + 5217910660633951119088487412434463497/11337179177799708866711186014\ 2929*c_0110_5^15 - 8606686657338378995745648237797297895/1133717917\ 77997088667111860142929*c_0110_5^14 + 11067164615681037274370974960756926064/1133717917779970886671118601\ 42929*c_0110_5^13 - 9577924805622281822325223045738964511/113371791\ 777997088667111860142929*c_0110_5^12 + 7369111685924970170932878705260021427/11337179177799708866711186014\ 2929*c_0110_5^11 + 334512950289805629430660167178491673/11337179177\ 7997088667111860142929*c_0110_5^10 - 8605377225314664915895645303226799679/11337179177799708866711186014\ 2929*c_0110_5^9 + 8973434906151863299124118845936326483/11337179177\ 7997088667111860142929*c_0110_5^8 - 5279742322841243065807363149641789976/11337179177799708866711186014\ 2929*c_0110_5^7 - 731327993287018754863984920288304797/113371791777\ 997088667111860142929*c_0110_5^6 + 2539029438222568830484622170047161756/11337179177799708866711186014\ 2929*c_0110_5^5 - 1029198833191148505947266285555667231/11337179177\ 7997088667111860142929*c_0110_5^4 - 70517937480895642557914756328495565/1133717917779970886671118601429\ 29*c_0110_5^3 + 154620984061064771834248078589315522/11337179177799\ 7088667111860142929*c_0110_5^2 - 3882875445222546707187555880235099\ 9/113371791777997088667111860142929*c_0110_5 + 2932180504127956205821084061009512/11337179177799708866711186014292\ 9, c_0110_3 - 244045119611229275275834913756057/11337179177799708866711186\ 0142929*c_0110_5^21 + 5287486902289607606753543845768769/1133717917\ 77997088667111860142929*c_0110_5^20 - 28121590521655372848684210081091369/1133717917779970886671118601429\ 29*c_0110_5^19 + 87018930970951681266415656662158791/11337179177799\ 7088667111860142929*c_0110_5^18 - 220212834751748226116086505886529\ 627/113371791777997088667111860142929*c_0110_5^17 + 416698414600276460032961294276938485/113371791777997088667111860142\ 929*c_0110_5^16 - 631832177680084969986973126813212680/113371791777\ 997088667111860142929*c_0110_5^15 + 1026368837991159165729670867931942530/11337179177799708866711186014\ 2929*c_0110_5^14 - 1361873848726415724277238003904454791/1133717917\ 77997088667111860142929*c_0110_5^13 + 1233348733675064421593244785466359535/11337179177799708866711186014\ 2929*c_0110_5^12 - 943415005310379801752988805435964130/11337179177\ 7997088667111860142929*c_0110_5^11 + 76213840086127392366347827121986306/1133717917779970886671118601429\ 29*c_0110_5^10 + 991306704848407467686354888039262692/1133717917779\ 97088667111860142929*c_0110_5^9 - 116619751498229253052280803812659\ 9021/113371791777997088667111860142929*c_0110_5^8 + 721189778420154287378541789724290609/113371791777997088667111860142\ 929*c_0110_5^7 + 8656247202342195777063100128498921/113371791777997\ 088667111860142929*c_0110_5^6 - 32718931691194976665513842903731674\ 7/113371791777997088667111860142929*c_0110_5^5 + 161703273193652082244925696583454709/113371791777997088667111860142\ 929*c_0110_5^4 - 3213107145166575009202374798834152/113371791777997\ 088667111860142929*c_0110_5^3 - 22699483506759908028374935326971397\ /113371791777997088667111860142929*c_0110_5^2 + 6833094211677954566267599201814985/11337179177799708866711186014292\ 9*c_0110_5 - 661147816223529169681688334951134/11337179177799708866\ 7111860142929, c_0110_5^22 - 21*c_0110_5^21 + 101*c_0110_5^20 - 284*c_0110_5^19 + 685*c_0110_5^18 - 1164*c_0110_5^17 + 1593*c_0110_5^16 - 2727*c_0110_5^15 + 3131*c_0110_5^14 - 1940*c_0110_5^13 + 1209*c_0110_5^12 + 1728*c_0110_5^11 - 3855*c_0110_5^10 + 2286*c_0110_5^9 - 437*c_0110_5^8 - 1496*c_0110_5^7 + 1066*c_0110_5^6 + 57*c_0110_5^5 - 278*c_0110_5^4 + 70*c_0110_5^3 + 16*c_0110_5^2 - 9*c_0110_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.220 seconds, Total memory usage: 32.09MB