Magma V2.19-8 Tue Aug 20 2013 16:17:43 on localhost [Seed = 3381155109] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1958 geometric_solution 5.53948515 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 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.297015432175 0.211000357219 2 0 3 0 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 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.465400125408 1.378584107128 1 4 5 3 0132 0132 0132 1230 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.970115937353 1.368262168622 2 5 4 1 3012 1023 3201 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 -1 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.970115937353 1.368262168622 3 2 6 6 2310 0132 3201 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.137864673892 0.439734503451 3 5 5 2 1023 3201 2310 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 -1 1 0 0 0 0 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.517884361178 0.721952907577 4 6 4 6 2310 2310 0132 3201 0 0 0 0 0 1 -1 0 1 0 0 -1 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 -1.187247906482 0.872006305283 ==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' : 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' : negation(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' : d['1'], 'c_1100_6' : negation(d['c_0011_6']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_6']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : negation(d['c_0101_3']), 'c_0101_5' : negation(d['c_0101_4']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0011_3'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : d['c_0011_6'], '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_0101_4'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0101_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : negation(d['c_0101_4']), 'c_1010_6' : d['c_0101_4'], 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : 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 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0011_6, c_0101_0, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t + 874191197814349054568692055023231769771/185046845702629897235683533\ 07940172675*c_0101_4^21 - 8618537269313037507815153455371545688563/\ 18504684570262989723568353307940172675*c_0101_4^20 + 11949510657275489358676703459665189320194/1850468457026298972356835\ 3307940172675*c_0101_4^19 + 649574663600526871820838781810682543441\ 36/18504684570262989723568353307940172675*c_0101_4^18 - 78182785503961199383246786836222412656509/1850468457026298972356835\ 3307940172675*c_0101_4^17 + 818114774859163857268470566766386832772\ 39/18504684570262989723568353307940172675*c_0101_4^16 - 199697453856156404323967158237864594543551/616822819008766324118945\ 1102646724225*c_0101_4^15 - 140794570692975972405455376454767570453\ 49/246729127603506529647578044105868969*c_0101_4^14 + 1359226479558100101905007513011797554799298/18504684570262989723568\ 353307940172675*c_0101_4^13 + 4391941473493247384542947333110456592\ 17756/18504684570262989723568353307940172675*c_0101_4^12 + 2985007541564854021245137389638373976771266/18504684570262989723568\ 353307940172675*c_0101_4^11 + 3175596454206908116372662252120999761\ 126629/18504684570262989723568353307940172675*c_0101_4^10 + 794027129229549436122891675865433836696259/616822819008766324118945\ 1102646724225*c_0101_4^9 + 2505821912623825745519083163960646136278\ 986/18504684570262989723568353307940172675*c_0101_4^8 + 717922660777863325172631382647100547069443/185046845702629897235683\ 53307940172675*c_0101_4^7 + 436959524924243800004857902554810433763\ 684/18504684570262989723568353307940172675*c_0101_4^6 - 181203911757176028305602081805547950047633/185046845702629897235683\ 53307940172675*c_0101_4^5 - 215119233106701957201613458410253370537\ 757/18504684570262989723568353307940172675*c_0101_4^4 - 45787612385918613265441058907204719194518/6168228190087663241189451\ 102646724225*c_0101_4^3 - 89078363322709164775592548042492101139883\ /18504684570262989723568353307940172675*c_0101_4^2 - 20614175262322010636675609057955910847041/1850468457026298972356835\ 3307940172675*c_0101_4 - 8971989991032181853021508349218505697548/1\ 8504684570262989723568353307940172675, c_0011_0 - 1, c_0011_1 + 266633326697746413168859967899212978/24672912760350652964757\ 8044105868969*c_0101_4^21 - 2842221081868657442906874843681464538/2\ 46729127603506529647578044105868969*c_0101_4^20 + 5757594869438696674272495686181112161/24672912760350652964757804410\ 5868969*c_0101_4^19 + 16878010409629169908463670128856563301/246729\ 127603506529647578044105868969*c_0101_4^18 - 40240589829667727956787315368431231144/2467291276035065296475780441\ 05868969*c_0101_4^17 + 45726531596492650738574277919138222522/24672\ 9127603506529647578044105868969*c_0101_4^16 - 199054795539798859563558798304405092810/246729127603506529647578044\ 105868969*c_0101_4^15 - 182732752194278095354956703793732101740/246\ 729127603506529647578044105868969*c_0101_4^14 + 674624136499793615601281188506259845518/246729127603506529647578044\ 105868969*c_0101_4^13 - 250595882354340658991462533632435737371/246\ 729127603506529647578044105868969*c_0101_4^12 + 756218008142508957459008391891286641881/246729127603506529647578044\ 105868969*c_0101_4^11 + 378909167632976660236260175350049005049/246\ 729127603506529647578044105868969*c_0101_4^10 - 27150022741029826894037031629713055054/2467291276035065296475780441\ 05868969*c_0101_4^9 + 379522177130620767768732286140919039925/24672\ 9127603506529647578044105868969*c_0101_4^8 - 217499842277833842381175520795108647639/246729127603506529647578044\ 105868969*c_0101_4^7 + 28891546486081731191665932538975743996/24672\ 9127603506529647578044105868969*c_0101_4^6 - 52279465510353410788837694343650088214/2467291276035065296475780441\ 05868969*c_0101_4^5 - 27136995603843152336613502987162449237/246729\ 127603506529647578044105868969*c_0101_4^4 + 8215101208968387822101598571030213788/24672912760350652964757804410\ 5868969*c_0101_4^3 - 6562004464020388573006062274109689824/24672912\ 7603506529647578044105868969*c_0101_4^2 + 3303300520694450726764630231048641779/24672912760350652964757804410\ 5868969*c_0101_4 - 486701272979365773953664847279343783/24672912760\ 3506529647578044105868969, c_0011_3 - 113423486458383757972260779021393581/24672912760350652964757\ 8044105868969*c_0101_4^21 + 1075234517572902109899891959917062616/2\ 46729127603506529647578044105868969*c_0101_4^20 - 1052968603574172701851394535153069738/24672912760350652964757804410\ 5868969*c_0101_4^19 - 9755590118323208679000901260972799253/2467291\ 27603506529647578044105868969*c_0101_4^18 + 8079120864497695604177022070843420294/24672912760350652964757804410\ 5868969*c_0101_4^17 - 1303881962415833538230685677514397993/2467291\ 27603506529647578044105868969*c_0101_4^16 + 65676844410560587074055516941429004164/2467291276035065296475780441\ 05868969*c_0101_4^15 + 173408745437924472083136084193214604760/2467\ 29127603506529647578044105868969*c_0101_4^14 - 173539785307111664011848352939143463334/246729127603506529647578044\ 105868969*c_0101_4^13 - 205577412978908975554242630733168455340/246\ 729127603506529647578044105868969*c_0101_4^12 - 263645088824135950404250219312988033681/246729127603506529647578044\ 105868969*c_0101_4^11 - 529492535994592506858187169535296596098/246\ 729127603506529647578044105868969*c_0101_4^10 - 267009849982232953316902371681716586463/246729127603506529647578044\ 105868969*c_0101_4^9 - 213528632485270934706509186756901882042/2467\ 29127603506529647578044105868969*c_0101_4^8 - 117232907406183459345052339949394288700/246729127603506529647578044\ 105868969*c_0101_4^7 + 44079374286650398449238641693753786536/24672\ 9127603506529647578044105868969*c_0101_4^6 + 19992018429798212548605241572452445999/2467291276035065296475780441\ 05868969*c_0101_4^5 + 35602070962706348898841998118643831004/246729\ 127603506529647578044105868969*c_0101_4^4 + 16356131034897156133904435971699623230/2467291276035065296475780441\ 05868969*c_0101_4^3 + 4157591069334435464666218998655189018/2467291\ 27603506529647578044105868969*c_0101_4^2 + 2355300569560594500862289485249612823/24672912760350652964757804410\ 5868969*c_0101_4 - 437701702336343694776078237680473099/24672912760\ 3506529647578044105868969, c_0011_6 - 37092494446056398081942577345572520/246729127603506529647578\ 044105868969*c_0101_4^21 + 415096007853196756780061418429298352/246\ 729127603506529647578044105868969*c_0101_4^20 - 1009801170477098371196688831283692874/24672912760350652964757804410\ 5868969*c_0101_4^19 - 1935991958486934580451445256104919351/2467291\ 27603506529647578044105868969*c_0101_4^18 + 6879972150826606708104386533378777130/24672912760350652964757804410\ 5868969*c_0101_4^17 - 9279145584723075825592436938216589745/2467291\ 27603506529647578044105868969*c_0101_4^16 + 30832341402754484708812345126030627653/2467291276035065296475780441\ 05868969*c_0101_4^15 + 11076510640373318168228926303507855310/24672\ 9127603506529647578044105868969*c_0101_4^14 - 108348838662294854636967459573710485663/246729127603506529647578044\ 105868969*c_0101_4^13 + 84404511805669826596212883145021887398/2467\ 29127603506529647578044105868969*c_0101_4^12 - 120143526673794132345228505891002323659/246729127603506529647578044\ 105868969*c_0101_4^11 - 900008121187324220529571334096139877/246729\ 127603506529647578044105868969*c_0101_4^10 + 35747348047448063306184799673253080765/2467291276035065296475780441\ 05868969*c_0101_4^9 - 52954188706490817314692631508134486281/246729\ 127603506529647578044105868969*c_0101_4^8 + 56686775509755826863064949152700833652/2467291276035065296475780441\ 05868969*c_0101_4^7 - 16042903067962793127595524336319379214/246729\ 127603506529647578044105868969*c_0101_4^6 + 9213669992405029287723946514614420076/24672912760350652964757804410\ 5868969*c_0101_4^5 + 11768909126665119813543460697383986/2467291276\ 03506529647578044105868969*c_0101_4^4 - 2817236469981477329660206196725570597/24672912760350652964757804410\ 5868969*c_0101_4^3 + 944503024168348459480298431366690098/246729127\ 603506529647578044105868969*c_0101_4^2 - 1169809777727600044168095358434873203/24672912760350652964757804410\ 5868969*c_0101_4 + 193360469773979487532534226960228686/24672912760\ 3506529647578044105868969, c_0101_0 + 133437508046230719539253951772095493/24672912760350652964757\ 8044105868969*c_0101_4^21 - 1417419605482892798870808901065132718/2\ 46729127603506529647578044105868969*c_0101_4^20 + 2823677896316578140414540082038424330/24672912760350652964757804410\ 5868969*c_0101_4^19 + 8598192667861599564838604502745940212/2467291\ 27603506529647578044105868969*c_0101_4^18 - 19866049321472416600252284823860216243/2467291276035065296475780441\ 05868969*c_0101_4^17 + 21737749291442849737329496630213201110/24672\ 9127603506529647578044105868969*c_0101_4^16 - 98472450086332094230683463139562171657/2467291276035065296475780441\ 05868969*c_0101_4^15 - 95191425321482592833384619879844107410/24672\ 9127603506529647578044105868969*c_0101_4^14 + 337113686329528061236067604965322366938/246729127603506529647578044\ 105868969*c_0101_4^13 - 106056775137693985913116992327629803580/246\ 729127603506529647578044105868969*c_0101_4^12 + 367362867298849722819136494471105814687/246729127603506529647578044\ 105868969*c_0101_4^11 + 193909241814621312548664856851105270866/246\ 729127603506529647578044105868969*c_0101_4^10 - 20204345742350281959748282153315469869/2467291276035065296475780441\ 05868969*c_0101_4^9 + 174048660981511427857876813703732105646/24672\ 9127603506529647578044105868969*c_0101_4^8 - 114908044263251455196893834959060691833/246729127603506529647578044\ 105868969*c_0101_4^7 + 4487897283326753384584271845779856916/246729\ 127603506529647578044105868969*c_0101_4^6 - 27660591698952202919597416603459143402/2467291276035065296475780441\ 05868969*c_0101_4^5 - 14445848638061603897331541735031061331/246729\ 127603506529647578044105868969*c_0101_4^4 + 6330385668320802748674082778606520728/24672912760350652964757804410\ 5868969*c_0101_4^3 - 2704968294133862601141389329376357127/24672912\ 7603506529647578044105868969*c_0101_4^2 + 2098222303280743511649331522178979404/24672912760350652964757804410\ 5868969*c_0101_4 - 89734088444370539270659750201557208/246729127603\ 506529647578044105868969, c_0101_3 - 100060825221512535898638505624703356/24672912760350652964757\ 8044105868969*c_0101_4^21 + 1126270792150979602590573441007508905/2\ 46729127603506529647578044105868969*c_0101_4^20 - 2775496147142106213416556747059703015/24672912760350652964757804410\ 5868969*c_0101_4^19 - 5267548182965363338285040136239092711/2467291\ 27603506529647578044105868969*c_0101_4^18 + 19302677345397884105564663195718799035/2467291276035065296475780441\ 05868969*c_0101_4^17 - 24783358043340904759025456209996383966/24672\ 9127603506529647578044105868969*c_0101_4^16 + 81968200012649155657570125424447078267/2467291276035065296475780441\ 05868969*c_0101_4^15 + 27375874165458734673623737924913782182/24672\ 9127603506529647578044105868969*c_0101_4^14 - 309469199255492301714897972129943790931/246729127603506529647578044\ 105868969*c_0101_4^13 + 228317549544078101097342095440193525024/246\ 729127603506529647578044105868969*c_0101_4^12 - 290031206776920780232808061891641994468/246729127603506529647578044\ 105868969*c_0101_4^11 + 11999500312491172963248033573497037776/2467\ 29127603506529647578044105868969*c_0101_4^10 + 155707288531770872324859143901950790784/246729127603506529647578044\ 105868969*c_0101_4^9 - 106522189573695991980833584911242299782/2467\ 29127603506529647578044105868969*c_0101_4^8 + 175108889106079208399824251339680605349/246729127603506529647578044\ 105868969*c_0101_4^7 - 22582206048349813082967516864732029429/24672\ 9127603506529647578044105868969*c_0101_4^6 + 17845974794827419903463563113184769396/2467291276035065296475780441\ 05868969*c_0101_4^5 + 472432420418939577269411440304335363/24672912\ 7603506529647578044105868969*c_0101_4^4 - 13264553489601568127852062984536906839/2467291276035065296475780441\ 05868969*c_0101_4^3 + 1056401819211329410347151315205465607/2467291\ 27603506529647578044105868969*c_0101_4^2 - 3367450102981975762686952061758166123/24672912760350652964757804410\ 5868969*c_0101_4 + 292500231329487062300244892000368147/24672912760\ 3506529647578044105868969, c_0101_4^22 - 10*c_0101_4^21 + 15*c_0101_4^20 + 73*c_0101_4^19 - 101*c_0101_4^18 + 102*c_0101_4^17 - 691*c_0101_4^16 - 1119*c_0101_4^15 + 1768*c_0101_4^14 + 340*c_0101_4^13 + 3214*c_0101_4^12 + 3162*c_0101_4^11 + 2039*c_0101_4^10 + 2332*c_0101_4^9 + 356*c_0101_4^8 + 268*c_0101_4^7 - 281*c_0101_4^6 - 231*c_0101_4^5 - 120*c_0101_4^4 - 75*c_0101_4^3 - 10*c_0101_4^2 - 6*c_0101_4 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB