Magma V2.19-8 Tue Aug 20 2013 16:14:26 on localhost [Seed = 1478083673] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s422 geometric_solution 4.71939273 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.564005750431 0.116647236006 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.735691751616 0.235008020361 1 3 1 4 0132 0132 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 -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.977680100320 1.029288182630 5 2 4 4 0132 0132 2310 3120 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 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 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.335354735130 0.750729175297 3 3 2 5 3120 3201 0132 1023 0 0 0 0 0 -1 0 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 -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.335354735130 0.750729175297 3 5 5 4 0132 3201 2310 1023 0 0 0 0 0 0 0 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 1 -1 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.050750697120 1.016100418759 ==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' : negation(d['c_0011_1']), '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_0101_3'], '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' : negation(d['c_0011_1']), '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_0101_5']), 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), '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_0101_5'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_5'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : negation(d['c_0011_4']), 'c_1010_2' : negation(d['c_0101_3']), '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_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 30901017483026773320505085426/98938762506920836821552527*c_0101_5^2\ 3 - 130694500737351210275559801890/98938762506920836821552527*c_010\ 1_5^22 - 3004984597801262963994118371/197877525013841673643105054*c\ _0101_5^21 + 3440804484260232519516116219527/1978775250138416736431\ 05054*c_0101_5^20 + 4043003604120920071859834336770/989387625069208\ 36821552527*c_0101_5^19 - 19445238979802198046405845883457/19787752\ 5013841673643105054*c_0101_5^18 - 37015509338561312340550688257388/\ 98938762506920836821552527*c_0101_5^17 + 92985758922957376262924420329969/197877525013841673643105054*c_0101\ _5^16 + 277617780243470574526013364947939/1978775250138416736431050\ 54*c_0101_5^15 - 343878182306177243549179009162459/1978775250138416\ 73643105054*c_0101_5^14 - 495353473436724274317252688192021/1978775\ 25013841673643105054*c_0101_5^13 + 756662181564662430615604004123501/197877525013841673643105054*c_010\ 1_5^12 + 192428485754976662761864585303525/989387625069208368215525\ 27*c_0101_5^11 - 448308198301254833153854956232777/9893876250692083\ 6821552527*c_0101_5^10 - 14411280427104586279040028845730/989387625\ 06920836821552527*c_0101_5^9 + 267213156481737122356828402887434/98\ 938762506920836821552527*c_0101_5^8 - 112274170373558471205198356568953/197877525013841673643105054*c_010\ 1_5^7 - 147887335014843916177502530958415/1978775250138416736431050\ 54*c_0101_5^6 + 45878973395443835101917321070781/197877525013841673\ 643105054*c_0101_5^5 + 23454088121030471550161952046963/19787752501\ 3841673643105054*c_0101_5^4 - 4077314792309885407557826658632/98938\ 762506920836821552527*c_0101_5^3 - 1079628582766296843123672639520/98938762506920836821552527*c_0101_5\ ^2 + 248433250669613775807165679520/98938762506920836821552527*c_01\ 01_5 + 83948598978625733310294088055/197877525013841673643105054, c_0011_0 - 1, c_0011_1 - 1583951449708336995967764621/197877525013841673643105054*c_0\ 101_5^23 - 7337856422087476182736206439/197877525013841673643105054\ *c_0101_5^22 - 1562261035083221194414538164/98938762506920836821552\ 527*c_0101_5^21 + 86394175632466615160370502779/1978775250138416736\ 43105054*c_0101_5^20 + 120653803484335623890446092418/9893876250692\ 0836821552527*c_0101_5^19 - 396647101916093315207812457721/19787752\ 5013841673643105054*c_0101_5^18 - 2037404227285909409633835505309/1\ 97877525013841673643105054*c_0101_5^17 + 1559450747892352089400326488609/197877525013841673643105054*c_0101_\ 5^16 + 7606139992651061289934239996825/197877525013841673643105054*\ c_0101_5^15 - 5817241976064946330992326585659/197877525013841673643\ 105054*c_0101_5^14 - 7272883129492274143651412687803/98938762506920\ 836821552527*c_0101_5^13 + 6888218294831121395839290003655/98938762\ 506920836821552527*c_0101_5^12 + 7171364394446676791302407120633/98\ 938762506920836821552527*c_0101_5^11 - 8764881322726560136206082500052/98938762506920836821552527*c_0101_5\ ^10 - 6328342037970234643822541728171/197877525013841673643105054*c\ _0101_5^9 + 11315912417523551439197166743811/1978775250138416736431\ 05054*c_0101_5^8 + 445332158485105939887969887267/19787752501384167\ 3643105054*c_0101_5^7 - 3589894738340547222353892615557/19787752501\ 3841673643105054*c_0101_5^6 + 151058324132244871598856352523/989387\ 62506920836821552527*c_0101_5^5 + 330895058174390464047425560287/98\ 938762506920836821552527*c_0101_5^4 - 40156423658783129292639015855/98938762506920836821552527*c_0101_5^3 - 68278512261037096770667176355/197877525013841673643105054*c_0101_\ 5^2 + 2989902987718892913080877296/98938762506920836821552527*c_010\ 1_5 + 1402036630213992613900577536/98938762506920836821552527, c_0011_4 - 587491655997335131356932056/98938762506920836821552527*c_010\ 1_5^23 - 2902602090901589489828951893/98938762506920836821552527*c_\ 0101_5^22 - 2076588296921297369386067323/98938762506920836821552527\ *c_0101_5^21 + 31274862584287119590383867641/9893876250692083682155\ 2527*c_0101_5^20 + 98988411882142922576458385710/989387625069208368\ 21552527*c_0101_5^19 - 115419111775714041393529054330/9893876250692\ 0836821552527*c_0101_5^18 - 786588566441186527081292001227/98938762\ 506920836821552527*c_0101_5^17 + 333642883003453116339960703816/989\ 38762506920836821552527*c_0101_5^16 + 2889976360630973407550393167965/98938762506920836821552527*c_0101_5\ ^15 - 1270957020568014942708791974816/98938762506920836821552527*c_\ 0101_5^14 - 5663906861092498581384131925233/98938762506920836821552\ 527*c_0101_5^13 + 3375307467387576138922642404792/98938762506920836\ 821552527*c_0101_5^12 + 6105277416817424746789663774940/98938762506\ 920836821552527*c_0101_5^11 - 4602843249673745428890028615826/98938\ 762506920836821552527*c_0101_5^10 - 3446917968003235076024424909775/98938762506920836821552527*c_0101_5\ ^9 + 3069538582443365090960641021093/98938762506920836821552527*c_0\ 101_5^8 + 874814300495302220207925925457/98938762506920836821552527\ *c_0101_5^7 - 995705803067596489662217550389/9893876250692083682155\ 2527*c_0101_5^6 - 100035740157891848224385933656/989387625069208368\ 21552527*c_0101_5^5 + 182299091764982714606335876929/98938762506920\ 836821552527*c_0101_5^4 + 7306617911550695873022671774/989387625069\ 20836821552527*c_0101_5^3 - 15661811805057833231191657729/989387625\ 06920836821552527*c_0101_5^2 - 405401838566179802198562937/98938762\ 506920836821552527*c_0101_5 + 356159892297401365391805443/989387625\ 06920836821552527, c_0101_0 - 528210129866494973225630493/197877525013841673643105054*c_01\ 01_5^23 - 2086719701232469046625174489/197877525013841673643105054*\ c_0101_5^22 + 372288067284965666338602514/9893876250692083682155252\ 7*c_0101_5^21 + 30136658168861641594231277441/197877525013841673643\ 105054*c_0101_5^20 + 30705788813980651882714341721/9893876250692083\ 6821552527*c_0101_5^19 - 193271308026027174312631785419/19787752501\ 3841673643105054*c_0101_5^18 - 610851560564761180793252970533/19787\ 7525013841673643105054*c_0101_5^17 + 1000452878852295033608535430301/197877525013841673643105054*c_0101_\ 5^16 + 2345335454628081474201948838043/197877525013841673643105054*\ c_0101_5^15 - 3689188421603492482875924437381/197877525013841673643\ 105054*c_0101_5^14 - 2060340943676038128102692970095/98938762506920\ 836821552527*c_0101_5^13 + 3991558064957077932836156217875/98938762\ 506920836821552527*c_0101_5^12 + 1420228334285144585521157539284/98\ 938762506920836821552527*c_0101_5^11 - 4719928731185719503198615364956/98938762506920836821552527*c_0101_5\ ^10 + 490825204324587079001986268369/197877525013841673643105054*c_\ 0101_5^9 + 5752696164041926489059991150703/197877525013841673643105\ 054*c_0101_5^8 - 1503679328356501985747850596071/197877525013841673\ 643105054*c_0101_5^7 - 1681969358465101399580852854899/197877525013\ 841673643105054*c_0101_5^6 + 293221216060205911075454305859/9893876\ 2506920836821552527*c_0101_5^5 + 140982127508279851101458230824/989\ 38762506920836821552527*c_0101_5^4 - 53750249508591810896151611188/98938762506920836821552527*c_0101_5^3 - 30040074412929593743269127283/197877525013841673643105054*c_0101_\ 5^2 + 3577962996232081992363947199/98938762506920836821552527*c_010\ 1_5 + 763184454416568831488424082/98938762506920836821552527, c_0101_3 + 1857135285018314816113935506/98938762506920836821552527*c_01\ 01_5^23 + 17616017041849525787593112781/197877525013841673643105054\ *c_0101_5^22 + 9428790033854025530166239213/19787752501384167364310\ 5054*c_0101_5^21 - 100360726629021111138579782849/98938762506920836\ 821552527*c_0101_5^20 - 587227828065363150944027017477/197877525013\ 841673643105054*c_0101_5^19 + 428497999104913324356859013466/989387\ 62506920836821552527*c_0101_5^18 + 4843182422459096030573504165001/197877525013841673643105054*c_0101_\ 5^17 - 3097391289317870652007115539909/197877525013841673643105054*\ c_0101_5^16 - 17956672378004384814565281632061/19787752501384167364\ 3105054*c_0101_5^15 + 11614662493003545949490773449017/197877525013\ 841673643105054*c_0101_5^14 + 34589334782799654679203135622035/1978\ 77525013841673643105054*c_0101_5^13 - 14149528141407348867986204741974/98938762506920836821552527*c_0101_\ 5^12 - 17586210191045912854699180108605/98938762506920836821552527*\ c_0101_5^11 + 18302086575187323595109288448451/98938762506920836821\ 552527*c_0101_5^10 + 8555887048917851876544904219832/98938762506920\ 836821552527*c_0101_5^9 - 23727385656747686785531469279655/19787752\ 5013841673643105054*c_0101_5^8 - 2583050219983616573678053253949/19\ 7877525013841673643105054*c_0101_5^7 + 7517856781170076107972060958199/197877525013841673643105054*c_0101_\ 5^6 - 212955744781402024597151062385/197877525013841673643105054*c_\ 0101_5^5 - 691734257305671634933778168437/9893876250692083682155252\ 7*c_0101_5^4 + 49517841421176210628761021102/9893876250692083682155\ 2527*c_0101_5^3 + 68135376162580414925781118695/9893876250692083682\ 1552527*c_0101_5^2 - 7913833134895654427914662481/19787752501384167\ 3643105054*c_0101_5 - 2584501149152713110882314359/9893876250692083\ 6821552527, c_0101_5^24 + 4*c_0101_5^23 - c_0101_5^22 - 56*c_0101_5^21 - 118*c_0101_5^20 + 349*c_0101_5^19 + 1135*c_0101_5^18 - 1806*c_0101_5^17 - 4235*c_0101_5^16 + 6731*c_0101_5^15 + 7062*c_0101_5^14 - 14585*c_0101_5^13 - 3943*c_0101_5^12 + 17004*c_0101_5^11 - 2591*c_0101_5^10 - 9948*c_0101_5^9 + 4004*c_0101_5^8 + 2615*c_0101_5^7 - 1560*c_0101_5^6 - 345*c_0101_5^5 + 303*c_0101_5^4 + 19*c_0101_5^3 - 29*c_0101_5^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB