Magma V2.19-8 Tue Aug 20 2013 16:14:17 on localhost [Seed = 1680209988] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s258 geometric_solution 4.41824077 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 1 0 0 1 0132 3201 2310 1023 0 0 0 0 0 1 -1 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 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 0 0 0 1.271409346115 0.131982351182 0 2 2 0 0132 0132 1023 1023 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 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 1.362367889966 0.412602357536 3 1 1 4 0132 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.347860220491 0.600866369574 2 4 4 5 0132 2310 3201 0132 0 0 0 0 0 -1 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.100472370301 0.785172454457 3 5 2 3 2310 0132 0132 3201 0 0 0 0 0 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 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.100472370301 0.785172454457 5 4 3 5 3012 0132 0132 1230 0 0 0 0 0 0 -1 1 -1 0 0 1 -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 -1 0 1 -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.674557469692 1.151080456355 ==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' : negation(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' : d['1'], 's_0_1' : d['1'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0011_0'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_0'], 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_3'], '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_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_0']), 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_2'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0101_0']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : negation(d['c_0011_4']), 'c_0110_4' : negation(d['c_0101_3']), 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : d['c_0101_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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 384160960676334076/3922100785932919*c_0101_3^21 + 13689922127459007954/19610503929664595*c_0101_3^20 - 14513616486372577759/19610503929664595*c_0101_3^19 - 12744227563283232122/3922100785932919*c_0101_3^18 + 154074940671886338882/19610503929664595*c_0101_3^17 - 267253917888422059528/19610503929664595*c_0101_3^16 + 295162366055203701063/19610503929664595*c_0101_3^15 - 158096863931430047111/19610503929664595*c_0101_3^14 - 213217924206330081072/19610503929664595*c_0101_3^13 + 47526324159909353437/3922100785932919*c_0101_3^12 + 20611589956606739718/19610503929664595*c_0101_3^11 + 147373381147325071891/19610503929664595*c_0101_3^10 - 248561425833791447803/19610503929664595*c_0101_3^9 - 16471582824702873909/3922100785932919*c_0101_3^8 + 177120287189768740901/19610503929664595*c_0101_3^7 + 47169710654011805743/19610503929664595*c_0101_3^6 - 41104558227854615093/19610503929664595*c_0101_3^5 - 56696557065896611242/19610503929664595*c_0101_3^4 + 13576422592848043469/19610503929664595*c_0101_3^3 + 22712637475371775911/19610503929664595*c_0101_3^2 - 4814527408554208702/19610503929664595*c_0101_3 - 3600500541038863901/19610503929664595, c_0011_0 - 1, c_0011_4 - 206418689321642916/3922100785932919*c_0101_3^21 + 637674274105799662/3922100785932919*c_0101_3^20 + 1155717637815860455/3922100785932919*c_0101_3^19 - 2641926695020243292/3922100785932919*c_0101_3^18 + 5160487393684930534/3922100785932919*c_0101_3^17 - 5853127383363877665/3922100785932919*c_0101_3^16 + 4344919225488804895/3922100785932919*c_0101_3^15 + 4912988492463659253/3922100785932919*c_0101_3^14 - 6039409525785819369/3922100785932919*c_0101_3^13 - 2588267720135256494/3922100785932919*c_0101_3^12 - 2474035947550082506/3922100785932919*c_0101_3^11 + 6928750346911352254/3922100785932919*c_0101_3^10 + 2201690180313536338/3922100785932919*c_0101_3^9 - 4928053259429250218/3922100785932919*c_0101_3^8 - 2026507367844216006/3922100785932919*c_0101_3^7 + 1385833084308604792/3922100785932919*c_0101_3^6 + 1792359299580524902/3922100785932919*c_0101_3^5 - 258442573478363878/3922100785932919*c_0101_3^4 - 696745572526923744/3922100785932919*c_0101_3^3 + 23907770127980807/3922100785932919*c_0101_3^2 + 140763191872210789/3922100785932919*c_0101_3 + 24796652601587993/3922100785932919, c_0101_0 + 1206429731501289132/3922100785932919*c_0101_3^21 - 3976479030173169426/3922100785932919*c_0101_3^20 - 5956521137690011621/3922100785932919*c_0101_3^19 + 16786742369203472788/3922100785932919*c_0101_3^18 - 33620746841096190985/3922100785932919*c_0101_3^17 + 40668173695810441789/3922100785932919*c_0101_3^16 - 32721876204655465126/3922100785932919*c_0101_3^15 - 23761438291303599908/3922100785932919*c_0101_3^14 + 42103196620654278909/3922100785932919*c_0101_3^13 + 5630613455991895970/3922100785932919*c_0101_3^12 + 12183258006726850447/3922100785932919*c_0101_3^11 - 42483310296261108571/3922100785932919*c_0101_3^10 - 4386904382829879790/3922100785932919*c_0101_3^9 + 31141911035151692139/3922100785932919*c_0101_3^8 + 4364015431140685846/3922100785932919*c_0101_3^7 - 9516014486973137379/3922100785932919*c_0101_3^6 - 8196062957353086877/3922100785932919*c_0101_3^5 + 3479432915009789498/3922100785932919*c_0101_3^4 + 3447457486574112684/3922100785932919*c_0101_3^3 - 1091702727613784341/3922100785932919*c_0101_3^2 - 589833595759357481/3922100785932919*c_0101_3 + 33357785243167495/3922100785932919, c_0101_1 - 55572297614835740/3922100785932919*c_0101_3^21 - 153475617717772618/3922100785932919*c_0101_3^20 + 1405173414711565851/3922100785932919*c_0101_3^19 + 814787239670127373/3922100785932919*c_0101_3^18 - 3213322691959931326/3922100785932919*c_0101_3^17 + 7783804736132510187/3922100785932919*c_0101_3^16 - 10553377989775034639/3922100785932919*c_0101_3^15 + 11208735821962715776/3922100785932919*c_0101_3^14 + 3602537698779485063/3922100785932919*c_0101_3^13 - 11868926918093856873/3922100785932919*c_0101_3^12 - 1755604752223457439/3922100785932919*c_0101_3^11 - 1638758464959691585/3922100785932919*c_0101_3^10 + 12505321660056541991/3922100785932919*c_0101_3^9 - 1021017594436491346/3922100785932919*c_0101_3^8 - 8597591122262929544/3922100785932919*c_0101_3^7 - 617204360023168761/3922100785932919*c_0101_3^6 + 3009930674017366013/3922100785932919*c_0101_3^5 + 2115995563284711661/3922100785932919*c_0101_3^4 - 1204556918412542724/3922100785932919*c_0101_3^3 - 845317040123808391/3922100785932919*c_0101_3^2 + 326663811456763416/3922100785932919*c_0101_3 + 157563155329792054/3922100785932919, c_0101_2 - 99186610406351972/3922100785932919*c_0101_3^21 + 140734447100588986/3922100785932919*c_0101_3^20 + 1108810673535971529/3922100785932919*c_0101_3^19 - 480861433888947083/3922100785932919*c_0101_3^18 + 160095048959199917/3922100785932919*c_0101_3^17 + 1912125902876903451/3922100785932919*c_0101_3^16 - 3795005217432074246/3922100785932919*c_0101_3^15 + 7320517537679364055/3922100785932919*c_0101_3^14 - 195121943463467305/3922100785932919*c_0101_3^13 - 6783309103833459159/3922100785932919*c_0101_3^12 - 1869164794689204697/3922100785932919*c_0101_3^11 + 1518225121305584367/3922100785932919*c_0101_3^10 + 7077530262520880212/3922100785932919*c_0101_3^9 - 2112927372362774444/3922100785932919*c_0101_3^8 - 5002443217234014197/3922100785932919*c_0101_3^7 + 56411450689175406/3922100785932919*c_0101_3^6 + 2129732662356244582/3922100785932919*c_0101_3^5 + 998866416329709126/3922100785932919*c_0101_3^4 - 828765583314887717/3922100785932919*c_0101_3^3 - 423982393909455821/3922100785932919*c_0101_3^2 + 201406439125029677/3922100785932919*c_0101_3 + 91169886669034803/3922100785932919, c_0101_3^22 - 7/2*c_0101_3^21 - 19/4*c_0101_3^20 + 33/2*c_0101_3^19 - 113/4*c_0101_3^18 + 131/4*c_0101_3^17 - 83/4*c_0101_3^16 - 30*c_0101_3^15 + 103/2*c_0101_3^14 + 15/2*c_0101_3^13 - 29/4*c_0101_3^12 - 161/4*c_0101_3^11 - 3/2*c_0101_3^10 + 87/2*c_0101_3^9 + 3/4*c_0101_3^8 - 21*c_0101_3^7 - 15/2*c_0101_3^6 + 8*c_0101_3^5 + 23/4*c_0101_3^4 - 11/4*c_0101_3^3 - 7/4*c_0101_3^2 + 1/2*c_0101_3 + 1/4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB