Magma V2.19-8 Tue Aug 20 2013 16:18:48 on localhost [Seed = 2968595919] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2965 geometric_solution 6.14860050 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 0 2 0 0132 2310 0132 3201 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 0 1 1 -2 0 0 0 0 1 0 0 -1 -1 2 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.025657998442 1.134769262119 0 3 5 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 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 1 -1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.746003770296 0.731515498079 4 5 3 0 1023 1023 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 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.746003770296 0.731515498079 3 1 2 3 3012 0132 1023 1230 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 -1 1 0 -1 0 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.542193169465 0.376852432389 6 2 1 6 0132 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.641499522899 0.314909638026 2 5 5 1 1023 3201 2310 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 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.166503650552 1.111857355896 4 6 6 4 0132 3201 2310 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 1.052504814929 0.558036718068 ==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' : 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' : 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' : 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' : negation(d['c_0011_2']), 'c_1100_5' : d['c_0011_2'], 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_3'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_2'], 'c_0011_4' : d['c_0011_2'], 'c_0011_6' : negation(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_0'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : d['c_0101_3'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0101_2'], 'c_1001_2' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_0'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : d['c_0101_0'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_3'], 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : d['c_0101_2'], 'c_1010_0' : negation(d['c_0101_1'])})} 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_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 210288831555932790350767549187/833132494493562868775786798*c_0101_6\ ^20 - 1337533103621569977701359216561/833132494493562868775786798*c\ _0101_6^19 - 274571604516039330512855666115/59509463892397347769699\ 057*c_0101_6^18 - 2471936927717714694766118604997/41656624724678143\ 4387893399*c_0101_6^17 + 576340983445922444602130781417/83313249449\ 3562868775786798*c_0101_6^16 + 9907844738484175359221538554653/4165\ 66247246781434387893399*c_0101_6^15 + 23011673030884770612014352397024/416566247246781434387893399*c_0101\ _6^14 + 61128872133679986506572266428585/83313249449356286877578679\ 8*c_0101_6^13 + 25579435475873092920423151014043/416566247246781434\ 387893399*c_0101_6^12 + 45977852961649799481650849423169/8331324944\ 93562868775786798*c_0101_6^11 + 16986045263605385640131285433177/41\ 6566247246781434387893399*c_0101_6^10 + 260846724995787542199257005033/11734260485824829137687138*c_0101_6^\ 9 + 484565516529296009183012143821/833132494493562868775786798*c_01\ 01_6^8 + 7164347344832655025671274664750/41656624724678143438789339\ 9*c_0101_6^7 - 4886290441964966604346588130223/83313249449356286877\ 5786798*c_0101_6^6 + 9400051163057340858370166972791/83313249449356\ 2868775786798*c_0101_6^5 - 7211528896531169572227531066285/83313249\ 4493562868775786798*c_0101_6^4 - 1703461285977143737279694528547/83\ 3132494493562868775786798*c_0101_6^3 + 2682283660872303315958193811301/833132494493562868775786798*c_0101_\ 6^2 - 1784889835624868717471611156581/833132494493562868775786798*c\ _0101_6 - 336210788191762178099298690183/41656624724678143438789339\ 9, c_0011_0 - 1, c_0011_2 - 191072778210838791920/1572535578373737488299*c_0101_6^20 - 2194756115837240803429/3145071156747474976598*c_0101_6^19 - 5477473636517916912717/3145071156747474976598*c_0101_6^18 - 2266115321026850355646/1572535578373737488299*c_0101_6^17 + 3642174291285964550417/1572535578373737488299*c_0101_6^16 + 37030760925966403752073/3145071156747474976598*c_0101_6^15 + 31517731005937681030750/1572535578373737488299*c_0101_6^14 + 28968201819652866245594/1572535578373737488299*c_0101_6^13 + 14485829532205989066933/3145071156747474976598*c_0101_6^12 + 3511269802885212434860/1572535578373737488299*c_0101_6^11 - 12115316970938572650105/3145071156747474976598*c_0101_6^10 - 10672482831326479075940/1572535578373737488299*c_0101_6^9 - 37553199932833739765967/3145071156747474976598*c_0101_6^8 + 11481355733779763464877/3145071156747474976598*c_0101_6^7 - 17117757122164043602677/1572535578373737488299*c_0101_6^6 + 18838594982065749487779/3145071156747474976598*c_0101_6^5 - 34158125537179507533261/3145071156747474976598*c_0101_6^4 + 9261910460449742275641/3145071156747474976598*c_0101_6^3 + 2832457060565077530625/3145071156747474976598*c_0101_6^2 - 2075571822070225691409/3145071156747474976598*c_0101_6 + 1163705644894088367523/3145071156747474976598, c_0101_0 + 176308699665402837521/1572535578373737488299*c_0101_6^20 + 2209130751109196915109/3145071156747474976598*c_0101_6^19 + 6190660508057625207951/3145071156747474976598*c_0101_6^18 + 3677043825078194122589/1572535578373737488299*c_0101_6^17 - 1439867798049925612415/1572535578373737488299*c_0101_6^16 - 35130158668433234937121/3145071156747474976598*c_0101_6^15 - 37523717229495027084225/1572535578373737488299*c_0101_6^14 - 45288236501361783614287/1572535578373737488299*c_0101_6^13 - 60876508941705591456225/3145071156747474976598*c_0101_6^12 - 22378858264298384030593/1572535578373737488299*c_0101_6^11 - 26063683792513141842217/3145071156747474976598*c_0101_6^10 - 4597628513143182917877/1572535578373737488299*c_0101_6^9 + 14588496236697053804671/3145071156747474976598*c_0101_6^8 - 14130749107872513888159/3145071156747474976598*c_0101_6^7 + 8068417819772723424889/1572535578373737488299*c_0101_6^6 - 15561498735575115303085/3145071156747474976598*c_0101_6^5 + 13737832479951783179437/3145071156747474976598*c_0101_6^4 + 936251991809097281973/3145071156747474976598*c_0101_6^3 - 6409486258245266773203/3145071156747474976598*c_0101_6^2 - 2353154823474944503937/3145071156747474976598*c_0101_6 + 1933446269891696705813/3145071156747474976598, c_0101_1 - 144878367395712508573/3145071156747474976598*c_0101_6^20 - 242317685326155400040/1572535578373737488299*c_0101_6^19 + 126803169224453259245/3145071156747474976598*c_0101_6^18 + 2355666601266905332514/1572535578373737488299*c_0101_6^17 + 11563573706041871252811/3145071156747474976598*c_0101_6^16 + 15059706844228331546263/3145071156747474976598*c_0101_6^15 - 3120896922234395610470/1572535578373737488299*c_0101_6^14 - 54346970620197720842791/3145071156747474976598*c_0101_6^13 - 106225775738870674044633/3145071156747474976598*c_0101_6^12 - 106355412304636768329841/3145071156747474976598*c_0101_6^11 - 111201266476289253826515/3145071156747474976598*c_0101_6^10 - 84125962288370132955657/3145071156747474976598*c_0101_6^9 - 28278832396805148240334/1572535578373737488299*c_0101_6^8 + 227641474229223478461/3145071156747474976598*c_0101_6^7 - 35859967928115911473833/3145071156747474976598*c_0101_6^6 + 11245477428759125862682/1572535578373737488299*c_0101_6^5 - 15776679491820137061228/1572535578373737488299*c_0101_6^4 + 10191480643201050087470/1572535578373737488299*c_0101_6^3 - 1523140906183983744617/1572535578373737488299*c_0101_6^2 - 106036349445962486916/1572535578373737488299*c_0101_6 + 2890003408867496418989/3145071156747474976598, c_0101_2 - 274742084621461241374/1572535578373737488299*c_0101_6^20 - 1780370025325715125800/1572535578373737488299*c_0101_6^19 - 5266396315311071041016/1572535578373737488299*c_0101_6^18 - 7295585305949451614588/1572535578373737488299*c_0101_6^17 - 735059156630319203147/1572535578373737488299*c_0101_6^16 + 24968644160730853829476/1572535578373737488299*c_0101_6^15 + 63171248449661908671228/1572535578373737488299*c_0101_6^14 + 90603279526465906615706/1572535578373737488299*c_0101_6^13 + 85203257496126600991502/1572535578373737488299*c_0101_6^12 + 80272941291763520558236/1572535578373737488299*c_0101_6^11 + 62173583960139724503404/1572535578373737488299*c_0101_6^10 + 38435488221969667633971/1572535578373737488299*c_0101_6^9 + 10997570164192525457784/1572535578373737488299*c_0101_6^8 + 22207924317850113089370/1572535578373737488299*c_0101_6^7 - 7289442103892894375014/1572535578373737488299*c_0101_6^6 + 9424373442120340652435/1572535578373737488299*c_0101_6^5 - 8982391894711584102443/1572535578373737488299*c_0101_6^4 - 4350706045379648642708/1572535578373737488299*c_0101_6^3 + 926359017903358350917/1572535578373737488299*c_0101_6^2 - 1960246291967870737823/1572535578373737488299*c_0101_6 + 891955628896873119438/1572535578373737488299, c_0101_3 - 288464944108823478568/1572535578373737488299*c_0101_6^20 - 1673107156546864834624/1572535578373737488299*c_0101_6^19 - 4237953537068004930449/1572535578373737488299*c_0101_6^18 - 3798461866944441529182/1572535578373737488299*c_0101_6^17 + 4597008798728212752813/1572535578373737488299*c_0101_6^16 + 26464496287620612393621/1572535578373737488299*c_0101_6^15 + 47004210105763373242772/1572535578373737488299*c_0101_6^14 + 47006197912017181658398/1572535578373737488299*c_0101_6^13 + 22731499745087395585708/1572535578373737488299*c_0101_6^12 + 27315322225551575305946/1572535578373737488299*c_0101_6^11 + 20817678408459365572819/1572535578373737488299*c_0101_6^10 + 12391504719293447363349/1572535578373737488299*c_0101_6^9 - 764030017232582454593/1572535578373737488299*c_0101_6^8 + 29155538458768817856479/1572535578373737488299*c_0101_6^7 - 11619382023741516795023/1572535578373737488299*c_0101_6^6 + 19139795543728973103709/1572535578373737488299*c_0101_6^5 - 17330333243426417863047/1572535578373737488299*c_0101_6^4 + 1178110263424922787831/1572535578373737488299*c_0101_6^3 + 3959861090255785975192/1572535578373737488299*c_0101_6^2 - 3597557481395163794361/1572535578373737488299*c_0101_6 - 661471884019110550280/1572535578373737488299, c_0101_6^21 + 6*c_0101_6^20 + 16*c_0101_6^19 + 17*c_0101_6^18 - 11*c_0101_6^17 - 93*c_0101_6^16 - 185*c_0101_6^15 - 213*c_0101_6^14 - 141*c_0101_6^13 - 134*c_0101_6^12 - 85*c_0101_6^11 - 32*c_0101_6^10 + 28*c_0101_6^9 - 68*c_0101_6^8 + 48*c_0101_6^7 - 54*c_0101_6^6 + 51*c_0101_6^5 - 5*c_0101_6^4 - 15*c_0101_6^3 + 13*c_0101_6^2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB