Magma V2.19-8 Tue Aug 20 2013 16:18:45 on localhost [Seed = 795783771] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2915 geometric_solution 6.11595157 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 2310 1023 3201 0 0 0 0 0 0 1 -1 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.598703280282 0.418966328548 0 2 0 3 0132 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 -1 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 0 0 0 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 1.479712342289 0.974822710715 4 1 5 6 0132 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 0 0 0 0 0 0 1 -1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.418872248427 0.429185196434 6 4 1 6 1302 1230 0132 1230 0 0 0 0 0 0 0 0 0 0 -1 1 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.730253796347 0.895571856711 2 5 3 5 0132 0213 3012 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.107763740779 0.993929465843 6 4 4 2 3201 1302 0213 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 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.107763740779 0.993929465843 3 3 2 5 3012 2031 0132 2310 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 1.061097996603 1.286813263426 ==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' : negation(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' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : negation(d['1']), 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(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' : negation(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_0011_5'], 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : negation(d['c_1001_2']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : d['c_0011_5'], 'c_0101_6' : d['c_0101_4'], 'c_0101_5' : negation(d['c_0011_0']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_6']), 'c_0101_2' : negation(d['c_0011_3']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_6']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_6' : d['c_0011_6'], '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_0011_3']), 'c_1001_4' : negation(d['c_0011_3']), 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : negation(d['c_0011_6']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], 'c_0110_1' : negation(d['c_0011_6']), 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_6'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : negation(d['c_0011_3']), 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_6' : d['c_0011_0'], 'c_1010_6' : d['c_0011_3'], 'c_1010_5' : d['c_1001_2'], 'c_1010_4' : d['c_0011_5'], 'c_1010_3' : d['c_0101_4'], 'c_1010_2' : negation(d['c_0011_6']), 'c_1010_1' : d['c_1001_2'], 'c_1010_0' : negation(d['c_0101_1'])})} 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_0011_6, c_0101_1, c_0101_4, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 420506337866129661434274710063001484020769117/596255646378352078198\ 6161734761838381583315648*c_1001_2^17 - 897454965637465695973867439029584555566719285/596255646378352078198\ 6161734761838381583315648*c_1001_2^16 + 1608442353708492378895299268614188604574522901/29812782318917603909\ 93080867380919190791657824*c_1001_2^15 + 18482180954190983893997595659391879748499094965/1987518821261173593\ 995387244920612793861105216*c_1001_2^14 + 3637287216202433304598507832610791275256920981/11041771229228742188\ 8632624717811821881172512*c_1001_2^13 + 418516946622554442372970936684475138709227080159/596255646378352078\ 1986161734761838381583315648*c_1001_2^12 + 29292489361289371741627750146729250976067865379/6625062737537245313\ 31795748306870931287035072*c_1001_2^11 - 857399225503047071046339081867987931738495231/103516605274019458020\ 59308567294858301359923*c_1001_2^10 - 370381134530570866732090078009759548315902662099/298127823189176039\ 0993080867380919190791657824*c_1001_2^9 + 1012195114321297330678941227641337436569837637767/59625564637835207\ 81986161734761838381583315648*c_1001_2^8 + 3717445996088344328678508224286060380338132286881/59625564637835207\ 81986161734761838381583315648*c_1001_2^7 - 28235547137799229834961876209103186965868505425/1987518821261173593\ 995387244920612793861105216*c_1001_2^6 - 347238197550924838278341739222934072287680025913/496879705315293398\ 498846811230153198465276304*c_1001_2^5 - 74815763338177007673851556540951967679369367169/9937594106305867969\ 97693622460306396930552608*c_1001_2^4 + 401585323957816284613009922130842357885747391235/745319557972940097\ 748270216845229797697914456*c_1001_2^3 + 101491818582793628120606802401507107478414385503/248439852657646699\ 249423405615076599232638152*c_1001_2^2 - 6438595588828131217773332146388275697293718623481/59625564637835207\ 81986161734761838381583315648*c_1001_2 + 21202217402719840607359189650650269383529993655/6210996316441167481\ 2355851403769149808159538, c_0011_0 - 1, c_0011_3 - 344657494031510015474668471835064187811/55086441830963791407\ 8544136618795120249752*c_1001_2^17 - 636030013320618884632162725427511043259/550864418309637914078544136\ 618795120249752*c_1001_2^16 + 1464146068586855580040215022560152275\ 123/275432209154818957039272068309397560124876*c_1001_2^15 + 44805810591887182396398357215323031729657/5508644183096379140785441\ 36618795120249752*c_1001_2^14 + 73613566652528250317400255246129783\ 484685/275432209154818957039272068309397560124876*c_1001_2^13 + 286559914403881813327084061727657302459425/550864418309637914078544\ 136618795120249752*c_1001_2^12 + 2856344774257114847704462172006284\ 4027119/183621472769879304692848045539598373416584*c_1001_2^11 - 22220849736681188779468079438973333760337/2295268409623491308660600\ 5692449796677073*c_1001_2^10 - 261258519038878106238436405742925577\ 574369/275432209154818957039272068309397560124876*c_1001_2^9 + 352721660199919889951407163134165272964147/183621472769879304692848\ 045539598373416584*c_1001_2^8 + 28434790718298967930209977897477665\ 84058767/550864418309637914078544136618795120249752*c_1001_2^7 - 408327320664828933193564411062598915189759/183621472769879304692848\ 045539598373416584*c_1001_2^6 - 10974176168659113711806188779768113\ 4927147/15301789397489942057737337128299864451382*c_1001_2^5 + 130209225718544016432960034517181194885141/918107363849396523464240\ 22769799186708292*c_1001_2^4 + 390384919620669183181671974373896056\ 423967/68858052288704739259818017077349390031219*c_1001_2^3 + 136882288271476956076493559971527176754502/688580522887047392598180\ 17077349390031219*c_1001_2^2 - 639425868593404373273413981041714927\ 3566951/550864418309637914078544136618795120249752*c_1001_2 + 127235777682957180841671253430023123155212/229526840962349130866060\ 05692449796677073, c_0011_5 - 422909976352816297901298831535251954731/55086441830963791407\ 8544136618795120249752*c_1001_2^17 - 889395830782287069341669752791583194131/550864418309637914078544136\ 618795120249752*c_1001_2^16 + 1661412660255227440281691652489394661\ 123/275432209154818957039272068309397560124876*c_1001_2^15 + 18579198985541483859353619386113148440915/1836214727698793046928480\ 45539598373416584*c_1001_2^14 + 32551407902288339609339948765615984\ 737907/91810736384939652346424022769799186708292*c_1001_2^13 + 407366014692324498577244852498078858954537/550864418309637914078544\ 136618795120249752*c_1001_2^12 + 7682382172757264316597922107170010\ 5801183/183621472769879304692848045539598373416584*c_1001_2^11 - 22875833490827614294339400266392376742008/2295268409623491308660600\ 5692449796677073*c_1001_2^10 - 369084136289969564064723736185373010\ 712173/275432209154818957039272068309397560124876*c_1001_2^9 + 1095456970052658387672492629252211345577681/55086441830963791407854\ 4136618795120249752*c_1001_2^8 + 3757419223479863088981223515204714\ 935049383/550864418309637914078544136618795120249752*c_1001_2^7 - 42765979126949277072740626230093046283581/6120715758995976823094934\ 8513199457805528*c_1001_2^6 - 1259346702981483473132415979722051184\ 11977/15301789397489942057737337128299864451382*c_1001_2^5 - 3032101658492831577466302366069451153429/30603578794979884115474674\ 256599728902764*c_1001_2^4 + 44173572863039211537249800206925417622\ 2387/68858052288704739259818017077349390031219*c_1001_2^3 + 87066820940921939819814053458992714633443/2295268409623491308660600\ 5692449796677073*c_1001_2^2 - 7161293733316520090063841110964769177\ 304959/550864418309637914078544136618795120249752*c_1001_2 + 93288577142318805639012330615649569692080/2295268409623491308660600\ 5692449796677073, c_0011_6 + 184228720320138436870952078897123/15392038047240260786817376\ 3449356706*c_1001_2^17 + 324869378196066545211600855977077/15392038\ 0472402607868173763449356706*c_1001_2^16 - 794945574860909060705894990348705/769601902362013039340868817246783\ 53*c_1001_2^15 - 7953800583131316775208271963081923/513067934908008\ 69289391254483118902*c_1001_2^14 - 38403075906940388289253453537485902/7696019023620130393408688172467\ 8353*c_1001_2^13 - 48910130806764006890559025365109653/513067934908\ 00869289391254483118902*c_1001_2^12 - 29000029334377991214006357132045215/1539203804724026078681737634493\ 56706*c_1001_2^11 + 150564220804998987421419658151308318/7696019023\ 6201303934086881724678353*c_1001_2^10 + 141122218535688841865115587069159521/769601902362013039340868817246\ 78353*c_1001_2^9 - 595139463364695548492594985679769335/15392038047\ 2402607868173763449356706*c_1001_2^8 - 1537548655705509702783333115535247169/15392038047240260786817376344\ 9356706*c_1001_2^7 + 710523171208540294308654571957775105/153920380\ 472402607868173763449356706*c_1001_2^6 + 1087800641335717571807135147729350787/76960190236201303934086881724\ 678353*c_1001_2^5 - 163103545875291733384403825779211228/7696019023\ 6201303934086881724678353*c_1001_2^4 - 300892264988398969253970854817302597/256533967454004346446956272415\ 59451*c_1001_2^3 - 336791712687428322382794088539984952/76960190236\ 201303934086881724678353*c_1001_2^2 + 3418396032394803461222262693930077425/15392038047240260786817376344\ 9356706*c_1001_2 - 268201291501935887126437820946526713/25653396745\ 400434644695627241559451, c_0101_1 - 78626753886092779905625286993201/615681521889610431472695053\ 797426824*c_1001_2^17 - 1029861827168471690359148825795635/18470445\ 65668831294418085161392280472*c_1001_2^16 + 71738001247318298218114685392729/3078407609448052157363475268987134\ 12*c_1001_2^15 + 34572951539202208622322491218823401/18470445656688\ 31294418085161392280472*c_1001_2^14 + 90822231499038567684184046927486329/9235222828344156472090425806961\ 40236*c_1001_2^13 + 514261813922545857695312080918708081/1847044565\ 668831294418085161392280472*c_1001_2^12 + 263526112128099077964796845333474607/615681521889610431472695053797\ 426824*c_1001_2^11 + 12034301523882469909398203079971194/7696019023\ 6201303934086881724678353*c_1001_2^10 - 52421127707785870628175546051679301/1026135869816017385787825089662\ 37804*c_1001_2^9 - 855013829555459846577761471312151095/18470445656\ 68831294418085161392280472*c_1001_2^8 + 2664479070631047941104363132909626103/18470445656688312944180851613\ 92280472*c_1001_2^7 + 1728282911115433168298614731895007617/6156815\ 21889610431472695053797426824*c_1001_2^6 + 1433708930809676678371924418870145/51306793490800869289391254483118\ 902*c_1001_2^5 - 926745318016524324099773973026499431/3078407609448\ 05215736347526898713412*c_1001_2^4 - 36334636206633450813734331546435684/2565339674540043464469562724155\ 9451*c_1001_2^3 + 534265001376552318285276941005738111/230880570708\ 603911802260645174035059*c_1001_2^2 + 2175344655972326580306030442157285425/18470445656688312944180851613\ 92280472*c_1001_2 - 216585844047194194131548233616052388/7696019023\ 6201303934086881724678353, c_0101_4 + 102557442304677357028351261273486104343/18362147276987930469\ 2848045539598373416584*c_1001_2^17 + 590088751906874784665300078146108963237/550864418309637914078544136\ 618795120249752*c_1001_2^16 - 4193804002523509181043575455039034347\ 07/91810736384939652346424022769799186708292*c_1001_2^15 - 40140392834800844405019415554824523047383/5508644183096379140785441\ 36618795120249752*c_1001_2^14 - 67401005480738848161286784109431929\ 709323/275432209154818957039272068309397560124876*c_1001_2^13 - 272070165355702098712545970036087654301647/550864418309637914078544\ 136618795120249752*c_1001_2^12 - 3753463473498633794177700646619759\ 4854065/183621472769879304692848045539598373416584*c_1001_2^11 + 18083796384849719590203926904412844774411/2295268409623491308660600\ 5692449796677073*c_1001_2^10 + 822750834638388639838231757945354998\ 70729/91810736384939652346424022769799186708292*c_1001_2^9 - 900457093965774928339203064384669988882887/550864418309637914078544\ 136618795120249752*c_1001_2^8 - 26474310081565164448970936707671515\ 03156113/550864418309637914078544136618795120249752*c_1001_2^7 + 228563267715426790236220010627743143564209/183621472769879304692848\ 045539598373416584*c_1001_2^6 + 93147968388376836404173516786663026\ 396633/15301789397489942057737337128299864451382*c_1001_2^5 - 27710499744722184245628836459810809875811/9181073638493965234642402\ 2769799186708292*c_1001_2^4 - 1251810738277538611064220926423270860\ 90748/22952684096234913086606005692449796677073*c_1001_2^3 - 174057079745896210962535009768822070820010/688580522887047392598180\ 17077349390031219*c_1001_2^2 + 555686933412836033860660922626596485\ 8319297/550864418309637914078544136618795120249752*c_1001_2 - 90526728796818526350979073219082407032640/2295268409623491308660600\ 5692449796677073, c_1001_2^18 + c_1001_2^17 - 10*c_1001_2^16 - 123*c_1001_2^15 - 318*c_1001_2^14 - 475*c_1001_2^13 + 465*c_1001_2^12 + 1800*c_1001_2^11 + 350*c_1001_2^10 - 4355*c_1001_2^9 - 5965*c_1001_2^8 + 10119*c_1001_2^7 + 9012*c_1001_2^6 - 10434*c_1001_2^5 - 8264*c_1001_2^4 + 3192*c_1001_2^3 + 21485*c_1001_2^2 - 22776*c_1001_2 + 6336 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB