Magma V2.19-8 Tue Aug 20 2013 16:18:32 on localhost [Seed = 2816883348] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2729 geometric_solution 5.97809155 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 1230 3012 0 0 0 0 0 -1 0 1 1 0 -1 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 1 -1 0 0 1 -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.495060693265 0.764931954242 0 3 5 4 0132 0132 0132 0132 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 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.479894380227 0.603727525753 3 0 4 5 3201 0132 3201 2310 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 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.479894380227 0.603727525753 6 1 6 2 0132 0132 2310 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 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.004160124337 2.120150271827 2 4 1 4 2310 2310 0132 3201 0 0 0 0 0 -1 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.964690431474 1.270341246448 2 5 5 1 3201 1230 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.752170840353 0.627431238549 3 3 6 6 0132 3201 2031 1302 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 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.386599489443 0.138021579423 ==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_0101_2']), '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_1'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : negation(d['c_0101_2']), 'c_0101_5' : d['c_0101_5'], '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' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_0']), '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' : d['c_0011_4'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : d['c_0101_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_0101_5']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_0101_2'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0101_2'], 'c_1010_3' : d['c_0101_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_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 2 Groebner basis: [ t + 2*c_0101_5 + 3, c_0011_0 - 1, c_0011_4 - 1, c_0101_0 + 1, c_0101_1 + c_0101_5, c_0101_2 - c_0101_5, c_0101_3 + 1, c_0101_5^2 + c_0101_5 - 1 ], Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_4, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 4 Groebner basis: [ t + 825*c_0101_5^3 - 475*c_0101_5^2 - 1025*c_0101_5 + 385, c_0011_0 - 1, c_0011_4 + 15*c_0101_5^3 - 10*c_0101_5^2 - 19*c_0101_5 + 9, c_0101_0 + 1, c_0101_1 - 25*c_0101_5^3 + 15*c_0101_5^2 + 30*c_0101_5 - 13, c_0101_2 - 25*c_0101_5^3 + 15*c_0101_5^2 + 31*c_0101_5 - 13, c_0101_3 - 15*c_0101_5^3 + 10*c_0101_5^2 + 19*c_0101_5 - 9, c_0101_5^4 - c_0101_5^3 - c_0101_5^2 + c_0101_5 - 1/5 ], Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_4, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t - 9709084718497082050376/699253714438452020813*c_0101_5^14 - 25870892692965291982687/699253714438452020813*c_0101_5^13 - 68071799788184600238022/699253714438452020813*c_0101_5^12 - 107182911686687904578454/699253714438452020813*c_0101_5^11 - 212099522021444834414336/699253714438452020813*c_0101_5^10 - 341260303787208637994149/699253714438452020813*c_0101_5^9 - 385672038590143789423048/699253714438452020813*c_0101_5^8 - 412353450823674238345339/699253714438452020813*c_0101_5^7 - 340720896862899709870642/699253714438452020813*c_0101_5^6 - 268512400138119604617814/699253714438452020813*c_0101_5^5 - 236526482629865013441042/699253714438452020813*c_0101_5^4 - 47958066276297765091865/699253714438452020813*c_0101_5^3 + 83847707342322043741632/699253714438452020813*c_0101_5^2 - 821032241908177320591/99893387776921717259*c_0101_5 - 39500781871193440925711/699253714438452020813, c_0011_0 - 1, c_0011_4 - 53812379743637748688/99893387776921717259*c_0101_5^14 - 114115107777280883726/99893387776921717259*c_0101_5^13 - 322758034149573641901/99893387776921717259*c_0101_5^12 - 433222484509825030440/99893387776921717259*c_0101_5^11 - 979121911576876681099/99893387776921717259*c_0101_5^10 - 1407758635384154957955/99893387776921717259*c_0101_5^9 - 1478179802629672270930/99893387776921717259*c_0101_5^8 - 1629165129381658607279/99893387776921717259*c_0101_5^7 - 1099257918878850957213/99893387776921717259*c_0101_5^6 - 1006523847346762307843/99893387776921717259*c_0101_5^5 - 770878286197194086071/99893387776921717259*c_0101_5^4 + 169426729807467702819/99893387776921717259*c_0101_5^3 + 366520041116945034110/99893387776921717259*c_0101_5^2 - 161353631843093177820/99893387776921717259*c_0101_5 - 82559696337260318615/99893387776921717259, c_0101_0 + 10317556015400703208/99893387776921717259*c_0101_5^14 + 20431167529082347691/99893387776921717259*c_0101_5^13 + 63129430144580308938/99893387776921717259*c_0101_5^12 + 86251998378902620611/99893387776921717259*c_0101_5^11 + 209333870328993215266/99893387776921717259*c_0101_5^10 + 296492558582177213305/99893387776921717259*c_0101_5^9 + 358112187621010032530/99893387776921717259*c_0101_5^8 + 435769305588105000719/99893387776921717259*c_0101_5^7 + 376825119244910264568/99893387776921717259*c_0101_5^6 + 350402159986898129219/99893387776921717259*c_0101_5^5 + 320243085271353305673/99893387776921717259*c_0101_5^4 + 33208346634495282436/99893387776921717259*c_0101_5^3 - 17020347690809704981/99893387776921717259*c_0101_5^2 + 47057480518000000885/99893387776921717259*c_0101_5 - 57942191655941315307/99893387776921717259, c_0101_1 + 44316384099827594024/99893387776921717259*c_0101_5^14 + 93759546236026641691/99893387776921717259*c_0101_5^13 + 255111093245211543499/99893387776921717259*c_0101_5^12 + 336265071231102713218/99893387776921717259*c_0101_5^11 + 756556241065069891036/99893387776921717259*c_0101_5^10 + 1097602466456061344186/99893387776921717259*c_0101_5^9 + 1085810056496047677564/99893387776921717259*c_0101_5^8 + 1142420141912691910494/99893387776921717259*c_0101_5^7 + 801526192976676623202/99893387776921717259*c_0101_5^6 + 656687950081570328608/99893387776921717259*c_0101_5^5 + 611235319498732799419/99893387776921717259*c_0101_5^4 - 191887876261434362751/99893387776921717259*c_0101_5^3 - 365030084148735530253/99893387776921717259*c_0101_5^2 + 223270791623608531781/99893387776921717259*c_0101_5 + 85785188502300351790/99893387776921717259, c_0101_2 + 176607264492924864/315121097088081127*c_0101_5^14 + 312725460574312384/315121097088081127*c_0101_5^13 + 972842523810377737/315121097088081127*c_0101_5^12 + 1127990166547372490/315121097088081127*c_0101_5^11 + 2977603360848522590/315121097088081127*c_0101_5^10 + 3767493371510556937/315121097088081127*c_0101_5^9 + 4055929094573475368/315121097088081127*c_0101_5^8 + 4543533927847828242/315121097088081127*c_0101_5^7 + 2977946336951713435/315121097088081127*c_0101_5^6 + 3054550091724478834/315121097088081127*c_0101_5^5 + 2192409877714953876/315121097088081127*c_0101_5^4 - 672018629967057147/315121097088081127*c_0101_5^3 - 709982662157099887/315121097088081127*c_0101_5^2 + 779815455810752627/315121097088081127*c_0101_5 - 112765067205532508/315121097088081127, c_0101_3 - 300195923276863784/315121097088081127*c_0101_5^14 - 672043397341377899/315121097088081127*c_0101_5^13 - 1898241769026998033/315121097088081127*c_0101_5^12 - 2660130394083188627/315121097088081127*c_0101_5^11 - 5870130344111242218/315121097088081127*c_0101_5^10 - 8612025533685241174/315121097088081127*c_0101_5^9 - 9585384858196114779/315121097088081127*c_0101_5^8 - 10512627134284570783/315121097088081127*c_0101_5^7 - 7839535398367766775/315121097088081127*c_0101_5^6 - 7042258533555385947/315121097088081127*c_0101_5^5 - 5507496141964155332/315121097088081127*c_0101_5^4 - 334632998007181465/315121097088081127*c_0101_5^3 + 1833297573947605621/315121097088081127*c_0101_5^2 - 566685585777714579/315121097088081127*c_0101_5 - 567902297257841957/315121097088081127, c_0101_5^15 + 23/8*c_0101_5^14 + 15/2*c_0101_5^13 + 99/8*c_0101_5^12 + 95/4*c_0101_5^11 + 157/4*c_0101_5^10 + 367/8*c_0101_5^9 + 197/4*c_0101_5^8 + 169/4*c_0101_5^7 + 267/8*c_0101_5^6 + 233/8*c_0101_5^5 + 73/8*c_0101_5^4 - 33/4*c_0101_5^3 - 7/8*c_0101_5^2 + 39/8*c_0101_5 + 7/8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB