Magma V2.19-8 Tue Aug 20 2013 16:18:34 on localhost [Seed = 3583264999] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2760 geometric_solution 5.99663386 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 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 0.257574570682 0.213777046059 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 -1 1 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.443581966614 1.694175138462 1 4 5 3 0132 0132 0132 1230 0 0 0 0 0 1 -1 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 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.723193483331 1.070255303427 2 5 4 1 3012 3201 3201 0132 0 0 0 0 0 -1 0 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 0 0 0 0 0 0 0 0 -1 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.723193483331 1.070255303427 3 2 6 6 2310 0132 3201 0132 0 0 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 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.311544965792 0.493741180358 6 6 3 2 1023 2310 2310 0132 0 0 0 0 0 -1 0 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 -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.273927897584 1.433229466374 4 5 4 5 2310 1023 0132 3201 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 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.397716370639 1.007812366204 ==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' : negation(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' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : negation(d['1']), 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_0_6' : negation(d['1']), 's_0_4' : d['1'], 's_0_5' : negation(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' : negation(d['c_0011_5']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : negation(d['c_0101_3']), 'c_0101_5' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0011_3'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : d['c_0011_5'], '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_0101_0']), 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : d['c_0101_4'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : negation(d['c_0101_4']), 'c_1010_6' : d['c_0101_0'], 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], '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_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t + 6227192665579/16602423325488*c_0101_4^12 - 38900919193681/22136564433984*c_0101_4^11 - 29289168798895/66409693301952*c_0101_4^10 + 354349561957123/33204846650976*c_0101_4^9 - 4627901800329/283802108128*c_0101_4^8 - 107513407840693/9487099043136*c_0101_4^7 + 187568904258811/22136564433984*c_0101_4^6 + 56336748724673/5108437946304*c_0101_4^5 + 486924138643463/8301211662744*c_0101_4^4 - 1877172339367111/8301211662744*c_0101_4^3 + 33465105534541/592943690196*c_0101_4^2 + 444938352667115/4150605831372*c_0101_4 - 26545011324371/1037651457843, c_0011_0 - 1, c_0011_1 - 9583475/3015606816*c_0101_4^12 + 41142377/3015606816*c_0101_4^11 + 5816189/502601136*c_0101_4^10 - 141840877/1507803408*c_0101_4^9 + 26573357/335067424*c_0101_4^8 + 610811437/3015606816*c_0101_4^7 + 16492049/3015606816*c_0101_4^6 - 113638019/376950852*c_0101_4^5 - 487461203/753901704*c_0101_4^4 + 63838975/41883428*c_0101_4^3 + 108120176/94237713*c_0101_4^2 - 49103119/62825142*c_0101_4 - 126154540/94237713, c_0011_3 - 6956413/1005202272*c_0101_4^12 + 72252193/3015606816*c_0101_4^11 + 66500717/1507803408*c_0101_4^10 - 254710541/1507803408*c_0101_4^9 + 222850793/3015606816*c_0101_4^8 + 1336038253/3015606816*c_0101_4^7 + 53503625/335067424*c_0101_4^6 - 152937367/753901704*c_0101_4^5 - 312683063/251300568*c_0101_4^4 + 886961633/376950852*c_0101_4^3 + 875363383/376950852*c_0101_4^2 - 275239909/188475426*c_0101_4 - 135143443/94237713, c_0011_5 - 78638401/6031213632*c_0101_4^12 + 35468331/670134848*c_0101_4^11 + 148316557/3015606816*c_0101_4^10 - 116029491/335067424*c_0101_4^9 + 2201706511/6031213632*c_0101_4^8 + 3877789711/6031213632*c_0101_4^7 - 68990357/6031213632*c_0101_4^6 - 150103591/376950852*c_0101_4^5 - 3254668159/1507803408*c_0101_4^4 + 2461666211/376950852*c_0101_4^3 + 216188573/125650284*c_0101_4^2 - 663368617/188475426*c_0101_4 - 174451157/94237713, c_0101_0 + 933220139/66343349952*c_0101_3*c_0101_4^12 - 3980807029/66343349952*c_0101_3*c_0101_4^11 - 1387942235/33171674976*c_0101_3*c_0101_4^10 + 4172730841/11057224992*c_0101_3*c_0101_4^9 - 9586747111/22114449984*c_0101_3*c_0101_4^8 - 4284661289/7371483328*c_0101_3*c_0101_4^7 - 300364321/66343349952*c_0101_3*c_0101_4^6 + 3891472187/8292918744*c_0101_3*c_0101_4^5 + 10376395529/4146459372*c_0101_3*c_0101_4^4 - 7311704087/1036614843*c_0101_3*c_0101_4^3 - 797675761/1036614843*c_0101_3*c_0101_4^2 + 6889017637/2073229686*c_0101_3*c_0101_4 + 821708066/1036614843*c_0101_3, c_0101_3^2 - 54106907/6031213632*c_0101_4^12 + 243883523/6031213632*c_0101_4^11 + 971655/41883428*c_0101_4^10 - 803965111/3015606816*c_0101_4^9 + 580664843/2010404544*c_0101_4^8 + 2725299319/6031213632*c_0101_4^7 - 549153085/6031213632*c_0101_4^6 - 1794021551/3015606816*c_0101_4^5 - 2341723391/1507803408*c_0101_4^4 + 416941035/83766856*c_0101_4^3 + 73755625/376950852*c_0101_4^2 - 81677938/31412571*c_0101_4 - 125273927/94237713, c_0101_4^13 - 5*c_0101_4^12 + 30*c_0101_4^10 - 51*c_0101_4^9 - 25*c_0101_4^8 + 39*c_0101_4^7 + 42*c_0101_4^6 + 144*c_0101_4^5 - 664*c_0101_4^4 + 288*c_0101_4^3 + 384*c_0101_4^2 - 64*c_0101_4 - 128 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB