Magma V2.19-8 Tue Aug 20 2013 16:17:47 on localhost [Seed = 1031578072] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2022 geometric_solution 5.56570640 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 3 0132 2310 0132 0132 0 0 0 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 0 0 0 0 0 1 -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.628644216082 1.263819313690 0 3 4 0 0132 0321 0132 3201 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 -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.214020106381 0.728365507355 4 3 5 0 2310 3012 0132 0132 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 -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 0.782573731070 0.555245396473 2 4 0 1 1230 1023 0132 0321 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 -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 -0.315515892700 0.634309628195 3 5 2 1 1023 3120 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 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.150040728563 0.603056241116 6 4 6 2 0132 3120 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 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.007145616968 0.273501644384 5 5 6 6 0132 3201 2031 1302 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.681275496387 0.186994082851 ==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' : negation(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' : negation(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' : negation(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' : negation(d['1']), 'c_1100_6' : d['c_0101_2'], 'c_1100_5' : negation(d['c_0011_5']), 'c_1100_4' : negation(d['c_0011_0']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : negation(d['c_0011_5']), 'c_1100_3' : negation(d['c_0011_5']), 'c_1100_2' : negation(d['c_0011_5']), 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0101_0']), 'c_0101_3' : d['c_0101_1'], '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' : d['c_0011_3'], 'c_0011_6' : negation(d['c_0011_5']), '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' : d['c_0101_2'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : negation(d['c_0011_5']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : negation(d['c_0011_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_0'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : negation(d['c_0011_3']), 'c_1010_4' : negation(d['c_0011_5']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0101_1']), '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_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 6 Groebner basis: [ t + 1731931/3823*c_0101_5^5 - 42577815/49699*c_0101_5^4 + 96362472/49699*c_0101_5^3 - 19072171/49699*c_0101_5^2 + 9386964/49699*c_0101_5 + 2760852/49699, c_0011_0 - 1, c_0011_3 - 4680/3823*c_0101_5^5 + 14889/3823*c_0101_5^4 - 30918/3823*c_0101_5^3 + 29182/3823*c_0101_5^2 - 3999/3823*c_0101_5 + 3385/3823, c_0011_5 - 4680/3823*c_0101_5^5 + 14889/3823*c_0101_5^4 - 30918/3823*c_0101_5^3 + 29182/3823*c_0101_5^2 - 3999/3823*c_0101_5 + 3385/3823, c_0101_0 + 4680/3823*c_0101_5^5 - 14889/3823*c_0101_5^4 + 30918/3823*c_0101_5^3 - 29182/3823*c_0101_5^2 + 3999/3823*c_0101_5 + 438/3823, c_0101_1 - 1898/3823*c_0101_5^5 + 5210/3823*c_0101_5^4 - 13431/3823*c_0101_5^3 + 12642/3823*c_0101_5^2 - 10351/3823*c_0101_5 + 1479/3823, c_0101_2 - 2782/3823*c_0101_5^5 + 9679/3823*c_0101_5^4 - 17487/3823*c_0101_5^3 + 16540/3823*c_0101_5^2 + 2529/3823*c_0101_5 + 1906/3823, c_0101_5^6 - 25/13*c_0101_5^5 + 58/13*c_0101_5^4 - 16/13*c_0101_5^3 + c_0101_5^2 - 1/13*c_0101_5 + 1/13 ], 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_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t + 34399752587/230288471424*c_0101_5^11 - 2547945857/19190705952*c_0101_5^10 + 34091353151/19190705952*c_0101_5^9 - 120188123567/57572117856*c_0101_5^8 + 1750905892235/230288471424*c_0101_5^7 - 21473272807/2616914448*c_0101_5^6 + 12437418249/1163073088*c_0101_5^5 - 1844330732141/230288471424*c_0101_5^4 + 115080189187/19190705952*c_0101_5^3 - 141767333551/38381411904*c_0101_5^2 + 11506816897/4797676488*c_0101_5 + 11823327689/230288471424, c_0011_0 - 1, c_0011_3 + 2601574/11759011*c_0101_5^11 - 1549913/11759011*c_0101_5^10 + 29994121/11759011*c_0101_5^9 - 26484004/11759011*c_0101_5^8 + 118999703/11759011*c_0101_5^7 - 8563190/1069001*c_0101_5^6 + 12049572/1069001*c_0101_5^5 - 51478466/11759011*c_0101_5^4 + 48937543/11759011*c_0101_5^3 - 13584301/11759011*c_0101_5^2 + 21136960/11759011*c_0101_5 + 26686824/11759011, c_0011_5 - 2098419/11759011*c_0101_5^11 + 258985/11759011*c_0101_5^10 - 24147977/11759011*c_0101_5^9 + 9970668/11759011*c_0101_5^8 - 91965532/11759011*c_0101_5^7 + 3010162/1069001*c_0101_5^6 - 8438857/1069001*c_0101_5^5 - 218490/11759011*c_0101_5^4 - 34996503/11759011*c_0101_5^3 - 3345301/11759011*c_0101_5^2 - 3775056/11759011*c_0101_5 - 22328102/11759011, c_0101_0 - 1, c_0101_1 - 224452/11759011*c_0101_5^11 + 390634/11759011*c_0101_5^10 - 3276463/11759011*c_0101_5^9 + 5645483/11759011*c_0101_5^8 - 18931482/11759011*c_0101_5^7 + 2325065/1069001*c_0101_5^6 - 4058214/1069001*c_0101_5^5 + 33766288/11759011*c_0101_5^4 - 34971272/11759011*c_0101_5^3 + 1709614/11759011*c_0101_5^2 - 15296147/11759011*c_0101_5 + 156377/11759011, c_0101_2 - 992949/11759011*c_0101_5^11 - 224452/11759011*c_0101_5^10 - 11524754/11759011*c_0101_5^9 + 695333/11759011*c_0101_5^8 - 43009018/11759011*c_0101_5^7 + 84318/1069001*c_0101_5^6 - 3632629/1069001*c_0101_5^5 - 13858935/11759011*c_0101_5^4 - 13895264/11759011*c_0101_5^3 - 5182802/11759011*c_0101_5^2 - 10362151/11759011*c_0101_5 - 10331402/11759011, c_0101_5^12 + 12*c_0101_5^10 - 4*c_0101_5^9 + 49*c_0101_5^8 - 20*c_0101_5^7 + 66*c_0101_5^6 - 31*c_0101_5^5 + 48*c_0101_5^4 - 30*c_0101_5^3 + 24*c_0101_5^2 - 5*c_0101_5 + 12 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB