Magma V2.19-8 Tue Aug 20 2013 16:18:08 on localhost [Seed = 1157945470] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2352 geometric_solution 5.72841717 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 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 0 0 0 0 0 0 0 0 0 1.623344302614 0.437886491432 0 2 3 0 3201 0132 0132 0132 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 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.851623263588 0.578829525131 4 1 3 5 0132 0132 1302 0132 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 -1 0 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.489008881311 0.630292777386 2 5 4 1 2031 2310 1023 0132 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 0 0 -1 1 0 0 0 0 -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.489008881311 0.630292777386 2 6 3 6 0132 0132 1023 1023 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 1 0 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.735515274124 1.351570956747 5 5 2 3 1302 2031 0132 3201 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 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.470508413666 0.465836874960 6 4 6 4 2310 0132 3201 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.554710387722 0.254078482080 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : negation(d['1']), 's_3_5' : negation(d['1']), 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : negation(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' : negation(d['1']), 's_1_2' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : negation(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' : d['1'], 'c_1100_6' : d['c_0011_1'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : negation(d['c_0011_5']), 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : negation(d['c_0011_3']), 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_1']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0110_5']), 'c_1001_4' : negation(d['c_0011_3']), 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : negation(d['c_0110_5']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_5']), 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_0']), 'c_0110_2' : negation(d['c_0011_5']), 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_6' : negation(d['c_0101_6']), 'c_1010_6' : negation(d['c_0011_3']), 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : negation(d['c_0101_6']), 'c_1010_3' : negation(d['c_0110_5']), 'c_1010_2' : negation(d['c_0110_5']), 'c_1010_1' : negation(d['c_0011_0']), '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_1, c_0011_3, c_0011_5, c_0101_0, c_0101_6, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 34 Groebner basis: [ t - 28839670132404539/2860129749319401*c_0101_6*c_0110_5^16 - 106316020810587940/2860129749319401*c_0101_6*c_0110_5^15 + 16287158632832443/953376583106467*c_0101_6*c_0110_5^14 + 887057386415395636/2860129749319401*c_0101_6*c_0110_5^13 + 413483558194898713/953376583106467*c_0101_6*c_0110_5^12 - 5004354657278831458/2860129749319401*c_0101_6*c_0110_5^11 - 4212606023438638001/2860129749319401*c_0101_6*c_0110_5^10 + 4071226297182489703/953376583106467*c_0101_6*c_0110_5^9 + 2882879387743774509/953376583106467*c_0101_6*c_0110_5^8 - 4395699574483197491/953376583106467*c_0101_6*c_0110_5^7 - 3211538982017490145/953376583106467*c_0101_6*c_0110_5^6 + 7661832702724063703/2860129749319401*c_0101_6*c_0110_5^5 + 7081897144599268795/2860129749319401*c_0101_6*c_0110_5^4 - 76404718279761925/220009980716877*c_0101_6*c_0110_5^3 - 568274640131467676/953376583106467*c_0101_6*c_0110_5^2 - 3841426084902370/168242926430553*c_0101_6*c_0110_5 + 139273051312270396/2860129749319401*c_0101_6, c_0011_0 - 1, c_0011_1 + 635877062281070/2860129749319401*c_0110_5^16 + 1787546023514776/2860129749319401*c_0110_5^15 - 909730014992395/953376583106467*c_0110_5^14 - 17569394258160415/2860129749319401*c_0110_5^13 - 4060795605425634/953376583106467*c_0110_5^12 + 123591524928872407/2860129749319401*c_0110_5^11 - 9008201351051257/2860129749319401*c_0110_5^10 - 90451926845918940/953376583106467*c_0110_5^9 + 7656302338395300/953376583106467*c_0110_5^8 + 95102970130895149/953376583106467*c_0110_5^7 + 6333300843025196/953376583106467*c_0110_5^6 - 186410312004045845/2860129749319401*c_0110_5^5 - 45299447766836032/2860129749319401*c_0110_5^4 + 3683891834325487/220009980716877*c_0110_5^3 + 8320330483877497/953376583106467*c_0110_5^2 - 25140553714001/168242926430553*c_0110_5 - 2974862991910360/2860129749319401, c_0011_3 + 1524672678067742/2860129749319401*c_0101_6*c_0110_5^16 + 5467721260675153/2860129749319401*c_0101_6*c_0110_5^15 - 993647564791266/953376583106467*c_0101_6*c_0110_5^14 - 46258393471390504/2860129749319401*c_0101_6*c_0110_5^13 - 20598612494648563/953376583106467*c_0101_6*c_0110_5^12 + 267062882496820651/2860129749319401*c_0101_6*c_0110_5^11 + 195244417248587063/2860129749319401*c_0101_6*c_0110_5^10 - 211786288431109914/953376583106467*c_0101_6*c_0110_5^9 - 137591633135829887/953376583106467*c_0101_6*c_0110_5^8 + 227223888347584488/953376583106467*c_0101_6*c_0110_5^7 + 161884953195833392/953376583106467*c_0101_6*c_0110_5^6 - 412350692905814642/2860129749319401*c_0101_6*c_0110_5^5 - 357348823570232977/2860129749319401*c_0101_6*c_0110_5^4 + 4638223193889934/220009980716877*c_0101_6*c_0110_5^3 + 29525053060266435/953376583106467*c_0101_6*c_0110_5^2 + 291701789405608/168242926430553*c_0101_6*c_0110_5 - 4631790707097397/2860129749319401*c_0101_6, c_0011_5 + 135000976213804/2860129749319401*c_0101_6*c_0110_5^16 + 434098928281361/2860129749319401*c_0101_6*c_0110_5^15 - 42458249834168/953376583106467*c_0101_6*c_0110_5^14 - 3182080056768764/2860129749319401*c_0101_6*c_0110_5^13 - 1820047719248444/953376583106467*c_0101_6*c_0110_5^12 + 17418039464030300/2860129749319401*c_0101_6*c_0110_5^11 + 4299044192069935/2860129749319401*c_0101_6*c_0110_5^10 - 438086115401704/953376583106467*c_0101_6*c_0110_5^9 - 11863012244591126/953376583106467*c_0101_6*c_0110_5^8 - 16751602474877120/953376583106467*c_0101_6*c_0110_5^7 + 21273464020348021/953376583106467*c_0101_6*c_0110_5^6 + 64891068041108984/2860129749319401*c_0101_6*c_0110_5^5 - 43204392483936401/2860129749319401*c_0101_6*c_0110_5^4 - 3822154218015388/220009980716877*c_0101_6*c_0110_5^3 + 979058088899222/953376583106467*c_0101_6*c_0110_5^2 + 588809611933220/168242926430553*c_0101_6*c_0110_5 + 1779228012025225/2860129749319401*c_0101_6, c_0101_0 + 424796024349368/2860129749319401*c_0110_5^16 + 1446391215388204/2860129749319401*c_0110_5^15 - 430231427172309/953376583106467*c_0110_5^14 - 13260985977633517/2860129749319401*c_0110_5^13 - 4728258765651825/953376583106467*c_0110_5^12 + 82408360108084663/2860129749319401*c_0110_5^11 + 44847499001731475/2860129749319401*c_0110_5^10 - 73493170148605076/953376583106467*c_0110_5^9 - 26472296074079134/953376583106467*c_0110_5^8 + 91996334634989085/953376583106467*c_0110_5^7 + 32079859893287899/953376583106467*c_0110_5^6 - 197528912081840447/2860129749319401*c_0110_5^5 - 85007427078992326/2860129749319401*c_0110_5^4 + 5484397747022422/220009980716877*c_0110_5^3 + 10323789020441912/953376583106467*c_0110_5^2 - 701388833888774/168242926430553*c_0110_5 - 3081203526310033/2860129749319401, c_0101_6^2 - 1720360528395932/2860129749319401*c_0110_5^16 - 5445800289708172/2860129749319401*c_0110_5^15 + 1874457353787181/953376583106467*c_0110_5^14 + 49694392806088858/2860129749319401*c_0110_5^13 + 16324572821425318/953376583106467*c_0110_5^12 - 320435960958482029/2860129749319401*c_0110_5^11 - 84095865813746282/2860129749319401*c_0110_5^10 + 247762820184747132/953376583106467*c_0110_5^9 + 46876017794482236/953376583106467*c_0110_5^8 - 262685180984487212/953376583106467*c_0110_5^7 - 67315758186543587/953376583106467*c_0110_5^6 + 489604141873613942/2860129749319401*c_0110_5^5 + 185123355924487102/2860129749319401*c_0110_5^4 - 8404877115169435/220009980716877*c_0110_5^3 - 15919777736777840/953376583106467*c_0110_5^2 + 138393729731960/168242926430553*c_0110_5 - 697770379934780/2860129749319401, c_0110_5^17 + 3*c_0110_5^16 - 4*c_0110_5^15 - 29*c_0110_5^14 - 23*c_0110_5^13 + 197*c_0110_5^12 + 24*c_0110_5^11 - 479*c_0110_5^10 - 21*c_0110_5^9 + 561*c_0110_5^8 + 63*c_0110_5^7 - 400*c_0110_5^6 - 93*c_0110_5^5 + 141*c_0110_5^4 + 44*c_0110_5^3 - 20*c_0110_5^2 - 7*c_0110_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB