Magma V2.19-8 Tue Aug 20 2013 16:14:16 on localhost [Seed = 3499183344] 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' : 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_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: 3 Groebner basis: [ t - 3*c_0101_1^2 + c_0101_1 + 8, c_0011_0 - 1, c_0011_1 - c_0101_1^2 + 1, c_0011_4 - c_0101_1^2 + 1, c_0101_0 + c_0101_1, c_0101_1^3 - c_0101_1^2 - 2*c_0101_1 + 1, c_0101_5 - 1 ], 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: 13 Groebner basis: [ t + 6430998042054727808613/313241523035203784020*c_0101_5^12 + 128743255835568524388663/313241523035203784020*c_0101_5^11 + 44823987219780455967913/15662076151760189201*c_0101_5^10 + 278455082257523135071427/31324152303520378402*c_0101_5^9 + 978249446447834517512741/78310380758800946005*c_0101_5^8 + 813694804761009921982327/78310380758800946005*c_0101_5^7 + 367206458667337488395361/15662076151760189201*c_0101_5^6 + 14064672576509931742462427/313241523035203784020*c_0101_5^5 + 3680814198443487632463539/313241523035203784020*c_0101_5^4 - 5751540591789114536953779/313241523035203784020*c_0101_5^3 - 163660114827307886320781/62648304607040756804*c_0101_5^2 + 704765715664163157006269/313241523035203784020*c_0101_5 - 198615623124069367529337/313241523035203784020, c_0011_0 - 1, c_0011_1 + 20702199454130439/62648304607040756804*c_0101_5^12 - 236030663824199587/62648304607040756804*c_0101_5^11 - 2487513730117050197/15662076151760189201*c_0101_5^10 - 39129001447980021305/31324152303520378402*c_0101_5^9 - 62099853272301090842/15662076151760189201*c_0101_5^8 - 85023060178304004630/15662076151760189201*c_0101_5^7 - 73628897117499219085/15662076151760189201*c_0101_5^6 - 726305296851917215551/62648304607040756804*c_0101_5^5 - 1285559419098142834271/62648304607040756804*c_0101_5^4 - 259711514192749694729/62648304607040756804*c_0101_5^3 + 200270528352397747617/62648304607040756804*c_0101_5^2 - 43828627462684417613/62648304607040756804*c_0101_5 + 25131001943340769161/62648304607040756804, c_0011_4 - 234877112747906871/62648304607040756804*c_0101_5^12 - 4784809227442853311/62648304607040756804*c_0101_5^11 - 8558940511981332858/15662076151760189201*c_0101_5^10 - 55047126493568210137/31324152303520378402*c_0101_5^9 - 39595700273784813043/15662076151760189201*c_0101_5^8 - 28585189959741530825/15662076151760189201*c_0101_5^7 - 63767098550024555574/15662076151760189201*c_0101_5^6 - 575259248835458828749/62648304607040756804*c_0101_5^5 - 172251990093223563227/62648304607040756804*c_0101_5^4 + 375512121581528118213/62648304607040756804*c_0101_5^3 + 8141398727086418213/62648304607040756804*c_0101_5^2 - 106484912345281248183/62648304607040756804*c_0101_5 + 22036079532186623721/62648304607040756804, c_0101_0 + 650297015504169710/15662076151760189201*c_0101_5^12 + 26001954911500517971/31324152303520378402*c_0101_5^11 + 90339708185429426200/15662076151760189201*c_0101_5^10 + 279864681240112366710/15662076151760189201*c_0101_5^9 + 392862965261448492802/15662076151760189201*c_0101_5^8 + 331697703389976070244/15662076151760189201*c_0101_5^7 + 749109311769906306910/15662076151760189201*c_0101_5^6 + 1415917238364111620284/15662076151760189201*c_0101_5^5 + 751328312231114159307/31324152303520378402*c_0101_5^4 - 532422490046165007376/15662076151760189201*c_0101_5^3 - 152251266473755135741/31324152303520378402*c_0101_5^2 + 82820189692765570026/15662076151760189201*c_0101_5 - 19045376001762676259/31324152303520378402, c_0101_1 - 212608518059506577/31324152303520378402*c_0101_5^12 - 2000587048222742693/15662076151760189201*c_0101_5^11 - 12316091117234636667/15662076151760189201*c_0101_5^10 - 29209623894861633381/15662076151760189201*c_0101_5^9 - 15522925277491644192/15662076151760189201*c_0101_5^8 + 8198489419131348129/15662076151760189201*c_0101_5^7 - 70651770298985611575/15662076151760189201*c_0101_5^6 - 187677726805816762569/31324152303520378402*c_0101_5^5 + 175812713263428330441/15662076151760189201*c_0101_5^4 + 210584116006319437175/31324152303520378402*c_0101_5^3 - 60186300687965679465/15662076151760189201*c_0101_5^2 + 9649188403317631775/31324152303520378402*c_0101_5 + 6409131000742262817/15662076151760189201, c_0101_5^13 + 20*c_0101_5^12 + 139*c_0101_5^11 + 430*c_0101_5^10 + 598*c_0101_5^9 + 488*c_0101_5^8 + 1124*c_0101_5^7 + 2159*c_0101_5^6 + 514*c_0101_5^5 - 936*c_0101_5^4 - 112*c_0101_5^3 + 128*c_0101_5^2 - 32*c_0101_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB