Magma V2.19-8 Tue Aug 20 2013 16:18:14 on localhost [Seed = 2598045603] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2453 geometric_solution 5.79685185 oriented_manifold CS_known -0.0000000000000005 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 2 0132 3201 2310 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 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 1.298514364603 2.091092324746 0 3 4 2 0132 0132 0132 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 -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.047577624807 0.461746557049 5 1 0 3 0132 1302 0132 2310 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 1 0 0 0 0 0 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.047577624807 0.461746557049 2 1 6 5 3201 0132 0132 3012 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 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.192508435447 0.741397422459 6 6 5 1 2031 1023 0132 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 0 0 0 -1 0 0 1 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.199698963366 0.800481554883 2 6 3 4 0132 3120 1230 0132 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 -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.201493117006 1.920673783173 4 5 4 3 1023 3120 1302 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.293394324949 1.176053903688 ==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' : 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' : negation(d['1']), 's_1_3' : negation(d['1']), 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_0_6' : negation(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' : d['c_0101_1'], 'c_1100_5' : d['c_0110_3'], 'c_1100_4' : d['c_0110_3'], 's_3_6' : negation(d['1']), 'c_1100_1' : d['c_0110_3'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0101_1'], 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : negation(d['c_0011_4']), 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_1'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_2']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_1']), 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_6' : d['c_0101_1'], 'c_1001_1' : d['c_0101_3'], 'c_1001_0' : negation(d['c_0101_0']), 'c_1001_3' : d['c_0011_2'], 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0110_3'], 'c_0110_2' : negation(d['c_0101_3']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_0011_2'], 'c_1010_5' : negation(d['c_0011_4']), 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : negation(d['c_0110_3']), 'c_1010_1' : d['c_0011_2'], '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_0101_0, c_0101_1, c_0101_3, c_0110_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t + 65845954405795/170826023746*c_0110_3^14 - 847114963000757/1366608189968*c_0110_3^13 + 51391451424235/195229741424*c_0110_3^12 + 3429306985059947/1366608189968*c_0110_3^11 - 3557206116304167/683304094984*c_0110_3^10 + 13303604929632749/1366608189968*c_0110_3^9 - 15121273900229797/1366608189968*c_0110_3^8 + 16820982933165625/1366608189968*c_0110_3^7 - 12451625748999701/1366608189968*c_0110_3^6 + 4642130920163619/683304094984*c_0110_3^5 - 753344238592287/195229741424*c_0110_3^4 + 140412076258459/97614870712*c_0110_3^3 - 1257242109876197/1366608189968*c_0110_3^2 + 18293931297051/341652047492*c_0110_3 - 75283483314791/1366608189968, c_0011_0 - 1, c_0011_2 + c_0110_3, c_0011_4 - 6563532079967/683304094984*c_0110_3^14 + 2670117362587/170826023746*c_0110_3^13 - 140115390014/12201858839*c_0110_3^12 - 40449128809613/683304094984*c_0110_3^11 + 90722807238873/683304094984*c_0110_3^10 - 23625005031896/85413011873*c_0110_3^9 + 26856434078281/85413011873*c_0110_3^8 - 65399126477143/170826023746*c_0110_3^7 + 187672575721735/683304094984*c_0110_3^6 - 163407026026357/683304094984*c_0110_3^5 + 10293175288565/97614870712*c_0110_3^4 - 6721141971855/97614870712*c_0110_3^3 + 11502948946729/683304094984*c_0110_3^2 - 5313745281293/683304094984*c_0110_3 + 410952104435/683304094984, c_0101_0 + 1744034849369/341652047492*c_0110_3^14 - 428835060736/85413011873*c_0110_3^13 - 60879852803/48807435356*c_0110_3^12 + 12073492697661/341652047492*c_0110_3^11 - 8113209818171/170826023746*c_0110_3^10 + 29876782684645/341652047492*c_0110_3^9 - 5769507849311/85413011873*c_0110_3^8 + 28322952688563/341652047492*c_0110_3^7 - 9919356261979/341652047492*c_0110_3^6 + 3164494057824/85413011873*c_0110_3^5 - 84654491332/12201858839*c_0110_3^4 + 345972695943/48807435356*c_0110_3^3 - 917546467223/341652047492*c_0110_3^2 + 79677483559/170826023746*c_0110_3 + 31173723261/85413011873, c_0101_1 - 14375714879/85413011873*c_0110_3^14 + 81055308984/85413011873*c_0110_3^13 - 9835849908/12201858839*c_0110_3^12 - 15508235879/85413011873*c_0110_3^11 + 563837475494/85413011873*c_0110_3^10 - 969525348233/85413011873*c_0110_3^9 + 1981643310967/85413011873*c_0110_3^8 - 1697630694719/85413011873*c_0110_3^7 + 2518148212485/85413011873*c_0110_3^6 - 1266998016078/85413011873*c_0110_3^5 + 274154330902/12201858839*c_0110_3^4 - 55305732353/12201858839*c_0110_3^3 + 915986579726/85413011873*c_0110_3^2 - 48187394868/85413011873*c_0110_3 + 163101916466/85413011873, c_0101_3 - 1824400198903/341652047492*c_0110_3^14 + 592155787800/85413011873*c_0110_3^13 - 94047885201/24403717678*c_0110_3^12 - 11667924474037/341652047492*c_0110_3^11 + 21069835121627/341652047492*c_0110_3^10 - 22402326970297/170826023746*c_0110_3^9 + 11223326942981/85413011873*c_0110_3^8 - 29338169147589/170826023746*c_0110_3^7 + 35317429224363/341652047492*c_0110_3^6 - 37077884971555/341652047492*c_0110_3^5 + 1770792351475/48807435356*c_0110_3^4 - 1799668040779/48807435356*c_0110_3^3 + 1849623435725/341652047492*c_0110_3^2 - 2043299935615/341652047492*c_0110_3 + 60147203009/341652047492, c_0110_3^15 - c_0110_3^14 + 8/17*c_0110_3^13 + 107/17*c_0110_3^12 - 162/17*c_0110_3^11 + 375/17*c_0110_3^10 - 336/17*c_0110_3^9 + 488/17*c_0110_3^8 - 253/17*c_0110_3^7 + 324/17*c_0110_3^6 - 80/17*c_0110_3^5 + 112/17*c_0110_3^4 - 10/17*c_0110_3^3 + 18/17*c_0110_3^2 + 1/17 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB