Magma V2.19-8 Tue Aug 20 2013 16:19:09 on localhost [Seed = 863153736] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3286 geometric_solution 6.41168737 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 2031 1302 0 0 0 0 0 -1 -1 2 1 0 -2 1 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 -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.366939569756 0.714844220826 0 3 5 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 -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 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.365633475524 0.884551492249 3 0 4 5 3201 0132 3201 0132 0 0 0 0 0 1 -1 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 1 -1 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.365633475524 0.884551492249 3 1 3 2 2310 0132 3201 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.181445405023 1.151324855520 2 6 1 6 2310 0132 0132 1023 0 0 0 0 0 0 0 0 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 0 0 0 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.881225521517 1.133586299931 5 5 2 1 1302 2031 0132 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 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.595836925636 0.914158577136 6 4 6 4 2031 0132 1302 1023 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.481242747333 0.191742848442 ==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_4'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : d['c_0101_0'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0011_4'], 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_2'], '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' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), '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' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_1']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0110_6'], 'c_1001_1' : d['c_0011_5'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_2']), 'c_0110_2' : negation(d['c_0011_5']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : d['c_0110_6'], 'c_1010_3' : d['c_0011_5'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), '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_4, c_0011_5, c_0101_0, c_0101_1, c_0101_2, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 36 Groebner basis: [ t - 156294197309841797580/685242116364020899*c_0101_2*c_0110_6^17 + 28552407918159778140/685242116364020899*c_0101_2*c_0110_6^16 + 848691946725589603613/685242116364020899*c_0101_2*c_0110_6^15 - 1635709813970486297440/685242116364020899*c_0101_2*c_0110_6^14 - 484118013575065791848/685242116364020899*c_0101_2*c_0110_6^13 + 7281278777236373477020/685242116364020899*c_0101_2*c_0110_6^12 - 2824878018537013176728/685242116364020899*c_0101_2*c_0110_6^11 - 11030730294064952204441/685242116364020899*c_0101_2*c_0110_6^10 + 6022032272911117972722/685242116364020899*c_0101_2*c_0110_6^9 + 5815835214343481193862/685242116364020899*c_0101_2*c_0110_6^8 - 6602011646597270648722/685242116364020899*c_0101_2*c_0110_6^7 - 512570503166590061020/685242116364020899*c_0101_2*c_0110_6^6 + 2793304511567104092497/685242116364020899*c_0101_2*c_0110_6^5 - 1074994998596725866116/685242116364020899*c_0101_2*c_0110_6^4 - 343311545029305263889/685242116364020899*c_0101_2*c_0110_6^3 + 329725394874063394790/685242116364020899*c_0101_2*c_0110_6^2 - 83525941214609625396/685242116364020899*c_0101_2*c_0110_6 - 4595349931634223904/685242116364020899*c_0101_2, c_0011_0 - 1, c_0011_4 - 3433166266606417792/685242116364020899*c_0101_2*c_0110_6^17 - 46845083917240180/685242116364020899*c_0101_2*c_0110_6^16 + 16835872980935398499/685242116364020899*c_0101_2*c_0110_6^15 - 32729750652164241186/685242116364020899*c_0101_2*c_0110_6^14 - 8527377024095358977/685242116364020899*c_0101_2*c_0110_6^13 + 142469341589156707137/685242116364020899*c_0101_2*c_0110_6^12 - 37873037516751794075/685242116364020899*c_0101_2*c_0110_6^11 - 182503926732822143919/685242116364020899*c_0101_2*c_0110_6^10 + 87649857714546705502/685242116364020899*c_0101_2*c_0110_6^9 + 62192666355490196758/685242116364020899*c_0101_2*c_0110_6^8 - 130134429545492190646/685242116364020899*c_0101_2*c_0110_6^7 - 11694705806016817572/685242116364020899*c_0101_2*c_0110_6^6 + 43161094349077417570/685242116364020899*c_0101_2*c_0110_6^5 - 25060977380322814795/685242116364020899*c_0101_2*c_0110_6^4 - 11669586967892877728/685242116364020899*c_0101_2*c_0110_6^3 + 6061611929359881112/685242116364020899*c_0101_2*c_0110_6^2 - 1797832233270235286/685242116364020899*c_0101_2*c_0110_6 - 1533230706949486031/685242116364020899*c_0101_2, c_0011_5 - 5353960804731877591/685242116364020899*c_0101_2*c_0110_6^17 + 4315821592408000998/685242116364020899*c_0101_2*c_0110_6^16 + 27175812970361973180/685242116364020899*c_0101_2*c_0110_6^15 - 72356397026328729819/685242116364020899*c_0101_2*c_0110_6^14 + 22969940921470299665/685242116364020899*c_0101_2*c_0110_6^13 + 239232415615001702198/685242116364020899*c_0101_2*c_0110_6^12 - 230521381128947843897/685242116364020899*c_0101_2*c_0110_6^11 - 278715571180261383905/685242116364020899*c_0101_2*c_0110_6^10 + 358390486249589711355/685242116364020899*c_0101_2*c_0110_6^9 + 84807347735494720043/685242116364020899*c_0101_2*c_0110_6^8 - 264542119277539803331/685242116364020899*c_0101_2*c_0110_6^7 + 50780041183347275351/685242116364020899*c_0101_2*c_0110_6^6 + 73946878977316340442/685242116364020899*c_0101_2*c_0110_6^5 - 53952530669820404173/685242116364020899*c_0101_2*c_0110_6^4 - 2439150151530742891/685242116364020899*c_0101_2*c_0110_6^3 + 10009520930932368395/685242116364020899*c_0101_2*c_0110_6^2 - 3609363707285103296/685242116364020899*c_0101_2*c_0110_6 - 797547835600989878/685242116364020899*c_0101_2, c_0101_0 - 2453115937965707861/685242116364020899*c_0110_6^17 - 1865744598330107604/685242116364020899*c_0110_6^16 + 14733219454128033504/685242116364020899*c_0110_6^15 - 13421050550669639986/685242116364020899*c_0110_6^14 - 35934427365163420995/685242116364020899*c_0110_6^13 + 117630582932962649510/685242116364020899*c_0110_6^12 + 59263584202901022114/685242116364020899*c_0110_6^11 - 247468567539106115084/685242116364020899*c_0110_6^10 - 47863468385562346252/685242116364020899*c_0110_6^9 + 199771450867766918318/685242116364020899*c_0110_6^8 - 32916945500907968909/685242116364020899*c_0110_6^7 - 85527751728507335424/685242116364020899*c_0110_6^6 + 46398132040386591797/685242116364020899*c_0110_6^5 + 11994180549626938788/685242116364020899*c_0110_6^4 - 15987141155692813188/685242116364020899*c_0110_6^3 + 4439691960922570874/685242116364020899*c_0110_6^2 + 2003609717591353112/685242116364020899*c_0110_6 - 274426721222670092/685242116364020899, c_0101_1 + 3794571557666488885/685242116364020899*c_0110_6^17 - 1769785195561838896/685242116364020899*c_0110_6^16 - 17955221856829269490/685242116364020899*c_0110_6^15 + 45742746087576228306/685242116364020899*c_0110_6^14 - 11204684640223506746/685242116364020899*c_0110_6^13 - 158524965526660911679/685242116364020899*c_0110_6^12 + 124309698465172392127/685242116364020899*c_0110_6^11 + 155418010090216418450/685242116364020899*c_0110_6^10 - 208898641031441016331/685242116364020899*c_0110_6^9 + 12839929522040463297/685242116364020899*c_0110_6^8 + 191888528965994610951/685242116364020899*c_0110_6^7 - 61074482604469188121/685242116364020899*c_0110_6^6 - 48724714986186600053/685242116364020899*c_0110_6^5 + 52291068603234513706/685242116364020899*c_0110_6^4 + 6037449694071404692/685242116364020899*c_0110_6^3 - 8517571196535325847/685242116364020899*c_0110_6^2 + 2712373310914457614/685242116364020899*c_0110_6 + 1548247599207075794/685242116364020899, c_0101_2^2 + 3581013217116859150/685242116364020899*c_0110_6^17 + 4671812985655435391/685242116364020899*c_0110_6^16 - 19419300311041555389/685242116364020899*c_0110_6^15 + 8744314695430881756/685242116364020899*c_0110_6^14 + 60562161702566187282/685242116364020899*c_0110_6^13 - 141248762004421987496/685242116364020899*c_0110_6^12 - 172685616300015157351/685242116364020899*c_0110_6^11 + 293322995625949260255/685242116364020899*c_0110_6^10 + 243142303640451235352/685242116364020899*c_0110_6^9 - 229760664414113543952/685242116364020899*c_0110_6^8 - 90905171112929221867/685242116364020899*c_0110_6^7 + 153415758032614538205/685242116364020899*c_0110_6^6 + 21130202859076588578/685242116364020899*c_0110_6^5 - 45741696108829160521/685242116364020899*c_0110_6^4 + 5866261119102302377/685242116364020899*c_0110_6^3 + 9040757645679957574/685242116364020899*c_0110_6^2 - 904690916190862309/685242116364020899*c_0110_6 - 926220545769034027/685242116364020899, c_0110_6^18 + 6/11*c_0110_6^17 - 60/11*c_0110_6^16 + 72/11*c_0110_6^15 + 112/11*c_0110_6^14 - 478/11*c_0110_6^13 - 168/11*c_0110_6^12 + 872/11*c_0110_6^11 + 141/11*c_0110_6^10 - 651/11*c_0110_6^9 + 14*c_0110_6^8 + 351/11*c_0110_6^7 - 133/11*c_0110_6^6 - 61/11*c_0110_6^5 + 68/11*c_0110_6^4 + 2/11*c_0110_6^3 - 9/11*c_0110_6^2 + 3/11*c_0110_6 + 1/11 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB