Magma V2.19-8 Tue Aug 20 2013 16:14:22 on localhost [Seed = 779072013] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s356 geometric_solution 4.57296202 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 1 1230 3012 0132 2310 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 0 0 0 0 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.513326524398 0.347750736197 0 2 2 0 3201 0132 1023 0132 0 0 0 0 0 0 1 -1 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 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.993952899314 0.413866891972 3 1 1 4 0132 0132 1023 0132 0 0 0 0 0 0 0 0 1 0 -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 0 0 0 0 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.613302958495 0.242229803552 2 4 5 4 0132 0321 0132 3201 0 0 0 0 0 0 0 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 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.548803236405 1.243058996440 5 3 2 3 1023 2310 0132 0321 0 0 0 0 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 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.548803236405 1.243058996440 5 4 5 3 2031 1023 1302 0132 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 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.066047301917 0.858450030688 ==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_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_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_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_1']), 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_5' : negation(d['c_0011_4']), 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_2'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_1']), 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0011_1']), 'c_1010_5' : negation(d['c_0011_1']), 'c_1010_4' : negation(d['c_0101_2']), 'c_1010_3' : negation(d['c_0101_2']), 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0101_0, c_0101_2, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t + 4082112802380884920916030/932616292385488540675189*c_0101_3^14 + 82437105511369301464867397/932616292385488540675189*c_0101_3^13 + 297898636196610876391603961/932616292385488540675189*c_0101_3^12 - 685423848681152199484474895/932616292385488540675189*c_0101_3^11 + 507283481115962040350064849/932616292385488540675189*c_0101_3^10 - 526093919606369937161354530/932616292385488540675189*c_0101_3^9 - 3190992560944255952421241228/932616292385488540675189*c_0101_3^8 + 6485689520946222910122579994/932616292385488540675189*c_0101_3^7 - 3598230872517367045441415478/932616292385488540675189*c_0101_3^6 - 1135339773023215863298470484/932616292385488540675189*c_0101_3^5 + 3953946675985798772180416422/932616292385488540675189*c_0101_3^4 - 505722829374372214878304515/932616292385488540675189*c_0101_3^3 - 1354997774628275426840499371/932616292385488540675189*c_0101_3^2 + 38424047893559483728544573/932616292385488540675189*c_0101_3 + 145008939545686858416646786/932616292385488540675189, c_0011_0 - 1, c_0011_1 + 43183027253938353633826/932616292385488540675189*c_0101_3^14 + 885311895838705341462597/932616292385488540675189*c_0101_3^13 + 3423676920212199337883744/932616292385488540675189*c_0101_3^12 - 6182175713236989949593933/932616292385488540675189*c_0101_3^11 + 3570666046926493137024581/932616292385488540675189*c_0101_3^10 - 4469993264321436434176267/932616292385488540675189*c_0101_3^9 - 35384483349384124808874974/932616292385488540675189*c_0101_3^8 + 57870160567225114819555945/932616292385488540675189*c_0101_3^7 - 21323990994152125493595083/932616292385488540675189*c_0101_3^6 - 18732088537786844895118886/932616292385488540675189*c_0101_3^5 + 38699529630736261859591263/932616292385488540675189*c_0101_3^4 + 4565051899919842238798166/932616292385488540675189*c_0101_3^3 - 11487186897896858179350156/932616292385488540675189*c_0101_3^2 - 2120788168731884564690533/932616292385488540675189*c_0101_3 + 601543125065619187140033/932616292385488540675189, c_0011_4 + 24689847517561102538397/932616292385488540675189*c_0101_3^14 + 487307064053542444267439/932616292385488540675189*c_0101_3^13 + 1589342927697286600297540/932616292385488540675189*c_0101_3^12 - 4653278152789842703171487/932616292385488540675189*c_0101_3^11 + 6109925372856570096659277/932616292385488540675189*c_0101_3^10 - 7107169142686049937152086/932616292385488540675189*c_0101_3^9 - 15207298007649641967699944/932616292385488540675189*c_0101_3^8 + 45230253423006329052910741/932616292385488540675189*c_0101_3^7 - 51091923437715261092672152/932616292385488540675189*c_0101_3^6 + 27779075227613973143880186/932616292385488540675189*c_0101_3^5 + 7044088396157988083450599/932616292385488540675189*c_0101_3^4 - 10346764822479017677218766/932616292385488540675189*c_0101_3^3 + 3574842898518159828977262/932616292385488540675189*c_0101_3^2 - 289212435408166886734625/932616292385488540675189*c_0101_3 - 525220752438644154046882/932616292385488540675189, c_0101_0 + 137307271031146944760597/932616292385488540675189*c_0101_3^1\ 4 + 2672606170236207805121807/932616292385488540675189*c_0101_3^13 + 8019561093858356551452497/932616292385488540675189*c_0101_3^12 - 29896062701429514424564891/932616292385488540675189*c_0101_3^11 + 35371506561362674070560654/932616292385488540675189*c_0101_3^10 - 35303154331109266907599035/932616292385488540675189*c_0101_3^9 - 88514777831985759582884845/932616292385488540675189*c_0101_3^8 + 291150830128035457354922188/932616292385488540675189*c_0101_3^7 - 296902658994960141708404784/932616292385488540675189*c_0101_3^6 + 100771723523164055668540079/932616292385488540675189*c_0101_3^5 + 112476823347798202305352202/932616292385488540675189*c_0101_3^4 - 103410278688563614242964192/932616292385488540675189*c_0101_3^3 - 8178808157511683246756863/932616292385488540675189*c_0101_3^2 + 14810438323120550419336909/932616292385488540675189*c_0101_3 + 742243509996489863074764/932616292385488540675189, c_0101_2 + 80884685471662218043720/932616292385488540675189*c_0101_3^14 + 1569279135293042049908520/932616292385488540675189*c_0101_3^13 + 4622714105465651688299733/932616292385488540675189*c_0101_3^12 - 17956760009590563613041342/932616292385488540675189*c_0101_3^11 + 21733447028039818094056166/932616292385488540675189*c_0101_3^10 - 21944907255178555760780735/932616292385488540675189*c_0101_3^9 - 51054794305551213562362961/932616292385488540675189*c_0101_3^8 + 174858570743540116581958399/932616292385488540675189*c_0101_3^7 - 183958761626795775391809488/932616292385488540675189*c_0101_3^6 + 68464984024222770525098366/932616292385488540675189*c_0101_3^5 + 63327244693473378569943105/932616292385488540675189*c_0101_3^4 - 63501212940466206634083185/932616292385488540675189*c_0101_3^3 - 1988611110342201252164833/932616292385488540675189*c_0101_3^2 + 9026771721232163591341859/932616292385488540675189*c_0101_3 + 242877840030507598388784/932616292385488540675189, c_0101_3^15 + 20*c_0101_3^14 + 69*c_0101_3^13 - 183*c_0101_3^12 + 154*c_0101_3^11 - 145*c_0101_3^10 - 766*c_0101_3^9 + 1753*c_0101_3^8 - 1163*c_0101_3^7 - 183*c_0101_3^6 + 1100*c_0101_3^5 - 356*c_0101_3^4 - 314*c_0101_3^3 + 79*c_0101_3^2 + 32*c_0101_3 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB