Magma V2.19-8 Tue Aug 20 2013 16:16:58 on localhost [Seed = 1377029766] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1223 geometric_solution 5.11852863 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 0132 0132 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 -1 0 1 0 0 0 0 1 0 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.087225094366 0.926108054122 3 4 2 0 0132 0132 1230 0132 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 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 1.009802327823 0.920231118209 4 3 0 1 2310 3201 0132 3012 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 -1 1 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.009802327823 0.920231118209 1 5 2 5 0132 0132 2310 1023 0 0 0 0 0 0 0 0 0 0 1 -1 -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 -1 -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.865564046310 0.506859477160 4 1 2 4 3201 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.087225094366 0.926108054122 6 3 6 3 0132 0132 1023 1023 0 0 0 0 0 0 -1 1 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 -1 1 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.719893214135 0.160256473174 5 6 5 6 0132 1302 1023 2031 0 0 0 0 0 1 0 -1 0 0 1 -1 -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 -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.639894028181 0.060292391629 ==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' : 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' : negation(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' : 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' : d['c_0011_1'], 'c_1100_5' : negation(d['c_0011_1']), 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : negation(d['1']), 'c_1100_1' : negation(d['c_0101_4']), 'c_1100_0' : negation(d['c_0101_4']), 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0101_4']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_1'], 'c_0011_4' : negation(d['c_0011_1']), 'c_0011_6' : negation(d['c_0011_1']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : negation(d['c_0011_0']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_0101_4'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : negation(d['c_0101_4']), 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : negation(d['c_0101_4']), 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0011_1']), 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0101_6'], 'c_1010_2' : negation(d['c_0101_1']), '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_0101_0, c_0101_1, c_0101_4, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t + 396239035910757805212329959201/1999769397120764378446901935840*c_01\ 01_6^21 - 1187149322500045844569670428301/1428406712229117413176358\ 52560*c_0101_6^19 - 9145657564628223332031791402973/499942349280191\ 094611725483960*c_0101_6^17 + 35635771823415778707296614801339/1999\ 769397120764378446901935840*c_0101_6^15 + 1345682450137932022086851125381203/1999769397120764378446901935840*\ c_0101_6^13 + 4431192670412774772502957154074729/199976939712076437\ 8446901935840*c_0101_6^11 + 5732125682112605649777766390273993/1999\ 769397120764378446901935840*c_0101_6^9 - 5500547789942768334703397077834417/999884698560382189223450967920*c\ _0101_6^7 + 3415736093367311300227210644166067/19997693971207643784\ 46901935840*c_0101_6^5 - 3156395341117572476744156573710121/1999769\ 397120764378446901935840*c_0101_6^3 + 11930529510617823604441964512511/35710167805727935329408963140*c_01\ 01_6, c_0011_0 - 1, c_0011_1 - 207449333621687464051616467/49994234928019109461172548396*c_\ 0101_6^21 + 620580526243447984179271643/357101678057279353294089631\ 4*c_0101_6^19 + 19702612940773900870795544369/499942349280191094611\ 72548396*c_0101_6^17 - 17185534930232005907026888253/49994234928019\ 109461172548396*c_0101_6^15 - 705039605825443791175571363047/499942\ 34928019109461172548396*c_0101_6^13 - 2365205846732582355355646696377/49994234928019109461172548396*c_010\ 1_6^11 - 3169869353547985657578787963169/49994234928019109461172548\ 396*c_0101_6^9 + 2745511976786710395482927127749/249971174640095547\ 30586274198*c_0101_6^7 - 1539048456489640889196982045465/4999423492\ 8019109461172548396*c_0101_6^5 + 416837459196373007693295033739/124\ 98558732004777365293137099*c_0101_6^3 - 16499968397479667400473192931/3571016780572793532940896314*c_0101_6\ , c_0101_0 + 80650582034143281760897091/24997117464009554730586274198*c_0\ 101_6^21 - 241300318658721995280907793/1785508390286396766470448157\ *c_0101_6^19 - 15277983456064021262740502065/4999423492801910946117\ 2548396*c_0101_6^17 + 13461443854294679600781375207/499942349280191\ 09461172548396*c_0101_6^15 + 548325450913212552557630227109/4999423\ 4928019109461172548396*c_0101_6^13 + 1836157682193514545961804515357/49994234928019109461172548396*c_010\ 1_6^11 + 2452627484504365511540653976161/49994234928019109461172548\ 396*c_0101_6^9 - 4302797127391437888570498247759/499942349280191094\ 61172548396*c_0101_6^7 + 1161994827008775552746990543525/4999423492\ 8019109461172548396*c_0101_6^5 - 696903502474623896177385879419/249\ 97117464009554730586274198*c_0101_6^3 + 17665425425017253874638048151/3571016780572793532940896314*c_0101_6\ , c_0101_1 + 100851530178508623348920431/24997117464009554730586274198*c_\ 0101_6^21 - 301213422980837051560678799/178550839028639676647044815\ 7*c_0101_6^19 - 19726017869459365926100504153/499942349280191094611\ 72548396*c_0101_6^17 + 15595734333056956942895442603/49994234928019\ 109461172548396*c_0101_6^15 + 687079953927998381083372564949/499942\ 34928019109461172548396*c_0101_6^13 + 2345338099907713077182856785401/49994234928019109461172548396*c_010\ 1_6^11 + 3221653033189954358987407821337/49994234928019109461172548\ 396*c_0101_6^9 - 5184549255448509685410066545575/499942349280191094\ 61172548396*c_0101_6^7 + 1066079246917366299136593741201/4999423492\ 8019109461172548396*c_0101_6^5 - 700806197554262183958207642235/249\ 97117464009554730586274198*c_0101_6^3 + 12949216650651172398900301193/3571016780572793532940896314*c_0101_6\ , c_0101_4 - 1622075564544846182327277/7142033561145587065881792628*c_010\ 1_6^20 + 9535917633569566582687169/1020290508735083866554541804*c_0\ 101_6^18 + 50776577351772752032549533/1785508390286396766470448157*\ c_0101_6^16 - 647854220229196568700134/1785508390286396766470448157\ *c_0101_6^14 - 2783501527111553013415584975/35710167805727935329408\ 96314*c_0101_6^12 - 5634862226931255785293395971/178550839028639676\ 6470448157*c_0101_6^10 - 19920837082653757632195058965/357101678057\ 2793532940896314*c_0101_6^8 + 19483996422800422061138179109/7142033\ 561145587065881792628*c_0101_6^6 + 11009058590209356899294284103/7142033561145587065881792628*c_0101_6\ ^4 + 7351269304661033829520410433/3571016780572793532940896314*c_01\ 01_6^2 + 102917122981788410853439919/510145254367541933277270902, c_0101_5 - 215087186565589589759503057/49994234928019109461172548396*c_\ 0101_6^21 + 1286795492539066712398253209/71420335611455870658817926\ 28*c_0101_6^19 + 10226226510634543335727355671/24997117464009554730\ 586274198*c_0101_6^17 - 9014394924245414721996058519/24997117464009\ 554730586274198*c_0101_6^15 - 182939200134360114887317505267/124985\ 58732004777365293137099*c_0101_6^13 - 1226746845209528063862126169009/24997117464009554730586274198*c_010\ 1_6^11 - 817629004926283280896590283506/124985587320047773652931370\ 99*c_0101_6^9 + 5766330508447135484349157901863/4999423492801910946\ 1172548396*c_0101_6^7 - 1457887709256728672951428380935/49994234928\ 019109461172548396*c_0101_6^5 + 797874537514582074534064735241/2499\ 7117464009554730586274198*c_0101_6^3 - 17864722653211059525650381657/3571016780572793532940896314*c_0101_6\ , c_0101_6^22 - 42*c_0101_6^20 - 90*c_0101_6^18 + 95*c_0101_6^16 + 3391*c_0101_6^14 + 10995*c_0101_6^12 + 13851*c_0101_6^10 - 28548*c_0101_6^8 + 10189*c_0101_6^6 - 8457*c_0101_6^4 + 2114*c_0101_6^2 - 98 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB