Magma V2.19-8 Tue Aug 20 2013 16:14:40 on localhost [Seed = 3448525268] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s654 geometric_solution 5.14891447 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 2 1230 3012 0132 0132 0 0 0 0 0 1 -1 0 -1 0 0 1 -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 -1 0 1 1 0 -1 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.604660397999 0.794895087348 3 4 4 0 0132 0132 3201 0132 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 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.749126143288 0.576258846729 4 3 0 4 2310 3201 0132 1023 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 -1 1 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.749126143288 0.576258846729 1 5 2 5 0132 0132 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.911967103890 0.554125253163 1 1 2 2 2310 0132 3201 1023 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 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.161361093094 0.645115770749 5 3 5 3 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.750821467065 0.246231652249 ==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' : negation(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' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : negation(d['1']), 's_0_4' : negation(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' : negation(d['c_0011_1']), 'c_1100_4' : negation(d['c_0011_1']), 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : d['c_0011_1'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_1'], 'c_0011_4' : negation(d['c_0011_1']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : negation(d['c_0101_5']), 'c_1001_4' : negation(d['c_0011_0']), 'c_1001_1' : negation(d['c_0101_4']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : negation(d['c_0101_4']), 'c_0110_5' : negation(d['c_0101_5']), 'c_0110_4' : negation(d['c_0101_1']), 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : negation(d['c_0101_5']), 'c_1010_2' : negation(d['c_0101_1']), '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_0101_0, c_0101_1, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 298170960171251099593679196614489/66244003715162055015876536110690*\ c_0101_5^18 + 1612958358499806582989581758306093/662440037151620550\ 15876536110690*c_0101_5^17 - 382521838297895607658055651423103/6022\ 182155923823183261503282790*c_0101_5^16 + 3079897203117259275978944011066997/13248800743032411003175307222138\ *c_0101_5^15 - 7498522741878234056643802262394984/33122001857581027\ 507938268055345*c_0101_5^14 - 84948049612971824285036980674078466/3\ 3122001857581027507938268055345*c_0101_5^13 + 23887562617054921235981571119949495/6624400371516205501587653611069\ *c_0101_5^12 + 101452793583412433508505010435225236/331220018575810\ 27507938268055345*c_0101_5^11 - 45299466343817746295506192368344650\ 1/66244003715162055015876536110690*c_0101_5^10 + 62954104042725690284217523258506683/6624400371516205501587653611069\ 0*c_0101_5^9 + 265581245768961241026560236891622473/662440037151620\ 55015876536110690*c_0101_5^8 + 8510706285125667911669777527639513/1\ 743263255662159342523066739755*c_0101_5^7 + 270752299620681671046129127772631536/331220018575810275079382680553\ 45*c_0101_5^6 + 447634338066590096938906491929394437/66244003715162\ 055015876536110690*c_0101_5^5 + 24308379923665939709886758436357976\ 9/66244003715162055015876536110690*c_0101_5^4 + 23762818781919909113698731828958619/1324880074303241100317530722213\ 8*c_0101_5^3 + 42582242662095487788812170921917959/6624400371516205\ 5015876536110690*c_0101_5^2 + 4580260972321795190592258593801762/33\ 122001857581027507938268055345*c_0101_5 + 1276865308621957883971048435317884/33122001857581027507938268055345\ , c_0011_0 - 1, c_0011_1 - 685406172262397520736170873/14688249160789812642101227519*c_\ 0101_5^18 - 5493621802717323827176750013/14688249160789812642101227\ 519*c_0101_5^17 + 446445808096026947678649249/146882491607898126421\ 01227519*c_0101_5^16 - 7944386735735059660051855996/146882491607898\ 12642101227519*c_0101_5^15 - 64306814760383582284138243412/14688249\ 160789812642101227519*c_0101_5^14 + 504904256201984990478297411753/14688249160789812642101227519*c_0101\ _5^13 + 438790836662917192950091823747/1468824916078981264210122751\ 9*c_0101_5^12 - 2130516564700456006658249431229/1468824916078981264\ 2101227519*c_0101_5^11 + 217394661088272315306648092352/14688249160\ 789812642101227519*c_0101_5^10 + 2713257857169026926118118324316/14\ 688249160789812642101227519*c_0101_5^9 - 1539042327954631965582236261509/14688249160789812642101227519*c_010\ 1_5^8 - 112106637262734629247997346504/773065745304726981163222501*\ c_0101_5^7 - 3038430398825615313899719414890/1468824916078981264210\ 1227519*c_0101_5^6 - 3661540662856994556872416793862/14688249160789\ 812642101227519*c_0101_5^5 - 2568148975970554775377801289498/146882\ 49160789812642101227519*c_0101_5^4 - 1155287756543336245426416381332/14688249160789812642101227519*c_010\ 1_5^3 - 453622062330890783027277634230/1468824916078981264210122751\ 9*c_0101_5^2 - 108511250851778482641979373835/146882491607898126421\ 01227519*c_0101_5 - 16428726235474466089264129413/14688249160789812\ 642101227519, c_0101_0 + 10024435280414135934198447093/14688249160789812642101227519*\ c_0101_5^18 + 54556113571774334427446056483/14688249160789812642101\ 227519*c_0101_5^17 - 140369923589922446314534132226/146882491607898\ 12642101227519*c_0101_5^16 + 509482436983812491018885987623/1468824\ 9160789812642101227519*c_0101_5^15 - 477000945469334934923793595759/14688249160789812642101227519*c_0101\ _5^14 - 5765373713111326115816323772271/146882491607898126421012275\ 19*c_0101_5^13 + 7884329049144040049673177107767/146882491607898126\ 42101227519*c_0101_5^12 + 7467627895872280361459830486935/146882491\ 60789812642101227519*c_0101_5^11 - 15608451942827100412328668873720/14688249160789812642101227519*c_01\ 01_5^10 + 1246328679663042394806024974164/1468824916078981264210122\ 7519*c_0101_5^9 + 10041244868602223377044469150800/1468824916078981\ 2642101227519*c_0101_5^8 + 574882640928105417577477715209/773065745\ 304726981163222501*c_0101_5^7 + 18049415338876856524848819715887/14\ 688249160789812642101227519*c_0101_5^6 + 14841398345541349275814289953637/14688249160789812642101227519*c_01\ 01_5^5 + 7570583970359344488607688998401/14688249160789812642101227\ 519*c_0101_5^4 + 3444208136623026174019803821613/146882491607898126\ 42101227519*c_0101_5^3 + 1151668680356613575087195415169/1468824916\ 0789812642101227519*c_0101_5^2 + 232737135141020274903200175110/146\ 88249160789812642101227519*c_0101_5 + 51412846637062466812344735048/14688249160789812642101227519, c_0101_1 + 4981271448825679753261123658/14688249160789812642101227519*c\ _0101_5^18 + 25949364268258049233936587234/146882491607898126421012\ 27519*c_0101_5^17 - 75084806113490327983144155937/14688249160789812\ 642101227519*c_0101_5^16 + 274026990415211252833741049890/146882491\ 60789812642101227519*c_0101_5^15 - 313214651127635104098173668577/14688249160789812642101227519*c_0101\ _5^14 - 2747199263198669915181676460623/146882491607898126421012275\ 19*c_0101_5^13 + 4492913277568505959572279557082/146882491607898126\ 42101227519*c_0101_5^12 + 2298990490291995483055612205038/146882491\ 60789812642101227519*c_0101_5^11 - 7471685447126991312362990773960/14688249160789812642101227519*c_010\ 1_5^10 + 2324866722157967055327114137276/14688249160789812642101227\ 519*c_0101_5^9 + 3326974766562335592801241757540/146882491607898126\ 42101227519*c_0101_5^8 + 291816016511649133309828215247/77306574530\ 4726981163222501*c_0101_5^7 + 7806041030632724514825277586764/14688\ 249160789812642101227519*c_0101_5^6 + 6191663025041633990840152520627/14688249160789812642101227519*c_010\ 1_5^5 + 3167947623818712781977327329289/146882491607898126421012275\ 19*c_0101_5^4 + 1401820598573385789865502745656/1468824916078981264\ 2101227519*c_0101_5^3 + 455099592056970049924369977410/146882491607\ 89812642101227519*c_0101_5^2 + 122029372826115003204747691790/14688\ 249160789812642101227519*c_0101_5 + 18494568830766384149881436822/14688249160789812642101227519, c_0101_4 + 13724843722545358006922438168/14688249160789812642101227519*\ c_0101_5^18 + 67332777931360841035478800257/14688249160789812642101\ 227519*c_0101_5^17 - 227995386863891441403158825008/146882491607898\ 12642101227519*c_0101_5^16 + 821211729472894022847892431529/1468824\ 9160789812642101227519*c_0101_5^15 - 1099305737020479020038821290076/14688249160789812642101227519*c_010\ 1_5^14 - 7282258514972986981966377543172/14688249160789812642101227\ 519*c_0101_5^13 + 14664542869607406375886633852659/1468824916078981\ 2642101227519*c_0101_5^12 + 2215409953843718714162084043648/1468824\ 9160789812642101227519*c_0101_5^11 - 22161806310919135974206397934012/14688249160789812642101227519*c_01\ 01_5^10 + 13402237597904459832892558028235/146882491607898126421012\ 27519*c_0101_5^9 + 6209040798605931408407948332211/1468824916078981\ 2642101227519*c_0101_5^8 + 641906906419690380675012174155/773065745\ 304726981163222501*c_0101_5^7 + 17900295712130009811399723478212/14\ 688249160789812642101227519*c_0101_5^6 + 11080160184617001682320428314104/14688249160789812642101227519*c_01\ 01_5^5 + 4792828585219156847363892644561/14688249160789812642101227\ 519*c_0101_5^4 + 2361905258537581614751692910449/146882491607898126\ 42101227519*c_0101_5^3 + 483610916141326720015666241864/14688249160\ 789812642101227519*c_0101_5^2 + 144250350765418673970551564349/1468\ 8249160789812642101227519*c_0101_5 + 15083834023603386271323265442/14688249160789812642101227519, c_0101_5^19 + 5*c_0101_5^18 - 16*c_0101_5^17 + 59*c_0101_5^16 - 77*c_0101_5^15 - 529*c_0101_5^14 + 1006*c_0101_5^13 + 183*c_0101_5^12 - 1435*c_0101_5^11 + 840*c_0101_5^10 + 303*c_0101_5^9 + 1087*c_0101_5^8 + 1446*c_0101_5^7 + 1067*c_0101_5^6 + 610*c_0101_5^5 + 313*c_0101_5^4 + 96*c_0101_5^3 + 34*c_0101_5^2 + 5*c_0101_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB