Magma V2.19-8 Tue Aug 20 2013 16:16:55 on localhost [Seed = 2665415234] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1171 geometric_solution 5.04428720 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 4 0132 0132 0132 0132 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 -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 0 0 0 0 0 0 1.351757217040 0.914445107524 0 5 5 4 0132 0132 3201 0213 0 0 0 0 0 1 0 -1 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 1 -1 0 0 0 -1 1 0 1 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.222074582656 0.395211741648 6 0 6 4 0132 0132 1023 2031 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 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.842936762219 0.781090641527 4 3 3 0 0213 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 1 0 -1 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 1.183161169121 0.647162316866 3 2 0 1 0213 1302 0132 0213 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 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.492480261716 0.343330100846 1 1 5 5 2310 0132 1230 3012 0 0 0 0 0 -1 1 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 -1 1 0 1 0 0 -1 1 -1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.960251636616 1.001343329896 2 6 2 6 0132 1302 1023 2031 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.531982766458 0.177960401551 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : 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' : negation(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' : 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' : 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_0']), 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0011_3'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_3'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0011_3'], 'c_0101_3' : d['c_0011_4'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0011_3'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_0'], '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' : d['c_0011_3'], 'c_1001_4' : d['c_0101_6'], 'c_1001_6' : d['c_0101_2'], 'c_1001_1' : negation(d['c_0101_5']), 'c_1001_0' : d['c_0011_4'], 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : d['c_0101_6'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_3'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_6'], 'c_0110_5' : negation(d['c_0011_3']), 'c_0110_4' : negation(d['c_0101_0']), 'c_0110_6' : d['c_0101_2'], 'c_1010_6' : d['c_0011_0'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : negation(d['c_0011_0']), 'c_1010_3' : d['c_0011_4'], 'c_1010_2' : d['c_0011_4'], 'c_1010_1' : d['c_0011_3'], 'c_1010_0' : d['c_0101_6']})} 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_4, c_0101_0, c_0101_2, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 24442255025/1588128512*c_0101_6^15 - 35285806621/198516064*c_0101_6^14 + 687399404141/794064256*c_0101_6^13 - 3540700884405/1588128512*c_0101_6^12 + 2248407655567/794064256*c_0101_6^11 - 33961346311/794064256*c_0101_6^10 - 4250770790911/794064256*c_0101_6^9 + 179467295477/25614976*c_0101_6^8 - 2129858890727/1588128512*c_0101_6^7 - 8367195327207/1588128512*c_0101_6^6 + 2106374890289/397032128*c_0101_6^5 - 1302609300951/1588128512*c_0101_6^4 - 703739095503/397032128*c_0101_6^3 + 2094973809467/1588128512*c_0101_6^2 - 484716042139/1588128512*c_0101_6 + 3462895973/1588128512, c_0011_0 - 1, c_0011_3 + 461179/6403744*c_0101_6^15 - 671207/800468*c_0101_6^14 + 13401999/3201872*c_0101_6^13 - 72719367/6403744*c_0101_6^12 + 52078949/3201872*c_0101_6^11 - 15601629/3201872*c_0101_6^10 - 77105269/3201872*c_0101_6^9 + 129236441/3201872*c_0101_6^8 - 96344397/6403744*c_0101_6^7 - 173511949/6403744*c_0101_6^6 + 53736011/1600936*c_0101_6^5 - 30433533/6403744*c_0101_6^4 - 21246877/1600936*c_0101_6^3 + 48253513/6403744*c_0101_6^2 + 2808535/6403744*c_0101_6 - 5839625/6403744, c_0011_4 - 179647/400234*c_0101_6^15 + 974328/200117*c_0101_6^14 - 4331706/200117*c_0101_6^13 + 19119651/400234*c_0101_6^12 - 7887821/200117*c_0101_6^11 - 9965653/200117*c_0101_6^10 + 29456650/200117*c_0101_6^9 - 18563692/200117*c_0101_6^8 - 35453393/400234*c_0101_6^7 + 63642755/400234*c_0101_6^6 - 8651755/200117*c_0101_6^5 - 27163099/400234*c_0101_6^4 + 10758943/200117*c_0101_6^3 - 623009/400234*c_0101_6^2 - 4980119/400234*c_0101_6 + 1063051/400234, c_0101_0 + 3791947/6403744*c_0101_6^15 - 4958267/800468*c_0101_6^14 + 84027583/3201872*c_0101_6^13 - 344731255/6403744*c_0101_6^12 + 114707429/3201872*c_0101_6^11 + 217692707/3201872*c_0101_6^10 - 495394549/3201872*c_0101_6^9 + 212007673/3201872*c_0101_6^8 + 721621475/6403744*c_0101_6^7 - 877082045/6403744*c_0101_6^6 + 15131403/1600936*c_0101_6^5 + 415165075/6403744*c_0101_6^4 - 52218157/1600936*c_0101_6^3 - 20607559/6403744*c_0101_6^2 + 54338823/6403744*c_0101_6 - 4410489/6403744, c_0101_2 - 497611/800468*c_0101_6^15 + 1333851/200117*c_0101_6^14 - 11721229/400234*c_0101_6^13 + 51109631/800468*c_0101_6^12 - 20684635/400234*c_0101_6^11 - 26803877/400234*c_0101_6^10 + 77721299/400234*c_0101_6^9 - 48867097/400234*c_0101_6^8 - 90656911/800468*c_0101_6^7 + 164365945/800468*c_0101_6^6 - 11753956/200117*c_0101_6^5 - 66648403/800468*c_0101_6^4 + 13713820/200117*c_0101_6^3 - 3606433/800468*c_0101_6^2 - 12312635/800468*c_0101_6 + 2623713/800468, c_0101_5 - 27461/400234*c_0101_6^15 + 159469/200117*c_0101_6^14 - 769877/200117*c_0101_6^13 + 3805881/400234*c_0101_6^12 - 2061185/200117*c_0101_6^11 - 1083340/200117*c_0101_6^10 + 5868300/200117*c_0101_6^9 - 5600524/200117*c_0101_6^8 - 2826635/400234*c_0101_6^7 + 13056833/400234*c_0101_6^6 - 3790788/200117*c_0101_6^5 - 2734459/400234*c_0101_6^4 + 2673141/200117*c_0101_6^3 - 1787413/400234*c_0101_6^2 - 733419/400234*c_0101_6 + 579881/400234, c_0101_6^16 - 11*c_0101_6^15 + 50*c_0101_6^14 - 115*c_0101_6^13 + 109*c_0101_6^12 + 88*c_0101_6^11 - 340*c_0101_6^10 + 272*c_0101_6^9 + 135*c_0101_6^8 - 370*c_0101_6^7 + 169*c_0101_6^6 + 109*c_0101_6^5 - 135*c_0101_6^4 + 31*c_0101_6^3 + 20*c_0101_6^2 - 10*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB