Magma V2.19-8 Tue Aug 20 2013 16:17:19 on localhost [Seed = 4122241313] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1544 geometric_solution 5.33545782 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 -1 1 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 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.720622854606 0.932866053508 0 5 2 5 0132 0132 2031 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 -1 1 0 -1 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.882124105586 0.721317023648 3 0 4 1 1302 0132 2031 1302 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 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.481393312953 0.671350582870 3 2 3 0 2310 2031 3201 0132 0 0 0 0 0 0 1 -1 -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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.358725193863 1.005389412267 4 4 0 2 1302 2031 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 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.510312806071 0.372097856498 1 1 6 6 3201 0132 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.162801458391 0.407404195976 5 6 6 5 3201 1230 3012 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 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.818941976656 0.802377191706 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_2_0' : negation(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' : negation(d['1']), 's_1_3' : negation(d['1']), 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_6'], 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : negation(d['c_0011_3']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_3']), 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_0']), 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : negation(d['c_0101_0']), 'c_0101_2' : negation(d['c_0011_3']), 'c_0101_1' : negation(d['c_0011_4']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], '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' : d['c_0101_6'], 'c_1001_4' : negation(d['c_0110_4']), 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_0'], 'c_1001_2' : negation(d['c_0110_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_4']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_0']), 'c_0110_5' : negation(d['c_0101_6']), 'c_0110_4' : d['c_0110_4'], 'c_0110_6' : negation(d['c_0101_0']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_0'], 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : negation(d['c_0011_0']), 'c_1010_2' : negation(d['c_0011_0']), 'c_1010_1' : d['c_0101_6'], 'c_1010_0' : negation(d['c_0110_4'])})} 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_4, c_0011_6, c_0101_0, c_0101_6, c_0110_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t + 1200389008183763/356330219187839*c_0110_4^24 - 9488132455086963/356330219187839*c_0110_4^22 + 479079399985389/27410016860603*c_0110_4^20 + 37127578776042423/356330219187839*c_0110_4^18 + 33221432339643112/356330219187839*c_0110_4^16 - 85346786312872737/356330219187839*c_0110_4^14 + 99425271872427949/356330219187839*c_0110_4^12 - 2350145826098260/2108462835431*c_0110_4^10 + 453272347833229935/356330219187839*c_0110_4^8 - 244592272992975930/356330219187839*c_0110_4^6 + 147859055874375036/356330219187839*c_0110_4^4 - 49862950333649304/356330219187839*c_0110_4^2 + 9470347773737171/356330219187839, c_0011_0 - 1, c_0011_3 + 112121578861755/356330219187839*c_0110_4^25 - 912789382981387/356330219187839*c_0110_4^23 + 60632541112151/27410016860603*c_0110_4^21 + 3351193995272883/356330219187839*c_0110_4^19 + 2306642405278867/356330219187839*c_0110_4^17 - 8814163256796992/356330219187839*c_0110_4^15 + 10878358845696218/356330219187839*c_0110_4^13 - 232662653854888/2108462835431*c_0110_4^11 + 51172278537868615/356330219187839*c_0110_4^9 - 32040497073828538/356330219187839*c_0110_4^7 + 19527178752521254/356330219187839*c_0110_4^5 - 8109957684937856/356330219187839*c_0110_4^3 + 1488668507448885/356330219187839*c_0110_4, c_0011_4 - 214882960000283/356330219187839*c_0110_4^25 + 1710136852013698/356330219187839*c_0110_4^23 - 93503734394918/27410016860603*c_0110_4^21 - 6516775239298518/356330219187839*c_0110_4^19 - 5639950541241821/356330219187839*c_0110_4^17 + 15317226239426299/356330219187839*c_0110_4^15 - 18779704577993670/356330219187839*c_0110_4^13 + 430855326433326/2108462835431*c_0110_4^11 - 85826743984475293/356330219187839*c_0110_4^9 + 50790465131724674/356330219187839*c_0110_4^7 - 32185624934129646/356330219187839*c_0110_4^5 + 11638616970885347/356330219187839*c_0110_4^3 - 1889065051825385/356330219187839*c_0110_4, c_0011_6 + 139034810691865/356330219187839*c_0110_4^24 - 1060255755696679/356330219187839*c_0110_4^22 + 33433935500443/27410016860603*c_0110_4^20 + 4364681887662682/356330219187839*c_0110_4^18 + 5039844473959231/356330219187839*c_0110_4^16 - 8255472197968054/356330219187839*c_0110_4^14 + 9721836558382365/356330219187839*c_0110_4^12 - 255878445323426/2108462835431*c_0110_4^10 + 41245933571502562/356330219187839*c_0110_4^8 - 18821334052511661/356330219187839*c_0110_4^6 + 12687620005345839/356330219187839*c_0110_4^4 - 3230504684015790/356330219187839*c_0110_4^2 - 59219580917060/356330219187839, c_0101_0 - 102761381138528/356330219187839*c_0110_4^24 + 797347469032311/356330219187839*c_0110_4^22 - 32871193282767/27410016860603*c_0110_4^20 - 3165581244025635/356330219187839*c_0110_4^18 - 3333308135962954/356330219187839*c_0110_4^16 + 6503062982629307/356330219187839*c_0110_4^14 - 7901345732297452/356330219187839*c_0110_4^12 + 198192672578438/2108462835431*c_0110_4^10 - 34654465446606678/356330219187839*c_0110_4^8 + 18749968057896136/356330219187839*c_0110_4^6 - 12658446181608392/356330219187839*c_0110_4^4 + 3528659285947491/356330219187839*c_0110_4^2 - 400396544376500/356330219187839, c_0101_6 - 435287109850522/356330219187839*c_0110_4^25 + 3406224272666155/356330219187839*c_0110_4^23 - 153986024890393/27410016860603*c_0110_4^21 - 13513894590400167/356330219187839*c_0110_4^19 - 13238353110568536/356330219187839*c_0110_4^17 + 29463157083895926/356330219187839*c_0110_4^15 - 33751353033299319/356330219187839*c_0110_4^13 + 845882528223129/2108462835431*c_0110_4^11 - 154232659228956710/356330219187839*c_0110_4^9 + 80559151953037436/356330219187839*c_0110_4^7 - 54177641409451212/356330219187839*c_0110_4^5 + 15823246051767750/356330219187839*c_0110_4^3 - 2226788764183948/356330219187839*c_0110_4, c_0110_4^26 - 8*c_0110_4^24 + 6*c_0110_4^22 + 30*c_0110_4^20 + 25*c_0110_4^18 - 72*c_0110_4^16 + 91*c_0110_4^14 - 343*c_0110_4^12 + 414*c_0110_4^10 - 257*c_0110_4^8 + 163*c_0110_4^6 - 62*c_0110_4^4 + 14*c_0110_4^2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB