Magma V2.19-8 Tue Aug 20 2013 16:16:23 on localhost [Seed = 1174919846] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0657 geometric_solution 4.63797770 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 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 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.359399524005 0.138040591216 0 0 2 2 0132 2310 2310 0132 0 0 0 0 0 -1 1 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 -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 1.696607015412 0.857365818817 3 1 1 4 0132 3201 0132 0132 0 0 0 0 0 1 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 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.909196659127 0.318569846660 2 4 5 5 0132 0321 2310 0132 0 0 0 0 0 1 0 -1 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 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.310361073135 0.915413630144 6 6 2 3 0132 2310 0132 0321 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 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.310361073135 0.915413630144 6 3 3 6 1230 3201 0132 3012 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 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.427868130662 0.527973264932 4 5 5 4 0132 3012 1230 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 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.427868130662 0.527973264932 ==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' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : negation(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' : negation(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' : negation(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' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0011_5'], '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' : d['c_0011_5'], 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0011_2'], '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_5'], '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' : negation(d['c_0101_3']), 'c_1001_4' : d['c_0101_0'], 'c_1001_6' : negation(d['c_0011_5']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_2'], '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' : negation(d['c_0011_4']), 'c_0110_4' : d['c_0011_2'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0101_0']), 'c_1010_5' : negation(d['c_0011_2']), 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : negation(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_0011_5, 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 - 141868791667746959500774832476965617588421/901189015511088558632345\ 458741426206856*c_0101_3^20 - 8105800199628152072887178401659562686\ 47135/901189015511088558632345458741426206856*c_0101_3^19 - 97777192494008942223780448955018136017865/4505945077555442793161727\ 29370713103428*c_0101_3^18 - 66264722117765585401603218720177563300\ 6833/128741287930155508376049351248775172408*c_0101_3^17 + 45299510266224579642962887720128400309987499/9011890155110885586323\ 45458741426206856*c_0101_3^16 - 14441901625527047927167345197814942\ 7646107951/901189015511088558632345458741426206856*c_0101_3^15 + 227002428181767650489179528145935522919694997/901189015511088558632\ 345458741426206856*c_0101_3^14 - 1798386566788946259539586636020350\ 0540376571/64370643965077754188024675624387586204*c_0101_3^13 + 6408233470673273853443478176241650226551192/16092660991269438547006\ 168906096896551*c_0101_3^12 - 3833374326190246479911727201327151006\ 7959969/112648626938886069829043182342678275857*c_0101_3^11 - 48821731651204073248957486360599881014539303/1287412879301555083760\ 49351248775172408*c_0101_3^10 + 53806954203969511355186093195527264\ 6107476911/450594507755544279316172729370713103428*c_0101_3^9 - 672468886945043571964141266994785678621566087/901189015511088558632\ 345458741426206856*c_0101_3^8 - 85453316101412926391417569517358991\ 623350111/901189015511088558632345458741426206856*c_0101_3^7 + 1648818038985737051516740647128087452491599/12874128793015550837604\ 9351248775172408*c_0101_3^6 - 7680228121786122979200792201920744070\ 7109537/901189015511088558632345458741426206856*c_0101_3^5 + 81819743163021867001191470357211045903255965/9011890155110885586323\ 45458741426206856*c_0101_3^4 + 665912152977976715251943677192523497\ 29828935/901189015511088558632345458741426206856*c_0101_3^3 - 634162897409197284741204144719388343050504/112648626938886069829043\ 182342678275857*c_0101_3^2 - 38234446948364958928536556313120367624\ 32183/225297253877772139658086364685356551714*c_0101_3 - 484545064746662078364446441027671455495823/128741287930155508376049\ 351248775172408, c_0011_0 - 1, c_0011_2 + 27010333996595640810814451335548867/282451267946808925792122\ 31515747076*c_0101_3^20 + 152502821785014296674153128354998105/2824\ 5126794680892579212231515747076*c_0101_3^19 + 13880498768679716665073130765763881/1412256339734044628960611575787\ 3538*c_0101_3^18 + 126563708939631650835978856540964703/40350181135\ 25841797030318787963868*c_0101_3^17 - 8683085242232308831245815839840720713/28245126794680892579212231515\ 747076*c_0101_3^16 + 28110035977098978575203845492945875053/2824512\ 6794680892579212231515747076*c_0101_3^15 - 45378641676341086797159468802428213467/2824512679468089257921223151\ 5747076*c_0101_3^14 + 3703304087423212125802070258472553075/2017509\ 056762920898515159393981934*c_0101_3^13 - 2614627911828099520828529559220139132/10087545283814604492575796969\ 90967*c_0101_3^12 + 16245284257563613542404005694962644717/70612816\ 98670223144803057878936769*c_0101_3^11 + 8332481384748723991987529204269518741/40350181135258417970303187879\ 63868*c_0101_3^10 - 103369048118810831588302983872639553045/1412256\ 3397340446289606115757873538*c_0101_3^9 + 143517314731080311384344987444151985849/282451267946808925792122315\ 15747076*c_0101_3^8 + 616315789785677091070681222049218005/28245126\ 794680892579212231515747076*c_0101_3^7 + 321260578217476858805893019924946643/403501811352584179703031878796\ 3868*c_0101_3^6 + 13699257919926910312359827401516529691/2824512679\ 4680892579212231515747076*c_0101_3^5 - 16034476551776932937971646717483435703/2824512679468089257921223151\ 5747076*c_0101_3^4 - 11063550952065493517829418932739204997/2824512\ 6794680892579212231515747076*c_0101_3^3 + 338414169193960001857376940530890983/706128169867022314480305787893\ 6769*c_0101_3^2 + 650787528001694545067541721183190839/706128169867\ 0223144803057878936769*c_0101_3 + 669225170999181429370357903929700\ 13/4035018113525841797030318787963868, c_0011_4 - 16226414028367723680426728590003762084/160926609912694385470\ 06168906096896551*c_0101_3^20 - 18214497461029112094676352402690889\ 8371/32185321982538877094012337812193793102*c_0101_3^19 - 13494113650178723596077763206013266749/1609266099126943854700616890\ 6096896551*c_0101_3^18 - 10834499041611813320441739282630455323/328\ 421652883049766265432018491773399*c_0101_3^17 + 10470193709196200326053140633373287294555/3218532198253887709401233\ 7812193793102*c_0101_3^16 - 170573093928457600419477298272497716454\ 28/16092660991269438547006168906096896551*c_0101_3^15 + 55588270357613800231363594560526155869365/3218532198253887709401233\ 7812193793102*c_0101_3^14 - 652608973030938082877346143731560738956\ /328421652883049766265432018491773399*c_0101_3^13 + 6420182659228882045139162146133303381836/22989515701813483638580241\ 29442413793*c_0101_3^12 - 40441562353386990132978870123236581098634\ /16092660991269438547006168906096896551*c_0101_3^11 - 4839900407280319376009443151951237020205/22989515701813483638580241\ 29442413793*c_0101_3^10 + 25076225083079589701968090984909940066647\ 5/32185321982538877094012337812193793102*c_0101_3^9 - 179904201320861706213359354634922060894841/321853219825388770940123\ 37812193793102*c_0101_3^8 + 198253663132918004803004627116624489201\ 9/16092660991269438547006168906096896551*c_0101_3^7 - 420894568999612074064617281665084398171/459790314036269672771604825\ 8884827586*c_0101_3^6 - 7940324981247872693096185846590969723880/16\ 092660991269438547006168906096896551*c_0101_3^5 + 20019744579260399072491044911290142633973/3218532198253887709401233\ 7812193793102*c_0101_3^4 + 6500323630299287308054846397485915563674\ /16092660991269438547006168906096896551*c_0101_3^3 - 1998441878864464222575667554590291624719/32185321982538877094012337\ 812193793102*c_0101_3^2 - 3173286487685568157104021088483891734203/\ 32185321982538877094012337812193793102*c_0101_3 - 79638980334879622029659838255367874425/4597903140362696727716048258\ 884827586, c_0011_5 + 16226414028367723680426728590003762084/160926609912694385470\ 06168906096896551*c_0101_3^20 + 18214497461029112094676352402690889\ 8371/32185321982538877094012337812193793102*c_0101_3^19 + 13494113650178723596077763206013266749/1609266099126943854700616890\ 6096896551*c_0101_3^18 + 10834499041611813320441739282630455323/328\ 421652883049766265432018491773399*c_0101_3^17 - 10470193709196200326053140633373287294555/3218532198253887709401233\ 7812193793102*c_0101_3^16 + 170573093928457600419477298272497716454\ 28/16092660991269438547006168906096896551*c_0101_3^15 - 55588270357613800231363594560526155869365/3218532198253887709401233\ 7812193793102*c_0101_3^14 + 652608973030938082877346143731560738956\ /328421652883049766265432018491773399*c_0101_3^13 - 6420182659228882045139162146133303381836/22989515701813483638580241\ 29442413793*c_0101_3^12 + 40441562353386990132978870123236581098634\ /16092660991269438547006168906096896551*c_0101_3^11 + 4839900407280319376009443151951237020205/22989515701813483638580241\ 29442413793*c_0101_3^10 - 25076225083079589701968090984909940066647\ 5/32185321982538877094012337812193793102*c_0101_3^9 + 179904201320861706213359354634922060894841/321853219825388770940123\ 37812193793102*c_0101_3^8 - 198253663132918004803004627116624489201\ 9/16092660991269438547006168906096896551*c_0101_3^7 + 420894568999612074064617281665084398171/459790314036269672771604825\ 8884827586*c_0101_3^6 + 7940324981247872693096185846590969723880/16\ 092660991269438547006168906096896551*c_0101_3^5 - 20019744579260399072491044911290142633973/3218532198253887709401233\ 7812193793102*c_0101_3^4 - 6500323630299287308054846397485915563674\ /16092660991269438547006168906096896551*c_0101_3^3 + 1998441878864464222575667554590291624719/32185321982538877094012337\ 812193793102*c_0101_3^2 + 3173286487685568157104021088483891734203/\ 32185321982538877094012337812193793102*c_0101_3 + 79638980334879622029659838255367874425/4597903140362696727716048258\ 884827586, c_0101_0 - 42514883735669289243594996902792093333/643706439650777541880\ 24675624387586204*c_0101_3^20 - 23940582322360037611321158567192680\ 6061/64370643965077754188024675624387586204*c_0101_3^19 - 20210493270903294656176566314519811859/3218532198253887709401233781\ 2193793102*c_0101_3^18 - 199404210465127925527390763668699698669/91\ 95806280725393455432096517769655172*c_0101_3^17 + 13686915288229484002877026714422502265641/6437064396507775418802467\ 5624387586204*c_0101_3^16 - 444619168904418220001993331650427633782\ 39/64370643965077754188024675624387586204*c_0101_3^15 + 72187089140436593722760182098077809975843/6437064396507775418802467\ 5624387586204*c_0101_3^14 - 592581557082385202595939281403928833944\ 3/4597903140362696727716048258884827586*c_0101_3^13 + 4172865649258557518845098305842628685033/22989515701813483638580241\ 29442413793*c_0101_3^12 - 26096211633583608716167002845373818962125\ /16092660991269438547006168906096896551*c_0101_3^11 - 12814512950000237005313768431763804578379/9195806280725393455432096\ 517769655172*c_0101_3^10 + 8161542212334618715092682076938128930755\ 2/16092660991269438547006168906096896551*c_0101_3^9 - 231837784259337481217850756390439682248693/643706439650777541880246\ 75624387586204*c_0101_3^8 + 458664956186450651962742290461775939691\ 3/64370643965077754188024675624387586204*c_0101_3^7 - 606884937339322350956304149813844778847/919580628072539345543209651\ 7769655172*c_0101_3^6 - 22139760857320256226746165814672399937117/6\ 4370643965077754188024675624387586204*c_0101_3^5 + 25742104522637644978987207765302403596811/6437064396507775418802467\ 5624387586204*c_0101_3^4 + 1661385727730819866826518368964567877529\ 9/64370643965077754188024675624387586204*c_0101_3^3 - 1119587339161906373942286558987753464519/32185321982538877094012337\ 812193793102*c_0101_3^2 - 1973116929022574452626876425500655615177/\ 32185321982538877094012337812193793102*c_0101_3 - 97988900180718345355993097955361095025/9195806280725393455432096517\ 769655172, c_0101_1 + 42216750826370307501792898801684257/282451267946808925792122\ 31515747076*c_0101_3^20 + 236702339547574880167525586430462723/2824\ 5126794680892579212231515747076*c_0101_3^19 + 16469624542925734688289049739059425/1412256339734044628960611575787\ 3538*c_0101_3^18 + 196589425273305822179960850788656801/40350181135\ 25841797030318787963868*c_0101_3^17 - 13631529099325513232860733764998853483/2824512679468089257921223151\ 5747076*c_0101_3^16 + 44428838624962243096959573902426837779/282451\ 26794680892579212231515747076*c_0101_3^15 - 72325228253613744666288058850136590245/2824512679468089257921223151\ 5747076*c_0101_3^14 + 5921088078493685368522757971696978527/2017509\ 056762920898515159393981934*c_0101_3^13 - 4156344913180091017487885952426238004/10087545283814604492575796969\ 90967*c_0101_3^12 + 26192076494826822757066880398024377976/70612816\ 98670223144803057878936769*c_0101_3^11 + 12755888997971423142091676158693115383/4035018113525841797030318787\ 963868*c_0101_3^10 - 163972609638428365616093213727424784175/141225\ 63397340446289606115757873538*c_0101_3^9 + 233814914237751683471496115643407101987/282451267946808925792122315\ 15747076*c_0101_3^8 - 1562467652835053077527714095672411701/2824512\ 6794680892579212231515747076*c_0101_3^7 + 257384745008061432854089402358980973/403501811352584179703031878796\ 3868*c_0101_3^6 + 20139551849142645635977708713266566689/2824512679\ 4680892579212231515747076*c_0101_3^5 - 26746937857013100352099027862340363881/2824512679468089257921223151\ 5747076*c_0101_3^4 - 17418782478144345835626077381364706863/2824512\ 6794680892579212231515747076*c_0101_3^3 + 675849947610832790547140943154128839/706128169867022314480305787893\ 6769*c_0101_3^2 + 1103430083402263875445744648852897163/70612816986\ 70223144803057878936769*c_0101_3 + 117014128400661878896544135945508563/403501811352584179703031878796\ 3868, c_0101_3^21 + 6*c_0101_3^20 + 3*c_0101_3^19 + 33*c_0101_3^18 - 310*c_0101_3^17 + 926*c_0101_3^16 - 1304*c_0101_3^15 + 1303*c_0101_3^14 - 2002*c_0101_3^13 + 1416*c_0101_3^12 + 3061*c_0101_3^11 - 6919*c_0101_3^10 + 2529*c_0101_3^9 + 2052*c_0101_3^8 + 52*c_0101_3^7 + 510*c_0101_3^6 - 434*c_0101_3^5 - 646*c_0101_3^4 - 97*c_0101_3^3 + 124*c_0101_3^2 + 57*c_0101_3 + 7 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.230 seconds, Total memory usage: 32.09MB