Magma V2.19-8 Tue Aug 20 2013 16:16:01 on localhost [Seed = 155751884] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0272 geometric_solution 4.31976022 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 2310 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.321286845936 0.119021170141 0 2 2 0 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 -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 0 0 -1.153611330774 0.495926841857 1 1 3 3 2310 0132 0132 3201 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 1 0 -1 0 0 1 -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.197629221882 0.188131652506 4 2 5 2 0132 2310 0132 0132 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 0 0 0 0 0 0 1 -1 0 1 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.761108484976 1.394019464132 3 6 5 5 0132 0132 0213 2310 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 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.143846221134 0.809069258267 4 4 6 3 3201 0213 3201 0132 0 0 0 0 0 1 0 -1 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 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.143846221134 0.809069258267 5 4 6 6 2310 0132 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.786984364030 1.198115607309 ==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' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(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' : negation(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_3'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0101_1'], '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' : negation(d['c_0101_3']), 'c_0101_4' : d['c_0011_5'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_5'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_6' : d['c_0011_3'], '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_0'], 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0101_6']), 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : negation(d['c_0011_5']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0011_5'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_5'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0011_5']), 'c_1010_1' : d['c_0101_1'], '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_3, c_0011_5, c_0101_0, c_0101_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t - 3418172667000828415538948806791267623/15067479735023690678583702261\ 34522880*c_0101_6^25 + 71637109158232874468492840758737074797/75337\ 3986751184533929185113067261440*c_0101_6^23 - 271939982674263563905690614533598917423/188343496687796133482296278\ 266815360*c_0101_6^21 + 15379163334512588300006283820402303857983/1\ 506747973502369067858370226134522880*c_0101_6^19 + 14720871510248280446552715076076646423213/1506747973502369067858370\ 226134522880*c_0101_6^17 + 4558720946617438072924155962909598094885\ 3/1506747973502369067858370226134522880*c_0101_6^15 - 53453138709338364636715098304886413331049/7533739867511845339291851\ 13067261440*c_0101_6^13 + 6210033523931074810058094126451297634059/\ 150674797350236906785837022613452288*c_0101_6^11 - 24620422201049704366038343362342707007313/3013495947004738135716740\ 45226904576*c_0101_6^9 + 59134746328208084493569659608954928350861/\ 1506747973502369067858370226134522880*c_0101_6^7 - 40077746809941972965220263401240220952331/1506747973502369067858370\ 226134522880*c_0101_6^5 + 2860632204810642243726474310498278579393/\ 188343496687796133482296278266815360*c_0101_6^3 - 165561807395121928055947644909072614683/941717483438980667411481391\ 33407680*c_0101_6, c_0011_0 - 1, c_0011_3 - 68296834288061221106090141521399/188343496687796133482296278\ 26681536*c_0101_6^24 + 1429354016975670681560356688038579/941717483\ 4389806674114813913340768*c_0101_6^22 - 2706287892906153049236621621149537/11771468542987258342643517391675\ 96*c_0101_6^20 + 304732688488745294721243244658109007/1883434966877\ 9613348229627826681536*c_0101_6^18 + 312244054934409222265095898836230225/188343496687796133482296278266\ 81536*c_0101_6^16 + 927214297514804422352779890983828625/1883434966\ 8779613348229627826681536*c_0101_6^14 - 1045836732889471378225685006304570691/94171748343898066741148139133\ 40768*c_0101_6^12 + 551461349383739113110574758202579955/9417174834\ 389806674114813913340768*c_0101_6^10 - 2394102089711000640364739914753499069/18834349668779613348229627826\ 681536*c_0101_6^8 + 1075312108522312887748701892386891041/188343496\ 68779613348229627826681536*c_0101_6^6 - 742714033940183406797102122987276655/188343496687796133482296278266\ 81536*c_0101_6^4 + 107613400148633513985429407675668813/47085874171\ 94903337057406956670384*c_0101_6^2 - 800788041077826642254850622154115/588573427149362917132175869583798\ , c_0011_5 - 598639823555953514896623632827003/75337398675118453392918511\ 306726144*c_0101_6^25 + 12542620059230159939581638962917169/3766869\ 9337559226696459255653363072*c_0101_6^23 - 47589884091525910625232312748770279/9417174834389806674114813913340\ 768*c_0101_6^21 + 2689141129859101885514962588006889395/75337398675\ 118453392918511306726144*c_0101_6^19 + 2607077164983641550000637581300299641/75337398675118453392918511306\ 726144*c_0101_6^17 + 8030336905531025618535015849123610177/75337398\ 675118453392918511306726144*c_0101_6^15 - 9290589331214933203486390551556408685/37668699337559226696459255653\ 363072*c_0101_6^13 + 5372742078770607488189926084811893851/37668699\ 337559226696459255653363072*c_0101_6^11 - 21497748838394535456483833446898182961/7533739867511845339291851130\ 6726144*c_0101_6^9 + 9972310389323914690646173641573834009/75337398\ 675118453392918511306726144*c_0101_6^7 - 6972622779153859586836325934274031935/75337398675118453392918511306\ 726144*c_0101_6^5 + 475495265977312415032292477702665511/9417174834\ 389806674114813913340768*c_0101_6^3 - 24480864843860380761400528547511547/4708587417194903337057406956670\ 384*c_0101_6, c_0101_0 + 216461109474389931803021110115575/75337398675118453392918511\ 306726144*c_0101_6^25 - 4495372307615811855605711372849465/37668699\ 337559226696459255653363072*c_0101_6^23 + 16792650433147656361509095728028269/9417174834389806674114813913340\ 768*c_0101_6^21 - 922496342845017050039570021316490895/753373986751\ 18453392918511306726144*c_0101_6^19 - 1287817905980462935829885114234248229/75337398675118453392918511306\ 726144*c_0101_6^17 - 3344554269395925809895425746470591389/75337398\ 675118453392918511306726144*c_0101_6^15 + 2776612425815657099672195650757978621/37668699337559226696459255653\ 363072*c_0101_6^13 - 829703729739471027015069706721640191/376686993\ 37559226696459255653363072*c_0101_6^11 + 7012787411894795045567081245052877237/75337398675118453392918511306\ 726144*c_0101_6^9 - 1056018774473346043258066083357455845/753373986\ 75118453392918511306726144*c_0101_6^7 + 1696990600440115729290022085091043427/75337398675118453392918511306\ 726144*c_0101_6^5 - 11198778832146645063848180809971635/11771468542\ 98725834264351739167596*c_0101_6^3 - 14948145432695757967798840898694663/4708587417194903337057406956670\ 384*c_0101_6, c_0101_1 - 203752942016468495814452468117349/75337398675118453392918511\ 306726144*c_0101_6^24 + 4255729366147920869842665921463903/37668699\ 337559226696459255653363072*c_0101_6^22 - 16058352893916201055807771247385761/9417174834389806674114813913340\ 768*c_0101_6^20 + 898294390548048919282015988720908333/753373986751\ 18453392918511306726144*c_0101_6^18 + 1008246730073720366781940526413424967/75337398675118453392918511306\ 726144*c_0101_6^16 + 2835140765913067984742195219981646271/75337398\ 675118453392918511306726144*c_0101_6^14 - 2975492297493690999898291242691592451/37668699337559226696459255653\ 363072*c_0101_6^12 + 1430423077746616895930852305390275621/37668699\ 337559226696459255653363072*c_0101_6^10 - 6671004277614595694843852069743272751/75337398675118453392918511306\ 726144*c_0101_6^8 + 2254533699096561059443744077574077735/753373986\ 75118453392918511306726144*c_0101_6^6 - 1934162245800644657494469846123561921/75337398675118453392918511306\ 726144*c_0101_6^4 + 113847925203418716781125948201612773/9417174834\ 389806674114813913340768*c_0101_6^2 - 624404981118342127829890164318437/470858741719490333705740695667038\ 4, c_0101_3 - 59658664450689766161435243972981/941717483438980667411481391\ 3340768*c_0101_6^24 + 624129108814365368957648316509957/23542937085\ 97451668528703478335192*c_0101_6^22 - 9449614002426401551076112859214077/23542937085974516685287034783351\ 92*c_0101_6^20 + 265817855266967673160068072462520733/9417174834389\ 806674114813913340768*c_0101_6^18 + 275223218519522600780065962915849745/941717483438980667411481391334\ 0768*c_0101_6^16 + 814516055429777741022594524293275205/94171748343\ 89806674114813913340768*c_0101_6^14 - 113150721602911969868513101864670181/588573427149362917132175869583\ 798*c_0101_6^12 + 479498135162437667109830624353456155/470858741719\ 4903337057406956670384*c_0101_6^10 - 2080677793496422724696274763086601275/94171748343898066741148139133\ 40768*c_0101_6^8 + 895625920663993094205361064635460105/94171748343\ 89806674114813913340768*c_0101_6^6 - 638889467133140953882273008144711291/941717483438980667411481391334\ 0768*c_0101_6^4 + 175886581516271738003931811564893583/470858741719\ 4903337057406956670384*c_0101_6^2 - 3356316999876365298432450914080341/11771468542987258342643517391675\ 96, c_0101_6^26 - 42*c_0101_6^24 + 640*c_0101_6^22 - 4553*c_0101_6^20 - 3927*c_0101_6^18 - 12967*c_0101_6^16 + 32410*c_0101_6^14 - 20794*c_0101_6^12 + 37515*c_0101_6^10 - 20327*c_0101_6^8 + 13145*c_0101_6^6 - 7676*c_0101_6^4 + 1328*c_0101_6^2 - 64 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB