Magma V2.19-8 Tue Aug 20 2013 16:15:51 on localhost [Seed = 492601655] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0072 geometric_solution 3.62420570 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 2310 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.275938157424 0.050241378175 0 2 2 0 0132 0132 3201 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 -1 0 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 -1.534275063102 0.314485954225 1 1 3 3 2310 0132 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 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.166156221642 0.066803651153 4 2 4 2 0132 2310 2310 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 1 0 -1 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.949171366537 1.394109415426 3 3 5 6 0132 3201 0132 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 1 -1 0 -1 0 0 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.013714807276 1.963065478483 6 6 6 4 1302 2031 1230 0132 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 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.493564570343 0.502909616580 5 5 4 5 1302 2031 0132 3012 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 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.493564570343 0.502909616580 ==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_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' : negation(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' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0110_6'], 'c_1100_5' : d['c_0110_6'], 'c_1100_4' : d['c_0110_6'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : negation(d['c_0011_5']), 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : d['c_0101_2'], 'c_0101_3' : negation(d['c_0011_5']), '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_5'], 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_6' : d['c_0011_5'], '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' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0110_6']), 'c_1001_4' : d['c_0011_5'], 'c_1001_6' : negation(d['c_0101_2']), 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_2'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : negation(d['c_0011_5']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0011_5'], 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : negation(d['c_0101_2']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : negation(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_3, c_0011_5, c_0101_0, c_0101_1, c_0101_2, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 175736371859718598161905347150116121/365895266875209441167256565042\ 2088*c_0110_6^18 - 151772990954298959688132623511575999/45736908359\ 4011801459070706302761*c_0110_6^17 + 118062962507462779966855012788818197/182947633437604720583628282521\ 1044*c_0110_6^16 + 248750771705217876147798731472419235/83158015198\ 911236628921946600502*c_0110_6^15 - 29536784845492386241671276949370044753/1829476334376047205836282825\ 211044*c_0110_6^14 + 237036657394289655484787609949143051399/365895\ 2668752094411672565650422088*c_0110_6^13 - 349728903618356545799679642389501204903/365895266875209441167256565\ 0422088*c_0110_6^12 - 146689175967870949216637705582603684111/18294\ 76334376047205836282825211044*c_0110_6^11 + 486082563450480709639651108033808264829/365895266875209441167256565\ 0422088*c_0110_6^10 + 168712249109275293093813708993033072978/45736\ 9083594011801459070706302761*c_0110_6^9 - 1642540478354281445291612628929586781565/36589526687520944116725656\ 50422088*c_0110_6^8 - 90186023196825753738973545621319284997/332632\ 060795644946515687786402008*c_0110_6^7 + 142990818420772478706333986589805179909/332632060795644946515687786\ 402008*c_0110_6^6 + 4061901425652807894054995198334408236/457369083\ 594011801459070706302761*c_0110_6^5 - 110770853312814515336674806815710098029/914738167188023602918141412\ 605522*c_0110_6^4 + 20241362607677253274139251824074710565/91473816\ 7188023602918141412605522*c_0110_6^3 + 19194195595944205603473439686786439975/3658952668752094411672565650\ 422088*c_0110_6^2 - 5447105354552812255068550598896505411/182947633\ 4376047205836282825211044*c_0110_6 + 1938877166634007144051197653623062503/36589526687520944116725656504\ 22088, c_0011_0 - 1, c_0011_3 + 17459149577394453332175446125436/457369083594011801459070706\ 302761*c_0110_6^18 - 107054908351490313830460136758353/457369083594\ 011801459070706302761*c_0110_6^17 - 63689365940370923244353647404886/457369083594011801459070706302761*\ c_0110_6^16 + 97322162580927773609538960958670/41579007599455618314\ 460973300251*c_0110_6^15 - 5077229557047448517092422561832137/45736\ 9083594011801459070706302761*c_0110_6^14 + 19349408925647685835663632179858709/4573690835940118014590707063027\ 61*c_0110_6^13 - 18066736459414054741186761612436687/45736908359401\ 1801459070706302761*c_0110_6^12 - 501846277211223147922590224300210\ 58/457369083594011801459070706302761*c_0110_6^11 + 23862889874657718975027422154738252/4573690835940118014590707063027\ 61*c_0110_6^10 + 150733793926687704194461760743247079/4573690835940\ 11801459070706302761*c_0110_6^9 - 661549725573154891252820031951101\ 96/457369083594011801459070706302761*c_0110_6^8 - 15979451816567786850509761256025399/4157900759945561831446097330025\ 1*c_0110_6^7 + 8613481463130759255638267433597227/41579007599455618\ 314460973300251*c_0110_6^6 + 71314480809493869059751854526479337/45\ 7369083594011801459070706302761*c_0110_6^5 - 43256683101142740518924300675132974/4573690835940118014590707063027\ 61*c_0110_6^4 - 5814256106076608869682462583991871/4573690835940118\ 01459070706302761*c_0110_6^3 + 5285121179186393669705214822238935/4\ 57369083594011801459070706302761*c_0110_6^2 - 1228396513695890038300096298791131/45736908359401180145907070630276\ 1*c_0110_6 - 164509711754843657771481672981780/45736908359401180145\ 9070706302761, c_0011_5 - 50691658160104738288743615874106/457369083594011801459070706\ 302761*c_0110_6^18 + 296442660905051010967901989273094/457369083594\ 011801459070706302761*c_0110_6^17 + 255754428410664222319495099781030/457369083594011801459070706302761\ *c_0110_6^16 - 267487179291936457172443040311788/415790075994556183\ 14460973300251*c_0110_6^15 + 13884745975236947066031169619559610/45\ 7369083594011801459070706302761*c_0110_6^14 - 53091909550954219647126580103285895/4573690835940118014590707063027\ 61*c_0110_6^13 + 41856015621973184174717980793512428/45736908359401\ 1801459070706302761*c_0110_6^12 + 139437237149597221409634033938895\ 981/457369083594011801459070706302761*c_0110_6^11 - 2449983782451825303479381550850499/45736908359401180145907070630276\ 1*c_0110_6^10 - 415158917020785488194212924981319746/45736908359401\ 1801459070706302761*c_0110_6^9 + 4030849870183954158720841430788903\ 7/457369083594011801459070706302761*c_0110_6^8 + 36547401343605915178823641400716900/4157900759945561831446097330025\ 1*c_0110_6^7 - 4880199783373766126043290354852937/41579007599455618\ 314460973300251*c_0110_6^6 - 132597586551223454246526285493187346/4\ 57369083594011801459070706302761*c_0110_6^5 + 18796946352196251101051505893333305/4573690835940118014590707063027\ 61*c_0110_6^4 + 9104707889660379773851956032100322/4573690835940118\ 01459070706302761*c_0110_6^3 - 4926625644543599605664984724160460/4\ 57369083594011801459070706302761*c_0110_6^2 + 440178736730829820304138724726917/457369083594011801459070706302761\ *c_0110_6 + 96457800198108294240047597241964/4573690835940118014590\ 70706302761, c_0101_0 + 240263328226274149543732285436365/45736908359401180145907070\ 6302761*c_0110_6^18 - 1595121338160050722130159203527873/4573690835\ 94011801459070706302761*c_0110_6^17 - 56945903998416707614636888086172/457369083594011801459070706302761*\ c_0110_6^16 + 1331207705076026071848168613311181/415790075994556183\ 14460973300251*c_0110_6^15 - 77023966649534072226251070163600136/45\ 7369083594011801459070706302761*c_0110_6^14 + 306248631174964059051175808525139283/457369083594011801459070706302\ 761*c_0110_6^13 - 409821752642731407052419916231871965/457369083594\ 011801459070706302761*c_0110_6^12 - 456312605173954170391832511883756259/457369083594011801459070706302\ 761*c_0110_6^11 + 491223011132703786835847371299047076/457369083594\ 011801459070706302761*c_0110_6^10 + 1846390735403545886139291011074789256/45736908359401180145907070630\ 2761*c_0110_6^9 - 1728117216984131233712661480081129911/45736908359\ 4011801459070706302761*c_0110_6^8 - 128440626261202181416269249744787938/415790075994556183144609733002\ 51*c_0110_6^7 + 151959107787990855304152380048515460/41579007599455\ 618314460973300251*c_0110_6^6 + 11574528698264635469109520736600641\ 2/457369083594011801459070706302761*c_0110_6^5 - 471053552092324824435582300614518987/457369083594011801459070706302\ 761*c_0110_6^4 + 94748757312959037011917878641924603/45736908359401\ 1801459070706302761*c_0110_6^3 + 2577039473903502643775837085607759\ 5/457369083594011801459070706302761*c_0110_6^2 - 12369884312223314504976485905422502/4573690835940118014590707063027\ 61*c_0110_6 + 1430251976250775400111792242954478/457369083594011801\ 459070706302761, c_0101_1 + 198165273380623459720709923594154/45736908359401180145907070\ 6302761*c_0110_6^18 - 1273438719888689949728558719144112/4573690835\ 94011801459070706302761*c_0110_6^17 - 322906719172828512431114399715448/457369083594011801459070706302761\ *c_0110_6^16 + 1094222999260602755547762339620755/41579007599455618\ 314460973300251*c_0110_6^15 - 60942639541043712301886960647681992/4\ 57369083594011801459070706302761*c_0110_6^14 + 239360371157554956669551263221298432/457369083594011801459070706302\ 761*c_0110_6^13 - 285737345362148749372508024158020662/457369083594\ 011801459070706302761*c_0110_6^12 - 442324774004209250747987467209200498/457369083594011801459070706302\ 761*c_0110_6^11 + 315584174583865853727509708001007242/457369083594\ 011801459070706302761*c_0110_6^10 + 1599375879933391104834340664838972084/45736908359401180145907070630\ 2761*c_0110_6^9 - 1080534368379557220641165428939202446/45736908359\ 4011801459070706302761*c_0110_6^8 - 129600396716767422855156420472674321/415790075994556183144609733002\ 51*c_0110_6^7 + 98088673458934162488362201405259102/415790075994556\ 18314460973300251*c_0110_6^6 + 338890823441182562651875513724793929\ /457369083594011801459070706302761*c_0110_6^5 - 314607221388196603363007601836305713/457369083594011801459070706302\ 761*c_0110_6^4 + 12669681119997977229750429626836297/45736908359401\ 1801459070706302761*c_0110_6^3 + 1836419780019956174085816088947276\ 3/457369083594011801459070706302761*c_0110_6^2 - 6452484776459060719629816207105393/45736908359401180145907070630276\ 1*c_0110_6 + 813954162928388546574421358777368/45736908359401180145\ 9070706302761, c_0101_2 + 42509598140527040293347578568573/457369083594011801459070706\ 302761*c_0110_6^18 - 247118799427198339914391727196763/457369083594\ 011801459070706302761*c_0110_6^17 - 231585596677845778029620461348231/457369083594011801459070706302761\ *c_0110_6^16 + 228296972052670340082722290461038/415790075994556183\ 14460973300251*c_0110_6^15 - 11525180689334818110045257228717190/45\ 7369083594011801459070706302761*c_0110_6^14 + 43620826653370865509446147239978802/4573690835940118014590707063027\ 61*c_0110_6^13 - 31142917401011173396734078808113686/45736908359401\ 1801459070706302761*c_0110_6^12 - 127517358646448632543026632630638\ 985/457369083594011801459070706302761*c_0110_6^11 + 6908875794843233220162806769035182/45736908359401180145907070630276\ 1*c_0110_6^10 + 369441715975197646382410578825974307/45736908359401\ 1801459070706302761*c_0110_6^9 - 2474026508685915526545971424635519\ 7/457369083594011801459070706302761*c_0110_6^8 - 37092073217194443513052689454128083/4157900759945561831446097330025\ 1*c_0110_6^7 + 4492048881383947400304261693254022/41579007599455618\ 314460973300251*c_0110_6^6 + 174186860225693259766913694613483731/4\ 57369083594011801459070706302761*c_0110_6^5 - 22700179643160013092404961147585878/4573690835940118014590707063027\ 61*c_0110_6^4 - 25167114302099059367677881199981309/457369083594011\ 801459070706302761*c_0110_6^3 + 4063105759538513246779302725940020/\ 457369083594011801459070706302761*c_0110_6^2 + 103050317344862412320889035047328/457369083594011801459070706302761\ *c_0110_6 - 168144818561827890641198625658079/457369083594011801459\ 070706302761, c_0110_6^19 - 7*c_0110_6^18 + 2*c_0110_6^17 + 62*c_0110_6^16 - 342*c_0110_6^15 + 1381*c_0110_6^14 - 2120*c_0110_6^13 - 1461*c_0110_6^12 + 2903*c_0110_6^11 + 7341*c_0110_6^10 - 10061*c_0110_6^9 - 4556*c_0110_6^8 + 9504*c_0110_6^7 - 881*c_0110_6^6 - 2564*c_0110_6^5 + 784*c_0110_6^4 + 75*c_0110_6^3 - 79*c_0110_6^2 + 17*c_0110_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB