Magma V2.19-8 Tue Aug 20 2013 16:18:32 on localhost [Seed = 425231402] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2719 geometric_solution 5.96884687 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 2 1 0132 0132 3201 3201 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 -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.606679059244 1.228324936005 0 0 4 3 0132 2310 0132 0132 0 0 0 0 0 1 -1 0 0 0 -1 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 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.039640948013 0.503920913109 0 0 6 5 2310 0132 0132 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 -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.784218033381 0.704322653782 4 6 1 4 1302 3120 0132 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.032829246456 0.954772455247 5 3 3 1 0213 2031 1230 0132 0 0 0 0 0 0 -1 1 -1 0 0 1 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.032829246456 0.954772455247 4 6 2 6 0213 2031 0132 1302 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 0 0 0 0 -1 0 0 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.718148950827 0.417305700210 5 3 5 2 1302 3120 2031 0132 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 -1 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.718148950827 0.417305700210 ==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_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_5']), 'c_1100_5' : negation(d['c_0011_5']), 'c_1100_4' : d['c_0110_3'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0110_3'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0110_3'], 'c_1100_2' : negation(d['c_0011_5']), 'c_0101_6' : negation(d['c_0011_5']), 'c_0101_5' : d['c_0011_4'], 'c_0101_4' : d['c_0011_5'], 'c_0101_3' : negation(d['c_0011_4']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_4']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_5'], '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_0101_2']), 'c_1001_4' : negation(d['c_0110_3']), 'c_1001_6' : d['c_0101_1'], 'c_1001_1' : d['c_0011_3'], 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0011_3']), 'c_0110_1' : negation(d['c_0011_4']), 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0110_3'], 'c_0110_2' : d['c_0011_4'], 'c_0110_5' : negation(d['c_0101_1']), 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : d['c_0101_2'], 'c_1010_6' : negation(d['c_0011_3']), 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : d['c_0011_3'], 'c_1010_3' : negation(d['c_0011_5']), 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : negation(d['c_0011_3'])})} 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_0011_5, c_0101_1, c_0101_2, c_0110_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t - 2018162480956484/514954179707541*c_0110_3^14 - 14572952283257639/514954179707541*c_0110_3^13 - 758568821992600/24521627605121*c_0110_3^12 + 113707801177415971/514954179707541*c_0110_3^11 + 42886520454844889/73564882815363*c_0110_3^10 - 121095500520715838/514954179707541*c_0110_3^9 - 401153044143818667/171651393235847*c_0110_3^8 - 457075891851225278/171651393235847*c_0110_3^7 - 479038835894654906/514954179707541*c_0110_3^6 + 92954238821679962/171651393235847*c_0110_3^5 + 499233956876776657/514954179707541*c_0110_3^4 + 259389940018588481/514954179707541*c_0110_3^3 + 1370078394190343/73564882815363*c_0110_3^2 - 45052988016132224/514954179707541*c_0110_3 - 28544766409527877/514954179707541, c_0011_0 - 1, c_0011_3 + 2545990704634/24521627605121*c_0110_3^14 + 19772009038312/24521627605121*c_0110_3^13 + 31001133073000/24521627605121*c_0110_3^12 - 125496697533795/24521627605121*c_0110_3^11 - 445668611923168/24521627605121*c_0110_3^10 - 99228251921080/24521627605121*c_0110_3^9 + 1437799820904404/24521627605121*c_0110_3^8 + 2530871415158091/24521627605121*c_0110_3^7 + 2105579448284675/24521627605121*c_0110_3^6 + 870099878016940/24521627605121*c_0110_3^5 - 243119863849557/24521627605121*c_0110_3^4 - 483172336484679/24521627605121*c_0110_3^3 - 263849384771341/24521627605121*c_0110_3^2 - 86876101806024/24521627605121*c_0110_3 + 6100202158263/24521627605121, c_0011_4 + 2545990704634/24521627605121*c_0110_3^14 + 19772009038312/24521627605121*c_0110_3^13 + 31001133073000/24521627605121*c_0110_3^12 - 125496697533795/24521627605121*c_0110_3^11 - 445668611923168/24521627605121*c_0110_3^10 - 99228251921080/24521627605121*c_0110_3^9 + 1437799820904404/24521627605121*c_0110_3^8 + 2530871415158091/24521627605121*c_0110_3^7 + 2105579448284675/24521627605121*c_0110_3^6 + 870099878016940/24521627605121*c_0110_3^5 - 243119863849557/24521627605121*c_0110_3^4 - 483172336484679/24521627605121*c_0110_3^3 - 263849384771341/24521627605121*c_0110_3^2 - 86876101806024/24521627605121*c_0110_3 + 6100202158263/24521627605121, c_0011_5 - 2253103056606/24521627605121*c_0110_3^14 - 19654006561164/24521627605121*c_0110_3^13 - 40031232044679/24521627605121*c_0110_3^12 + 114699118785794/24521627605121*c_0110_3^11 + 533160535355152/24521627605121*c_0110_3^10 + 233295101965993/24521627605121*c_0110_3^9 - 1794678611041615/24521627605121*c_0110_3^8 - 3205752612394004/24521627605121*c_0110_3^7 - 1610232965396397/24521627605121*c_0110_3^6 + 138143404656186/24521627605121*c_0110_3^5 + 594998183804023/24521627605121*c_0110_3^4 + 595745221242137/24521627605121*c_0110_3^3 + 136299752800143/24521627605121*c_0110_3^2 - 60948081181591/24521627605121*c_0110_3 - 5926019859991/24521627605121, c_0101_1 + 16017643549653/24521627605121*c_0110_3^14 + 119224648375422/24521627605121*c_0110_3^13 + 149495552845046/24521627605121*c_0110_3^12 - 889129093459705/24521627605121*c_0110_3^11 - 2573008065972522/24521627605121*c_0110_3^10 + 611245283597969/24521627605121*c_0110_3^9 + 9906571346010154/24521627605121*c_0110_3^8 + 12231113085605987/24521627605121*c_0110_3^7 + 5006454864801805/24521627605121*c_0110_3^6 - 612807669009230/24521627605121*c_0110_3^5 - 2573055894192815/24521627605121*c_0110_3^4 - 1920804300742737/24521627605121*c_0110_3^3 - 235931668129049/24521627605121*c_0110_3^2 + 139502532177627/24521627605121*c_0110_3 + 16039299859620/24521627605121, c_0101_2 + 25774606462554/24521627605121*c_0110_3^14 + 183506254530949/24521627605121*c_0110_3^13 + 184558433747961/24521627605121*c_0110_3^12 - 1468827233031933/24521627605121*c_0110_3^11 - 3656435850088122/24521627605121*c_0110_3^10 + 1969332097093524/24521627605121*c_0110_3^9 + 14970746671047400/24521627605121*c_0110_3^8 + 15324699876494220/24521627605121*c_0110_3^7 + 4667460915097217/24521627605121*c_0110_3^6 - 1601564795999252/24521627605121*c_0110_3^5 - 3499526151978093/24521627605121*c_0110_3^4 - 2172008558463524/24521627605121*c_0110_3^3 - 14767735297160/24521627605121*c_0110_3^2 + 168721597254978/24521627605121*c_0110_3 - 2969982687073/24521627605121, c_0110_3^15 + 7*c_0110_3^14 + 6*c_0110_3^13 - 60*c_0110_3^12 - 137*c_0110_3^11 + 111*c_0110_3^10 + 613*c_0110_3^9 + 498*c_0110_3^8 - 62*c_0110_3^7 - 249*c_0110_3^6 - 179*c_0110_3^5 - 53*c_0110_3^4 + 47*c_0110_3^3 + 29*c_0110_3^2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.220 seconds, Total memory usage: 32.09MB