Magma V2.19-8 Tue Aug 20 2013 16:16:09 on localhost [Seed = 2800171622] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0414 geometric_solution 4.47528144 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 1 2 0132 0132 2310 2310 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 -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 -4.052093617192 1.878579106764 0 0 3 3 0132 3201 3201 0132 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 0 0 0 1 0 -1 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.297378611458 0.202603357506 0 0 2 2 3201 0132 1230 3012 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 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.134257599109 0.037180011055 1 4 1 5 2310 0132 0132 0132 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 0 0 0 0 0 0 0 1 -1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.870986969892 0.755233492167 6 3 5 5 0132 0132 3012 1230 0 0 0 0 0 -1 1 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 1 -1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.180857643296 1.252766347325 4 4 3 6 3012 1230 0132 0132 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.180857643296 1.252766347325 4 6 5 6 0132 2310 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.213916313847 0.812262083825 ==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' : negation(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' : negation(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_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_3']), 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : d['c_0110_2'], 'c_0101_6' : d['c_0011_5'], 'c_0101_5' : negation(d['c_0101_1']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : negation(d['c_0101_1']), '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' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0011_5']), 'c_1001_4' : negation(d['c_0011_5']), 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0110_2']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_1']), 'c_0110_2' : d['c_0110_2'], 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : d['c_0011_5'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0101_4']), 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : negation(d['c_0101_1']), 'c_1010_3' : negation(d['c_0011_5']), 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : negation(d['c_0110_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_5, c_0101_0, c_0101_1, c_0101_4, c_0110_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 29 Groebner basis: [ t + 2686703039540/1463*c_0110_2^28 + 3180179565813/2926*c_0110_2^27 - 141008242086099/2926*c_0110_2^26 - 106154770632019/418*c_0110_2^25 - 119685633783015/1463*c_0110_2^24 + 38385948728459/11*c_0110_2^23 + 17980481369437592/1463*c_0110_2^22 + 2076357691013724/1463*c_0110_2^21 - 39232192951817777/418*c_0110_2^20 - 312925406590869977/2926*c_0110_2^19 + 36825234480107317/133*c_0110_2^18 + 1377241163813613929/2926*c_0110_2^17 - 140768108417331657/418*c_0110_2^16 - 408859058579499413/418*c_0110_2^15 - 118810592511702627/2926*c_0110_2^14 + 3143247324571562937/2926*c_0110_2^13 + 1713623827006105387/2926*c_0110_2^12 - 1530832388181546907/2926*c_0110_2^11 - 944022860711516532/1463*c_0110_2^10 - 12230946196344191/209*c_0110_2^9 + 748244365048047831/2926*c_0110_2^8 + 231543323257328699/1463*c_0110_2^7 + 2109295353595221/266*c_0110_2^6 - 101755213754764005/2926*c_0110_2^5 - 30389505086652372/1463*c_0110_2^4 - 18178005978973627/2926*c_0110_2^3 - 1586680560491776/1463*c_0110_2^2 - 154801198839565/1463*c_0110_2 - 13142021195175/2926, c_0011_0 - 1, c_0011_3 + 24*c_0110_2^28 + 23*c_0110_2^27 - 625*c_0110_2^26 - 3550*c_0110_2^25 - 2275*c_0110_2^24 + 45269*c_0110_2^23 + 177350*c_0110_2^22 + 76652*c_0110_2^21 - 1222489*c_0110_2^20 - 1847537*c_0110_2^19 + 3126761*c_0110_2^18 + 7501054*c_0110_2^17 - 2206971*c_0110_2^16 - 14499318*c_0110_2^15 - 5142742*c_0110_2^14 + 14059030*c_0110_2^13 + 12809422*c_0110_2^12 - 4267278*c_0110_2^11 - 11068339*c_0110_2^10 - 3741571*c_0110_2^9 + 3203655*c_0110_2^8 + 3306686*c_0110_2^7 + 805660*c_0110_2^6 - 451441*c_0110_2^5 - 439893*c_0110_2^4 - 173052*c_0110_2^3 - 39348*c_0110_2^2 - 5202*c_0110_2 - 324, c_0011_5 - 299*c_0110_2^28 - 276*c_0110_2^27 + 7796*c_0110_2^26 + 43952*c_0110_2^25 + 26798*c_0110_2^24 - 564892*c_0110_2^23 - 2189545*c_0110_2^22 - 878113*c_0110_2^21 + 15259656*c_0110_2^20 + 22478305*c_0110_2^19 - 39737254*c_0110_2^18 - 92032890*c_0110_2^17 + 30718705*c_0110_2^16 + 179489725*c_0110_2^15 + 57745510*c_0110_2^14 - 177070342*c_0110_2^13 - 153274462*c_0110_2^12 + 58466639*c_0110_2^11 + 135705966*c_0110_2^10 + 41838799*c_0110_2^9 - 41293410*c_0110_2^8 - 39690287*c_0110_2^7 - 8655521*c_0110_2^6 + 5897868*c_0110_2^5 + 5259878*c_0110_2^4 + 1972347*c_0110_2^3 + 424879*c_0110_2^2 + 52026*c_0110_2 + 2873, c_0101_0 - c_0110_2^28 - c_0110_2^27 + 26*c_0110_2^26 + 149*c_0110_2^25 + 101*c_0110_2^24 - 1882*c_0110_2^23 - 7468*c_0110_2^22 - 3505*c_0110_2^21 + 50791*c_0110_2^20 + 79097*c_0110_2^19 - 126986*c_0110_2^18 - 317835*c_0110_2^17 + 78714*c_0110_2^16 + 607418*c_0110_2^15 + 239590*c_0110_2^14 - 575810*c_0110_2^13 - 557718*c_0110_2^12 + 154565*c_0110_2^11 + 467621*c_0110_2^10 + 175383*c_0110_2^9 - 126178*c_0110_2^8 - 143036*c_0110_2^7 - 39529*c_0110_2^6 + 17163*c_0110_2^5 + 19044*c_0110_2^4 + 8004*c_0110_2^3 + 1973*c_0110_2^2 + 300*c_0110_2 + 25, c_0101_1 + 79886007/2*c_0110_2^28 + 26087049*c_0110_2^27 - 1047411684*c_0110_2^26 - 11176272543/2*c_0110_2^25 - 2099858481*c_0110_2^24 + 75881213442*c_0110_2^23 + 271972531067*c_0110_2^22 + 91901163687/2*c_0110_2^21 - 2043757804851*c_0110_2^20 - 4901296239283/2*c_0110_2^19 + 11828892291909/2*c_0110_2^18 + 10637605043191*c_0110_2^17 - 6808349196532*c_0110_2^16 - 21870491113647*c_0110_2^15 - 2023452386055*c_0110_2^14 + 23634237562562*c_0110_2^13 + 14101212298819*c_0110_2^12 - 21966379678161/2*c_0110_2^11 - 14850625522811*c_0110_2^10 - 3809978403623/2*c_0110_2^9 + 11332063641291/2*c_0110_2^8 + 7512753790571/2*c_0110_2^7 + 294181344125*c_0110_2^6 - 1562651666739/2*c_0110_2^5 - 982823951835/2*c_0110_2^4 - 302987420883/2*c_0110_2^3 - 27136046304*c_0110_2^2 - 5425576155/2*c_0110_2 - 235915011/2, c_0101_4 + 548426785/4*c_0110_2^28 + 168295187/2*c_0110_2^27 - 3597136127*c_0110_2^26 - 76157665265/4*c_0110_2^25 - 12994573009/2*c_0110_2^24 + 260525984158*c_0110_2^23 + 923280357940*c_0110_2^22 + 496796708845/4*c_0110_2^21 - 14021780246429/2*c_0110_2^20 - 32547280273163/4*c_0110_2^19 + 82185611793387/4*c_0110_2^18 + 71269565593093/2*c_0110_2^17 - 24533576055867*c_0110_2^16 - 147549771428897/2*c_0110_2^15 - 4387127958152*c_0110_2^14 + 161152492607383/2*c_0110_2^13 + 45358509840268*c_0110_2^12 - 154534781934381/4*c_0110_2^11 - 98336116427075/2*c_0110_2^10 - 20404954285081/4*c_0110_2^9 + 76934581878065/4*c_0110_2^8 + 48751000405005/4*c_0110_2^7 + 1460268994087/2*c_0110_2^6 - 10512320143313/4*c_0110_2^5 - 6389334491737/4*c_0110_2^4 - 1930815869781/4*c_0110_2^3 - 170031140581/2*c_0110_2^2 - 33459165705/4*c_0110_2 - 1432322371/4, c_0110_2^29 + c_0110_2^28 - 26*c_0110_2^27 - 149*c_0110_2^26 - 101*c_0110_2^25 + 1882*c_0110_2^24 + 7468*c_0110_2^23 + 3505*c_0110_2^22 - 50791*c_0110_2^21 - 79097*c_0110_2^20 + 126986*c_0110_2^19 + 317835*c_0110_2^18 - 78714*c_0110_2^17 - 607418*c_0110_2^16 - 239590*c_0110_2^15 + 575810*c_0110_2^14 + 557718*c_0110_2^13 - 154565*c_0110_2^12 - 467621*c_0110_2^11 - 175383*c_0110_2^10 + 126178*c_0110_2^9 + 143036*c_0110_2^8 + 39529*c_0110_2^7 - 17163*c_0110_2^6 - 19044*c_0110_2^5 - 8004*c_0110_2^4 - 1973*c_0110_2^3 - 299*c_0110_2^2 - 26*c_0110_2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB