Magma V2.19-8 Tue Aug 20 2013 16:18:37 on localhost [Seed = 3347471092] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2798 geometric_solution 6.02905094 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 1 0132 0132 0132 0321 0 0 0 0 0 -1 0 1 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 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.967056041470 1.064497538143 0 0 5 4 0132 0321 0132 0132 0 0 0 0 0 -1 1 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 1 0 -1 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 1.168275758783 1.080950639759 5 0 4 4 0321 0132 0213 2103 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 0 0 0 0 0 0 0 0.399111043157 0.494666146961 6 6 4 0 0132 2310 3201 0132 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 0 0.067784811204 0.689692098769 3 2 1 2 2310 0213 0132 2103 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.528035091025 0.559533229454 2 5 5 1 0321 1230 3012 0132 0 0 0 0 0 0 1 -1 0 0 0 0 0 -1 0 1 0 -1 1 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 1 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.489825418189 0.645659730170 3 6 6 3 0132 3201 2310 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.889974412980 0.806793332550 ==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' : negation(d['1']), 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_0_6' : negation(d['1']), 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_3']), 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : d['c_0011_5'], 's_3_6' : negation(d['1']), 'c_1100_1' : d['c_0011_5'], 'c_1100_0' : negation(d['c_0011_4']), 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0101_3'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0011_4']), 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_4'], 'c_0101_1' : d['c_0011_0'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_3']), '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' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0011_5']), 'c_1001_4' : d['c_1001_2'], 'c_1001_6' : negation(d['c_0101_0']), 'c_1001_1' : negation(d['c_0011_4']), 'c_1001_0' : negation(d['c_0101_3']), 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : d['c_1001_2'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_5']), 'c_0110_5' : d['c_0011_0'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_0101_0'], 'c_1010_5' : negation(d['c_0011_4']), 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : negation(d['c_0101_3']), 'c_1010_1' : d['c_1001_2'], 'c_1010_0' : d['c_1001_2']})} 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_4, c_0011_5, c_0101_0, c_0101_3, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 25 Groebner basis: [ t + 6359789348869400526466482492117706187331718/19856435136699558887063\ 83707231802256989577*c_1001_2^24 - 206558669626835046415061601292011904211553052/595693054100986766611\ 9151121695406770968731*c_1001_2^23 + 783013211525019441412738652247476672349542807/595693054100986766611\ 9151121695406770968731*c_1001_2^22 - 413234073188381863745808453763598889758293873/198564351366995588870\ 6383707231802256989577*c_1001_2^21 - 336654466112725485221750246054662912094104464/198564351366995588870\ 6383707231802256989577*c_1001_2^20 + 405814357603222231996498785675541872845926049/350407678882933392124\ 655948335023927704043*c_1001_2^19 - 9334230066647120676659934790347191651101710035/59569305410098676661\ 19151121695406770968731*c_1001_2^18 - 1704025487466507888947090273668271258918976283/59569305410098676661\ 19151121695406770968731*c_1001_2^17 + 7155982522922279903039984066341560657979099323/19856435136699558887\ 06383707231802256989577*c_1001_2^16 - 8538140277628582576904038909424852416248792705/19856435136699558887\ 06383707231802256989577*c_1001_2^15 + 5676404721800047170043793849288944568347843017/19856435136699558887\ 06383707231802256989577*c_1001_2^14 - 364579940235459062854647302983452091119833327/198564351366995588870\ 6383707231802256989577*c_1001_2^13 - 36332685620981400908250041900369238836976701209/5956930541009867666\ 119151121695406770968731*c_1001_2^12 + 15117717940044210400591361359377188964898233983/1985643513669955888\ 706383707231802256989577*c_1001_2^11 - 41388452045791341288064784808684794263510352560/5956930541009867666\ 119151121695406770968731*c_1001_2^10 + 23189144553508675036573551756638547642893987399/1985643513669955888\ 706383707231802256989577*c_1001_2^9 - 58230689976753050287129363590700860392116026551/5956930541009867666\ 119151121695406770968731*c_1001_2^8 + 6790362804346849118057633796578047012962983964/19856435136699558887\ 06383707231802256989577*c_1001_2^7 + 2625005673728807631130231338481386305829290744/59569305410098676661\ 19151121695406770968731*c_1001_2^6 - 10301446858691177537236802859576286036918934669/5956930541009867666\ 119151121695406770968731*c_1001_2^5 - 1394531011124987829411720035812771811847136057/19856435136699558887\ 06383707231802256989577*c_1001_2^4 + 2800537009486859896080709851612084593174696375/59569305410098676661\ 19151121695406770968731*c_1001_2^3 + 1113329352766612642765225023840889619421322876/19856435136699558887\ 06383707231802256989577*c_1001_2^2 + 6074527435806214119214805275218209023949380/11680255962764446404155\ 1982778341309234681*c_1001_2 + 412271014772533701979918395300531304\ 70417801/5956930541009867666119151121695406770968731, c_0011_0 - 1, c_0011_3 + 99247804037791204947314320659488026354282/405233370136725691\ 57273136882281678714073*c_1001_2^24 - 1078819271086394172880059385296861362566927/40523337013672569157273\ 136882281678714073*c_1001_2^23 + 4137908818350584953900446458754205\ 447093892/40523337013672569157273136882281678714073*c_1001_2^22 - 6811406364028387798722785068707998356369991/40523337013672569157273\ 136882281678714073*c_1001_2^21 - 4318024781092175870007363631629695\ 415074396/40523337013672569157273136882281678714073*c_1001_2^20 + 35163076628485256489701858861128265772325316/4052333701367256915727\ 3136882281678714073*c_1001_2^19 - 511370982758905528810804887733184\ 25532973282/40523337013672569157273136882281678714073*c_1001_2^18 - 1362612524277990024224549564363141573931947/40523337013672569157273\ 136882281678714073*c_1001_2^17 + 1053449708656885233026194951233050\ 59081340494/40523337013672569157273136882281678714073*c_1001_2^16 - 139691619521600361171401850697247698759233135/405233370136725691572\ 73136882281678714073*c_1001_2^15 + 109549731132920939923813929070678885249197256/405233370136725691572\ 73136882281678714073*c_1001_2^14 - 27059947322479873325407800700586350083474714/4052333701367256915727\ 3136882281678714073*c_1001_2^13 - 171881645656602678632152680888175\ 297522423175/40523337013672569157273136882281678714073*c_1001_2^12 + 240254438751191713610701094853667559164418395/405233370136725691572\ 73136882281678714073*c_1001_2^11 - 14785246239775963320773800014575887219287956/2383725706686621715133\ 713934251863453769*c_1001_2^10 + 3990943559992081040972626282780246\ 29222777106/40523337013672569157273136882281678714073*c_1001_2^9 - 360324116028740732181757690495037758132664932/405233370136725691572\ 73136882281678714073*c_1001_2^8 + 182403608467145231703337005346426\ 832645308490/40523337013672569157273136882281678714073*c_1001_2^7 - 2327842834421727325586726620893966547597997/23837257066866217151337\ 13934251863453769*c_1001_2^6 - 208526845749362534218936488826387188\ 69848262/40523337013672569157273136882281678714073*c_1001_2^5 - 29650843437801535577780325536078849904193565/4052333701367256915727\ 3136882281678714073*c_1001_2^4 + 1859535459896442358238173551662223\ 2205172148/40523337013672569157273136882281678714073*c_1001_2^3 + 9797716704190708764053233986369351419296852/40523337013672569157273\ 136882281678714073*c_1001_2^2 - 21789718171015835289647450675043830\ 3549457/40523337013672569157273136882281678714073*c_1001_2 - 5439759317983846977000971437431854600851/23837257066866217151337139\ 34251863453769, c_0011_4 + 50785648869577894081351048784642465123707/405233370136725691\ 57273136882281678714073*c_1001_2^24 - 552744524507708787199960960596723570474177/405233370136725691572731\ 36882281678714073*c_1001_2^23 + 21248728192782399818605564670385695\ 13380502/40523337013672569157273136882281678714073*c_1001_2^22 - 3512516822907821204011308075193932748426942/40523337013672569157273\ 136882281678714073*c_1001_2^21 - 2171405855358616508327098102996514\ 899433500/40523337013672569157273136882281678714073*c_1001_2^20 + 18043874558671207559363876265742859464277717/4052333701367256915727\ 3136882281678714073*c_1001_2^19 - 155385197451052923691719190346262\ 8458383454/2383725706686621715133713934251863453769*c_1001_2^18 - 421301891755755520362054125173652537351293/405233370136725691572731\ 36882281678714073*c_1001_2^17 + 54071498239447059036686067011430131\ 055416261/40523337013672569157273136882281678714073*c_1001_2^16 - 72270181752163122216226646473458229561350998/4052333701367256915727\ 3136882281678714073*c_1001_2^15 + 567841810537484634531245325018460\ 59114126564/40523337013672569157273136882281678714073*c_1001_2^14 - 14191925655665505556238293292836008226083897/4052333701367256915727\ 3136882281678714073*c_1001_2^13 - 880822613498907834661037131238717\ 12483593072/40523337013672569157273136882281678714073*c_1001_2^12 + 124318859695978234732381230381177636998000423/405233370136725691572\ 73136882281678714073*c_1001_2^11 - 129927882363754632954995158291203225273092936/405233370136725691572\ 73136882281678714073*c_1001_2^10 + 205229686685355184049612139305525983537947613/405233370136725691572\ 73136882281678714073*c_1001_2^9 - 186573528026627792848787672884196\ 758391940735/40523337013672569157273136882281678714073*c_1001_2^8 + 94742551222213894126231854882941438023559640/4052333701367256915727\ 3136882281678714073*c_1001_2^7 - 2038260612616276910007654138082657\ 5173072268/40523337013672569157273136882281678714073*c_1001_2^6 - 10955029421363743012312682404429024978382291/4052333701367256915727\ 3136882281678714073*c_1001_2^5 - 1481766257105616529538043680992090\ 4934829503/40523337013672569157273136882281678714073*c_1001_2^4 + 9837598999378954093333361607637463066340989/40523337013672569157273\ 136882281678714073*c_1001_2^3 + 49765446048278273046196729415234663\ 35801615/40523337013672569157273136882281678714073*c_1001_2^2 - 269244599600972174929034315431453963193773/405233370136725691572731\ 36882281678714073*c_1001_2 - 91811156956104018420339740894579553560\ 500/40523337013672569157273136882281678714073, c_0011_5 - 3627801621090472203859797977271416383503/2383725706686621715\ 133713934251863453769*c_1001_2^24 + 677345460195269289678227885843780710674280/405233370136725691572731\ 36882281678714073*c_1001_2^23 - 26473198851251880208447971103479697\ 86256425/40523337013672569157273136882281678714073*c_1001_2^22 + 4526317177990490347203622533174446578207916/40523337013672569157273\ 136882281678714073*c_1001_2^21 + 2192464634285887863188105029106145\ 511835140/40523337013672569157273136882281678714073*c_1001_2^20 - 22132807800744983779629810517946213934874362/4052333701367256915727\ 3136882281678714073*c_1001_2^19 + 342588136187648460967346021214311\ 15126052671/40523337013672569157273136882281678714073*c_1001_2^18 - 2853153873396077597520582673479170234263604/40523337013672569157273\ 136882281678714073*c_1001_2^17 - 6540338007976843758084740356360035\ 0380834803/40523337013672569157273136882281678714073*c_1001_2^16 + 94214235390326904246720495624904181220674593/4052333701367256915727\ 3136882281678714073*c_1001_2^15 - 782157073273571566984342634551317\ 22649393455/40523337013672569157273136882281678714073*c_1001_2^14 + 24922582226749137541840261557620832421107061/4052333701367256915727\ 3136882281678714073*c_1001_2^13 + 104617257743703541650447337498125\ 851612164372/40523337013672569157273136882281678714073*c_1001_2^12 - 161278297972106508771026590471909659760213889/405233370136725691572\ 73136882281678714073*c_1001_2^11 + 173638411186944797585799670334499797449113853/405233370136725691572\ 73136882281678714073*c_1001_2^10 - 15667297426781156424859442297381767079497275/2383725706686621715133\ 713934251863453769*c_1001_2^9 + 25259497148848572232425298365939819\ 8538154139/40523337013672569157273136882281678714073*c_1001_2^8 - 139872880094516312911747024409575751350266597/405233370136725691572\ 73136882281678714073*c_1001_2^7 + 383676706451766857800237493358584\ 90143495277/40523337013672569157273136882281678714073*c_1001_2^6 + 569038523000266398337985989070769249677938/238372570668662171513371\ 3934251863453769*c_1001_2^5 + 1703384153141832600190902504520963664\ 3462832/40523337013672569157273136882281678714073*c_1001_2^4 - 13558840897742959177833875899328328177691090/4052333701367256915727\ 3136882281678714073*c_1001_2^3 - 4649876834281177430102537185240527\ 403403734/40523337013672569157273136882281678714073*c_1001_2^2 + 801325929478803774710093797186737299977425/405233370136725691572731\ 36882281678714073*c_1001_2 + 15211911412707913147087579726666978634\ 718/40523337013672569157273136882281678714073, c_0101_0 - 78865525117188896913701123907417347876787/405233370136725691\ 57273136882281678714073*c_1001_2^24 + 854010079494299305300321403586222507009657/405233370136725691572731\ 36882281678714073*c_1001_2^23 - 32519579814040027905364888692478288\ 54977810/40523337013672569157273136882281678714073*c_1001_2^22 + 5268131453789457914310964216008243420642161/40523337013672569157273\ 136882281678714073*c_1001_2^21 + 3689972587367234403760416219530753\ 397523046/40523337013672569157273136882281678714073*c_1001_2^20 - 27864920556713005265540562954648747339454253/4052333701367256915727\ 3136882281678714073*c_1001_2^19 + 394682247237142623657974816006775\ 04450739761/40523337013672569157273136882281678714073*c_1001_2^18 + 3042403380439405720148943092610620007543602/40523337013672569157273\ 136882281678714073*c_1001_2^17 - 8415889082784662744484101407250441\ 7531161283/40523337013672569157273136882281678714073*c_1001_2^16 + 6334776534494251356952452244287869334863163/23837257066866217151337\ 13934251863453769*c_1001_2^15 - 81678152658552515873112849108269536\ 734942119/40523337013672569157273136882281678714073*c_1001_2^14 + 973675603285963892792149136916612383051408/238372570668662171513371\ 3934251863453769*c_1001_2^13 + 138756231680065721166799771147554355\ 097552677/40523337013672569157273136882281678714073*c_1001_2^12 - 185886146472897438816879158785361698389538749/405233370136725691572\ 73136882281678714073*c_1001_2^11 + 190660430512708929539313238345911056886832782/405233370136725691572\ 73136882281678714073*c_1001_2^10 - 306588717466577270785249694695283983083745797/405233370136725691572\ 73136882281678714073*c_1001_2^9 + 270534051443624879682200198470025\ 048583573616/40523337013672569157273136882281678714073*c_1001_2^8 - 129141397426783162380266977890186574049046703/405233370136725691572\ 73136882281678714073*c_1001_2^7 + 214323379290678734037682876408186\ 65205500469/40523337013672569157273136882281678714073*c_1001_2^6 + 20499418826771452326936094056723142057901589/4052333701367256915727\ 3136882281678714073*c_1001_2^5 + 2318323789298309420194364814485011\ 3207611024/40523337013672569157273136882281678714073*c_1001_2^4 - 13736040251215754030195497856272711842960611/4052333701367256915727\ 3136882281678714073*c_1001_2^3 - 8604530723243787072796951240814144\ 063965973/40523337013672569157273136882281678714073*c_1001_2^2 + 31023270932436618813598637232807878849382/4052333701367256915727313\ 6882281678714073*c_1001_2 + 108193196973529503157523840638938450474\ 632/40523337013672569157273136882281678714073, c_0101_3 + 41590573042389563582741034518143202388080/405233370136725691\ 57273136882281678714073*c_1001_2^24 - 454035850416488855603410861155984359894511/405233370136725691572731\ 36882281678714073*c_1001_2^23 + 17553966405262141458178096902135994\ 19684629/40523337013672569157273136882281678714073*c_1001_2^22 - 2937749143561024591728647481096427824783649/40523337013672569157273\ 136882281678714073*c_1001_2^21 - 1667614685038314785440190753136511\ 607580621/40523337013672569157273136882281678714073*c_1001_2^20 + 14807587250076748544702572756681344087996201/4052333701367256915727\ 3136882281678714073*c_1001_2^19 - 221323278063784022117622292283257\ 45939930983/40523337013672569157273136882281678714073*c_1001_2^18 + 509542944679018855197670112371177231857634/405233370136725691572731\ 36882281678714073*c_1001_2^17 + 44076321230013688839882178234035368\ 210324038/40523337013672569157273136882281678714073*c_1001_2^16 - 60644759433155350412841262570354837276444310/4052333701367256915727\ 3136882281678714073*c_1001_2^15 + 287675868364899650503798083688637\ 7622530550/2383725706686621715133713934251863453769*c_1001_2^14 - 13758243234749815446811398764796973104583045/4052333701367256915727\ 3136882281678714073*c_1001_2^13 - 713837266653819573021143496813471\ 55479318452/40523337013672569157273136882281678714073*c_1001_2^12 + 104112110264054633927713303716927092732412913/405233370136725691572\ 73136882281678714073*c_1001_2^11 - 110494682382490285253186142435359516516555899/405233370136725691572\ 73136882281678714073*c_1001_2^10 + 172668609384547046692638302991234402121421485/405233370136725691572\ 73136882281678714073*c_1001_2^9 - 159134401277183393088339816272176\ 519125147089/40523337013672569157273136882281678714073*c_1001_2^8 + 84143544646378030630800712201079960377978871/4052333701367256915727\ 3136882281678714073*c_1001_2^7 - 2062184923107779642442184489182507\ 7332793941/40523337013672569157273136882281678714073*c_1001_2^6 - 7969470115291150756291105049420551443882235/40523337013672569157273\ 136882281678714073*c_1001_2^5 - 11825446037728795894239040774404065\ 335124830/40523337013672569157273136882281678714073*c_1001_2^4 + 8151929212810311712194023378159345394962637/40523337013672569157273\ 136882281678714073*c_1001_2^3 + 36676398871305147370738520510596340\ 51795573/40523337013672569157273136882281678714073*c_1001_2^2 - 233276222958501812796995144744571226664794/405233370136725691572731\ 36882281678714073*c_1001_2 + 12945631838915121506638616987162205683\ 713/40523337013672569157273136882281678714073, c_1001_2^25 - 12*c_1001_2^24 + 54*c_1001_2^23 - 116*c_1001_2^22 + 35*c_1001_2^21 + 402*c_1001_2^20 - 917*c_1001_2^19 + 577*c_1001_2^18 + 1066*c_1001_2^17 - 2610*c_1001_2^16 + 2721*c_1001_2^15 - 1550*c_1001_2^14 - 1405*c_1001_2^13 + 4379*c_1001_2^12 - 5314*c_1001_2^11 + 6936*c_1001_2^10 - 8222*c_1001_2^9 + 6021*c_1001_2^8 - 2540*c_1001_2^7 + 260*c_1001_2^6 - 54*c_1001_2^5 + 512*c_1001_2^4 - 119*c_1001_2^3 - 110*c_1001_2^2 + 5*c_1001_2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB