Magma V2.19-8 Tue Aug 20 2013 16:16:52 on localhost [Seed = 2429619265] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1127 geometric_solution 4.99573755 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 1 1 0 3012 0132 3201 1230 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 0 0 0 0 0 0 0 0 2 0 -2 2 0 -1 -1 1 0 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.346326802989 0.091420735468 0 0 2 2 2310 0132 2310 0132 0 0 0 0 0 -1 0 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 -2 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 1.959998822000 0.662349548811 3 1 1 4 0132 3201 0132 0132 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 0 -1 1 0 0 1 -1 1 -1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.079010575862 0.409110789991 2 5 6 4 0132 0132 0132 2031 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.502682236514 0.879211034668 6 3 2 5 2310 1302 0132 0132 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 1 -1 0 -1 0 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.502682236514 0.879211034668 5 3 4 5 3201 0132 0132 2310 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.003549691159 0.594867841255 6 6 4 3 1302 2031 3201 0132 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 1 -1 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.262627011876 0.437087950411 ==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' : negation(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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0011_2'], 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : d['c_0011_6'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_0']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_2'], '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' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0011_4'], 'c_1001_4' : negation(d['c_0101_0']), 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0011_6'], 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : negation(d['c_0101_0']), 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0101_0']), 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : negation(d['c_0011_6']), 'c_0110_4' : d['c_0011_6'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_0011_6'], 'c_1010_5' : d['c_0011_6'], 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : d['c_0011_4'], 'c_1010_2' : negation(d['c_0101_0']), 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : 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_2, c_0011_4, c_0011_6, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 3450323546869673/344059943877440*c_0101_3^11 - 8005489036649683/68811988775488*c_0101_3^10 + 17431546033051159/68811988775488*c_0101_3^9 - 264213442557218489/344059943877440*c_0101_3^8 - 923069193182230293/172029971938720*c_0101_3^7 - 777733810152728013/172029971938720*c_0101_3^6 + 1016764925558917813/172029971938720*c_0101_3^5 + 1693323606669148441/172029971938720*c_0101_3^4 + 12349523344662163/49151420553920*c_0101_3^3 - 238483000119354071/68811988775488*c_0101_3^2 - 95859362596957553/344059943877440*c_0101_3 + 43203456760542083/344059943877440, c_0011_0 - 1, c_0011_2 + 34541497793/1228785513848*c_0101_3^11 - 818682447079/2457571027696*c_0101_3^10 + 488619496921/614392756924*c_0101_3^9 - 5825874472023/2457571027696*c_0101_3^8 - 4438359764137/307196378462*c_0101_3^7 - 11175716155007/1228785513848*c_0101_3^6 + 10669136456029/614392756924*c_0101_3^5 + 24861583496917/1228785513848*c_0101_3^4 - 5105635912161/1228785513848*c_0101_3^3 - 10949249994871/2457571027696*c_0101_3^2 + 892202366197/307196378462*c_0101_3 - 1777598077631/2457571027696, c_0011_4 - 532697891953/9830284110784*c_0011_6*c_0101_3^11 + 6178921442295/9830284110784*c_0011_6*c_0101_3^10 - 13467224633763/9830284110784*c_0011_6*c_0101_3^9 + 41041232991105/9830284110784*c_0011_6*c_0101_3^8 + 142147949771117/4915142055392*c_0011_6*c_0101_3^7 + 121547184021837/4915142055392*c_0011_6*c_0101_3^6 - 151989339743797/4915142055392*c_0011_6*c_0101_3^5 - 261064512569233/4915142055392*c_0011_6*c_0101_3^4 - 24577050565389/9830284110784*c_0011_6*c_0101_3^3 + 186376392709019/9830284110784*c_0011_6*c_0101_3^2 + 19062461598113/9830284110784*c_0011_6*c_0101_3 - 15237474349115/9830284110784*c_0011_6, c_0011_6^2 + 46859620841/4915142055392*c_0101_3^11 - 600579484293/4915142055392*c_0101_3^10 + 1857117732795/4915142055392*c_0101_3^9 - 5184353111843/4915142055392*c_0101_3^8 - 10131538435001/2457571027696*c_0101_3^7 + 4019636240581/2457571027696*c_0101_3^6 + 23787149510961/2457571027696*c_0101_3^5 + 5907758261911/2457571027696*c_0101_3^4 - 45137566428915/4915142055392*c_0101_3^3 - 12722315627465/4915142055392*c_0101_3^2 + 12899455336175/4915142055392*c_0101_3 - 3255917308375/4915142055392, c_0101_0 + 180974222927/4915142055392*c_0101_3^11 - 2187898933165/4915142055392*c_0101_3^10 + 5643792676281/4915142055392*c_0101_3^9 - 16645454423455/4915142055392*c_0101_3^8 - 44362286082299/2457571027696*c_0101_3^7 - 19161225677547/2457571027696*c_0101_3^6 + 61348548097967/2457571027696*c_0101_3^5 + 55424544154267/2457571027696*c_0101_3^4 - 58821247626365/4915142055392*c_0101_3^3 - 33540416742481/4915142055392*c_0101_3^2 + 23802203045133/4915142055392*c_0101_3 - 1818558717251/4915142055392, c_0101_1 + 94213704931/2457571027696*c_0101_3^11 - 588959271631/1228785513848*c_0101_3^10 + 3403750206899/2457571027696*c_0101_3^9 - 614839906752/153598189231*c_0101_3^8 - 21273990387121/1228785513848*c_0101_3^7 - 135011864831/307196378462*c_0101_3^6 + 38288190065203/1228785513848*c_0101_3^5 + 9707946610459/614392756924*c_0101_3^4 - 55374595102245/2457571027696*c_0101_3^3 - 8259831763537/1228785513848*c_0101_3^2 + 15111007190819/2457571027696*c_0101_3 - 364460553799/614392756924, c_0101_3^12 - 12*c_0101_3^11 + 30*c_0101_3^10 - 88*c_0101_3^9 - 501*c_0101_3^8 - 248*c_0101_3^7 + 716*c_0101_3^6 + 720*c_0101_3^5 - 301*c_0101_3^4 - 284*c_0101_3^3 + 94*c_0101_3^2 + 8*c_0101_3 - 7 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.220 seconds, Total memory usage: 32.09MB