Magma V2.19-8 Tue Aug 20 2013 16:17:29 on localhost [Seed = 3137021537] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1715 geometric_solution 5.42457600 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 0 0 0 0 0 0 0 0 0 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 0.540268506670 0.122047660028 2 0 2 0 0132 2310 1023 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 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.698669868903 0.275779434782 1 3 1 4 0132 0132 1023 0132 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 -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 1.188126686701 1.293532777409 5 2 6 4 0132 0132 0132 3120 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 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.555725063322 0.653788928533 3 6 2 5 3120 3201 0132 1023 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 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 0.555725063322 0.653788928533 3 5 5 4 0132 1230 3012 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.245215980501 0.887974050391 6 6 4 3 1302 2031 2310 0132 0 0 0 0 0 -1 0 1 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 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.492688878452 0.385953803161 ==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_4'], 'c_1100_5' : negation(d['c_0011_1']), 'c_1100_4' : d['c_0011_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' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : negation(d['c_0011_4']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], '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_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0011_1'], 'c_1001_4' : d['c_0011_6'], 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_6'], 'c_1001_2' : negation(d['c_0011_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_0011_6'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : negation(d['c_0011_4']), 'c_1010_2' : d['c_0011_6'], '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_4, c_0011_6, c_0101_0, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 25 Groebner basis: [ t + 35848719491095284281913887411781776051/2475969371271085598764034811\ 24384589*c_0101_5^24 + 297148616830210515413031785520087628402/2475\ 96937127108559876403481124384589*c_0101_5^23 - 1879387453853395540628720977375613869836/24759693712710855987640348\ 1124384589*c_0101_5^22 - 10788399236922265588189618115016128966380/\ 247596937127108559876403481124384589*c_0101_5^21 + 26673064721313473916129995648342272242713/2475969371271085598764034\ 81124384589*c_0101_5^20 + 12791005243890782985574196401589950449288\ 1/247596937127108559876403481124384589*c_0101_5^19 - 196649232392601965259839902807614796167947/247596937127108559876403\ 481124384589*c_0101_5^18 - 7264366480094552341983344727291912417010\ 73/247596937127108559876403481124384589*c_0101_5^17 + 904922960949559864577220608214269914293895/247596937127108559876403\ 481124384589*c_0101_5^16 + 2251797569757165564996193900424210509266\ 448/247596937127108559876403481124384589*c_0101_5^15 - 114620021281281796177230058651818751475589/107650842229177634728871\ 07874973243*c_0101_5^14 - 39906685017278599908511401349689084111887\ 89/247596937127108559876403481124384589*c_0101_5^13 + 4730223625623399958636855993679988626040104/24759693712710855987640\ 3481124384589*c_0101_5^12 + 407634597896262478543982718886905010206\ 2519/247596937127108559876403481124384589*c_0101_5^11 - 5114884276526630983158106445644020544821487/24759693712710855987640\ 3481124384589*c_0101_5^10 - 233878076713029170947375547750501323346\ 9427/247596937127108559876403481124384589*c_0101_5^9 + 3244730292487723228918274568641364553301169/24759693712710855987640\ 3481124384589*c_0101_5^8 + 7147259653402752455244964376720412808631\ 49/247596937127108559876403481124384589*c_0101_5^7 - 1156259917163690917445404169717152473688318/24759693712710855987640\ 3481124384589*c_0101_5^6 - 1167552660111335331257090678000622765186\ 72/247596937127108559876403481124384589*c_0101_5^5 + 218385448842237548276251942824889925448876/247596937127108559876403\ 481124384589*c_0101_5^4 + 13219938022886688340213605541666195288834\ /247596937127108559876403481124384589*c_0101_5^3 - 19782990514344566837736584145794289272804/2475969371271085598764034\ 81124384589*c_0101_5^2 - 872027799487573393216178034008364476994/24\ 7596937127108559876403481124384589*c_0101_5 + 588986842312067450594307305621300410084/247596937127108559876403481\ 124384589, c_0011_0 - 1, c_0011_1 - 278520710136056432865121434010449492/24759693712710855987640\ 3481124384589*c_0101_5^24 - 2744307605385421601630753251995849501/2\ 47596937127108559876403481124384589*c_0101_5^23 + 10369317385637899198047325236224694356/2475969371271085598764034811\ 24384589*c_0101_5^22 + 100601335287219870263683941036249129797/2475\ 96937127108559876403481124384589*c_0101_5^21 - 52383129783512369710335883895324512122/2475969371271085598764034811\ 24384589*c_0101_5^20 - 1095866537484764945882111586294866766423/247\ 596937127108559876403481124384589*c_0101_5^19 - 165325696234710351675330860487913620383/247596937127108559876403481\ 124384589*c_0101_5^18 + 5600034503435292378108551350733531493139/24\ 7596937127108559876403481124384589*c_0101_5^17 + 1649692475965347641148083303151111979381/24759693712710855987640348\ 1124384589*c_0101_5^16 - 15971106907558642180383683899111007280677/\ 247596937127108559876403481124384589*c_0101_5^15 - 182853645058134625575133383334677053506/107650842229177634728871078\ 74973243*c_0101_5^14 + 27232591985375278411114261407781030932926/24\ 7596937127108559876403481124384589*c_0101_5^13 + 4772083944640254788971536091514013810459/24759693712710855987640348\ 1124384589*c_0101_5^12 - 28394151076309669799156468920938651458975/\ 247596937127108559876403481124384589*c_0101_5^11 - 2299117120262822791667744355083717226779/24759693712710855987640348\ 1124384589*c_0101_5^10 + 17990369128564856631489408182053541012806/\ 247596937127108559876403481124384589*c_0101_5^9 + 84833690853673502180878626197958923024/2475969371271085598764034811\ 24384589*c_0101_5^8 - 6724524984217928328705194775912159518273/2475\ 96937127108559876403481124384589*c_0101_5^7 + 285172391132653334847658702104391606995/247596937127108559876403481\ 124384589*c_0101_5^6 + 1407376290837269358001675077677331105117/247\ 596937127108559876403481124384589*c_0101_5^5 - 91087607400076546978432557901395332860/2475969371271085598764034811\ 24384589*c_0101_5^4 - 149098595290390966498886697621642607226/24759\ 6937127108559876403481124384589*c_0101_5^3 + 11944630721108097462527374203652928742/2475969371271085598764034811\ 24384589*c_0101_5^2 + 6377885604376984731450809946149749005/2475969\ 37127108559876403481124384589*c_0101_5 - 580094558764519304550851959201240545/247596937127108559876403481124\ 384589, c_0011_4 - 195459574227024382231097369113896055/24759693712710855987640\ 3481124384589*c_0101_5^24 - 1889074618459317516836878760364478698/2\ 47596937127108559876403481124384589*c_0101_5^23 + 7672679287036870661691248095170484851/24759693712710855987640348112\ 4384589*c_0101_5^22 + 69608867385718701953258407605863594301/247596\ 937127108559876403481124384589*c_0101_5^21 - 50699313070804359471415828022469396451/2475969371271085598764034811\ 24384589*c_0101_5^20 - 775604265662117536849680563584938603065/2475\ 96937127108559876403481124384589*c_0101_5^19 + 14123941078887416239895487312445518876/2475969371271085598764034811\ 24384589*c_0101_5^18 + 4074627453547982599599106139765340279704/247\ 596937127108559876403481124384589*c_0101_5^17 + 639668130962858923811493753280483537450/247596937127108559876403481\ 124384589*c_0101_5^16 - 11893813469350458947226831488498336879159/2\ 47596937127108559876403481124384589*c_0101_5^15 - 82552714654896124587126593764520763938/1076508422291776347288710787\ 4973243*c_0101_5^14 + 20572099866145542414642278085508205427335/247\ 596937127108559876403481124384589*c_0101_5^13 + 2205935660131861109458627496627528988846/24759693712710855987640348\ 1124384589*c_0101_5^12 - 21529978749022406000634579770612428922743/\ 247596937127108559876403481124384589*c_0101_5^11 - 983642616022652919054566216775242032117/247596937127108559876403481\ 124384589*c_0101_5^10 + 13543799809606222295437562727053928704474/2\ 47596937127108559876403481124384589*c_0101_5^9 - 66487824076730159637760097100454179965/2475969371271085598764034811\ 24384589*c_0101_5^8 - 4964560384714034715178820422365916783823/2475\ 96937127108559876403481124384589*c_0101_5^7 + 172197329666277279719024216075749996762/247596937127108559876403481\ 124384589*c_0101_5^6 + 995660907031240451571973795411318274831/2475\ 96937127108559876403481124384589*c_0101_5^5 - 48589113056699575693899358320832955420/2475969371271085598764034811\ 24384589*c_0101_5^4 - 97045777118560947376754595191588040925/247596\ 937127108559876403481124384589*c_0101_5^3 + 6997901834945941285348451597098398836/24759693712710855987640348112\ 4384589*c_0101_5^2 + 3839253336682715613097695914595923001/24759693\ 7127108559876403481124384589*c_0101_5 - 519316689033561440967519265254513268/247596937127108559876403481124\ 384589, c_0011_6 - 4358775869512691389890468515396000/1076508422291776347288710\ 7874973243*c_0101_5^24 - 47647221404512501304235014557049418/107650\ 84222917763472887107874973243*c_0101_5^23 + 111799334434559052435325091388099641/107650842229177634728871078749\ 73243*c_0101_5^22 + 1704567716398750265478803685878142783/107650842\ 22917763472887107874973243*c_0101_5^21 + 992804821156764497577192471254942961/107650842229177634728871078749\ 73243*c_0101_5^20 - 16434188354601294269282310040740955928/10765084\ 222917763472887107874973243*c_0101_5^19 - 20426177333910914313223335247157361804/1076508422291776347288710787\ 4973243*c_0101_5^18 + 69310863436108691203755428704308287038/107650\ 84222917763472887107874973243*c_0101_5^17 + 104066482088592631627958574230788922477/107650842229177634728871078\ 74973243*c_0101_5^16 - 155572928015009040645429616947551531834/1076\ 5084222917763472887107874973243*c_0101_5^15 - 252969759094792848544086035417542335404/107650842229177634728871078\ 74973243*c_0101_5^14 + 202323178963830246917469021848589062068/1076\ 5084222917763472887107874973243*c_0101_5^13 + 342101690529012569300913930077245786357/107650842229177634728871078\ 74973243*c_0101_5^12 - 158668899339758205485965138452751635991/1076\ 5084222917763472887107874973243*c_0101_5^11 - 273468769345242952309686780597706251119/107650842229177634728871078\ 74973243*c_0101_5^10 + 76161033225655001246177977941610089760/10765\ 084222917763472887107874973243*c_0101_5^9 + 131938193641174080188525818612469290775/107650842229177634728871078\ 74973243*c_0101_5^8 - 21926091975579298048292716750710525164/107650\ 84222917763472887107874973243*c_0101_5^7 - 37394308531407648460081645921184463504/1076508422291776347288710787\ 4973243*c_0101_5^6 + 3633345848498170378542403299283624077/10765084\ 222917763472887107874973243*c_0101_5^5 + 5531268129533295698708135436878893102/10765084222917763472887107874\ 973243*c_0101_5^4 - 336406728835332836833743090195584403/1076508422\ 2917763472887107874973243*c_0101_5^3 - 301974077606688579607599790848283053/107650842229177634728871078749\ 73243*c_0101_5^2 + 16536670464050422017030370127940908/107650842229\ 17763472887107874973243*c_0101_5 - 119271114466626556142751026843577/107650842229177634728871078749732\ 43, c_0101_0 - 77418483633516497374056633588579231/247596937127108559876403\ 481124384589*c_0101_5^24 - 715974074531394947903043900979430558/247\ 596937127108559876403481124384589*c_0101_5^23 + 3407726001396075765742854598551426997/24759693712710855987640348112\ 4384589*c_0101_5^22 + 26871171144865574161066185827961404674/247596\ 937127108559876403481124384589*c_0101_5^21 - 33612785451018295838513246785543963935/2475969371271085598764034811\ 24384589*c_0101_5^20 - 319399126333355713218263609158612210309/2475\ 96937127108559876403481124384589*c_0101_5^19 + 141579083132286338285235845436697049759/247596937127108559876403481\ 124384589*c_0101_5^18 + 1829098697835304222852035173100224506929/24\ 7596937127108559876403481124384589*c_0101_5^17 - 361807851138969906993452328825334128940/247596937127108559876403481\ 124384589*c_0101_5^16 - 5880673961590005616094389958979728809276/24\ 7596937127108559876403481124384589*c_0101_5^15 + 34578762349365290316985002671087006523/1076508422291776347288710787\ 4973243*c_0101_5^14 + 11331216892799371925626901370194337068754/247\ 596937127108559876403481124384589*c_0101_5^13 - 1546502439304184503063432777429941784157/24759693712710855987640348\ 1124384589*c_0101_5^12 - 13445118066511943705943646630184893541534/\ 247596937127108559876403481124384589*c_0101_5^11 + 2119150509981364084966482933606894574193/24759693712710855987640348\ 1124384589*c_0101_5^10 + 9838630909546035224763401329928239362692/2\ 47596937127108559876403481124384589*c_0101_5^9 - 1776723320692020333794717738562454105648/24759693712710855987640348\ 1124384589*c_0101_5^8 - 4337949102196150896309988759232000797377/24\ 7596937127108559876403481124384589*c_0101_5^7 + 846673174970711437646204537040627245949/247596937127108559876403481\ 124384589*c_0101_5^6 + 1090077377507822060024113237610768080818/247\ 596937127108559876403481124384589*c_0101_5^5 - 211524114204735965279730444047556483823/247596937127108559876403481\ 124384589*c_0101_5^4 - 140046598178907471401158861646298736888/2475\ 96937127108559876403481124384589*c_0101_5^3 + 24864540799036830236853838283060831799/2475969371271085598764034811\ 24384589*c_0101_5^2 + 7121254099553238277316801774043613495/2475969\ 37127108559876403481124384589*c_0101_5 - 1106751830693051581487724625235263262/24759693712710855987640348112\ 4384589, c_0101_3 + 305465213440365287886061741043564560/24759693712710855987640\ 3481124384589*c_0101_5^24 + 3081564435467256575638315139121948091/2\ 47596937127108559876403481124384589*c_0101_5^23 - 10601239697755689883863023909017100504/2475969371271085598764034811\ 24384589*c_0101_5^22 - 112309929525430854905089434982449171770/2475\ 96937127108559876403481124384589*c_0101_5^21 + 29841416548176335378621822167754632161/2475969371271085598764034811\ 24384589*c_0101_5^20 + 1190545961729755016860480832128148645476/247\ 596937127108559876403481124384589*c_0101_5^19 + 450788407153522145696036229191895053084/247596937127108559876403481\ 124384589*c_0101_5^18 - 5860097875515725794137578229607673864528/24\ 7596937127108559876403481124384589*c_0101_5^17 - 2973680555667988597894603826883702094357/24759693712710855987640348\ 1124384589*c_0101_5^16 + 16082416684537157639603508491420363833464/\ 247596937127108559876403481124384589*c_0101_5^15 + 318721132463997813995600260683387898725/107650842229177634728871078\ 74973243*c_0101_5^14 - 26506717363515042424472463315079941406138/24\ 7596937127108559876403481124384589*c_0101_5^13 - 8971551725346908312201598695921705039902/24759693712710855987640348\ 1124384589*c_0101_5^12 + 26904177397775034113375900453775601795853/\ 247596937127108559876403481124384589*c_0101_5^11 + 5654743820327807243137971896021927547350/24759693712710855987640348\ 1124384589*c_0101_5^10 - 16706096339615983715064221599327958274814/\ 247596937127108559876403481124384589*c_0101_5^9 - 1681935284787058581400774903193472552072/24759693712710855987640348\ 1124384589*c_0101_5^8 + 6131194712722367401215622676813119151954/24\ 7596937127108559876403481124384589*c_0101_5^7 + 146171313339234667443963362667203600195/247596937127108559876403481\ 124384589*c_0101_5^6 - 1250960312371095588823238143684512718726/247\ 596937127108559876403481124384589*c_0101_5^5 + 29749814729294450223505578927433709487/2475969371271085598764034811\ 24384589*c_0101_5^4 + 127464299367802707198852893326330132419/24759\ 6937127108559876403481124384589*c_0101_5^3 - 7271028975538275061387156600597451584/24759693712710855987640348112\ 4384589*c_0101_5^2 - 5249713612764588113866754054745376728/24759693\ 7127108559876403481124384589*c_0101_5 + 438943217790584675562910095238487126/247596937127108559876403481124\ 384589, c_0101_5^25 + 10*c_0101_5^24 - 36*c_0101_5^23 - 369*c_0101_5^22 + 141*c_0101_5^21 + 4046*c_0101_5^20 + 1206*c_0101_5^19 - 20842*c_0101_5^18 - 9737*c_0101_5^17 + 60068*c_0101_5^16 + 27941*c_0101_5^15 - 104106*c_0101_5^14 - 41966*c_0101_5^13 + 111535*c_0101_5^12 + 36599*c_0101_5^11 - 73977*c_0101_5^10 - 19458*c_0101_5^9 + 29789*c_0101_5^8 + 6528*c_0101_5^7 - 6963*c_0101_5^6 - 1353*c_0101_5^5 + 868*c_0101_5^4 + 149*c_0101_5^3 - 50*c_0101_5^2 - 6*c_0101_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB