Magma V2.19-8 Tue Aug 20 2013 16:14:16 on localhost [Seed = 3549581299] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s247 geometric_solution 4.41297496 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 1 1230 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.500064495272 0.122901272528 2 0 2 0 0132 2310 1023 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 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.614103917321 0.340581146353 1 3 1 4 0132 0132 1023 0132 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 1 0 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.800571609887 1.862120826706 4 2 5 4 3201 0132 0132 2310 0 0 0 0 0 0 0 0 -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 0 0 0 0 -1 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.108219946072 0.758437578944 3 5 2 3 3201 1023 0132 2310 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 1 0 -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.108219946072 0.758437578944 4 5 5 3 1023 1230 3012 0132 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 -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.699546944652 1.193977008129 ==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' : negation(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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : d['c_0011_1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], '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' : negation(d['c_0011_4']), 'c_1001_4' : d['c_0101_5'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_5'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0101_1']), 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_1']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0101_1'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_0101_5'], '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_1, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t + 16420482487269716061345976955/1286915416809098358558615536*c_0101_5\ ^16 + 890366014750680225483751194581/2573830833618196717117231072*c\ _0101_5^15 + 6603421632707709742858074177167/2573830833618196717117\ 231072*c_0101_5^14 + 15494370114537720354797391397109/2573830833618\ 196717117231072*c_0101_5^13 - 16882156869558776415081034860811/2573\ 830833618196717117231072*c_0101_5^12 - 25595165908295439499714848478929/643457708404549179279307768*c_0101\ _5^11 - 11108287660676051949336717745245/12869154168090983585586155\ 36*c_0101_5^10 + 104966539328465568771080061297675/1286915416809098\ 358558615536*c_0101_5^9 + 8341848528237418372883969610227/257383083\ 3618196717117231072*c_0101_5^8 - 248959807026062918474944125675729/\ 2573830833618196717117231072*c_0101_5^7 + 7755862038511978642015415209493/160864427101137294819826942*c_0101_\ 5^6 + 7600290329376605229252932027107/160864427101137294819826942*c\ _0101_5^5 - 57943143075940612808656679862473/1286915416809098358558\ 615536*c_0101_5^4 + 1878030183330869340547531495095/321728854202274\ 589639653884*c_0101_5^3 + 7532594128804792266737862227253/257383083\ 3618196717117231072*c_0101_5^2 - 5051157565183202429716624832683/25\ 73830833618196717117231072*c_0101_5 - 505320848525796094765345021695/1286915416809098358558615536, c_0011_0 - 1, c_0011_1 + 197413462346109239508883279/5147661667236393434234462144*c_0\ 101_5^16 + 665541481267156932427944307/643457708404549179279307768*\ c_0101_5^15 + 19485771521856242955575332019/25738308336181967171172\ 31072*c_0101_5^14 + 44209488426285920529217335321/25738308336181967\ 17117231072*c_0101_5^13 - 107762057576624637181931940105/5147661667\ 236393434234462144*c_0101_5^12 - 145559602555379854773060060589/128\ 6915416809098358558615536*c_0101_5^11 - 25571508712755034703416982261/2573830833618196717117231072*c_0101_5\ ^10 + 1183980926637404987069652251113/5147661667236393434234462144*\ c_0101_5^9 - 25408407355356873411970143031/643457708404549179279307\ 768*c_0101_5^8 - 1362829496481172050804198756223/514766166723639343\ 4234462144*c_0101_5^7 + 514767312818874173010573023647/257383083361\ 8196717117231072*c_0101_5^6 + 225332029810956430910922539369/257383\ 0833618196717117231072*c_0101_5^5 - 194521290025369929706840057383/1286915416809098358558615536*c_0101_\ 5^4 + 288386830102638731354351744501/5147661667236393434234462144*c\ _0101_5^3 - 1182866228042210944949514213/12869154168090983585586155\ 36*c_0101_5^2 - 35949364855116358734546000679/514766166723639343423\ 4462144*c_0101_5 + 397058575695430208400955113/64345770840454917927\ 9307768, c_0011_4 + 317563786988211365862908059/10295323334472786868468924288*c_\ 0101_5^16 + 4282785704604586278912093431/51476616672363934342344621\ 44*c_0101_5^15 + 15674180516381551447434537361/25738308336181967171\ 17231072*c_0101_5^14 + 35503584776323826878948129107/25738308336181\ 96717117231072*c_0101_5^13 - 175649376514994248157835129943/1029532\ 3334472786868468924288*c_0101_5^12 - 117831067406592829564079365293/1286915416809098358558615536*c_0101_\ 5^11 - 37467498479701387376319291679/5147661667236393434234462144*c\ _0101_5^10 + 1949348736227305736208624928845/1029532333447278686846\ 8924288*c_0101_5^9 - 159283758057303640159932312887/514766166723639\ 3434234462144*c_0101_5^8 - 2297455103557561044820735674865/10295323\ 334472786868468924288*c_0101_5^7 + 814605767520442123135700415797/5147661667236393434234462144*c_0101_\ 5^6 + 419398824945111348689646560829/5147661667236393434234462144*c\ _0101_5^5 - 158456521241701450788683961335/128691541680909835855861\ 5536*c_0101_5^4 + 406335594371794637383842407701/102953233344727868\ 68468924288*c_0101_5^3 + 5820103381764556200450231989/5147661667236\ 393434234462144*c_0101_5^2 - 49691958324194202357003056365/10295323\ 334472786868468924288*c_0101_5 + 804145646241390431396298091/128691\ 5416809098358558615536, c_0101_0 - 369178603865858385647640265/10295323334472786868468924288*c_\ 0101_5^16 - 5006639264094688311759236107/51476616672363934342344621\ 44*c_0101_5^15 - 9301802068099805146060502921/128691541680909835855\ 8615536*c_0101_5^14 - 22111120371279868225566112279/128691541680909\ 8358558615536*c_0101_5^13 + 172817503004677903657086909889/10295323\ 334472786868468924288*c_0101_5^12 + 34633019885714882939367071141/321728854202274589639653884*c_0101_5^\ 11 + 127713661743458108799978627185/5147661667236393434234462144*c_\ 0101_5^10 - 2158294538714606886664013060367/10295323334472786868468\ 924288*c_0101_5^9 + 55330071956622550201194286795/51476616672363934\ 34234462144*c_0101_5^8 + 2590713186944498791552669600215/1029532333\ 4472786868468924288*c_0101_5^7 - 793299778903564791488022517227/514\ 7661667236393434234462144*c_0101_5^6 - 546872584286835076727026701087/5147661667236393434234462144*c_0101_\ 5^5 + 41512198883164375466073214941/321728854202274589639653884*c_0\ 101_5^4 - 377239638126427539537176706655/10295323334472786868468924\ 288*c_0101_5^3 - 35796713126151764562732390637/51476616672363934342\ 34462144*c_0101_5^2 + 74635670633609904780665125619/102953233344727\ 86868468924288*c_0101_5 - 315262184595837986634199557/1286915416809\ 098358558615536, c_0101_1 + 252690427262849253961759633/10295323334472786868468924288*c_\ 0101_5^16 + 3455400347096206742277433003/51476616672363934342344621\ 44*c_0101_5^15 + 6565977571743595529508922321/128691541680909835855\ 8615536*c_0101_5^14 + 16732323438144943977671426541/128691541680909\ 8358558615536*c_0101_5^13 - 80848684338336910457685323689/102953233\ 34472786868468924288*c_0101_5^12 - 23662528174340953055846050519/321728854202274589639653884*c_0101_5^\ 11 - 176130397400048883286055040745/5147661667236393434234462144*c_\ 0101_5^10 + 1292499625495994477652415213287/10295323334472786868468\ 924288*c_0101_5^9 + 71689482705238948007448261093/51476616672363934\ 34234462144*c_0101_5^8 - 1569762627598770183103234363311/1029532333\ 4472786868468924288*c_0101_5^7 + 400618242747547602115532558947/514\ 7661667236393434234462144*c_0101_5^6 + 351630877365416375811997720631/5147661667236393434234462144*c_0101_\ 5^5 - 5495545166308081918911466358/80432213550568647409913471*c_010\ 1_5^4 + 231972722477140013520284680407/1029532333447278686846892428\ 8*c_0101_5^3 + 5699271611349682924472549565/51476616672363934342344\ 62144*c_0101_5^2 - 28747615561627136252673644619/102953233344727868\ 68468924288*c_0101_5 + 894828154369520292499486237/1286915416809098\ 358558615536, c_0101_5^17 + 27*c_0101_5^16 + 198*c_0101_5^15 + 448*c_0101_5^14 - 577*c_0101_5^13 - 3085*c_0101_5^12 - 306*c_0101_5^11 + 6621*c_0101_5^10 - 419*c_0101_5^9 - 7901*c_0101_5^8 + 4635*c_0101_5^7 + 3628*c_0101_5^6 - 4154*c_0101_5^5 + 711*c_0101_5^4 + 349*c_0101_5^3 - 233*c_0101_5^2 - 15*c_0101_5 + 8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB