Magma V2.19-8 Tue Aug 20 2013 16:16:01 on localhost [Seed = 2210537285] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0258 geometric_solution 4.29756803 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 2310 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.426830565461 0.148486156150 0 2 2 0 0132 0132 3201 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.839700932597 0.350963425060 1 1 3 3 2310 0132 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.369801769010 0.331395429958 4 2 5 2 0132 2310 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 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.163348613260 0.468456510755 3 5 6 5 0132 1230 0132 2310 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 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.822188562760 1.157432740282 4 6 4 3 3201 1023 3012 0132 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 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.822188562760 1.157432740282 5 6 6 4 1023 3201 2310 0132 0 0 0 0 0 1 -1 0 1 0 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.407903541381 0.574224618361 ==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' : d['c_0011_5'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0011_3'], 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : d['c_0101_2'], 'c_0101_3' : d['c_0101_3'], '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' : negation(d['c_0011_3']), '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' : d['c_0011_0'], 'c_1001_5' : d['c_0011_3'], 'c_1001_4' : d['c_0011_3'], 'c_1001_6' : negation(d['c_0011_3']), 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_2'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0101_2'], 'c_1010_6' : d['c_0011_3'], 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0101_2']), '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_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 5646390027388/261534723295*c_0101_3^16 + 16220731732804/52306944659*c_0101_3^15 - 430366993879649/261534723295*c_0101_3^14 + 873181695616619/261534723295*c_0101_3^13 + 407727175165841/261534723295*c_0101_3^12 - 4067410881952751/261534723295*c_0101_3^11 + 2965525385268301/261534723295*c_0101_3^10 + 7062205536876547/261534723295*c_0101_3^9 - 10146717672731547/261534723295*c_0101_3^8 - 286305799903240/52306944659*c_0101_3^7 + 7990707585991224/261534723295*c_0101_3^6 - 2824987982764404/261534723295*c_0101_3^5 - 1521772458673431/261534723295*c_0101_3^4 + 1058653528253779/261534723295*c_0101_3^3 + 20105788730156/261534723295*c_0101_3^2 - 8461368537296/261534723295*c_0101_3 - 26092357227406/261534723295, c_0011_0 - 1, c_0011_3 - 1073978952/261534723295*c_0101_3^16 + 1186443395/52306944659*c_0101_3^15 + 50081107569/261534723295*c_0101_3^14 - 496699618534/261534723295*c_0101_3^13 + 1256225898479/261534723295*c_0101_3^12 + 302462845531/261534723295*c_0101_3^11 - 5284789286526/261534723295*c_0101_3^10 + 3406056763858/261534723295*c_0101_3^9 + 9151380844997/261534723295*c_0101_3^8 - 2010437212563/52306944659*c_0101_3^7 - 2945566700789/261534723295*c_0101_3^6 + 6264480897009/261534723295*c_0101_3^5 - 1216709238499/261534723295*c_0101_3^4 - 1162189694109/261534723295*c_0101_3^3 - 35738305036/261534723295*c_0101_3^2 + 269717911016/261534723295*c_0101_3 + 120631597841/261534723295, c_0011_5 + 35039278829/261534723295*c_0101_3^16 - 97542134297/52306944659*c_0101_3^15 + 2443779526237/261534723295*c_0101_3^14 - 4189125147377/261534723295*c_0101_3^13 - 5141502825418/261534723295*c_0101_3^12 + 24427543402738/261534723295*c_0101_3^11 - 6699471555698/261534723295*c_0101_3^10 - 53764718800306/261534723295*c_0101_3^9 + 43450131700886/261534723295*c_0101_3^8 + 8106385849153/52306944659*c_0101_3^7 - 47255014787987/261534723295*c_0101_3^6 - 6591128389298/261534723295*c_0101_3^5 + 18193815446398/261534723295*c_0101_3^4 - 2375294545147/261534723295*c_0101_3^3 - 3003053958073/261534723295*c_0101_3^2 - 186928704802/261534723295*c_0101_3 + 152329449233/261534723295, c_0101_0 + 146547090276/261534723295*c_0101_3^16 - 416029471615/52306944659*c_0101_3^15 + 10804761014053/261534723295*c_0101_3^14 - 20660239388113/261534723295*c_0101_3^13 - 14933114844947/261534723295*c_0101_3^12 + 104553538796762/261534723295*c_0101_3^11 - 58003247462922/261534723295*c_0101_3^10 - 200579644612134/261534723295*c_0101_3^9 + 233177953434044/261534723295*c_0101_3^8 + 17992185399677/52306944659*c_0101_3^7 - 208236602764678/261534723295*c_0101_3^6 + 35132449423468/261534723295*c_0101_3^5 + 58539493346267/261534723295*c_0101_3^4 - 23048846562463/261534723295*c_0101_3^3 - 6812733643542/261534723295*c_0101_3^2 + 1404340425057/261534723295*c_0101_3 + 577973014032/261534723295, c_0101_1 + 24313316023/261534723295*c_0101_3^16 - 333198496597/261534723295*c_0101_3^15 + 1628687103477/261534723295*c_0101_3^14 - 2613761188287/261534723295*c_0101_3^13 - 3886343248513/261534723295*c_0101_3^12 + 15854103588763/261534723295*c_0101_3^11 - 2089921129083/261534723295*c_0101_3^10 - 7157342276642/52306944659*c_0101_3^9 + 23399210131687/261534723295*c_0101_3^8 + 28575785320207/261534723295*c_0101_3^7 - 25916059014797/261534723295*c_0101_3^6 - 6824020007278/261534723295*c_0101_3^5 + 10062378023388/261534723295*c_0101_3^4 + 736791636374/261534723295*c_0101_3^3 - 2084178797467/261534723295*c_0101_3^2 - 726610986496/261534723295*c_0101_3 + 22969921030/52306944659, c_0101_2 + 41419510323/261534723295*c_0101_3^16 - 604634543899/261534723295*c_0101_3^15 + 657465091006/52306944659*c_0101_3^14 - 1402957486995/52306944659*c_0101_3^13 - 434931709034/52306944659*c_0101_3^12 + 6366621977748/52306944659*c_0101_3^11 - 5524416862403/52306944659*c_0101_3^10 - 53623610973703/261534723295*c_0101_3^9 + 89584175852172/261534723295*c_0101_3^8 + 7164522161329/261534723295*c_0101_3^7 - 14935622522772/52306944659*c_0101_3^6 + 5256747516961/52306944659*c_0101_3^5 + 3816680588015/52306944659*c_0101_3^4 - 11292471558013/261534723295*c_0101_3^3 - 2029765530183/261534723295*c_0101_3^2 + 1142521321352/261534723295*c_0101_3 + 312249975474/261534723295, c_0101_3^17 - 14*c_0101_3^16 + 71*c_0101_3^15 - 127*c_0101_3^14 - 128*c_0101_3^13 + 693*c_0101_3^12 - 263*c_0101_3^11 - 1438*c_0101_3^10 + 1337*c_0101_3^9 + 904*c_0101_3^8 - 1311*c_0101_3^7 - 23*c_0101_3^6 + 448*c_0101_3^5 - 79*c_0101_3^4 - 77*c_0101_3^3 - c_0101_3^2 + 7*c_0101_3 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB