Magma V2.19-8 Tue Aug 20 2013 16:19:06 on localhost [Seed = 3448524983] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3238 geometric_solution 6.36764142 oriented_manifold CS_known 0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 -1 1 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.472390578920 0.265074816804 0 5 6 2 0132 0132 0132 0132 0 0 0 0 0 0 0 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 0 0 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.769289741838 0.797973097477 3 0 1 5 2031 0132 0132 1302 0 0 0 0 0 0 0 0 1 0 0 -1 1 -1 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 1 -1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.975584771664 1.159445249347 4 5 2 0 3012 1302 1302 0132 0 0 0 0 0 0 -1 1 -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 -1 0 1 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.578222550348 1.164767898660 6 5 0 3 0132 2031 0132 1230 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 -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.958646456503 0.967035562550 4 1 2 3 1302 0132 2031 2031 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 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.294548019003 1.284611384201 4 6 6 1 0132 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.698068844518 0.617661165530 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : 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' : 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_4']), 'c_1100_5' : negation(d['c_1001_0']), 'c_1100_4' : d['c_0101_0'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : d['c_0101_0'], 'c_1100_3' : d['c_0101_0'], 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0011_3'], 'c_0101_5' : negation(d['c_0011_4']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_0'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_0'], '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_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0110_2']), 'c_1001_4' : negation(d['c_0110_2']), 'c_1001_6' : d['c_0011_4'], 'c_1001_1' : d['c_0011_3'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0110_2'], 'c_1001_2' : negation(d['c_0110_2']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0110_2'], 'c_0110_5' : d['c_0110_2'], 'c_0110_4' : d['c_0011_3'], 'c_0110_6' : d['c_0101_1'], 'c_1010_6' : d['c_0011_3'], 'c_1010_5' : d['c_0011_3'], 'c_1010_4' : d['c_0011_0'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0110_2']), 'c_1010_0' : negation(d['c_0110_2'])})} 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_0101_0, c_0101_1, c_0110_2, c_1001_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t - 271075964712052391/272001654726171321*c_1001_0^11 + 1518160435025611514/90667218242057107*c_1001_0^10 - 2614578867732005015/272001654726171321*c_1001_0^9 + 49265831868853818184/272001654726171321*c_1001_0^8 - 5291910920679605552/272001654726171321*c_1001_0^7 - 12939453285837836700/90667218242057107*c_1001_0^6 - 15889423102030089120/90667218242057107*c_1001_0^5 + 13729447983431169111/90667218242057107*c_1001_0^4 + 733876756821964286/38857379246595903*c_1001_0^3 - 1950802609906146142/90667218242057107*c_1001_0^2 + 1750325029059223038/90667218242057107*c_1001_0 + 4931498738593967606/272001654726171321, c_0011_0 - 1, c_0011_3 + 117998378681087/264335913242149*c_1001_0^11 - 2026968097570683/264335913242149*c_1001_0^10 + 1894185770833649/264335913242149*c_1001_0^9 - 22040909494510021/264335913242149*c_1001_0^8 + 10523399972812632/264335913242149*c_1001_0^7 + 14239491125214890/264335913242149*c_1001_0^6 + 15154820007297484/264335913242149*c_1001_0^5 - 24199659778087688/264335913242149*c_1001_0^4 + 827637359785347/37762273320307*c_1001_0^3 + 1751340311497327/264335913242149*c_1001_0^2 - 3051200114290878/264335913242149*c_1001_0 - 816183232214611/264335913242149, c_0011_4 + 100134751315876/264335913242149*c_1001_0^11 - 1722920265281420/264335913242149*c_1001_0^10 + 1663249555270280/264335913242149*c_1001_0^9 - 18878549274217723/264335913242149*c_1001_0^8 + 9579684276911454/264335913242149*c_1001_0^7 + 10426814661505808/264335913242149*c_1001_0^6 + 13202735320678364/264335913242149*c_1001_0^5 - 20025717976281169/264335913242149*c_1001_0^4 + 876814120335770/37762273320307*c_1001_0^3 - 340383602941029/264335913242149*c_1001_0^2 - 2033963267618192/264335913242149*c_1001_0 - 470880156929368/264335913242149, c_0101_0 + 235805558064820/264335913242149*c_1001_0^11 - 4046387009653549/264335913242149*c_1001_0^10 + 3714784634334472/264335913242149*c_1001_0^9 - 44021427972708938/264335913242149*c_1001_0^8 + 20219185116861839/264335913242149*c_1001_0^7 + 28395079847499564/264335913242149*c_1001_0^6 + 30362619535638085/264335913242149*c_1001_0^5 - 47045947843904239/264335913242149*c_1001_0^4 + 1550728234745484/37762273320307*c_1001_0^3 + 2985364781359812/264335913242149*c_1001_0^2 - 6284232486967614/264335913242149*c_1001_0 - 1249660852676567/264335913242149, c_0101_1 + 176469428524099/264335913242149*c_1001_0^11 - 3014866419586674/264335913242149*c_1001_0^10 + 2538315402642178/264335913242149*c_1001_0^9 - 32513567020558532/264335913242149*c_1001_0^8 + 12504560483307339/264335913242149*c_1001_0^7 + 24863328723847291/264335913242149*c_1001_0^6 + 23942429146644791/264335913242149*c_1001_0^5 - 34440746867260200/264335913242149*c_1001_0^4 + 470731127566055/37762273320307*c_1001_0^3 + 4390540342517332/264335913242149*c_1001_0^2 - 4983027543027185/264335913242149*c_1001_0 - 1227974710445886/264335913242149, c_0110_2 + 72816402466160/264335913242149*c_1001_0^11 - 1274679163981396/264335913242149*c_1001_0^10 + 1586644678139110/264335913242149*c_1001_0^9 - 14125863880562904/264335913242149*c_1001_0^8 + 11105015471957219/264335913242149*c_1001_0^7 + 5126515623492656/264335913242149*c_1001_0^6 + 7482491076298820/264335913242149*c_1001_0^5 - 16993159694549292/264335913242149*c_1001_0^4 + 1321846179782300/37762273320307*c_1001_0^3 - 2168480169794305/264335913242149*c_1001_0^2 - 1512481886419734/264335913242149*c_1001_0 + 68232632349368/264335913242149, c_1001_0^12 - 17*c_1001_0^11 + 13*c_1001_0^10 - 184*c_1001_0^9 + 56*c_1001_0^8 + 136*c_1001_0^7 + 150*c_1001_0^6 - 180*c_1001_0^5 + 11*c_1001_0^4 + 20*c_1001_0^3 - 24*c_1001_0^2 - 10*c_1001_0 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB