Magma V2.19-8 Tue Aug 20 2013 16:15:52 on localhost [Seed = 1343343722] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0090 geometric_solution 3.62910416 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 3201 2310 3201 0 0 0 0 0 1 -1 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 -1 1 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 -2.779980574570 0.328933085203 0 0 2 2 0132 2310 3201 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 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.124084442459 0.029780793290 1 3 1 3 2310 0132 0132 2310 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 -1 1 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 -3.194862673732 1.457947540834 2 2 5 4 3201 0132 0132 0132 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 1 -1 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.516903776660 0.369553567310 5 6 3 5 1230 0132 0132 1302 0 0 0 0 0 0 0 0 -1 0 0 1 -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 0 0 0 -1 0 0 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 0.796578777382 0.406128062470 6 4 4 3 3201 3012 2031 0132 0 0 0 0 0 0 -1 1 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 0 -1 1 0 0 0 0 0 1 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.796578777382 0.406128062470 6 4 6 5 2310 0132 3201 2310 0 0 0 0 0 0 -1 1 1 0 -1 0 1 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.985949149126 1.968435802696 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : 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' : negation(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' : d['1'], 's_1_0' : d['1'], 's_0_6' : 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' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_4'], 'c_1100_5' : d['c_0101_5'], 'c_1100_4' : d['c_0101_5'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_2']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0101_5'], 'c_1100_2' : negation(d['c_0011_2']), 'c_0101_6' : d['c_0101_5'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], '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_6' : negation(d['c_0011_4']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0011_4']), 'c_1001_4' : negation(d['c_0101_1']), 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0101_0']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_4'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0011_4'], 'c_0110_6' : negation(d['c_0101_5']), 'c_1010_6' : negation(d['c_0101_1']), 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(d['c_0101_5']), 'c_1010_3' : negation(d['c_0101_1']), 'c_1010_2' : negation(d['c_0101_4']), 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : d['c_0101_0']})} 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_2, c_0011_4, 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 - 8425144343386647719139062832667/882084969494010325202665154608*c_01\ 01_5^18 + 137324324078049703491082719508669/88208496949401032520266\ 5154608*c_0101_5^17 - 49852175263182028572596586316408/551303105933\ 75645325166572163*c_0101_5^16 + 1117161232301300842043314551187125/\ 441042484747005162601332577304*c_0101_5^15 - 38478868555455079015776664741187/6485918893338311214725479078*c_010\ 1_5^14 + 6356184989747829254926369662556363/44104248474700516260133\ 2577304*c_0101_5^13 - 8258729749238166678479400290021677/4410424847\ 47005162601332577304*c_0101_5^12 + 34717258445640176914148065109592257/882084969494010325202665154608*\ c_0101_5^11 - 20228241797355385043838752935724715/44104248474700516\ 2601332577304*c_0101_5^10 + 6703375434715368257301637087119993/1102\ 60621186751290650333144326*c_0101_5^9 - 7275811125415530154772386536507823/110260621186751290650333144326*c\ _0101_5^8 + 10848397691229014396453810593272843/2205212423735025813\ 00666288652*c_0101_5^7 - 21660073586583481334752021711182613/441042\ 484747005162601332577304*c_0101_5^6 + 10418329251977242434014415809858231/441042484747005162601332577304*\ c_0101_5^5 - 17116844744682496003722379270714743/882084969494010325\ 202665154608*c_0101_5^4 + 1697574162696978911355070230930891/441042\ 484747005162601332577304*c_0101_5^3 - 1494610031742291588752111609352745/441042484747005162601332577304*c\ _0101_5^2 + 284228234119511922408466469794249/882084969494010325202\ 665154608*c_0101_5 - 502599822207179550787795973780229/882084969494\ 010325202665154608, c_0011_0 - 1, c_0011_2 - 19311137283885620613711/878612692134694014457529*c_0101_5^18 + 297916174281480848742959/878612692134694014457529*c_0101_5^17 - 1565890207877857353700583/878612692134694014457529*c_0101_5^16 + 7408381029124176315345987/1757225384269388028915058*c_0101_5^15 - 8365783082879977642343053/878612692134694014457529*c_0101_5^14 + 20318988421996573495970117/878612692134694014457529*c_0101_5^13 - 16489444119204125435150800/878612692134694014457529*c_0101_5^12 + 113320209347276559998999901/1757225384269388028915058*c_0101_5^11 - 26793273847466808328246430/878612692134694014457529*c_0101_5^10 + 78543095352424987973829105/878612692134694014457529*c_0101_5^9 - 41815889519602662253895415/1757225384269388028915058*c_0101_5^8 + 87771698819161139111894363/1757225384269388028915058*c_0101_5^7 - 138160987205648402329133/1757225384269388028915058*c_0101_5^6 + 9260233674372485702993198/878612692134694014457529*c_0101_5^5 + 13508212564267244812834763/1757225384269388028915058*c_0101_5^4 - 10875859269623849504560601/1757225384269388028915058*c_0101_5^3 + 964963257478020440324987/878612692134694014457529*c_0101_5^2 + 922318128143175780588963/1757225384269388028915058*c_0101_5 - 508071057293029648123297/878612692134694014457529, c_0011_4 + 260813012006523424913297405/3242959446669155607362739539*c_0\ 101_5^18 - 7772855858822912474721953979/648591889333831121472547907\ 8*c_0101_5^17 + 19179967935320243990109925010/324295944666915560736\ 2739539*c_0101_5^16 - 41193428802657249274986004789/324295944666915\ 5607362739539*c_0101_5^15 + 98782255333805799355513649194/324295944\ 6669155607362739539*c_0101_5^14 - 487366417846054732241313062849/64\ 85918893338311214725479078*c_0101_5^13 + 142075490278542997351629515247/3242959446669155607362739539*c_0101_\ 5^12 - 805085136603932472173477023139/3242959446669155607362739539*\ c_0101_5^11 + 180404205942259879543211912345/6485918893338311214725\ 479078*c_0101_5^10 - 2583930446163710567479816707589/64859188933383\ 11214725479078*c_0101_5^9 - 33085880297459015540680719335/648591889\ 3338311214725479078*c_0101_5^8 - 979740366815643066534035643255/324\ 2959446669155607362739539*c_0101_5^7 - 47526304093203025055225117883/6485918893338311214725479078*c_0101_5\ ^6 - 789215956831020621907469723749/6485918893338311214725479078*c_\ 0101_5^5 - 44786490150865416071385082382/32429594466691556073627395\ 39*c_0101_5^4 - 131551598656000350306091418441/64859188933383112147\ 25479078*c_0101_5^3 - 13401452658287796065025450076/324295944666915\ 5607362739539*c_0101_5^2 - 7130317670425495855128044243/32429594466\ 69155607362739539*c_0101_5 - 620243188565595110662027506/3242959446\ 669155607362739539, c_0101_0 - 230609940977716785348164301/6485918893338311214725479078*c_0\ 101_5^18 + 1619277027664835596335805016/324295944666915560736273953\ 9*c_0101_5^17 - 6960983659460642305945189893/3242959446669155607362\ 739539*c_0101_5^16 + 20509442985593594913641778387/6485918893338311\ 214725479078*c_0101_5^15 - 49002693303709281923668253865/6485918893\ 338311214725479078*c_0101_5^14 + 61966214364393635901132483569/3242\ 959446669155607362739539*c_0101_5^13 + 48998404864627846381703799252/3242959446669155607362739539*c_0101_5\ ^12 + 254041160807382231473705004413/3242959446669155607362739539*c\ _0101_5^11 + 610355779644541057770472355547/64859188933383112147254\ 79078*c_0101_5^10 + 787572214686837132012304260703/6485918893338311\ 214725479078*c_0101_5^9 + 1139434903782730284005532110637/648591889\ 3338311214725479078*c_0101_5^8 + 231100998380224512290710350200/324\ 2959446669155607362739539*c_0101_5^7 + 477291812342535277492681075027/3242959446669155607362739539*c_0101_\ 5^6 + 47587251091871412412602860933/3242959446669155607362739539*c_\ 0101_5^5 + 240897238072281480253153089248/3242959446669155607362739\ 539*c_0101_5^4 + 7105615240902410888545977321/648591889333831121472\ 5479078*c_0101_5^3 + 47310929571882818958117203590/3242959446669155\ 607362739539*c_0101_5^2 + 12240820306242833551964025161/64859188933\ 38311214725479078*c_0101_5 + 3678749960881917491426913819/324295944\ 6669155607362739539, c_0101_1 + 72400833478700675086458807/6485918893338311214725479078*c_01\ 01_5^18 - 572185789175857476328385146/3242959446669155607362739539*\ c_0101_5^17 + 3123399410073216798297886745/324295944666915560736273\ 9539*c_0101_5^16 - 7708655214803466199579838296/3242959446669155607\ 362739539*c_0101_5^15 + 33311084802679999321971132637/6485918893338\ 311214725479078*c_0101_5^14 - 40829750543481991668958745219/3242959\ 446669155607362739539*c_0101_5^13 + 38134150943596802957553189484/3242959446669155607362739539*c_0101_5\ ^12 - 199433324845739040248143909133/6485918893338311214725479078*c\ _0101_5^11 + 173077751679798206962204775985/64859188933383112147254\ 79078*c_0101_5^10 - 216190509587061452459715823535/6485918893338311\ 214725479078*c_0101_5^9 + 105811810789805624915590680761/3242959446\ 669155607362739539*c_0101_5^8 - 36177838243551746934019672035/64859\ 18893338311214725479078*c_0101_5^7 + 116808551699272218752471481833/6485918893338311214725479078*c_0101_\ 5^6 + 24390654496818858980418653075/3242959446669155607362739539*c_\ 0101_5^5 + 23056678527932664682792603517/64859188933383112147254790\ 78*c_0101_5^4 + 31066780551196675446996998403/324295944666915560736\ 2739539*c_0101_5^3 + 3742406000713407141504937011/32429594466691556\ 07362739539*c_0101_5^2 + 1313247288462565276718132402/3242959446669\ 155607362739539*c_0101_5 + 1038254513148235687853100893/32429594466\ 69155607362739539, c_0101_4 - 136599325898350700714913534/3242959446669155607362739539*c_0\ 101_5^18 + 1991794472511476430241395983/324295944666915560736273953\ 9*c_0101_5^17 - 18589627806482720968192858799/648591889333831121472\ 5479078*c_0101_5^16 + 33790796690986046065129654009/648591889333831\ 1214725479078*c_0101_5^15 - 37777893219476444903121353230/324295944\ 6669155607362739539*c_0101_5^14 + 96841794542178719855492987809/324\ 2959446669155607362739539*c_0101_5^13 + 304782159920768356121117847/6485918893338311214725479078*c_0101_5^1\ 2 + 626703280134739655975526516195/6485918893338311214725479078*c_0\ 101_5^11 + 121117049872117177118505136393/3242959446669155607362739\ 539*c_0101_5^10 + 757995716605874112068979089397/648591889333831121\ 4725479078*c_0101_5^9 + 213410360230587677885510927199/324295944666\ 9155607362739539*c_0101_5^8 + 90593150292950731757095971485/3242959\ 446669155607362739539*c_0101_5^7 + 254593790209955828384575803139/6485918893338311214725479078*c_0101_\ 5^6 - 128801150207880702776228154621/6485918893338311214725479078*c\ _0101_5^5 + 78923447871281911396142724279/3242959446669155607362739\ 539*c_0101_5^4 - 82580297300892878054153430007/64859188933383112147\ 25479078*c_0101_5^3 + 13964675732469713260016896533/648591889333831\ 1214725479078*c_0101_5^2 - 2499400326795923947308324233/64859188933\ 38311214725479078*c_0101_5 + 1313419720146669023986176307/324295944\ 6669155607362739539, c_0101_5^19 - 15*c_0101_5^18 + 75*c_0101_5^17 - 165*c_0101_5^16 + 393*c_0101_5^15 - 968*c_0101_5^14 + 631*c_0101_5^13 - 3124*c_0101_5^12 + 628*c_0101_5^11 - 4982*c_0101_5^10 + 319*c_0101_5^9 - 3841*c_0101_5^8 + 88*c_0101_5^7 - 1683*c_0101_5^6 - 176*c_0101_5^5 - 344*c_0101_5^4 - 62*c_0101_5^3 - 60*c_0101_5^2 - 8*c_0101_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB