Magma V2.19-8 Tue Aug 20 2013 16:16:08 on localhost [Seed = 1427425684] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0391 geometric_solution 4.45772793 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 -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.694803937100 0.095285238266 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 -1 1 1 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 0.892509948339 0.098450182381 1 3 1 3 0132 0132 1023 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 1 -1 -1 0 1 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.882506426184 0.229452104337 4 2 5 2 0132 0132 0132 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 -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 1.209222710099 0.506822953416 3 5 5 6 0132 1230 3012 0132 0 0 0 0 0 -1 1 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 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.195481000005 0.800127220912 6 4 4 3 3201 1230 3012 0132 0 0 0 0 0 0 0 0 -1 0 1 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 -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.195481000005 0.800127220912 6 6 4 5 1302 2031 0132 2310 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 -1 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.624891262650 0.621480051260 ==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' : negation(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' : negation(d['1']), 's_2_4' : d['1'], 's_2_5' : negation(d['1']), 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(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' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_1']), 'c_1100_5' : negation(d['c_0011_1']), 'c_1100_4' : negation(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' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_6']), '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' : negation(d['c_0011_1']), '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' : d['c_0011_1'], 'c_1001_4' : d['c_0011_1'], 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_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_0101_4'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0011_6']), 'c_0110_4' : negation(d['c_0011_6']), 'c_0110_6' : negation(d['c_0101_5']), 'c_1010_6' : d['c_0011_6'], 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : d['c_0101_5'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_0101_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_6, c_0101_0, c_0101_1, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t + 1219607937648174476987286373707387781102011323/62720703031474816612\ 9050835627915128282769920*c_0101_5^27 + 69561840870048045470681135726319610650115423513/6272070303147481661\ 29050835627915128282769920*c_0101_5^25 + 226454647275670455623248252285503835597904193183/104534505052458027\ 688175139271319188047128320*c_0101_5^23 + 7448792869733997507274506821885936013139090489013/62720703031474816\ 6129050835627915128282769920*c_0101_5^21 - 55263371881471790578478938296079558463134890849329/6272070303147481\ 66129050835627915128282769920*c_0101_5^19 - 163753253525594148408075427120164455805214959822721/313603515157374\ 083064525417813957564141384960*c_0101_5^17 + 536352327545965667887978060417588589224796986559291/125441406062949\ 633225810167125583025656553984*c_0101_5^15 - 6693210659632063705485207024130644289998717697757851/62720703031474\ 8166129050835627915128282769920*c_0101_5^13 + 3789287160154020777259477459684611481636231666115633/31360351515737\ 4083064525417813957564141384960*c_0101_5^11 - 130421389493816777070826548232931921031467741376273/209069010104916\ 05537635027854263837609425664*c_0101_5^9 + 148088805790066900716656451560509569347913237189631/125441406062949\ 633225810167125583025656553984*c_0101_5^7 + 135874488478081383696433835732569689836087163233/261336262631145069\ 22043784817829797011782080*c_0101_5^5 + 588608819659199889177324040145059038480480933569/392004393946717603\ 83065677226744695517673120*c_0101_5^3 - 83488160072820802245774815351975590822247039969/9800109848667940095\ 766419306686173879418280*c_0101_5, c_0011_0 - 1, c_0011_1 + 68658286378821726019114136301554282125117/444271646472946617\ 67474434190310654920029536*c_0101_5^26 + 3947293107105377639955345394782522291964741/44427164647294661767474\ 434190310654920029536*c_0101_5^24 + 9786256072854615522802286828282851096389277/55533955809118327209343\ 04273788831865003692*c_0101_5^22 + 455086277267362700730228927858597455917529095/444271646472946617674\ 74434190310654920029536*c_0101_5^20 - 2902091751094829797257483896780100857235819117/44427164647294661767\ 474434190310654920029536*c_0101_5^18 - 1234369053601107515453961870970271260327061557/27766977904559163604\ 67152136894415932501846*c_0101_5^16 + 141912078087675306454268153630922669404748532781/444271646472946617\ 67474434190310654920029536*c_0101_5^14 - 312548679905124896192105430686348052189163363023/444271646472946617\ 67474434190310654920029536*c_0101_5^12 + 35895441676308063328916668871747752441073720239/5553395580911832720\ 934304273788831865003692*c_0101_5^10 - 47889017909204083891795766942108267790370837511/2221358232364733088\ 3737217095155327460014768*c_0101_5^8 + 3630182473997867673588799886946889858215766209/44427164647294661767\ 474434190310654920029536*c_0101_5^6 + 117709038221967065604348669809071342360079919/222135823236473308837\ 37217095155327460014768*c_0101_5^4 + 20713911635358705093066272601672735777359373/1388348895227958180233\ 576068447207966250923*c_0101_5^2 - 1002459593501064905834293715284659777843450/13883488952279581802335\ 76068447207966250923, c_0011_6 - 15644088443985266623596822124599678625839/444271646472946617\ 67474434190310654920029536*c_0101_5^26 - 902728794919351585932691267657011583003159/444271646472946617674744\ 34190310654920029536*c_0101_5^24 - 2253833169790751316481297662961571781264581/55533955809118327209343\ 04273788831865003692*c_0101_5^22 - 107538793161809461271965265375031918996317565/444271646472946617674\ 74434190310654920029536*c_0101_5^20 + 638062775531232209000528205593024059502178063/444271646472946617674\ 74434190310654920029536*c_0101_5^18 + 144788905721270420946139690022054076822919677/138834889522795818023\ 3576068447207966250923*c_0101_5^16 - 31340450913173848299220557297973732851641399775/4442716464729466176\ 7474434190310654920029536*c_0101_5^14 + 64660061964372263337311625546151380165510428453/4442716464729466176\ 7474434190310654920029536*c_0101_5^12 - 6533344329895598142802633512991854237082886647/55533955809118327209\ 34304273788831865003692*c_0101_5^10 + 5834876979675986711096756565442591904266882509/22213582323647330883\ 737217095155327460014768*c_0101_5^8 + 1251411091774583144245583495414947457057679141/44427164647294661767\ 474434190310654920029536*c_0101_5^6 - 28277421202634270751130168923758136574109133/2221358232364733088373\ 7217095155327460014768*c_0101_5^4 - 79522692243958853042755847652154447530357/1388348895227958180233576\ 068447207966250923*c_0101_5^2 + 11054857611558575012577802235500056\ 1307778/1388348895227958180233576068447207966250923, c_0101_0 + 80966217728356040825947121447819459412301/888543292945893235\ 34948868380621309840059072*c_0101_5^27 + 4701524617035352155371278990179132764171685/88854329294589323534948\ 868380621309840059072*c_0101_5^25 + 11875868339005195996005820179497306923033843/1110679116182366544186\ 8608547577663730007384*c_0101_5^23 + 589934461067992007191871527802638060633984055/888543292945893235349\ 48868380621309840059072*c_0101_5^21 - 3111250413788904110187903101764049520201930477/88854329294589323534\ 948868380621309840059072*c_0101_5^19 - 394512069510048140338294526397347932355721610/138834889522795818023\ 3576068447207966250923*c_0101_5^17 + 153871185396307309083574371374199816437884705213/888543292945893235\ 34948868380621309840059072*c_0101_5^15 - 272723224894769421093287210733762250192985710319/888543292945893235\ 34948868380621309840059072*c_0101_5^13 + 16224758968601761778177577424843401739008724233/1110679116182366544\ 1868608547577663730007384*c_0101_5^11 + 37424932584389911810095242370600387228629668633/4442716464729466176\ 7474434190310654920029536*c_0101_5^9 - 53793457615143563033791050665734089619917274383/8885432929458932353\ 4948868380621309840059072*c_0101_5^7 - 368016825857923487266894673162395989377081241/444271646472946617674\ 74434190310654920029536*c_0101_5^5 + 27463956102038917064383947078546762979543109/1388348895227958180233\ 576068447207966250923*c_0101_5^3 + 12314398426272630207759253664637867702775025/2776697790455916360467\ 152136894415932501846*c_0101_5, c_0101_1 + 10066841300973727554057548810255204224011/555339558091183272\ 0934304273788831865003692*c_0101_5^26 + 1157577447183677466573430133236026674670605/11106791161823665441868\ 608547577663730007384*c_0101_5^24 + 22961295384960406675282225192413365049269591/1110679116182366544186\ 8608547577663730007384*c_0101_5^22 + 66757440879484995232252733999686190344614081/5553395580911832720934\ 304273788831865003692*c_0101_5^20 - 850638727451665465349062796024469166416644617/111067911618236654418\ 68608547577663730007384*c_0101_5^18 - 5793699740170757325813598537447829348679023927/11106791161823665441\ 868608547577663730007384*c_0101_5^16 + 20799320442302454026583129044867322900870422531/5553395580911832720\ 934304273788831865003692*c_0101_5^14 - 91547654868206892719157057086742926670779651907/1110679116182366544\ 1868608547577663730007384*c_0101_5^12 + 83992698687175995742792035376557330146418698595/1110679116182366544\ 1868608547577663730007384*c_0101_5^10 - 6974107248665061997227728154995346104453942573/27766977904559163604\ 67152136894415932501846*c_0101_5^8 + 251837610230674438973588280973821745029614823/277669779045591636046\ 7152136894415932501846*c_0101_5^6 + 44032381854086978254179197892481286791368375/1110679116182366544186\ 8608547577663730007384*c_0101_5^4 + 96296459660681026884964830186080593576455465/5553395580911832720934\ 304273788831865003692*c_0101_5^2 + 174334904901035907451794307614946017329433/138834889522795818023357\ 6068447207966250923, c_0101_4 - 2310693684149782545929801510069764686379/5553395580911832720\ 934304273788831865003692*c_0101_5^27 - 528109872117292637464176919627043709583575/222135823236473308837372\ 17095155327460014768*c_0101_5^25 - 10351902208487771807457476812021761452320191/2221358232364733088373\ 7217095155327460014768*c_0101_5^23 - 7196711006476995813502836465005691962009591/27766977904559163604671\ 52136894415932501846*c_0101_5^21 + 411502003521704436725598346936803465111505019/222135823236473308837\ 37217095155327460014768*c_0101_5^19 + 2514945278949930591681905270763884371356892103/22213582323647330883\ 737217095155327460014768*c_0101_5^17 - 1251013792657867787149735907884826030594247426/13883488952279581802\ 33576068447207966250923*c_0101_5^15 + 49073877120131639991620314121578557430632339497/2221358232364733088\ 3737217095155327460014768*c_0101_5^13 - 55037880368674622788901521098862147531865663283/2221358232364733088\ 3737217095155327460014768*c_0101_5^11 + 7358818247241159407243664468101095382300189257/55533955809118327209\ 34304273788831865003692*c_0101_5^9 - 3520025219694614397164791082936693040498845317/11106791161823665441\ 868608547577663730007384*c_0101_5^7 + 303632728996743133675979072236697530119378041/222135823236473308837\ 37217095155327460014768*c_0101_5^5 + 44204142463292084846169179057719345132997449/1110679116182366544186\ 8608547577663730007384*c_0101_5^3 + 5654489678017891135356687632199768422934761/27766977904559163604671\ 52136894415932501846*c_0101_5, c_0101_5^28 + 57*c_0101_5^26 + 1112*c_0101_5^24 + 6067*c_0101_5^22 - 45537*c_0101_5^20 - 266912*c_0101_5^18 + 2208721*c_0101_5^16 - 5566827*c_0101_5^14 + 6406920*c_0101_5^12 - 3420838*c_0101_5^10 + 712885*c_0101_5^8 - 16826*c_0101_5^6 + 8032*c_0101_5^4 - 4704*c_0101_5^2 + 128 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB