Magma V2.19-8 Tue Aug 20 2013 16:19:15 on localhost [Seed = 206409989] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3372 geometric_solution 6.54119374 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 3 0132 0132 0132 2310 0 0 0 0 0 -1 0 1 -1 0 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 1 -1 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.331106126770 0.616760063307 0 4 2 4 0132 0132 3201 2310 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 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.060280813042 0.904286003078 1 0 6 5 2310 0132 0132 0132 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.747657165581 0.919374136709 0 6 5 0 3201 1230 2103 0132 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 0 1 -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 1.057760592263 1.144573761132 1 1 6 5 3201 0132 3012 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.380474225010 1.417513029461 3 6 2 4 2103 1023 0132 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1.038979118891 0.698557474037 5 4 3 2 1023 1230 3012 0132 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 -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.708755637032 0.597582352611 ==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_0011_5']), 'c_1100_5' : negation(d['c_0011_5']), 'c_1100_4' : d['c_0011_3'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : d['c_0011_3'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : negation(d['c_0011_5']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_1']), 'c_0101_4' : negation(d['c_0101_0']), 'c_0101_3' : negation(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_0'], 'c_0011_6' : 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' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : negation(d['c_0011_5']), 'c_1001_6' : negation(d['c_0011_3']), 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : d['c_0101_6'], 'c_1001_3' : d['c_0011_5'], 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : negation(d['c_0011_3']), 'c_0110_4' : d['c_0011_5'], 'c_0110_6' : d['c_0101_2'], 'c_1010_6' : negation(d['c_0101_0']), 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : negation(d['c_0101_2']), 'c_1010_3' : d['c_0101_6'], 'c_1010_2' : d['c_0101_6'], 'c_1010_1' : negation(d['c_0011_5']), '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_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t - 5750130709814/45707300835*c_0101_6^11 - 19075197612187/91414601670*c_0101_6^10 + 529354113545/1075465902*c_0101_6^9 - 46801003174871/15235766945*c_0101_6^8 - 245737928667089/30471533890*c_0101_6^7 - 22094600408723/2470664910*c_0101_6^6 - 20283684213799/15235766945*c_0101_6^5 + 680253815490148/45707300835*c_0101_6^4 + 321691738495534/45707300835*c_0101_6^3 - 59648693756381/6529614405*c_0101_6^2 - 319676714802979/91414601670*c_0101_6 + 131403128093911/45707300835, c_0011_0 - 1, c_0011_3 - 18055381453/2176538135*c_0101_6^11 - 5973380948/435307627*c_0101_6^10 + 831498116/25606331*c_0101_6^9 - 441296980766/2176538135*c_0101_6^8 - 1155044692903/2176538135*c_0101_6^7 - 34621309207/58825355*c_0101_6^6 - 190194756063/2176538135*c_0101_6^\ 5 + 2131097347203/2176538135*c_0101_6^4 + 999538584186/2176538135*c_0101_6^3 - 1308796348773/2176538135*c_0101_6^2 - 497459711332/2176538135*c_0101_6 + 82342263259/435307627, c_0011_5 + 14536344873/2176538135*c_0101_6^11 + 4816565619/435307627*c_0101_6^10 - 668786323/25606331*c_0101_6^9 + 355206890401/2176538135*c_0101_6^8 + 930950238093/2176538135*c_0101_6^7 + 27926347657/58825355*c_0101_6^6 + 157314624043/2176538135*c_0101_6^5 - 1711841892868/2176538135*c_0101_6^4 - 803401696641/2176538135*c_0101_6^3 + 1052879663073/2176538135*c_0101_6^2 + 398735574717/2176538135*c_0101_6 - 66294570320/435307627, c_0101_0 - 8869501366/2176538135*c_0101_6^11 - 2942284927/435307627*c_0101_6^10 + 408625541/25606331*c_0101_6^9 - 216519970037/2176538135*c_0101_6^8 - 568691703226/2176538135*c_0101_6^7 - 17019684499/58825355*c_0101_6^6 - 91839781736/2176538135*c_0101_6^5 + 1051337454556/2176538135*c_0101_6^4 + 496369408152/2176538135*c_0101_6^3 - 646595739781/2176538135*c_0101_6^2 - 246966161154/2176538135*c_0101_6 + 40873326488/435307627, c_0101_1 + 11937074326/2176538135*c_0101_6^11 + 3978825391/435307627*c_0101_6^10 - 546842156/25606331*c_0101_6^9 + 291298874182/2176538135*c_0101_6^8 + 767410222726/2176538135*c_0101_6^7 + 23134268339/58825355*c_0101_6^6 + 139505519666/2176538135*c_0101_6^5 - 1401152990476/2176538135*c_0101_6^4 - 669638748137/2176538135*c_0101_6^3 + 859489760711/2176538135*c_0101_6^2 + 330161146394/2176538135*c_0101_6 - 54078222355/435307627, c_0101_2 + 21853928206/2176538135*c_0101_6^11 + 7223045224/435307627*c_0101_6^10 - 1007732632/25606331*c_0101_6^9 + 534228019742/2176538135*c_0101_6^8 + 1397464690086/2176538135*c_0101_6^7 + 41806338509/58825355*c_0101_6^6 + 225296856261/2176538135*c_0101_6^\ 5 - 2580768630781/2176538135*c_0101_6^4 - 1202033575892/2176538135*c_0101_6^3 + 1593770552276/2176538135*c_0101_6^2 + 600983724599/2176538135*c_0101_6 - 100606521229/435307627, c_0101_6^12 + c_0101_6^11 - 5*c_0101_6^10 + 27*c_0101_6^9 + 48*c_0101_6^8 + 29*c_0101_6^7 - 36*c_0101_6^6 - 125*c_0101_6^5 + 22*c_0101_6^4 + 109*c_0101_6^3 - 20*c_0101_6^2 - 41*c_0101_6 + 15 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB