Magma V2.19-8 Tue Aug 20 2013 16:17:56 on localhost [Seed = 3532869141] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2168 geometric_solution 5.63902531 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 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 0 -1 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.892012586342 1.602811556310 0 4 2 5 0132 3012 1302 0132 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 -1 0 1 0 -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.236685247782 0.475514163695 1 0 3 4 2031 0132 2310 3201 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 -1 0 1 0 0 0 0 -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.443045963079 0.799285086957 5 2 6 0 0132 3201 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 -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.683855615168 0.487380773356 1 2 0 5 1230 2310 0132 2031 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 -1 0 1 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.419379255404 0.838974142147 3 4 1 6 0132 1302 0132 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 1.149366231888 0.713641712133 6 6 5 3 1230 3012 2031 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 0.355339878241 0.358321155787 ==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' : 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' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_1010_5']), 'c_1100_5' : d['c_0101_2'], 'c_1100_4' : negation(d['c_1010_5']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_2'], 'c_1100_0' : negation(d['c_1010_5']), 'c_1100_3' : negation(d['c_1010_5']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0011_0'], 'c_0101_3' : d['c_0011_6'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0011_0'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : negation(d['c_0011_3']), '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' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0011_0']), 'c_1001_4' : negation(d['c_1001_0']), 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : d['c_0011_3'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_1001_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0011_6'], 'c_0110_4' : negation(d['c_0011_0']), 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_1010_5'], 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_1001_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_6, c_0101_0, c_0101_2, c_1001_0, c_1010_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t - 1596763635489144/250881435631853*c_1010_5^13 - 15286172694973274/250881435631853*c_1010_5^12 - 63214778608854452/250881435631853*c_1010_5^11 - 139557994085945537/250881435631853*c_1010_5^10 - 148573802086730172/250881435631853*c_1010_5^9 + 17582098081998599/250881435631853*c_1010_5^8 + 254695261975577386/250881435631853*c_1010_5^7 + 290852626416122785/250881435631853*c_1010_5^6 + 95394476972793185/250881435631853*c_1010_5^5 - 53036249908118606/250881435631853*c_1010_5^4 - 27768277783486445/250881435631853*c_1010_5^3 + 21720250553039614/250881435631853*c_1010_5^2 + 12182089179622785/250881435631853*c_1010_5 - 1945962116517618/250881435631853, c_0011_0 - 1, c_0011_3 - 3480870200/2813613059*c_1010_5^13 - 34408410654/2813613059*c_1010_5^12 - 150542937847/2813613059*c_1010_5^11 - 366683170146/2813613059*c_1010_5^10 - 486796684715/2813613059*c_1010_5^9 - 182071999656/2813613059*c_1010_5^8 + 492329051469/2813613059*c_1010_5^7 + 902336661893/2813613059*c_1010_5^6 + 626407359249/2813613059*c_1010_5^5 + 100007244954/2813613059*c_1010_5^4 - 93391509565/2813613059*c_1010_5^3 - 4713975937/2813613059*c_1010_5^2 + 48313328115/2813613059*c_1010_5 + 21285328401/2813613059, c_0011_6 - 3943983252/2813613059*c_1010_5^13 - 36884661139/2813613059*c_1010_5^12 - 151147029547/2813613059*c_1010_5^11 - 337445823213/2813613059*c_1010_5^10 - 384645269820/2813613059*c_1010_5^9 - 38022810142/2813613059*c_1010_5^8 + 521206383935/2813613059*c_1010_5^7 + 715680389828/2813613059*c_1010_5^6 + 383418027212/2813613059*c_1010_5^5 + 19932247250/2813613059*c_1010_5^4 - 44732175887/2813613059*c_1010_5^3 + 18483584455/2813613059*c_1010_5^2 + 28973917060/2813613059*c_1010_5 + 9076577400/2813613059, c_0101_0 - 1019247260/2813613059*c_1010_5^13 - 9422897077/2813613059*c_1010_5^12 - 36555650304/2813613059*c_1010_5^11 - 72239275183/2813613059*c_1010_5^10 - 58391414981/2813613059*c_1010_5^9 + 42407105251/2813613059*c_1010_5^8 + 138034093564/2813613059*c_1010_5^7 + 109155755410/2813613059*c_1010_5^6 + 11408205278/2813613059*c_1010_5^5 - 24964148701/2813613059*c_1010_5^4 - 4603511114/2813613059*c_1010_5^3 + 4869779146/2813613059*c_1010_5^2 + 4846560540/2813613059*c_1010_5 + 615352104/2813613059, c_0101_2 - 7773582036/2813613059*c_1010_5^13 - 75322498647/2813613059*c_1010_5^12 - 319330443006/2813613059*c_1010_5^11 - 741880375100/2813613059*c_1010_5^10 - 905941779490/2813613059*c_1010_5^9 - 206206602486/2813613059*c_1010_5^8 + 1074853422394/2813613059*c_1010_5^7 + 1672119287092/2813613059*c_1010_5^6 + 1030810732502/2813613059*c_1010_5^5 + 122268186707/2813613059*c_1010_5^4 - 137324761273/2813613059*c_1010_5^3 + 15968428173/2813613059*c_1010_5^2 + 78299259540/2813613059*c_1010_5 + 29359706661/2813613059, c_1001_0 + 469926204/2813613059*c_1010_5^13 + 5686533201/2813613059*c_1010_5^12 + 29034062443/2813613059*c_1010_5^11 + 79856452911/2813613059*c_1010_5^10 + 118020975221/2813613059*c_1010_5^9 + 54364101637/2813613059*c_1010_5^8 - 113705479762/2813613059*c_1010_5^7 - 219936825942/2813613059*c_1010_5^6 - 145109280803/2813613059*c_1010_5^5 - 9226388039/2813613059*c_1010_5^4 + 30228516602/2813613059*c_1010_5^3 - 958692228/2813613059*c_1010_5^2 - 14774950866/2813613059*c_1010_5 - 4751194951/2813613059, c_1010_5^14 + 43/4*c_1010_5^13 + 103/2*c_1010_5^12 + 561/4*c_1010_5^11 + 889/4*c_1010_5^10 + 633/4*c_1010_5^9 - 419/4*c_1010_5^8 - 368*c_1010_5^7 - 376*c_1010_5^6 - 167*c_1010_5^5 + 3/4*c_1010_5^4 + 39/2*c_1010_5^3 - 49/4*c_1010_5^2 - 63/4*c_1010_5 - 19/4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB