Magma V2.19-8 Tue Aug 20 2013 16:18:00 on localhost [Seed = 1595851665] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2233 geometric_solution 5.66876661 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 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.437885667183 0.206564232651 2 0 3 0 0132 2310 0132 0132 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 1 -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.694102148500 0.674634976081 1 4 5 3 0132 0132 0132 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.144121986989 1.158552769107 2 5 4 1 3201 1023 3201 0132 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 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 -0.144121986989 1.158552769107 3 2 4 4 2310 0132 1230 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.991459890782 1.277853219483 3 6 6 2 1023 0132 3201 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 -1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.269702937366 0.456947262550 5 5 6 6 2310 0132 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.779933456446 1.903304874224 ==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_0101_6'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0101_1'], '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' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_4']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(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_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' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0101_1']), '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_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0101_6']), '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' : negation(d['c_0101_1']), '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_1, c_0101_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 34 Groebner basis: [ t + 75644445362621727097885759004584325147206/9053271428710943592990776\ 907782605919565*c_0101_6^32 - 5955407205304334920332548712309259731\ 24997/18106542857421887185981553815565211839130*c_0101_6^30 - 238215571539626819909738561132570190902296/603551428580729572866051\ 793852173727971*c_0101_6^28 - 1060376985214733866686549949133441100\ 146933/3017757142903647864330258969260868639855*c_0101_6^26 + 5065806671745179928563234818039455015150711/10059190476345492881100\ 86323086956213285*c_0101_6^24 + 30475594598778914889728545754438527\ 6727099788/9053271428710943592990776907782605919565*c_0101_6^22 + 48496161702140706314797402228208091346819157/4023676190538197152440\ 34529234782485314*c_0101_6^20 + 38458422043671782746481449800570554\ 03810784229/18106542857421887185981553815565211839130*c_0101_6^18 + 963137313177975983499815324416562408911574461/181065428574218871859\ 81553815565211839130*c_0101_6^16 - 2164463582584341609006130377422569506431061727/60355142858072957286\ 60517938521737279710*c_0101_6^14 - 3010496680886850808049988151415196190806429866/90532714287109435929\ 90776907782605919565*c_0101_6^12 + 2532255946116569880541245338453014091422188373/18106542857421887185\ 981553815565211839130*c_0101_6^10 + 3330191751634961420189060547901966945141598797/18106542857421887185\ 981553815565211839130*c_0101_6^8 - 643063443645949758086611091996101216334287124/905327142871094359299\ 0776907782605919565*c_0101_6^6 + 1448837780688301181646453245465004\ 0368621257/3621308571484377437196310763113042367826*c_0101_6^4 - 2017905779622889448198651394420092648992955/36213085714843774371963\ 10763113042367826*c_0101_6^2 - 171194098860014262969774327575046040\ 6984138/9053271428710943592990776907782605919565, c_0011_0 - 1, c_0011_1 + 2450260312901752984413991967480390722/2011838095269098576220\ 17264617391242657*c_0101_6^32 - 10936595630564651819196240038519165\ 030/201183809526909857622017264617391242657*c_0101_6^30 - 110916450779657288655111045795076399965/201183809526909857622017264\ 617391242657*c_0101_6^28 - 41150594811749747075057552846579860233/2\ 01183809526909857622017264617391242657*c_0101_6^26 + 1543601770157252841607276069102691368834/20118380952690985762201726\ 4617391242657*c_0101_6^24 + 910956795848606395788187977366164707200\ 2/201183809526909857622017264617391242657*c_0101_6^22 + 29995246414725161953162654506278869709194/2011838095269098576220172\ 64617391242657*c_0101_6^20 + 42564158517780743047230135024816648161\ 875/201183809526909857622017264617391242657*c_0101_6^18 - 21398140722318425650900541316816048045388/2011838095269098576220172\ 64617391242657*c_0101_6^16 - 12171566320031227656180183786974933865\ 5851/201183809526909857622017264617391242657*c_0101_6^14 - 47342904642232087231201655266330623309639/2011838095269098576220172\ 64617391242657*c_0101_6^12 + 10116405728073442733186728807431296822\ 8746/201183809526909857622017264617391242657*c_0101_6^10 + 46360915763757254548062544070367607841916/2011838095269098576220172\ 64617391242657*c_0101_6^8 - 476601379018710727850327868275223584376\ 23/201183809526909857622017264617391242657*c_0101_6^6 + 6969733581493492796335307422460324660479/20118380952690985762201726\ 4617391242657*c_0101_6^4 - 459920189111158577298250945516470618357/\ 201183809526909857622017264617391242657*c_0101_6^2 + 36579164781074874161042405649148563573/2011838095269098576220172646\ 17391242657, c_0011_3 - 44762326258510684271571759657992907971/201183809526909857622\ 017264617391242657*c_0101_6^33 + 1816810298582818840213049942350358\ 13590/201183809526909857622017264617391242657*c_0101_6^31 + 2093596485132947616486345020433456919853/20118380952690985762201726\ 4617391242657*c_0101_6^29 + 162097600995992333373168833690716794330\ 9/201183809526909857622017264617391242657*c_0101_6^27 - 27242845279813977327314453086315968877381/2011838095269098576220172\ 64617391242657*c_0101_6^25 - 17706852618813699311464221939892667373\ 5114/201183809526909857622017264617391242657*c_0101_6^23 - 623203671542210109357321075529580085598573/201183809526909857622017\ 264617391242657*c_0101_6^21 - 1056019366627226032286362995338240618\ 755879/201183809526909857622017264617391242657*c_0101_6^19 - 135446830998469823203996967674516263703669/201183809526909857622017\ 264617391242657*c_0101_6^17 + 1974438445455477459350542042481720954\ 610399/201183809526909857622017264617391242657*c_0101_6^15 + 1551536314410327931106302092984703562631175/20118380952690985762201\ 7264617391242657*c_0101_6^13 - 997554114325799424540954871251946355\ 102595/201183809526909857622017264617391242657*c_0101_6^11 - 923193776264624835413160058315244153543224/201183809526909857622017\ 264617391242657*c_0101_6^9 + 51206445861842865106727951435397658257\ 5827/201183809526909857622017264617391242657*c_0101_6^7 - 51475802484880698531097211545457180188111/2011838095269098576220172\ 64617391242657*c_0101_6^5 + 12470599949518174715783628648722687599/\ 201183809526909857622017264617391242657*c_0101_6^3 + 717069415312220964215658058273446527834/201183809526909857622017264\ 617391242657*c_0101_6, c_0101_0 + 69173589809179360608118526517250511724/201183809526909857622\ 017264617391242657*c_0101_6^33 - 2839879131333984742086337805212029\ 50145/201183809526909857622017264617391242657*c_0101_6^31 - 3221814859091553503819058458887669419269/20118380952690985762201726\ 4617391242657*c_0101_6^29 - 235576777124730857970771751899464909061\ 2/201183809526909857622017264617391242657*c_0101_6^27 + 42196070024370872026590329112087953463950/2011838095269098576220172\ 64617391242657*c_0101_6^25 + 27165101414055315821302848559914908903\ 4942/201183809526909857622017264617391242657*c_0101_6^23 + 950569014144026358249472459619119097257352/201183809526909857622017\ 264617391242657*c_0101_6^21 + 1588757722670903341238821678695203360\ 826390/201183809526909857622017264617391242657*c_0101_6^19 + 139473706619922114611836305663336499255270/201183809526909857622017\ 264617391242657*c_0101_6^17 - 3049939698381183841879117184074546227\ 471533/201183809526909857622017264617391242657*c_0101_6^15 - 2252900480811890396716572253477113842743321/20118380952690985762201\ 7264617391242657*c_0101_6^13 + 163374578356228575891536538484794235\ 4453271/201183809526909857622017264617391242657*c_0101_6^11 + 1336522620086275282334133479250125393145160/20118380952690985762201\ 7264617391242657*c_0101_6^9 - 8496049493044463057691263747765858332\ 20761/201183809526909857622017264617391242657*c_0101_6^7 + 127899842201254677142038972726847735367482/201183809526909857622017\ 264617391242657*c_0101_6^5 - 72481745029104778068218552896307366275\ 82/201183809526909857622017264617391242657*c_0101_6^3 - 1122725842567321975311775498280232594812/20118380952690985762201726\ 4617391242657*c_0101_6, c_0101_1 - 8416253760769867130158849853776650494/2011838095269098576220\ 17264617391242657*c_0101_6^32 + 34717283360029103346025564232343880\ 212/201183809526909857622017264617391242657*c_0101_6^30 + 391473025624247902629409300708829059089/201183809526909857622017264\ 617391242657*c_0101_6^28 + 278402035316802311215133787577620066416/\ 201183809526909857622017264617391242657*c_0101_6^26 - 5147209578290570722051431424220154911958/20118380952690985762201726\ 4617391242657*c_0101_6^24 - 329608220370437835729289444252392584683\ 42/201183809526909857622017264617391242657*c_0101_6^22 - 114916433723235127727162542226637481544509/201183809526909857622017\ 264617391242657*c_0101_6^20 - 1903655302080021778223915686176228954\ 56964/201183809526909857622017264617391242657*c_0101_6^18 - 10632187856099138179301418265592501786143/2011838095269098576220172\ 64617391242657*c_0101_6^16 + 37649667974123137345140447706711090967\ 2290/201183809526909857622017264617391242657*c_0101_6^14 + 269976860175681485953004435381158244318953/201183809526909857622017\ 264617391242657*c_0101_6^12 - 2095669684182336291453356917657250772\ 19088/201183809526909857622017264617391242657*c_0101_6^10 - 167007466071546854982336486097028641253412/201183809526909857622017\ 264617391242657*c_0101_6^8 + 10608854072658881003110580270339036258\ 8379/201183809526909857622017264617391242657*c_0101_6^6 - 14694441140026751514398854287903286041855/2011838095269098576220172\ 64617391242657*c_0101_6^4 + 776725042272932108452029538311470358955\ /201183809526909857622017264617391242657*c_0101_6^2 + 179550898478926797839583996182046361413/201183809526909857622017264\ 617391242657, c_0101_4 + 17621476928104958408116376428273282619/201183809526909857622\ 017264617391242657*c_0101_6^33 - 7087738087808429680292726207267378\ 0362/201183809526909857622017264617391242657*c_0101_6^31 - 826563295629754712649234506989376217804/201183809526909857622017264\ 617391242657*c_0101_6^29 - 669112558260036856283849652257725941727/\ 201183809526909857622017264617391242657*c_0101_6^27 + 10689936957685108628453793332327637841835/2011838095269098576220172\ 64617391242657*c_0101_6^25 + 70084718546380233849718824873089388236\ 781/201183809526909857622017264617391242657*c_0101_6^23 + 248021536518720330724052995960906552373538/201183809526909857622017\ 264617391242657*c_0101_6^21 + 4256844199343459489688566034197200732\ 04913/201183809526909857622017264617391242657*c_0101_6^19 + 72235291221821639723854058089700286614622/2011838095269098576220172\ 64617391242657*c_0101_6^17 - 76814807950834344948236551710474604943\ 2512/201183809526909857622017264617391242657*c_0101_6^15 - 635444946807439525718920878793168472228242/201183809526909857622017\ 264617391242657*c_0101_6^13 + 3612480149395037027762133756928581597\ 02778/201183809526909857622017264617391242657*c_0101_6^11 + 365078954356500574002568345268143180742864/201183809526909857622017\ 264617391242657*c_0101_6^9 - 18838027734860005653209367021260416713\ 5909/201183809526909857622017264617391242657*c_0101_6^7 + 18762332464436682004041120279163595527205/2011838095269098576220172\ 64617391242657*c_0101_6^5 + 104547214285130056512039302402790683314\ 4/201183809526909857622017264617391242657*c_0101_6^3 - 402833183197692336924707159187847255562/201183809526909857622017264\ 617391242657*c_0101_6, c_0101_6^34 - 4*c_0101_6^32 - 47*c_0101_6^30 - 39*c_0101_6^28 + 606*c_0101_6^26 + 3991*c_0101_6^24 + 14161*c_0101_6^22 + 24452*c_0101_6^20 + 4567*c_0101_6^18 - 43642*c_0101_6^16 - 37127*c_0101_6^14 + 19842*c_0101_6^12 + 21439*c_0101_6^10 - 10167*c_0101_6^8 + 722*c_0101_6^6 + 35*c_0101_6^4 - 18*c_0101_6^2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB