Magma V2.19-8 Tue Aug 20 2013 16:18:03 on localhost [Seed = 54697932] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2279 geometric_solution 5.69615724 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 4 0132 0132 0132 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 -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 0.457781719443 0.666387223899 0 4 5 4 0132 2103 0132 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.597580317796 0.321408995688 5 0 5 3 2031 0132 3201 1230 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 1 -1 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.734640851774 0.902874903579 2 6 6 0 3012 0132 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 0 0 0 0 0 0 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.112737962197 0.688987483030 1 1 0 5 3120 2103 0132 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 0 1 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.080420101340 0.890333279934 2 4 2 1 2310 0321 1302 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 -1 0 1 -1 0 0 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.734640851774 0.902874903579 6 3 3 6 3012 0132 1023 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.664760111033 0.302542945924 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : 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' : negation(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' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : negation(d['c_0011_3']), 'c_1100_5' : negation(d['c_0101_1']), 'c_1100_4' : d['c_0011_3'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0101_1']), 'c_1100_0' : d['c_0011_3'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : negation(d['c_0011_5']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_1']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_5']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(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' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0011_3'], 'c_1001_4' : negation(d['c_0011_0']), 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0011_4'], 'c_1001_0' : d['c_0101_3'], 'c_1001_3' : d['c_0101_6'], 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : negation(d['c_0011_5']), 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_5']), 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0011_5']), 'c_0110_6' : negation(d['c_0011_3']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0011_4'], 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_3'], 'c_1010_1' : negation(d['c_0011_4']), 'c_1010_0' : negation(d['c_0011_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_4, c_0011_5, c_0101_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t - 3784713016158660832/137532281563479747*c_0101_6^13 - 1031432914887274016/45844093854493249*c_0101_6^12 - 34279474842484713160/137532281563479747*c_0101_6^11 - 18081196238966003972/137532281563479747*c_0101_6^10 - 16790113161721500544/19647468794782821*c_0101_6^9 - 22084729027307622979/137532281563479747*c_0101_6^8 - 145034445339765977494/137532281563479747*c_0101_6^7 - 3568595488432192229/19647468794782821*c_0101_6^6 - 42163964086870778086/137532281563479747*c_0101_6^5 - 9777553861772095071/45844093854493249*c_0101_6^4 + 5427543992321343999/45844093854493249*c_0101_6^3 - 21312634231262936276/137532281563479747*c_0101_6^2 - 2219187350218099907/45844093854493249*c_0101_6 - 4943039320215996964/137532281563479747, c_0011_0 - 1, c_0011_3 + 4791927594554056/6549156264927607*c_0101_6^13 + 1613893816847604/6549156264927607*c_0101_6^12 + 41436466791745350/6549156264927607*c_0101_6^11 + 1851719771960047/6549156264927607*c_0101_6^10 + 136965962612908761/6549156264927607*c_0101_6^9 - 45048670499757778/6549156264927607*c_0101_6^8 + 167019142815065061/6549156264927607*c_0101_6^7 - 61067692473873255/6549156264927607*c_0101_6^6 + 33712192672923047/6549156264927607*c_0101_6^5 + 5445889231036617/6549156264927607*c_0101_6^4 - 43005027748535415/6549156264927607*c_0101_6^3 + 34121479659831508/6549156264927607*c_0101_6^2 - 9248185070044266/6549156264927607*c_0101_6 + 1769707555770533/6549156264927607, c_0011_4 - 1662568156637016/6549156264927607*c_0101_6^13 - 1895390247128012/6549156264927607*c_0101_6^12 - 16585591945237818/6549156264927607*c_0101_6^11 - 13877943061217057/6549156264927607*c_0101_6^10 - 63602220075599909/6549156264927607*c_0101_6^9 - 31656127419682440/6549156264927607*c_0101_6^8 - 95551119000747322/6549156264927607*c_0101_6^7 - 32150007253112412/6549156264927607*c_0101_6^6 - 45505881848346414/6549156264927607*c_0101_6^5 - 5567984542931309/6549156264927607*c_0101_6^4 + 2479544970027630/6549156264927607*c_0101_6^3 + 3675994207516683/6549156264927607*c_0101_6^2 - 1711733455843964/6549156264927607*c_0101_6 - 3416713945511500/6549156264927607, c_0011_5 + 4445955709530808/6549156264927607*c_0101_6^13 + 3245674649152604/6549156264927607*c_0101_6^12 + 40058016213709666/6549156264927607*c_0101_6^11 + 17198318535171957/6549156264927607*c_0101_6^10 + 137523780606767513/6549156264927607*c_0101_6^9 + 10027199517037994/6549156264927607*c_0101_6^8 + 175734270515226076/6549156264927607*c_0101_6^7 + 2893275112552652/6549156264927607*c_0101_6^6 + 68154267850148043/6549156264927607*c_0101_6^5 + 15932020067710014/6549156264927607*c_0101_6^4 - 14782352157833455/6549156264927607*c_0101_6^3 + 19778322872227064/6549156264927607*c_0101_6^2 - 4426480035092630/6549156264927607*c_0101_6 + 3896628680114196/6549156264927607, c_0101_1 - 782069980429424/6549156264927607*c_0101_6^13 - 492899660602640/6549156264927607*c_0101_6^12 - 7133144467828808/6549156264927607*c_0101_6^11 - 2598928578478120/6549156264927607*c_0101_6^10 - 25281969172222297/6549156264927607*c_0101_6^9 - 1297313943646156/6549156264927607*c_0101_6^8 - 35311081653145204/6549156264927607*c_0101_6^7 - 2227264286232373/6549156264927607*c_0101_6^6 - 16117784944456635/6549156264927607*c_0101_6^5 - 8862543637337766/6549156264927607*c_0101_6^4 + 1176977447272373/6549156264927607*c_0101_6^3 - 16995323233610387/6549156264927607*c_0101_6^2 - 27265292187238/6549156264927607*c_0101_6 - 4752183416969836/6549156264927607, c_0101_3 + 2719461236346960/6549156264927607*c_0101_6^13 + 28607819731832/6549156264927607*c_0101_6^12 + 22624972084922604/6549156264927607*c_0101_6^11 - 7203501601277626/6549156264927607*c_0101_6^10 + 72008331731117046/6549156264927607*c_0101_6^9 - 54082966877671465/6549156264927607*c_0101_6^8 + 84356733401239625/6549156264927607*c_0101_6^7 - 69013146382961788/6549156264927607*c_0101_6^6 + 4279511764569800/6549156264927607*c_0101_6^5 - 5252732901598536/6549156264927607*c_0101_6^4 - 45341577386211771/6549156264927607*c_0101_6^3 + 24855227809767838/6549156264927607*c_0101_6^2 - 12253336733329617/6549156264927607*c_0101_6 - 222297502239790/6549156264927607, c_0101_6^14 + 1/2*c_0101_6^13 + 35/4*c_0101_6^12 + 15/8*c_0101_6^11 + 233/8*c_0101_6^10 - 33/8*c_0101_6^9 + 281/8*c_0101_6^8 - 43/8*c_0101_6^7 + 15/2*c_0101_6^6 + 9/2*c_0101_6^5 - 57/8*c_0101_6^4 + 55/8*c_0101_6^3 + 1/4*c_0101_6^2 + 3/8*c_0101_6 - 3/8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB