Magma V2.19-8 Tue Aug 20 2013 16:16:10 on localhost [Seed = 2783197537] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0433 geometric_solution 4.48561524 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 2310 1230 3012 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 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 2.411088212076 0.088187263012 0 2 2 0 0132 0132 3201 3201 0 0 0 0 0 -1 0 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 -1 0 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.955675535675 0.241865209141 1 1 3 3 2310 0132 0132 3201 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 1 -1 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.382313201828 0.189034372845 4 2 5 2 0132 2310 0132 0132 0 0 0 0 0 0 0 0 0 0 0 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 0 -1 1 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.812652135081 0.452169170900 3 6 5 5 0132 0132 3012 2310 0 0 0 0 0 0 -1 1 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 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.721212617134 1.117674664979 4 4 6 3 3201 1230 1023 0132 0 0 0 0 0 1 -1 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 -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.721212617134 1.117674664979 6 4 5 6 3012 0132 1023 1230 0 0 0 0 0 0 0 0 0 0 1 -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 0 0 1 -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.721212617134 1.117674664979 ==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' : negation(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' : 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' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : negation(d['1']), 's_0_2' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_3'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : negation(d['c_0011_5']), 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : d['c_0101_2'], 'c_0101_3' : d['c_0101_3'], '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_5'], 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_6' : d['c_0011_3'], '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' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0011_5']), 'c_1001_4' : negation(d['c_0011_5']), 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_2'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0011_3'], 'c_1010_6' : negation(d['c_0011_5']), 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : d['c_0101_1'], '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_3, c_0011_5, c_0101_0, c_0101_1, c_0101_2, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t + 1877081120739643/13416303741392*c_0101_2*c_0101_3^12 + 15204632255691843/13416303741392*c_0101_2*c_0101_3^11 + 31532877760475379/13416303741392*c_0101_2*c_0101_3^10 - 14744584506359829/3354075935348*c_0101_2*c_0101_3^9 - 204017080016026601/6708151870696*c_0101_2*c_0101_3^8 - 403040776914937273/6708151870696*c_0101_2*c_0101_3^7 - 127872600689139911/6708151870696*c_0101_2*c_0101_3^6 + 1166182717095858729/13416303741392*c_0101_2*c_0101_3^5 + 572887528842212517/13416303741392*c_0101_2*c_0101_3^4 - 436492430927846211/13416303741392*c_0101_2*c_0101_3^3 - 18663584362264041/3354075935348*c_0101_2*c_0101_3^2 + 61480428098344561/13416303741392*c_0101_2*c_0101_3 - 14526186808668719/13416303741392*c_0101_2, c_0011_0 - 1, c_0011_3 + 4872569833/838518983837*c_0101_3^12 + 6836833676/838518983837*c_0101_3^11 - 170673909607/838518983837*c_0101_3^10 - 630890681710/838518983837*c_0101_3^9 + 12221785594/838518983837*c_0101_3^8 + 4475063380966/838518983837*c_0101_3^7 + 11668094200763/838518983837*c_0101_3^6 + 5979962090844/838518983837*c_0101_3^5 - 15431443679565/838518983837*c_0101_3^4 - 5672219171392/838518983837*c_0101_3^3 + 4311886450295/838518983837*c_0101_3^2 - 889669210764/838518983837*c_0101_3 - 214115158302/838518983837, c_0011_5 + 418282832371/3354075935348*c_0101_2*c_0101_3^12 + 3447756821171/3354075935348*c_0101_2*c_0101_3^11 + 7444995735359/3354075935348*c_0101_2*c_0101_3^10 - 3162324020796/838518983837*c_0101_2*c_0101_3^9 - 46910105413441/1677037967674*c_0101_2*c_0101_3^8 - 95336827445107/1677037967674*c_0101_2*c_0101_3^7 - 34741053641233/1677037967674*c_0101_2*c_0101_3^6 + 278196638464053/3354075935348*c_0101_2*c_0101_3^5 + 176033123828461/3354075935348*c_0101_2*c_0101_3^4 - 107265107001299/3354075935348*c_0101_2*c_0101_3^3 - 10669525567027/838518983837*c_0101_2*c_0101_3^2 + 13972966639509/3354075935348*c_0101_2*c_0101_3 - 2892577905439/3354075935348*c_0101_2, c_0101_0 - 477914560239/3354075935348*c_0101_2*c_0101_3^12 - 3953858338645/3354075935348*c_0101_2*c_0101_3^11 - 8752339619687/3354075935348*c_0101_2*c_0101_3^10 + 6568824715071/1677037967674*c_0101_2*c_0101_3^9 + 26290453106029/838518983837*c_0101_2*c_0101_3^8 + 56008396392575/838518983837*c_0101_2*c_0101_3^7 + 28475486571979/838518983837*c_0101_2*c_0101_3^6 - 251487760455967/3354075935348*c_0101_2*c_0101_3^5 - 167553732339777/3354075935348*c_0101_2*c_0101_3^4 + 61763862002525/3354075935348*c_0101_2*c_0101_3^3 - 1288373947332/838518983837*c_0101_2*c_0101_3^2 - 12302848172693/3354075935348*c_0101_2*c_0101_3 + 10004225044565/3354075935348*c_0101_2, c_0101_1 - 56507089612/838518983837*c_0101_3^12 - 486284072082/838518983837*c_0101_3^11 - 1189599704579/838518983837*c_0101_3^10 + 1226791787389/838518983837*c_0101_3^9 + 13014479411258/838518983837*c_0101_3^8 + 30589719879000/838518983837*c_0101_3^7 + 21734237744536/838518983837*c_0101_3^6 - 26587729598687/838518983837*c_0101_3^5 - 30491779803258/838518983837*c_0101_3^4 + 2983931428014/838518983837*c_0101_3^3 + 1819822470954/838518983837*c_0101_3^2 - 1487840216447/838518983837*c_0101_3 + 755696834725/838518983837, c_0101_2^2 - 20963699386/838518983837*c_0101_3^12 - 138927001220/838518983837*c_0101_3^11 - 169960899015/838518983837*c_0101_3^10 + 823528768639/838518983837*c_0101_3^9 + 3449266783640/838518983837*c_0101_3^8 + 4732352965808/838518983837*c_0101_3^7 - 2680811544031/838518983837*c_0101_3^6 - 9660798604578/838518983837*c_0101_3^5 + 2004314620204/838518983837*c_0101_3^4 + 4149712032220/838518983837*c_0101_3^3 - 2255650351074/838518983837*c_0101_3^2 + 289480299995/838518983837*c_0101_3 - 169733981966/838518983837, c_0101_3^13 + 8*c_0101_3^12 + 16*c_0101_3^11 - 33*c_0101_3^10 - 214*c_0101_3^9 - 408*c_0101_3^8 - 96*c_0101_3^7 + 629*c_0101_3^6 + 240*c_0101_3^5 - 256*c_0101_3^4 - 11*c_0101_3^3 + 35*c_0101_3^2 - 12*c_0101_3 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB