Magma V2.19-8 Tue Aug 20 2013 16:19:25 on localhost [Seed = 1208604023] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3525 geometric_solution 6.85137072 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 1 3 0132 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 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.625594354010 0.620561967587 0 4 0 3 0132 0132 1023 3201 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.625594354010 0.620561967587 5 0 6 3 0132 0132 0132 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 -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.534131201807 0.834362504726 2 1 0 4 3012 2310 0132 2103 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 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.959271146900 0.975915954797 5 1 6 3 2310 0132 2310 2103 0 0 0 0 0 0 0 0 0 0 0 0 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 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.534131201807 0.834362504726 2 5 4 5 0132 2310 3201 3201 0 0 0 0 0 -1 1 0 0 0 -1 1 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 1 -1 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.240955293321 1.119893048460 6 4 6 2 2031 3201 1302 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.603106462736 1.200448815626 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(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' : negation(d['1']), 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(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' : negation(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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : negation(d['c_0011_6']), 'c_1100_5' : negation(d['c_0011_0']), 'c_1100_4' : d['c_0011_6'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_3']), 'c_1100_0' : d['c_0011_3'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : negation(d['c_0011_6']), 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : d['c_0011_3'], 'c_0101_4' : negation(d['c_0101_2']), 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], '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_0'], 'c_0011_6' : d['c_0011_6'], '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_0101_2'], 'c_1001_4' : negation(d['c_1001_2']), 'c_1001_6' : d['c_0101_2'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_6']), 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_6' : d['c_0101_2'], 'c_1010_6' : d['c_1001_2'], 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : negation(d['c_0101_0']), 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_1001_2']), 'c_1010_0' : d['c_1001_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_6, c_0101_0, c_0101_1, c_0101_2, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 374382001284610105192666040/240683807939886966493192429*c_1001_2^18 + 206824860756687909685202655/240683807939886966493192429*c_1001_2^\ 16 - 1435200690453859770019862209/240683807939886966493192429*c_100\ 1_2^14 - 6217240951846002973517992201/240683807939886966493192429*c\ _1001_2^12 + 18750514852364476424734028/240683807939886966493192429\ *c_1001_2^10 - 12972571040419978866479870230/2406838079398869664931\ 92429*c_1001_2^8 - 20568010992947799219438544320/240683807939886966\ 493192429*c_1001_2^6 - 17543995827835489864157041658/24068380793988\ 6966493192429*c_1001_2^4 + 1341509056353678949701546379/24068380793\ 9886966493192429*c_1001_2^2 + 2343940670189005619715018664/24068380\ 7939886966493192429, c_0011_0 - 1, c_0011_3 - 1258579160003259862332312/12667568838941419289115391*c_1001_\ 2^18 - 769476435935680515789491/12667568838941419289115391*c_1001_2\ ^16 + 5246143473726206595388254/12667568838941419289115391*c_1001_2\ ^14 + 21446209389228124563686927/12667568838941419289115391*c_1001_\ 2^12 - 641765232900612729193323/12667568838941419289115391*c_1001_2\ ^10 + 35659461521425250109482243/12667568838941419289115391*c_1001_\ 2^8 + 71097198747353488561071323/12667568838941419289115391*c_1001_\ 2^6 + 48925777708199442845154643/12667568838941419289115391*c_1001_\ 2^4 - 25882510403582649686045050/12667568838941419289115391*c_1001_\ 2^2 - 22486277199299754928031033/12667568838941419289115391, c_0011_6 + 97317509505954752979951184/240683807939886966493192429*c_100\ 1_2^19 + 53474637120071436164056306/240683807939886966493192429*c_1\ 001_2^17 - 380615968087867144252840903/240683807939886966493192429*\ c_1001_2^15 - 1616531689426371488063197583/240683807939886966493192\ 429*c_1001_2^13 + 37111502611215166647405554/2406838079398869664931\ 92429*c_1001_2^11 - 3255742839786372999243790903/240683807939886966\ 493192429*c_1001_2^9 - 5358283816454319802032959427/240683807939886\ 966493192429*c_1001_2^7 - 4275483323324099307732959644/240683807939\ 886966493192429*c_1001_2^5 + 600228743484343972849660133/2406838079\ 39886966493192429*c_1001_2^3 + 774537536532078371712112687/24068380\ 7939886966493192429*c_1001_2, c_0101_0 - 71138631032129951819755160/240683807939886966493192429*c_100\ 1_2^19 - 36854139912069483958926723/240683807939886966493192429*c_1\ 001_2^17 + 264134149827649751636110704/240683807939886966493192429*\ c_1001_2^15 + 1169103364978709965535369235/240683807939886966493192\ 429*c_1001_2^13 - 1926940749207050484259883/24068380793988696649319\ 2429*c_1001_2^11 + 2612206904211372327195377305/2406838079398869664\ 93192429*c_1001_2^9 + 3759599240226651524232172039/2406838079398869\ 66493192429*c_1001_2^7 + 3524921210188243168656895390/2406838079398\ 86966493192429*c_1001_2^5 + 286029343479289308318331956/24068380793\ 9886966493192429*c_1001_2^3 - 156686808810427989397288754/240683807\ 939886966493192429*c_1001_2, c_0101_1 + 71138631032129951819755160/240683807939886966493192429*c_100\ 1_2^19 + 36854139912069483958926723/240683807939886966493192429*c_1\ 001_2^17 - 264134149827649751636110704/240683807939886966493192429*\ c_1001_2^15 - 1169103364978709965535369235/240683807939886966493192\ 429*c_1001_2^13 + 1926940749207050484259883/24068380793988696649319\ 2429*c_1001_2^11 - 2612206904211372327195377305/2406838079398869664\ 93192429*c_1001_2^9 - 3759599240226651524232172039/2406838079398869\ 66493192429*c_1001_2^7 - 3524921210188243168656895390/2406838079398\ 86966493192429*c_1001_2^5 - 286029343479289308318331956/24068380793\ 9886966493192429*c_1001_2^3 + 156686808810427989397288754/240683807\ 939886966493192429*c_1001_2, c_0101_2 + 169650398835199294154120/12667568838941419289115391*c_1001_2\ ^18 - 378203507383324288281279/12667568838941419289115391*c_1001_2^\ 16 - 445234406582623262762824/12667568838941419289115391*c_1001_2^1\ 4 - 896082501477938971744872/12667568838941419289115391*c_1001_2^12 + 6005958290359278088916259/12667568838941419289115391*c_1001_2^10 - 12596861533933101231770490/12667568838941419289115391*c_1001_2^8 + 9184329824169127968618417/12667568838941419289115391*c_1001_2^6 - 568034632828125388464268/12667568838941419289115391*c_1001_2^4 + 3212066416466447803443857/12667568838941419289115391*c_1001_2^2 - 7262301608610237904010953/12667568838941419289115391, c_1001_2^20 + 91/88*c_1001_2^18 - 79/22*c_1001_2^16 - 1625/88*c_1001_2^14 - 87/11*c_1001_2^12 - 3011/88*c_1001_2^10 - 6279/88*c_1001_2^8 - 3159/44*c_1001_2^6 - 1663/88*c_1001_2^4 + 829/88*c_1001_2^2 + 361/88 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB