Magma V2.19-8 Tue Aug 20 2013 16:14:53 on localhost [Seed = 610646092] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s863 geometric_solution 5.50687403 oriented_manifold CS_known -0.0000000000000005 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 2 1302 2031 0132 0132 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 1 0 -1 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.295191220894 0.575655709756 3 3 4 0 0132 2103 0132 0132 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.294673879756 1.375464375698 3 4 0 4 3012 3012 0132 1302 0 0 0 0 0 -1 1 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 -1 1 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.173475844543 1.508438091648 1 1 5 2 0132 2103 0132 1230 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 -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.526613873890 0.563616809065 2 5 2 1 1230 3012 2031 0132 0 0 0 0 0 1 0 -1 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.518544094107 0.614208083911 4 5 5 3 1230 1230 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.260829792488 0.883356104048 ==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_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' : negation(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' : d['1'], 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : d['c_0101_4'], 'c_1100_1' : d['c_0101_4'], 'c_1100_0' : d['c_0101_4'], 'c_1100_3' : d['c_0011_5'], 'c_1100_2' : d['c_0101_4'], 'c_0101_5' : d['c_0011_1'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_0']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0011_2'], 'c_0101_0' : negation(d['c_0011_0']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0011_5']), 'c_1001_4' : negation(d['c_0011_5']), 'c_1001_1' : negation(d['c_0011_1']), 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : d['c_0011_1'], 'c_1001_2' : d['c_0011_0'], 'c_0110_1' : negation(d['c_0011_0']), 'c_0110_0' : d['c_0101_2'], 'c_0110_3' : d['c_0011_2'], 'c_0110_2' : d['c_0011_5'], 'c_0110_5' : negation(d['c_0011_0']), 'c_0110_4' : d['c_0011_2'], 'c_1010_5' : d['c_0011_1'], 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : d['c_0101_2'], 'c_1010_2' : negation(d['c_0101_4']), 'c_1010_1' : negation(d['c_0101_2']), 'c_1010_0' : d['c_0011_0']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_2, c_0011_5, c_0101_2, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t + 31066606701719636/853709929995375*c_0101_4^14 + 59608830809919053/284569976665125*c_0101_4^13 + 1251437176061073601/3414839719981500*c_0101_4^12 + 295731339831680663/853709929995375*c_0101_4^11 + 503356625379358586/853709929995375*c_0101_4^10 + 1093613649782407889/3414839719981500*c_0101_4^9 - 174476626664339443/569139953330250*c_0101_4^8 - 70947803358143941/341483971998150*c_0101_4^7 - 20470381162366237/341483971998150*c_0101_4^6 - 359446373559919859/3414839719981500*c_0101_4^5 - 66514791679502581/379426635553500*c_0101_4^4 - 50239023865032632/853709929995375*c_0101_4^3 + 164907421293974357/3414839719981500*c_0101_4^2 + 13026265344113003/341483971998150*c_0101_4 + 54630269169011687/3414839719981500, c_0011_0 - 1, c_0011_1 + 1149775599456373/284569976665125*c_0101_4^14 + 8265441465180541/379426635553500*c_0101_4^13 + 152542172493478097/4553119626642000*c_0101_4^12 + 8841260335811209/284569976665125*c_0101_4^11 + 147191764675155659/2276559813321000*c_0101_4^10 + 115119250309842433/4553119626642000*c_0101_4^9 - 4428986765549999/189713317776750*c_0101_4^8 + 235292694742631/56913995333025*c_0101_4^7 - 195388826472658/56913995333025*c_0101_4^6 - 51916044144329773/4553119626642000*c_0101_4^5 - 7737964107549407/505902180738000*c_0101_4^4 - 2787356666099779/1138279906660500*c_0101_4^3 + 12590793758080729/4553119626642000*c_0101_4^2 - 171140384909309/455311962664200*c_0101_4 + 3226940818742989/4553119626642000, c_0011_2 + 49266364321793/284569976665125*c_0101_4^14 + 936600135578681/379426635553500*c_0101_4^13 + 43783879017892477/4553119626642000*c_0101_4^12 + 14519974077974651/1138279906660500*c_0101_4^11 + 21563980173968269/2276559813321000*c_0101_4^10 + 82179667798562753/4553119626642000*c_0101_4^9 + 73811885772791/189713317776750*c_0101_4^8 - 1301745051258704/56913995333025*c_0101_4^7 - 247702006678928/56913995333025*c_0101_4^6 + 9876885509866807/4553119626642000*c_0101_4^5 - 3282866130736687/505902180738000*c_0101_4^4 - 5386376528996939/1138279906660500*c_0101_4^3 + 10321611777138389/4553119626642000*c_0101_4^2 + 1262880869734181/455311962664200*c_0101_4 + 1566287167757549/4553119626642000, c_0011_5 - 302946019894817/94856658888375*c_0101_4^14 - 2238452803509689/126475545184500*c_0101_4^13 - 41701956347074813/1517706542214000*c_0101_4^12 - 7703252806371869/379426635553500*c_0101_4^11 - 32906550428763361/758853271107000*c_0101_4^10 - 26919047194580057/1517706542214000*c_0101_4^9 + 2477167395350971/63237772592250*c_0101_4^8 + 89495358376676/18971331777675*c_0101_4^7 - 145458381451543/18971331777675*c_0101_4^6 + 21882018083411417/1517706542214000*c_0101_4^5 + 1966047349643303/168634060246000*c_0101_4^4 - 204684745531909/379426635553500*c_0101_4^3 - 6826626340025141/1517706542214000*c_0101_4^2 - 26317079949689/151770654221400*c_0101_4 - 255098438038181/1517706542214000, c_0101_2 + 1350679462/536797881*c_0101_4^14 + 5793395915/357865254*c_0101_4^13 + 150920035351/4294383048*c_0101_4^12 + 21887142940/536797881*c_0101_4^11 + 120698329705/2147191524*c_0101_4^10 + 223477094759/4294383048*c_0101_4^9 - 174154402/178932627*c_0101_4^8 - 13802521334/536797881*c_0101_4^7 - 196029884/536797881*c_0101_4^6 - 5983477331/4294383048*c_0101_4^5 - 9718055209/477153672*c_0101_4^4 - 11947690445/1073595762*c_0101_4^3 + 4852275887/4294383048*c_0101_4^2 + 6950590969/2147191524*c_0101_4 + 1432785827/4294383048, c_0101_4^15 + 23/4*c_0101_4^14 + 161/16*c_0101_4^13 + 155/16*c_0101_4^12 + 135/8*c_0101_4^11 + 159/16*c_0101_4^10 - 109/16*c_0101_4^9 - 7/2*c_0101_4^8 - 41/16*c_0101_4^6 - 37/8*c_0101_4^5 - 25/16*c_0101_4^4 + 17/16*c_0101_4^3 + 9/16*c_0101_4^2 + 3/16*c_0101_4 - 1/16 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB