Magma V2.19-8 Tue Aug 20 2013 16:14:25 on localhost [Seed = 4273955581] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s407 geometric_solution 4.66383092 oriented_manifold CS_known -0.0000000000000001 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 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.510448107532 0.162408257560 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 1 -1 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.710576174019 0.403604903058 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 -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 1.914468823548 1.044660044360 4 2 5 4 3012 0132 0132 3120 0 0 0 0 0 0 -1 1 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 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.700960204689 0.705894811831 3 5 2 3 3120 3201 0132 1230 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 0 0 0 1 0 -1 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.700960204689 0.705894811831 5 5 4 3 1230 3012 2310 0132 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 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.550984521999 0.475532378442 ==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' : negation(d['c_0011_4']), 'c_0101_3' : d['c_0011_5'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : negation(d['c_0011_4']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], '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_5']), 'c_1001_4' : negation(d['c_0101_5']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_5']), 'c_1001_2' : negation(d['c_0011_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0011_1'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : d['c_0011_1'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0011_5'], 'c_1010_3' : negation(d['c_0011_4']), 'c_1010_2' : negation(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_0011_5, c_0101_0, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 11728265379332441747747074572146511/1219406472737928160868220351973\ 571*c_0101_5^17 - 108371807767416791839810397985473501/121940647273\ 7928160868220351973571*c_0101_5^16 + 434962189861360231826870653661154111/121940647273792816086822035197\ 3571*c_0101_5^15 - 1123043590685518919730122539429469289/1219406472\ 737928160868220351973571*c_0101_5^14 + 688707352258752956665893487609012738/121940647273792816086822035197\ 3571*c_0101_5^13 + 4576636666641113124448459964844882942/1219406472\ 737928160868220351973571*c_0101_5^12 - 2601040116188171214798657420472251265/12194064727379281608682203519\ 73571*c_0101_5^11 + 298677633501827488885099046217149943/1219406472\ 737928160868220351973571*c_0101_5^10 - 32896774102361160353535782855260930308/1219406472737928160868220351\ 973571*c_0101_5^9 - 1511599799998682221460028529646322187/121940647\ 2737928160868220351973571*c_0101_5^8 + 77091016165984249492643571931704025598/1219406472737928160868220351\ 973571*c_0101_5^7 - 24994905900669310262818222138553869646/12194064\ 72737928160868220351973571*c_0101_5^6 - 42273394899475841535226913070376520525/1219406472737928160868220351\ 973571*c_0101_5^5 + 27688815758336009188795587078836616027/12194064\ 72737928160868220351973571*c_0101_5^4 - 4283151830891511626741739050013749592/12194064727379281608682203519\ 73571*c_0101_5^3 - 3887476019302811065933663820825803388/1219406472\ 737928160868220351973571*c_0101_5^2 + 4299824950928617901171904548476316187/12194064727379281608682203519\ 73571*c_0101_5 - 1193918516783591460826758884825352748/121940647273\ 7928160868220351973571, c_0011_0 - 1, c_0011_1 + 52602679043177733405415971321139/121940647273792816086822035\ 1973571*c_0101_5^17 - 448107259659435585997555255532845/12194064727\ 37928160868220351973571*c_0101_5^16 + 1625932988043204371070446905662407/12194064727379281608682203519735\ 71*c_0101_5^15 - 3850620334262838480767911063727425/121940647273792\ 8160868220351973571*c_0101_5^14 + 264566142348150386932320403815196\ /1219406472737928160868220351973571*c_0101_5^13 + 20824991308060857609740509607506723/1219406472737928160868220351973\ 571*c_0101_5^12 + 3367226035820306490890366947030295/12194064727379\ 28160868220351973571*c_0101_5^11 + 3187425894009381887918081600616130/12194064727379281608682203519735\ 71*c_0101_5^10 - 145620800353817741930310518006741142/1219406472737\ 928160868220351973571*c_0101_5^9 - 112052450040755257541856822888670499/121940647273792816086822035197\ 3571*c_0101_5^8 + 269435773802947624506336779034069417/121940647273\ 7928160868220351973571*c_0101_5^7 + 86889495511048876239502167592917586/1219406472737928160868220351973\ 571*c_0101_5^6 - 132520708105985939318354222383403604/1219406472737\ 928160868220351973571*c_0101_5^5 + 22346586663087476475200099411047862/1219406472737928160868220351973\ 571*c_0101_5^4 - 1101394072217587256843788023093142/121940647273792\ 8160868220351973571*c_0101_5^3 - 1730442032349554751241528911746731\ 4/1219406472737928160868220351973571*c_0101_5^2 + 5733118050667457670831369227007751/12194064727379281608682203519735\ 71*c_0101_5 + 600587976099339228925141864736523/1219406472737928160\ 868220351973571, c_0011_4 + 9825606125051210721776885400602/1219406472737928160868220351\ 973571*c_0101_5^17 - 89832071016082979675957991867567/1219406472737\ 928160868220351973571*c_0101_5^16 + 354207519835406938305580839737876/121940647273792816086822035197357\ 1*c_0101_5^15 - 895352095685300063520672116151499/12194064727379281\ 60868220351973571*c_0101_5^14 + 454791492161717554080904057511853/1\ 219406472737928160868220351973571*c_0101_5^13 + 3954694062470068661192806150896186/12194064727379281608682203519735\ 71*c_0101_5^12 - 1747483727704405617035551466498768/121940647273792\ 8160868220351973571*c_0101_5^11 - 394960195757484748120813798566382\ /1219406472737928160868220351973571*c_0101_5^10 - 28243504692030061200569704641941990/1219406472737928160868220351973\ 571*c_0101_5^9 - 4450122878509592945042210734618919/121940647273792\ 8160868220351973571*c_0101_5^8 + 6790017863290687526118179955076221\ 9/1219406472737928160868220351973571*c_0101_5^7 - 8277819276804018729192304889308754/12194064727379281608682203519735\ 71*c_0101_5^6 - 37893173857547949202968178400537587/121940647273792\ 8160868220351973571*c_0101_5^5 + 1218541204481098606723147271714226\ 3/1219406472737928160868220351973571*c_0101_5^4 - 2661220724513112235523873863950672/12194064727379281608682203519735\ 71*c_0101_5^3 - 2034796931142867700091907069655037/1219406472737928\ 160868220351973571*c_0101_5^2 + 1566828515176779099587267281894849/\ 1219406472737928160868220351973571*c_0101_5 - 490270594600791456100061645980092/121940647273792816086822035197357\ 1, c_0011_5 + 9583716284881734183920392447104/1219406472737928160868220351\ 973571*c_0101_5^17 - 84022777455872669030761950306642/1219406472737\ 928160868220351973571*c_0101_5^16 + 315778806058148577386213893265817/121940647273792816086822035197357\ 1*c_0101_5^15 - 767416912180104112377405240977415/12194064727379281\ 60868220351973571*c_0101_5^14 + 187291443936114574391913776788371/1\ 219406472737928160868220351973571*c_0101_5^13 + 3883097897147328298300518434008748/12194064727379281608682203519735\ 71*c_0101_5^12 - 452834398570656646940315412019614/1219406472737928\ 160868220351973571*c_0101_5^11 + 188841422319541103473129089164890/\ 1219406472737928160868220351973571*c_0101_5^10 - 26247098309727680123063811965259886/1219406472737928160868220351973\ 571*c_0101_5^9 - 13815881973220594035908799735486322/12194064727379\ 28160868220351973571*c_0101_5^8 + 567749027382851885636464691023506\ 47/1219406472737928160868220351973571*c_0101_5^7 + 1456037301931117186380897186243400/12194064727379281608682203519735\ 71*c_0101_5^6 - 34111441522649436939257526159486401/121940647273792\ 8160868220351973571*c_0101_5^5 + 1297930771663619819613890689002061\ 0/1219406472737928160868220351973571*c_0101_5^4 - 842809948638851139953918223210420/121940647273792816086822035197357\ 1*c_0101_5^3 - 3297433219320268539381132400516879/12194064727379281\ 60868220351973571*c_0101_5^2 + 3330549911994235104828568118813636/1\ 219406472737928160868220351973571*c_0101_5 - 460795904835690557549094198386769/121940647273792816086822035197357\ 1, c_0101_0 + 78297910333218582386549614652343/121940647273792816086822035\ 1973571*c_0101_5^17 - 657142289303793162819320325264113/12194064727\ 37928160868220351973571*c_0101_5^16 + 2345657528380118057381081408772681/12194064727379281608682203519735\ 71*c_0101_5^15 - 5501241463218641034813141764834200/121940647273792\ 8160868220351973571*c_0101_5^14 - 85455279119574659057405351736039/\ 1219406472737928160868220351973571*c_0101_5^13 + 30525348066572924684370301959720327/1219406472737928160868220351973\ 571*c_0101_5^12 + 8574676578832789800313796437899740/12194064727379\ 28160868220351973571*c_0101_5^11 + 9012055427192937635087545577919168/12194064727379281608682203519735\ 71*c_0101_5^10 - 213249633249103713079744661219892592/1219406472737\ 928160868220351973571*c_0101_5^9 - 192035639057212815140684828726389948/121940647273792816086822035197\ 3571*c_0101_5^8 + 355306703844039947916128312532865336/121940647273\ 7928160868220351973571*c_0101_5^7 + 143486145257631364173984241064449061/121940647273792816086822035197\ 3571*c_0101_5^6 - 152841293249394032528649740182945763/121940647273\ 7928160868220351973571*c_0101_5^5 + 43545265336828891129674565732336006/1219406472737928160868220351973\ 571*c_0101_5^4 - 4659819378665261011215008225155454/121940647273792\ 8160868220351973571*c_0101_5^3 - 2633719237092732362199334417762183\ 4/1219406472737928160868220351973571*c_0101_5^2 + 7971248193939010180530430148772684/12194064727379281608682203519735\ 71*c_0101_5 - 794883004844891946342320289331914/1219406472737928160\ 868220351973571, c_0101_5^18 - 9*c_0101_5^17 + 35*c_0101_5^16 - 88*c_0101_5^15 + 40*c_0101_5^14 + 394*c_0101_5^13 - 126*c_0101_5^12 + 25*c_0101_5^11 - 2798*c_0101_5^10 - 798*c_0101_5^9 + 6171*c_0101_5^8 - 780*c_0101_5^7 - 3379*c_0101_5^6 + 1632*c_0101_5^5 - 187*c_0101_5^4 - 334*c_0101_5^3 + 285*c_0101_5^2 - 54*c_0101_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB