Magma V2.19-8 Tue Aug 20 2013 16:16:02 on localhost [Seed = 1090575750] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0291 geometric_solution 4.33456980 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 1 2 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0.823406651636 0.065587325813 0 3 0 3 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.695666582239 0.208748817931 2 0 2 0 2310 0132 3201 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 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.864134900039 0.037453209223 4 1 5 1 0132 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.807482117244 1.356917729906 3 6 5 5 0132 0132 0213 2310 0 0 0 0 0 -1 1 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.139852484896 0.819841841836 4 4 6 3 3201 0213 3201 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 0 1 -1 -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.139852484896 0.819841841836 5 4 6 6 2310 0132 1230 3012 0 0 0 0 0 1 -1 0 0 0 -1 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 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 1.797813194076 1.185257476738 ==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' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : 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_0101_3'], 'c_1100_5' : negation(d['c_0011_0']), 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : d['c_0011_5'], '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_0']), 'c_0011_6' : d['c_0011_0'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0101_6']), 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0011_5'], 'c_1001_2' : negation(d['c_0101_2']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_5'], 'c_0110_2' : negation(d['c_0101_2']), 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : d['c_0011_5'], 'c_1010_0' : negation(d['c_0101_2'])})} 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_5, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t - 31524980822/23682685*c_0101_6^22 - 257686362003/23682685*c_0101_6^21 - 410009758407/23682685*c_0101_6^20 + 979974891003/23682685*c_0101_6^19 + 32190313504/364349*c_0101_6^18 + 155237577084/23682685*c_0101_6^17 + 695903311503/23682685*c_0101_6^16 + 90425796119/1821745*c_0101_6^15 - 2079399503074/23682685*c_0101_6^14 - 433123908251/4736537*c_0101_6^13 - 5028992950154/23682685*c_0101_6^12 - 1079478138698/4736537*c_0101_6^11 - 1595291949798/23682685*c_0101_6^10 - 916563727439/23682685*c_0101_6^9 + 3106091807028/23682685*c_0101_6^8 + 748016471103/4736537*c_0101_6^7 + 3124101260687/23682685*c_0101_6^6 + 2983438721314/23682685*c_0101_6^5 + 1168286532536/23682685*c_0101_6^4 + 876096171303/23682685*c_0101_6^3 + 192987671192/23682685*c_0101_6^2 + 91672871686/23682685*c_0101_6 + 11283339848/23682685, c_0011_0 - 1, c_0011_5 - 734542893/4736537*c_0101_6^22 - 5502523360/4736537*c_0101_6^21 - 5572930845/4736537*c_0101_6^20 + 28394425569/4736537*c_0101_6^19 + 2442923001/364349*c_0101_6^18 - 25599157100/4736537*c_0101_6^17 + 21311387288/4736537*c_0101_6^16 + 15215691225/4736537*c_0101_6^15 - 65502722397/4736537*c_0101_6^14 - 13057253972/4736537*c_0101_6^13 - 91260328482/4736537*c_0101_6^12 - 53321405021/4736537*c_0101_6^11 + 31750450287/4736537*c_0101_6^10 - 12631496487/4736537*c_0101_6^9 + 85683693632/4736537*c_0101_6^8 + 36786017572/4736537*c_0101_6^7 + 25358370643/4736537*c_0101_6^6 + 31895842701/4736537*c_0101_6^5 - 11836561394/4736537*c_0101_6^4 + 10081116000/4736537*c_0101_6^3 - 7336883272/4736537*c_0101_6^2 + 1149871206/4736537*c_0101_6 - 1027016181/4736537, c_0101_0 + 29119717/364349*c_0101_6^22 + 3274739630/4736537*c_0101_6^21 + 6377084927/4736537*c_0101_6^20 - 9575337549/4736537*c_0101_6^19 - 2374162101/364349*c_0101_6^18 - 998464490/364349*c_0101_6^17 - 8479142831/4736537*c_0101_6^16 - 19155472083/4736537*c_0101_6^15 + 18978061442/4736537*c_0101_6^14 + 38659032839/4736537*c_0101_6^13 + 70716496961/4736537*c_0101_6^12 + 93409424466/4736537*c_0101_6^11 + 47937694524/4736537*c_0101_6^10 + 18835553832/4736537*c_0101_6^9 - 30881543129/4736537*c_0101_6^8 - 63521319410/4736537*c_0101_6^7 - 57125943462/4736537*c_0101_6^6 - 52970963402/4736537*c_0101_6^5 - 30745411103/4736537*c_0101_6^4 - 16151397988/4736537*c_0101_6^3 - 7451499345/4736537*c_0101_6^2 - 1761559074/4736537*c_0101_6 - 687177523/4736537, c_0101_1 - 3122993542/4736537*c_0101_6^22 - 24101785288/4736537*c_0101_6^21 - 29377444292/4736537*c_0101_6^20 + 112291439276/4736537*c_0101_6^19 + 12158518934/364349*c_0101_6^18 - 65199292636/4736537*c_0101_6^17 + 88562419032/4736537*c_0101_6^16 + 81361442312/4736537*c_0101_6^15 - 254646093385/4736537*c_0101_6^14 - 105306190375/4736537*c_0101_6^13 - 429283043629/4736537*c_0101_6^12 - 334883693717/4736537*c_0101_6^11 + 27999804453/4736537*c_0101_6^10 - 76380616493/4736537*c_0101_6^9 + 345234814786/4736537*c_0101_6^8 + 228902079879/4736537*c_0101_6^7 + 181868031691/4736537*c_0101_6^6 + 196837183863/4736537*c_0101_6^5 + 9440009311/4736537*c_0101_6^4 + 61437804214/4736537*c_0101_6^3 - 13425186727/4736537*c_0101_6^2 + 6857047928/4736537*c_0101_6 - 2477281530/4736537, c_0101_2 - 2434631975/4736537*c_0101_6^22 - 19412685824/4736537*c_0101_6^21 - 27873671849/4736537*c_0101_6^20 + 80434466637/4736537*c_0101_6^19 + 11085395018/364349*c_0101_6^18 - 13542941934/4736537*c_0101_6^17 + 64069119988/4736537*c_0101_6^16 + 77736269012/4736537*c_0101_6^15 - 177085627373/4736537*c_0101_6^14 - 127827479495/4736537*c_0101_6^13 - 368960630053/4736537*c_0101_6^12 - 352101930638/4736537*c_0101_6^11 - 5138020066/364349*c_0101_6^10 - 72600474028/4736537*c_0101_6^9 + 253929790963/4736537*c_0101_6^8 + 241305422342/4736537*c_0101_6^7 + 203386893328/4736537*c_0101_6^6 + 201842071292/4736537*c_0101_6^5 + 4345506775/364349*c_0101_6^4 + 61644893399/4736537*c_0101_6^3 + 3931461020/4736537*c_0101_6^2 + 6729018898/4736537*c_0101_6 - 431962962/4736537, c_0101_3 + 28755368/364349*c_0101_6^22 + 3241583871/4736537*c_0101_6^21 + 6358138779/4736537*c_0101_6^20 - 9376402995/4736537*c_0101_6^19 - 2364689027/364349*c_0101_6^18 - 1016317591/364349*c_0101_6^17 - 8289681351/4736537*c_0101_6^16 - 19226520138/4736537*c_0101_6^15 + 18528090427/4736537*c_0101_6^14 + 38753763579/4736537*c_0101_6^13 + 70081801003/4736537*c_0101_6^12 + 93452053299/4736537*c_0101_6^11 + 48335563632/4736537*c_0101_6^10 + 18840290369/4736537*c_0101_6^9 - 30057385691/4736537*c_0101_6^8 - 63521319410/4736537*c_0101_6^7 - 56983847352/4736537*c_0101_6^6 - 52970963402/4736537*c_0101_6^5 - 31053286008/4736537*c_0101_6^4 - 16151397988/4736537*c_0101_6^3 - 7659906973/4736537*c_0101_6^2 - 1761559074/4736537*c_0101_6 - 734542893/4736537, c_0101_6^23 + 8*c_0101_6^22 + 12*c_0101_6^21 - 30*c_0101_6^20 - 56*c_0101_6^19 - 7*c_0101_6^18 - 47*c_0101_6^17 - 32*c_0101_6^16 + 63*c_0101_6^15 + 43*c_0101_6^14 + 177*c_0101_6^13 + 168*c_0101_6^12 + 84*c_0101_6^11 + 83*c_0101_6^10 - 91*c_0101_6^9 - 91*c_0101_6^8 - 121*c_0101_6^7 - 121*c_0101_6^6 - 56*c_0101_6^5 - 56*c_0101_6^4 - 12*c_0101_6^3 - 12*c_0101_6^2 - c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB