Magma V2.19-8 Tue Aug 20 2013 16:18:52 on localhost [Seed = 947496270] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3027 geometric_solution 6.19642160 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 1230 3012 0 0 0 0 0 0 1 -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 1 0 -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.002263023923 0.737902636071 0 3 5 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 -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 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.243905521124 0.976397072809 3 0 4 5 0132 0132 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.243905521124 0.976397072809 2 1 6 6 0132 0132 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.632826543832 1.178892059013 4 4 1 2 1302 2031 0132 0132 0 0 0 0 0 0 0 0 1 0 -1 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 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.529657202450 0.889257136356 2 5 5 1 3201 1230 3012 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.804162136503 0.811602576975 3 6 6 3 3201 3201 2310 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 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.443789265069 0.741911554857 ==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' : d['c_0011_6'], 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_5'], 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : d['c_0011_6'], 'c_1100_2' : d['c_0011_5'], 'c_0101_6' : negation(d['c_0101_2']), 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : d['c_0101_3'], '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_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0011_5']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0101_2'], 'c_1001_1' : negation(d['c_0101_3']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : d['c_0011_4'], 'c_0110_1' : negation(d['c_0011_4']), 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), 'c_1010_0' : d['c_0011_4']})} 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_4, c_0011_5, c_0011_6, c_0101_1, c_0101_2, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 9 Groebner basis: [ t + 1447/37*c_0101_3^8 + 771/37*c_0101_3^7 - 23772/37*c_0101_3^6 - 24024/37*c_0101_3^5 + 78766/37*c_0101_3^4 + 92974/37*c_0101_3^3 - 34943/37*c_0101_3^2 - 57015/37*c_0101_3 - 10072/37, c_0011_0 - 1, c_0011_4 + 23/37*c_0101_3^8 - 16/37*c_0101_3^7 - 344/37*c_0101_3^6 + 20/37*c_0101_3^5 + 1042/37*c_0101_3^4 + 339/37*c_0101_3^3 - 558/37*c_0101_3^2 - 229/37*c_0101_3 - 46/37, c_0011_5 + 9/37*c_0101_3^8 + 5/37*c_0101_3^7 - 133/37*c_0101_3^6 - 182/37*c_0101_3^5 + 308/37*c_0101_3^4 + 826/37*c_0101_3^3 + 105/37*c_0101_3^2 - 532/37*c_0101_3 - 166/37, c_0011_6 - 69/37*c_0101_3^8 + 85/37*c_0101_3^7 + 958/37*c_0101_3^6 - 504/37*c_0101_3^5 - 2534/37*c_0101_3^4 - 277/37*c_0101_3^3 + 1415/37*c_0101_3^2 + 465/37*c_0101_3 - 10/37, c_0101_1 + 27/37*c_0101_3^8 + 15/37*c_0101_3^7 - 436/37*c_0101_3^6 - 472/37*c_0101_3^5 + 1368/37*c_0101_3^4 + 1886/37*c_0101_3^3 - 425/37*c_0101_3^2 - 1189/37*c_0101_3 - 276/37, c_0101_2 - 133/37*c_0101_3^8 + 218/37*c_0101_3^7 + 1764/37*c_0101_3^6 - 1697/37*c_0101_3^5 - 4272/37*c_0101_3^4 + 1241/37*c_0101_3^3 + 2395/37*c_0101_3^2 - 11/37*c_0101_3 - 141/37, c_0101_3^9 - 2*c_0101_3^8 - 13*c_0101_3^7 + 18*c_0101_3^6 + 32*c_0101_3^5 - 24*c_0101_3^4 - 26*c_0101_3^3 + 7*c_0101_3^2 + 7*c_0101_3 + 1 ], Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_4, c_0011_5, c_0011_6, c_0101_1, c_0101_2, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t - 182967904539444474326672/13774987258836655013*c_0101_3^13 - 168108328809786067362626/13774987258836655013*c_0101_3^12 - 430541899403068578740951/13774987258836655013*c_0101_3^11 - 34571266680012412590232/13774987258836655013*c_0101_3^10 - 337864235676038123079264/13774987258836655013*c_0101_3^9 + 167885976166347407675838/13774987258836655013*c_0101_3^8 - 184165964062629346289174/13774987258836655013*c_0101_3^7 + 120583893143675440814027/13774987258836655013*c_0101_3^6 - 73621087646298252806302/13774987258836655013*c_0101_3^5 + 40889613880213391986085/13774987258836655013*c_0101_3^4 - 16128954184750559742838/13774987258836655013*c_0101_3^3 + 7939883570658035175432/13774987258836655013*c_0101_3^2 - 2913920370688037509127/13774987258836655013*c_0101_3 + 874034756966451689186/13774987258836655013, c_0011_0 - 1, c_0011_4 - 2486533617997404247016/13774987258836655013*c_0101_3^13 - 5204111551471461256937/13774987258836655013*c_0101_3^12 - 8630591205990223479770/13774987258836655013*c_0101_3^11 - 7227498220756411199722/13774987258836655013*c_0101_3^10 - 5547357745200475095007/13774987258836655013*c_0101_3^9 - 3223589393297892780616/13774987258836655013*c_0101_3^8 - 723479663991021734305/13774987258836655013*c_0101_3^7 - 997140513262493818529/13774987258836655013*c_0101_3^6 + 619782973741720046815/13774987258836655013*c_0101_3^5 - 234381747890846084273/13774987258836655013*c_0101_3^4 + 307131054583954713414/13774987258836655013*c_0101_3^3 - 63291353572218690581/13774987258836655013*c_0101_3^2 + 48285477880074849554/13774987258836655013*c_0101_3 - 7603607698322562688/13774987258836655013, c_0011_5 - 4544407680556396994408/13774987258836655013*c_0101_3^13 - 4393702097689885846809/13774987258836655013*c_0101_3^12 - 10925413612737905414850/13774987258836655013*c_0101_3^11 - 1314672653635821931637/13774987258836655013*c_0101_3^10 - 8874886625520671143153/13774987258836655013*c_0101_3^9 + 3506953386507004365216/13774987258836655013*c_0101_3^8 - 5208077241158484799606/13774987258836655013*c_0101_3^7 + 2985726909748841764519/13774987258836655013*c_0101_3^6 - 2148838875973720779139/13774987258836655013*c_0101_3^5 + 1194966600207704597746/13774987258836655013*c_0101_3^4 - 532160929778963071624/13774987258836655013*c_0101_3^3 + 234437197762642457810/13774987258836655013*c_0101_3^2 - 75540597017129311453/13774987258836655013*c_0101_3 + 18532244488598486858/13774987258836655013, c_0011_6 + 1589717519914682441680/13774987258836655013*c_0101_3^13 + 779293563218935439426/13774987258836655013*c_0101_3^12 + 2832192689153530317306/13774987258836655013*c_0101_3^11 - 1415746575172035172294/13774987258836655013*c_0101_3^10 + 2458353369752966586045/13774987258836655013*c_0101_3^9 - 2359559138126697929671/13774987258836655013*c_0101_3^8 + 1972043286556325727105/13774987258836655013*c_0101_3^7 - 1423252201714890511782/13774987258836655013*c_0101_3^6 + 864667371829185163401/13774987258836655013*c_0101_3^5 - 516505425851350109542/13774987258836655013*c_0101_3^4 + 231756075664005412275/13774987258836655013*c_0101_3^3 - 86172415489505258749/13774987258836655013*c_0101_3^2 + 29667136233041094009/13774987258836655013*c_0101_3 - 14918804104066925138/13774987258836655013, c_0101_1 - 5070547625845509868776/13774987258836655013*c_0101_3^13 - 4487770045484204693593/13774987258836655013*c_0101_3^12 - 10019050913152008246884/13774987258836655013*c_0101_3^11 + 897462742821067563491/13774987258836655013*c_0101_3^10 - 6505092547783822046376/13774987258836655013*c_0101_3^9 + 3985446729424123000237/13774987258836655013*c_0101_3^8 - 4036826382645368251450/13774987258836655013*c_0101_3^7 + 2058140975729914329663/13774987258836655013*c_0101_3^6 - 1410640361913054970480/13774987258836655013*c_0101_3^5 + 694788504260215923658/13774987258836655013*c_0101_3^4 - 315222412662187976559/13774987258836655013*c_0101_3^3 + 105076711487284342399/13774987258836655013*c_0101_3^2 - 34757763861682057219/13774987258836655013*c_0101_3 + 12169581392414033870/13774987258836655013, c_0101_2 + 769259943692419126920/13774987258836655013*c_0101_3^13 + 573618842337443095029/13774987258836655013*c_0101_3^12 + 1370928373181064384575/13774987258836655013*c_0101_3^11 - 656998459556774380930/13774987258836655013*c_0101_3^10 + 817018460763615366472/13774987258836655013*c_0101_3^9 - 1095704698009485414453/13774987258836655013*c_0101_3^8 + 917238507701715061831/13774987258836655013*c_0101_3^7 - 723059588555427592119/13774987258836655013*c_0101_3^6 + 508004027655441979802/13774987258836655013*c_0101_3^5 - 355611761602084608075/13774987258836655013*c_0101_3^4 + 197214305483486019795/13774987258836655013*c_0101_3^3 - 89747342526464096034/13774987258836655013*c_0101_3^2 + 27639367189678373727/13774987258836655013*c_0101_3 - 16201362492192463050/13774987258836655013, c_0101_3^14 + 603/632*c_0101_3^13 + 1463/632*c_0101_3^12 + 93/632*c_0101_3^11 + 1113/632*c_0101_3^10 - 559/632*c_0101_3^9 + 663/632*c_0101_3^8 - 451/632*c_0101_3^7 + 35/79*c_0101_3^6 - 24/79*c_0101_3^5 + 41/316*c_0101_3^4 - 41/632*c_0101_3^3 + 15/632*c_0101_3^2 - 5/632*c_0101_3 + 1/632 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB