Magma V2.19-8 Tue Aug 20 2013 16:17:42 on localhost [Seed = 1157945768] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1947 geometric_solution 5.53415102 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 2 0132 3201 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 -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.435878904364 0.274010817151 0 3 0 3 0132 0132 2310 2310 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 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 -0.644377125689 1.033720869265 4 0 5 0 0132 2310 0132 0132 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 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.919743969947 0.759710052114 1 1 4 5 3201 0132 3012 3012 0 0 0 0 0 1 -1 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 -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 0 0 0 0.137518807265 1.301764118717 2 3 4 4 0132 1230 2031 1302 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 0 0 -1 1 0 0 -1 1 -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.574218925610 1.018913948870 6 6 3 2 0132 3201 1230 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.361898907795 1.551071693732 5 6 5 6 0132 2310 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.620689971291 0.492540456947 ==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' : d['c_0011_5'], 'c_1100_5' : negation(d['c_0011_2']), 'c_1100_4' : d['c_0101_0'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_2']), 'c_1100_3' : d['c_0101_2'], 'c_1100_2' : negation(d['c_0011_2']), 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : negation(d['c_0101_0']), '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_5'], 'c_0011_4' : negation(d['c_0011_2']), 'c_0011_6' : negation(d['c_0011_5']), '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_2']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : negation(d['c_0101_5']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0011_2'], 'c_1001_2' : negation(d['c_0101_5']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_2']), 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_5']), 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : negation(d['c_0101_0']), 'c_1010_3' : negation(d['c_0101_5']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : d['c_0011_2'], 'c_1010_0' : d['c_0101_5']})} 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_5, c_0101_0, c_0101_1, c_0101_2, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 928495437507017990108/160712510184355798865*c_0101_5^18 - 1880677977478145729008/160712510184355798865*c_0101_5^17 - 379813292565566288294/22958930026336542695*c_0101_5^16 - 1695422924041673555888/32142502036871159773*c_0101_5^15 - 1184328191180375960608/22958930026336542695*c_0101_5^14 + 24591665098045913679796/160712510184355798865*c_0101_5^13 + 5286285058295057089966/22958930026336542695*c_0101_5^12 + 50456012848858978180002/160712510184355798865*c_0101_5^11 - 48787001022793470750/4591786005267308539*c_0101_5^10 - 10597022385448750554662/32142502036871159773*c_0101_5^9 - 93010298391208146323747/160712510184355798865*c_0101_5^8 + 72084527233963926162808/160712510184355798865*c_0101_5^7 + 13122021038986296336161/32142502036871159773*c_0101_5^6 - 24968572803521822415781/32142502036871159773*c_0101_5^5 - 48820334187846137953763/160712510184355798865*c_0101_5^4 - 39979092939389242065921/160712510184355798865*c_0101_5^3 - 27958389880093711405036/160712510184355798865*c_0101_5^2 + 3891782094131919427529/160712510184355798865*c_0101_5 - 6672637963736276043461/160712510184355798865, c_0011_0 - 1, c_0011_2 + 774744615026522373/22958930026336542695*c_0101_5^18 - 1508761684433268251/22958930026336542695*c_0101_5^17 - 2382343443687008868/22958930026336542695*c_0101_5^16 - 7414172647073479472/22958930026336542695*c_0101_5^15 - 6646999643102417278/22958930026336542695*c_0101_5^14 + 4092595088528419867/4591786005267308539*c_0101_5^13 + 7037262908147832671/4591786005267308539*c_0101_5^12 + 44174208115284527528/22958930026336542695*c_0101_5^11 - 6719313723214347896/22958930026336542695*c_0101_5^10 - 50639236518160888211/22958930026336542695*c_0101_5^9 - 93539165545981916958/22958930026336542695*c_0101_5^8 + 63760518936110684099/22958930026336542695*c_0101_5^7 + 70325494000662383238/22958930026336542695*c_0101_5^6 - 85576319495754043002/22958930026336542695*c_0101_5^5 - 17139074892818918719/4591786005267308539*c_0101_5^4 - 5000070071289154352/4591786005267308539*c_0101_5^3 + 3944709242951179911/22958930026336542695*c_0101_5^2 + 1279121638935036747/22958930026336542695*c_0101_5 + 19067471586284613378/22958930026336542695, c_0011_5 - 739787510225178328/22958930026336542695*c_0101_5^18 + 1335711592124837456/22958930026336542695*c_0101_5^17 + 2665333977741822748/22958930026336542695*c_0101_5^16 + 7090050533699155587/22958930026336542695*c_0101_5^15 + 6743349514215151468/22958930026336542695*c_0101_5^14 - 4160605627885120645/4591786005267308539*c_0101_5^13 - 7695931064775578279/4591786005267308539*c_0101_5^12 - 42369117310026535118/22958930026336542695*c_0101_5^11 + 9856544760212243556/22958930026336542695*c_0101_5^10 + 66132526060108491791/22958930026336542695*c_0101_5^9 + 97742694541168633278/22958930026336542695*c_0101_5^8 - 61300572129987218054/22958930026336542695*c_0101_5^7 - 104508379983982727228/22958930026336542695*c_0101_5^6 + 64994030908284682332/22958930026336542695*c_0101_5^5 + 21466284165802917918/4591786005267308539*c_0101_5^4 + 5645244148482840622/4591786005267308539*c_0101_5^3 - 10594640449486422461/22958930026336542695*c_0101_5^2 - 21962014108782060982/22958930026336542695*c_0101_5 - 3978833931403303823/22958930026336542695, c_0101_0 - 3891458440051929317/22958930026336542695*c_0101_5^18 + 7008172265077336261/22958930026336542695*c_0101_5^17 + 13183137004589056202/22958930026336542695*c_0101_5^16 + 37405469404154372721/22958930026336542695*c_0101_5^15 + 8487459721508168665/4591786005267308539*c_0101_5^14 - 98422378238299674281/22958930026336542695*c_0101_5^13 - 180012771484771201332/22958930026336542695*c_0101_5^12 - 241433611863491417156/22958930026336542695*c_0101_5^11 - 32499832795128739577/22958930026336542695*c_0101_5^10 + 244098278566382036233/22958930026336542695*c_0101_5^9 + 439785080523353819911/22958930026336542695*c_0101_5^8 - 42777210243624099817/4591786005267308539*c_0101_5^7 - 375077194140265029459/22958930026336542695*c_0101_5^6 + 482261604486711579776/22958930026336542695*c_0101_5^5 + 311280909018765943388/22958930026336542695*c_0101_5^4 + 214113502985808261056/22958930026336542695*c_0101_5^3 + 137852645117951721953/22958930026336542695*c_0101_5^2 - 6236983664662937026/4591786005267308539*c_0101_5 + 25961087441428468472/22958930026336542695, c_0101_1 - 1, c_0101_2 - 340311219825620845/4591786005267308539*c_0101_5^18 + 3139259702295022717/22958930026336542695*c_0101_5^17 + 1148912282495064669/4591786005267308539*c_0101_5^16 + 16414824157927739148/22958930026336542695*c_0101_5^15 + 15988991382897814318/22958930026336542695*c_0101_5^14 - 45331379945390508391/22958930026336542695*c_0101_5^13 - 82392670061548730367/22958930026336542695*c_0101_5^12 - 100478085702137143914/22958930026336542695*c_0101_5^11 + 10023210945947018919/22958930026336542695*c_0101_5^10 + 122603940519123883124/22958930026336542695*c_0101_5^9 + 207515442614519955579/22958930026336542695*c_0101_5^8 - 125108194320687483404/22958930026336542695*c_0101_5^7 - 186624494926636824352/22958930026336542695*c_0101_5^6 + 191487034635355951248/22958930026336542695*c_0101_5^5 + 212388840448024121843/22958930026336542695*c_0101_5^4 + 51191521441167864476/22958930026336542695*c_0101_5^3 - 10844147341246072808/22958930026336542695*c_0101_5^2 - 7683822230005734987/22958930026336542695*c_0101_5 - 11242784210322463021/22958930026336542695, c_0101_5^19 - 2*c_0101_5^18 - 3*c_0101_5^17 - 9*c_0101_5^16 - 9*c_0101_5^15 + 27*c_0101_5^14 + 41*c_0101_5^13 + 53*c_0101_5^12 - 3*c_0101_5^11 - 61*c_0101_5^10 - 100*c_0101_5^9 + 79*c_0101_5^8 + 80*c_0101_5^7 - 142*c_0101_5^6 - 58*c_0101_5^5 - 33*c_0101_5^4 - 29*c_0101_5^3 + 7*c_0101_5^2 - 7*c_0101_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB