Magma V2.19-8 Tue Aug 20 2013 16:17:58 on localhost [Seed = 1612840103] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2206 geometric_solution 5.65639465 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 1.551810347228 0.622625891293 0 2 3 0 3201 0132 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 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.658293359607 0.417609652478 4 1 3 5 0132 0132 1302 0132 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 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.584500830184 0.477582979042 2 5 4 1 2031 1023 1023 0132 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 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.584500830184 0.477582979042 2 4 3 4 0132 1302 1023 2031 0 0 0 0 0 0 0 0 0 0 0 0 -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 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.798600656518 1.232851808115 3 6 2 6 1023 0132 0132 1023 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 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 1.056256199383 0.560236636864 6 5 6 5 2310 0132 3201 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.766792970251 0.303884821812 ==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_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' : 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' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_3'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['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' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : negation(d['c_0011_3']), 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_3']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0110_5'], 'c_1001_4' : negation(d['c_0011_3']), 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : d['c_0110_5'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_0']), 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_6' : negation(d['c_0101_6']), 'c_1010_6' : d['c_0110_5'], 'c_1010_5' : negation(d['c_0101_6']), 'c_1010_4' : d['c_0011_1'], 'c_1010_3' : d['c_0110_5'], 'c_1010_2' : d['c_0110_5'], '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 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0101_0, c_0101_4, c_0101_6, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 523931423524504104313132723126224389/318348284471913390904153220358\ 9582*c_0110_5^19 - 1139245690200734994876559891468002223/3183482844\ 719133909041532203589582*c_0110_5^18 - 1995913719154000943078755213048099322/15917414223595669545207661017\ 94791*c_0110_5^17 + 4946697065969022277370547591661946665/106116094\ 8239711303013844067863194*c_0110_5^16 + 37748455744857294393414605540357441443/3183482844719133909041532203\ 589582*c_0110_5^15 - 1292021864247643794135139997773191989/10977527\ 0507556341691087317365158*c_0110_5^14 - 28241868750722809190710495870850022773/5305804741198556515069220339\ 31597*c_0110_5^13 + 5043357366893036895279642752936983484/176860158\ 039951883835640677977199*c_0110_5^12 + 33840692518868937525643778597156252049/3537203160799037676712813559\ 54398*c_0110_5^11 - 205881652962378373124555971651432644209/3183482\ 844719133909041532203589582*c_0110_5^10 - 156093239832823731769830152480862914677/106116094823971130301384406\ 7863194*c_0110_5^9 + 80803284563217933293738446863382322497/3537203\ 16079903767671281355954398*c_0110_5^8 + 7091448194233980690408093960009964123/12244164787381284265544354629\ 1907*c_0110_5^7 - 91267325479875260851542924321940907469/3537203160\ 79903767671281355954398*c_0110_5^6 + 219718646098059261701799154761884423909/159174142235956695452076610\ 1794791*c_0110_5^5 + 115764571551923744695272369082301010101/159174\ 1422359566954520766101794791*c_0110_5^4 - 86697905024601110398788598798319431607/5305804741198556515069220339\ 31597*c_0110_5^3 - 1477769667186660712234085438824491901/3537203160\ 79903767671281355954398*c_0110_5^2 + 168902167046628801043831513600680000857/318348284471913390904153220\ 3589582*c_0110_5 + 4554025948616878551028861172291946590/5305804741\ 19855651506922033931597, c_0011_0 - 1, c_0011_1 - 112761452290037975825400213/106323787710885574181991509*c_01\ 10_5^19 + 245229510441474637528277766/106323787710885574181991509*c\ _0110_5^18 + 859318734185696128282306518/10632378771088557418199150\ 9*c_0110_5^17 - 3194646102799493833973567828/1063237877108855741819\ 91509*c_0110_5^16 - 8125563841581127176924281681/106323787710885574\ 181991509*c_0110_5^15 + 8073447669525025414150970954/10632378771088\ 5574181991509*c_0110_5^14 + 36490295096963379990677066925/106323787\ 710885574181991509*c_0110_5^13 - 19557599600117770745468992863/1063\ 23787710885574181991509*c_0110_5^12 - 65633855375446046959645584809/106323787710885574181991509*c_0110_5^\ 11 + 44332045290895671707751790067/106323787710885574181991509*c_01\ 10_5^10 + 100921692997004265269077860871/10632378771088557418199150\ 9*c_0110_5^9 - 156594468106350587502101315090/106323787710885574181\ 991509*c_0110_5^8 - 3066496468848107893647600172/817875290083735186\ 0153193*c_0110_5^7 + 177061106574737014762303787180/106323787710885\ 574181991509*c_0110_5^6 - 94434364291139986847825835868/10632378771\ 0885574181991509*c_0110_5^5 - 50153936814674325143957805653/1063237\ 87710885574181991509*c_0110_5^4 + 112184057872809561497220388725/10\ 6323787710885574181991509*c_0110_5^3 + 2853260661492377558996790769/106323787710885574181991509*c_0110_5^2 - 36580817840846793792115829796/106323787710885574181991509*c_0110_\ 5 - 5852291453247695872483359490/106323787710885574181991509, c_0011_3 + 39890977747898613505275806875/446240937022586754841818363273\ *c_0110_5^19 - 90660483585614960004251855945/4462409370225867548418\ 18363273*c_0110_5^18 - 293438784813177016154595784220/4462409370225\ 86754841818363273*c_0110_5^17 + 768293997163849679178367715247/2974\ 93958015057836561212242182*c_0110_5^16 + 2755261690495900950582067729994/446240937022586754841818363273*c_01\ 10_5^15 - 6120304756004518209023089884469/8924818740451735096836367\ 26546*c_0110_5^14 - 4188445933007040005270767111369/148746979007528\ 918280606121091*c_0110_5^13 + 2617912109735423313438330611441/14874\ 6979007528918280606121091*c_0110_5^12 + 14711983054978693568231136495607/297493958015057836561212242182*c_0\ 110_5^11 - 33695266793738646366094722640133/89248187404517350968363\ 6726546*c_0110_5^10 - 11193289218450771850988315492512/148746979007\ 528918280606121091*c_0110_5^9 + 19038155727770294894389509652511/14\ 8746979007528918280606121091*c_0110_5^8 + 1241740214541806542832778898115/68652451849628731514125902042*c_011\ 0_5^7 - 19902453726867139658158147073129/14874697900752891828060612\ 1091*c_0110_5^6 + 36224988148446800086540892719133/4462409370225867\ 54841818363273*c_0110_5^5 + 12635488725528355852556837689745/446240\ 937022586754841818363273*c_0110_5^4 - 25072818631199264966152733258077/297493958015057836561212242182*c_0\ 110_5^3 + 321359740501046995597930256869/29749395801505783656121224\ 2182*c_0110_5^2 + 12070211049547471758797032369585/4462409370225867\ 54841818363273*c_0110_5 + 1435119555531205300689956827741/297493958\ 015057836561212242182, c_0101_0 - 232093368449780317558023784/318971363132656722545974527*c_01\ 10_5^19 + 504802684878042475558518323/318971363132656722545974527*c\ _0110_5^18 + 1768225749067380094767154730/3189713631326567225459745\ 27*c_0110_5^17 - 2191895993916953596195056401/106323787710885574181\ 991509*c_0110_5^16 - 16719293851433347783298432369/3189713631326567\ 22545974527*c_0110_5^15 + 16616367238791306038096026748/31897136313\ 2656722545974527*c_0110_5^14 + 25020744435376872519204624143/106323\ 787710885574181991509*c_0110_5^13 - 13433701518044112219092284936/106323787710885574181991509*c_0110_5^\ 12 - 44984022419793895878819103525/106323787710885574181991509*c_01\ 10_5^11 + 91434945197518032653665073776/318971363132656722545974527\ *c_0110_5^10 + 69173588459382874463830650870/1063237877108855741819\ 91509*c_0110_5^9 - 107529624488785277633523317229/10632378771088557\ 4181991509*c_0110_5^8 - 6279938361128416470346164931/24536258702512\ 055580459579*c_0110_5^7 + 121525920886077564874564746340/1063237877\ 10885574181991509*c_0110_5^6 - 195091653468880506426215885738/31897\ 1363132656722545974527*c_0110_5^5 - 103269858536329952883583499948/318971363132656722545974527*c_0110_5\ ^4 + 77107709435210168237655596023/106323787710885574181991509*c_01\ 10_5^3 + 1941847179766191529341115010/106323787710885574181991509*c\ _0110_5^2 - 75515044233043044377788853047/3189713631326567225459745\ 27*c_0110_5 - 3945173848019386415854819371/106323787710885574181991\ 509, c_0101_4 + 41834000315088370980403665757/68652451849628731514125902042*\ c_0110_5^19 - 90570388940464032897772453931/68652451849628731514125\ 902042*c_0110_5^18 - 320349603617983779560419407191/686524518496287\ 31514125902042*c_0110_5^17 + 197268508016804132458959185001/1144207\ 5308271455252354317007*c_0110_5^16 + 1515183149749645655165097708838/34326225924814365757062951021*c_011\ 0_5^15 - 1492008907358287902634189783561/34326225924814365757062951\ 021*c_0110_5^14 - 2267938114740519413076792738545/11442075308271455\ 252354317007*c_0110_5^13 + 2387744833729615556603328369475/22884150\ 616542910504708634014*c_0110_5^12 + 8195641139895142265256251140655/22884150616542910504708634014*c_011\ 0_5^11 - 8166510872458946854747914943226/34326225924814365757062951\ 021*c_0110_5^10 - 12606774315509043002739355036211/2288415061654291\ 0504708634014*c_0110_5^9 + 9663257645276528328050321377805/11442075\ 308271455252354317007*c_0110_5^8 + 15687342624832130066717665373827/68652451849628731514125902042*c_01\ 10_5^7 - 22128626879431580315979484289931/2288415061654291050470863\ 4014*c_0110_5^6 + 17328854878988143845714258476749/3432622592481436\ 5757062951021*c_0110_5^5 + 19402631188705671943793844183581/6865245\ 1849628731514125902042*c_0110_5^4 - 7018742533822466302288719304724/11442075308271455252354317007*c_011\ 0_5^3 - 209818990187727652763510946525/1144207530827145525235431700\ 7*c_0110_5^2 + 6912992423452352942873178279524/34326225924814365757\ 062951021*c_0110_5 + 738574319507164811914408752239/228841506165429\ 10504708634014, c_0101_6 + 318834031578999926889382146908/44624093702258675484181836327\ 3*c_0110_5^19 - 1393342522504042894074239532971/8924818740451735096\ 83636726546*c_0110_5^18 - 4834351722021632123364335705609/892481874\ 045173509683636726546*c_0110_5^17 + 3015236177426774145711235270880/148746979007528918280606121091*c_01\ 10_5^16 + 22845239198439358337160336850279/446240937022586754841818\ 363273*c_0110_5^15 - 22915057097852407416982705916530/4462409370225\ 86754841818363273*c_0110_5^14 - 68392005166044963674998009997633/29\ 7493958015057836561212242182*c_0110_5^13 + 18678839466620397131839075658964/148746979007528918280606121091*c_0\ 110_5^12 + 61176779894374500240972890897813/14874697900752891828060\ 6121091*c_0110_5^11 - 126360842641402195368701254995149/44624093702\ 2586754841818363273*c_0110_5^10 - 187988270533710529942434960638769\ /297493958015057836561212242182*c_0110_5^9 + 295843522648092232884855451883667/297493958015057836561212242182*c_\ 0110_5^8 + 16143084961061878449990578183203/68652451849628731514125\ 902042*c_0110_5^7 - 329946525364501474171986049921021/2974939580150\ 57836561212242182*c_0110_5^6 + 271056852158184363859174207802860/44\ 6240937022586754841818363273*c_0110_5^5 + 268705181574488963587437901572233/892481874045173509683636726546*c_\ 0110_5^4 - 208787504541335227151536438553333/2974939580150578365612\ 12242182*c_0110_5^3 - 1910727943381564537282186081104/1487469790075\ 28918280606121091*c_0110_5^2 + 100442128348633822009743371025899/44\ 6240937022586754841818363273*c_0110_5 + 5344800557565276799451798928271/148746979007528918280606121091, c_0110_5^20 - 2*c_0110_5^19 - 8*c_0110_5^18 + 27*c_0110_5^17 + 77*c_0110_5^16 - 59*c_0110_5^15 - 336*c_0110_5^14 + 117*c_0110_5^13 + 612*c_0110_5^12 - 292*c_0110_5^11 - 963*c_0110_5^10 + 1233*c_0110_5^9 + 595*c_0110_5^8 - 1509*c_0110_5^7 + 566*c_0110_5^6 + 590*c_0110_5^5 - 918*c_0110_5^4 - 198*c_0110_5^3 + 319*c_0110_5^2 + 108*c_0110_5 + 9 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB