Magma V2.19-8 Tue Aug 20 2013 16:18:50 on localhost [Seed = 3187417283] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2989 geometric_solution 6.16827711 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 1 0132 0132 0132 3201 0 0 0 0 0 1 -1 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 -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 0 0 0 0 1.054736659856 1.093105125348 0 0 5 4 0132 2310 0132 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 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.977512685824 0.504015249041 6 0 3 4 0132 0132 2103 3120 0 0 0 0 0 -1 1 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 0.109877772763 1.116822856300 2 5 6 0 2103 3120 1023 0132 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.109877772763 1.116822856300 2 5 1 5 3120 2031 0132 3012 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 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.827983819796 0.573341204179 4 3 4 1 1302 3120 1230 0132 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 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.827983819796 0.573341204179 2 6 3 6 0132 2310 1023 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.452795367396 0.328461857330 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : 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_2_6' : d['1'], 's_1_6' : 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' : negation(d['1']), 's_1_0' : d['1'], 's_0_6' : 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' : negation(d['1']), 'c_1100_6' : negation(d['c_0011_0']), 'c_1100_5' : d['c_0101_6'], 'c_1100_4' : d['c_0101_6'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_6'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : negation(d['c_0101_0']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_4']), 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], '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_6' : d['c_0011_0'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0101_1']), 'c_1001_6' : d['c_0101_2'], 'c_1001_1' : negation(d['c_0011_3']), 'c_1001_0' : negation(d['c_0011_4']), 'c_1001_3' : d['c_0101_6'], 'c_1001_2' : d['c_0011_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_6'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : d['c_0101_2'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : negation(d['c_0011_3']), 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : negation(d['c_0011_4']), 'c_1010_2' : negation(d['c_0011_4']), 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : d['c_0011_3']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_4, c_0101_0, c_0101_1, c_0101_2, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t + 11038553333719444062431/29372157923041757248*c_0101_6^20 + 26114881357163760670185/14686078961520878624*c_0101_6^19 - 7014647163928827352879/14686078961520878624*c_0101_6^18 - 86444956043347101138303/14686078961520878624*c_0101_6^17 - 74977322069889728770755/29372157923041757248*c_0101_6^16 - 332984716444104044150235/29372157923041757248*c_0101_6^15 + 3022211531857586715269/7343039480760439312*c_0101_6^14 + 3209279169938463072670065/29372157923041757248*c_0101_6^13 + 1285665229853861181536993/14686078961520878624*c_0101_6^12 - 1459204392669277605712503/7343039480760439312*c_0101_6^11 - 3643292799259825162033773/14686078961520878624*c_0101_6^10 + 1665019229805166725932973/14686078961520878624*c_0101_6^9 + 3969748528898278566693989/14686078961520878624*c_0101_6^8 + 344984755916237355699917/14686078961520878624*c_0101_6^7 - 134016624357864366185299/1012833031829026112*c_0101_6^6 - 276804549033225363787111/7343039480760439312*c_0101_6^5 + 1391726662670365943860417/29372157923041757248*c_0101_6^4 + 337108501287887527905621/14686078961520878624*c_0101_6^3 - 5421599794771593097537/506416515914513056*c_0101_6^2 - 257721882957299382423691/29372157923041757248*c_0101_6 - 40920145723893790409977/29372157923041757248, c_0011_0 - 1, c_0011_3 + 1916511756973171805/917879935095054914*c_0101_6^20 + 4277272401600029656/458939967547527457*c_0101_6^19 - 2338656048989804368/458939967547527457*c_0101_6^18 - 14261553203775781109/458939967547527457*c_0101_6^17 - 5471462539630265439/917879935095054914*c_0101_6^16 - 57265456964541857379/917879935095054914*c_0101_6^15 + 8632238465815486579/458939967547527457*c_0101_6^14 + 551382760342185350223/917879935095054914*c_0101_6^13 + 149269310571192827986/458939967547527457*c_0101_6^12 - 538706722243961504172/458939967547527457*c_0101_6^11 - 482789661501867156311/458939967547527457*c_0101_6^10 + 400721495935927519683/458939967547527457*c_0101_6^9 + 565799981398325441882/458939967547527457*c_0101_6^8 - 75880042982661782998/458939967547527457*c_0101_6^7 - 20537107617507207197/31651032244657066*c_0101_6^6 - 21952705057694269872/458939967547527457*c_0101_6^5 + 231152196447078836197/917879935095054914*c_0101_6^4 + 29025893917689591256/458939967547527457*c_0101_6^3 - 1065603959285255063/15825516122328533*c_0101_6^2 - 28262447928662842127/917879935095054914*c_0101_6 - 2416042351909989175/917879935095054914, c_0011_4 + 22240340360160102249/1835759870190109828*c_0101_6^20 + 52968234154208125749/917879935095054914*c_0101_6^19 - 12707426427085979945/917879935095054914*c_0101_6^18 - 175625105584687281017/917879935095054914*c_0101_6^17 - 160413402890547781085/1835759870190109828*c_0101_6^16 - 669215665252068949669/1835759870190109828*c_0101_6^15 + 716886996022563612/458939967547527457*c_0101_6^14 + 6481881011830267384763/1835759870190109828*c_0101_6^13 + 2688510136966910461785/917879935095054914*c_0101_6^12 - 2932500651794153254669/458939967547527457*c_0101_6^11 - 7546264517416376067041/917879935095054914*c_0101_6^10 + 3255890997976208320963/917879935095054914*c_0101_6^9 + 8186342475164710597947/917879935095054914*c_0101_6^8 + 836237792660700569803/917879935095054914*c_0101_6^7 - 275502018974907368977/63302064489314132*c_0101_6^6 - 599369860983270026116/458939967547527457*c_0101_6^5 + 2838774986728100638223/1835759870190109828*c_0101_6^4 + 714773012104917982447/917879935095054914*c_0101_6^3 - 10934065333105152127/31651032244657066*c_0101_6^2 - 539506562143625489909/1835759870190109828*c_0101_6 - 86806439886276141475/1835759870190109828, c_0101_0 + 1916511756973171805/917879935095054914*c_0101_6^20 + 4277272401600029656/458939967547527457*c_0101_6^19 - 2338656048989804368/458939967547527457*c_0101_6^18 - 14261553203775781109/458939967547527457*c_0101_6^17 - 5471462539630265439/917879935095054914*c_0101_6^16 - 57265456964541857379/917879935095054914*c_0101_6^15 + 8632238465815486579/458939967547527457*c_0101_6^14 + 551382760342185350223/917879935095054914*c_0101_6^13 + 149269310571192827986/458939967547527457*c_0101_6^12 - 538706722243961504172/458939967547527457*c_0101_6^11 - 482789661501867156311/458939967547527457*c_0101_6^10 + 400721495935927519683/458939967547527457*c_0101_6^9 + 565799981398325441882/458939967547527457*c_0101_6^8 - 75880042982661782998/458939967547527457*c_0101_6^7 - 20537107617507207197/31651032244657066*c_0101_6^6 - 21952705057694269872/458939967547527457*c_0101_6^5 + 231152196447078836197/917879935095054914*c_0101_6^4 + 29025893917689591256/458939967547527457*c_0101_6^3 - 1065603959285255063/15825516122328533*c_0101_6^2 - 28262447928662842127/917879935095054914*c_0101_6 - 2416042351909989175/917879935095054914, c_0101_1 - 24356668644068150451/917879935095054914*c_0101_6^20 - 56961295663382305346/458939967547527457*c_0101_6^19 + 18199725003192123760/458939967547527457*c_0101_6^18 + 188223972235075894253/458939967547527457*c_0101_6^17 + 147817326143351464465/917879935095054914*c_0101_6^16 + 736566590350669619721/917879935095054914*c_0101_6^15 - 33810192155557478505/458939967547527457*c_0101_6^14 - 7054573158590828909159/917879935095054914*c_0101_6^13 - 2652891217450948710927/458939967547527457*c_0101_6^12 + 6480500619779075948227/458939967547527457*c_0101_6^11 + 7663692042014321170832/458939967547527457*c_0101_6^10 - 3880443108190821522461/458939967547527457*c_0101_6^9 - 8430987700203314920853/458939967547527457*c_0101_6^8 - 485971524687345952507/458939967547527457*c_0101_6^7 + 286707542461934088649/31651032244657066*c_0101_6^6 + 1067366615766442490882/458939967547527457*c_0101_6^5 - 3011415077274176575793/917879935095054914*c_0101_6^4 - 678264198797310820403/458939967547527457*c_0101_6^3 + 11946938427954237920/15825516122328533*c_0101_6^2 + 531538330482025496159/917879935095054914*c_0101_6 + 82403767429128610981/917879935095054914, c_0101_2 + 873576643316361/30989303749928*c_0101_6^20 + 2051746093639791/15494651874964*c_0101_6^19 - 616351092519009/15494651874964*c_0101_6^18 - 6782855223638801/15494651874964*c_0101_6^17 - 5536455380902725/30989303749928*c_0101_6^16 - 26400388473071477/30989303749928*c_0101_6^15 + 470900472363707/7747325937482*c_0101_6^14 + 253345129602775591/30989303749928*c_0101_6^13 + 97586068034443171/15494651874964*c_0101_6^12 - 115898928537658799/7747325937482*c_0101_6^11 - 279815559847321891/15494651874964*c_0101_6^10 + 136329166839291591/15494651874964*c_0101_6^9 + 306729772478986187/15494651874964*c_0101_6^8 + 21071829515149395/15494651874964*c_0101_6^7 - 10408026780005957/1068596681032*c_0101_6^6 - 20134067113539093/7747325937482*c_0101_6^5 + 108993797786669119/30989303749928*c_0101_6^4 + 25184117964169619/15494651874964*c_0101_6^3 - 429277683939403/534298340516*c_0101_6^2 - 19522497602053277/30989303749928*c_0101_6 - 3054840885461487/30989303749928, c_0101_6^21 + 5*c_0101_6^20 - 16*c_0101_6^18 - 11*c_0101_6^17 - 32*c_0101_6^16 - 7*c_0101_6^15 + 291*c_0101_6^14 + 311*c_0101_6^13 - 466*c_0101_6^12 - 802*c_0101_6^11 + 124*c_0101_6^10 + 800*c_0101_6^9 + 256*c_0101_6^8 - 335*c_0101_6^7 - 195*c_0101_6^6 + 99*c_0101_6^5 + 95*c_0101_6^4 - 12*c_0101_6^3 - 31*c_0101_6^2 - 10*c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB