Magma V2.19-8 Tue Aug 20 2013 16:18:13 on localhost [Seed = 3499183595] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2434 geometric_solution 5.78161478 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 0132 0132 0 0 0 0 0 -1 0 1 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 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.447840155043 0.756941396230 3 4 2 0 0132 0132 2031 0132 0 0 0 0 0 0 0 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 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.502857951003 0.555644263919 4 3 0 1 2310 3201 0132 1302 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 0 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.502857951003 0.555644263919 1 5 2 5 0132 0132 2310 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 -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.887808015100 1.121969261821 6 1 2 6 0132 0132 3201 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.865351752832 0.557171075314 5 3 5 3 2031 0132 1302 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 1 -1 -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.482771830475 0.192458230974 4 6 6 4 0132 3201 2310 1023 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 1.246460561926 0.352325185271 ==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' : 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_1'], 'c_1100_5' : negation(d['c_0011_1']), 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_1'], 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : d['c_0101_1'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_1']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_1'], 'c_0011_4' : negation(d['c_0011_1']), 'c_0011_6' : d['c_0011_1'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : d['c_0110_5'], 'c_1001_4' : negation(d['c_0011_0']), 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : d['c_0101_4'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : negation(d['c_0101_4']), 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0110_5'], '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_0101_0, c_0101_1, c_0101_4, c_0101_6, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 3 Groebner basis: [ t - 19/3*c_0101_6^2 + 7/3*c_0101_6 + 18, c_0011_0 - 1, c_0011_1 + c_0101_6 + 1, c_0101_0 + c_0101_6, c_0101_1 + c_0101_6^2 - 1, c_0101_4 - c_0101_6^2 + 1, c_0101_6^3 - 3*c_0101_6 - 1, c_0110_5 - 1 ], Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0101_0, c_0101_1, c_0101_4, c_0101_6, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 7156017984597142394434354532819396333/37072279739466137113473090535\ 965568*c_0110_5^23 - 35489374982635202895295077753326528133/3707227\ 9739466137113473090535965568*c_0110_5^22 - 17860196829922868656766448338365497179/1853613986973306855673654526\ 7982784*c_0110_5^21 + 8137901100250598445356944121176665475/1853613\ 9869733068556736545267982784*c_0110_5^20 + 19957881509359143335063331241752369391/2648019981390438365248077895\ 426112*c_0110_5^19 + 1630321198716619082016508212963342783207/37072\ 279739466137113473090535965568*c_0110_5^18 + 608441889762125032630075238304623022449/529603996278087673049615579\ 0852224*c_0110_5^17 + 1724295137311729853582353482786256204983/9268\ 069934866534278368272633991392*c_0110_5^16 + 3754412047964019201219704465438428401793/37072279739466137113473090\ 535965568*c_0110_5^15 - 12961153232944979383083971555473562260483/3\ 7072279739466137113473090535965568*c_0110_5^14 - 14966098367901836542328572053295654134307/1853613986973306855673654\ 5267982784*c_0110_5^13 - 28475066285023889550808976661937252103287/\ 37072279739466137113473090535965568*c_0110_5^12 - 17463027353301470277562042072478138698619/3707227973946613711347309\ 0535965568*c_0110_5^11 - 803997575464277330156342402614412535473/18\ 536139869733068556736545267982784*c_0110_5^10 + 23428904212857061977265350464018581073277/3707227973946613711347309\ 0535965568*c_0110_5^9 + 41124142411099907397712462369495552389977/3\ 7072279739466137113473090535965568*c_0110_5^8 + 544936182118129778793892580610171271935/579254370929158392398017039\ 624462*c_0110_5^7 + 12990403368691490468412747115222890276015/37072\ 279739466137113473090535965568*c_0110_5^6 - 1583082567191974181539970037554664818635/18536139869733068556736545\ 267982784*c_0110_5^5 - 5260154122848121118138914662172634410955/370\ 72279739466137113473090535965568*c_0110_5^4 - 852076124891824759818259823402584488217/185361398697330685567365452\ 67982784*c_0110_5^3 + 132221866185132006627516156065642238765/37072\ 279739466137113473090535965568*c_0110_5^2 + 193751453722272322626317799718512110457/370722797394661371134730905\ 35965568*c_0110_5 + 33306026341551934656170399854681086617/37072279\ 739466137113473090535965568, c_0011_0 - 1, c_0011_1 - 200492888657621144114658084833967/41375312209225599457001217\ 116033*c_0110_5^23 - 772811643237290796375768743605414/413753122092\ 25599457001217116033*c_0110_5^22 - 115835644777518088049460161794997/41375312209225599457001217116033*\ c_0110_5^21 + 706031825060513003237604749935288/4137531220922559945\ 7001217116033*c_0110_5^20 + 7075245455145212076972685499730431/4137\ 5312209225599457001217116033*c_0110_5^19 + 37755871847600187253948388782391961/4137531220922559945700121711603\ 3*c_0110_5^18 + 76507128705390418300874348215557009/413753122092255\ 99457001217116033*c_0110_5^17 + 10277386038334763566219562532212961\ 1/41375312209225599457001217116033*c_0110_5^16 - 20659278236764148278792731149555871/4137531220922559945700121711603\ 3*c_0110_5^15 - 357242600152411485943857593329218367/41375312209225\ 599457001217116033*c_0110_5^14 - 4420731175993611529820565632459414\ 50/41375312209225599457001217116033*c_0110_5^13 - 253998982381447037571017363892331910/413753122092255994570012171160\ 33*c_0110_5^12 - 135847639450940690019175340183388071/4137531220922\ 5599457001217116033*c_0110_5^11 + 151064641443330918413527820356000\ 445/41375312209225599457001217116033*c_0110_5^10 + 514531379296514461739613355167530179/413753122092255994570012171160\ 33*c_0110_5^9 + 561258393556724113063977456973388181/41375312209225\ 599457001217116033*c_0110_5^8 + 27513913365635040965328712161629475\ 2/41375312209225599457001217116033*c_0110_5^7 - 33979685394309923434119600916077685/4137531220922559945700121711603\ 3*c_0110_5^6 - 102255567130510727640325764075071240/413753122092255\ 99457001217116033*c_0110_5^5 - 33266275711618786902754692128441536/\ 41375312209225599457001217116033*c_0110_5^4 + 6041679888100161345449190135922035/41375312209225599457001217116033\ *c_0110_5^3 + 4946176012867089558979866908705845/413753122092255994\ 57001217116033*c_0110_5^2 + 231054663123459816456665887414832/41375\ 312209225599457001217116033*c_0110_5 - 208073994467435631764122575545326/41375312209225599457001217116033, c_0101_0 - 2082809573423329126122002185195/4137531220922559945700121711\ 6033*c_0110_5^23 - 68022880434108298148273342641232/413753122092255\ 99457001217116033*c_0110_5^22 - 245922966643301838150719683780897/4\ 1375312209225599457001217116033*c_0110_5^21 - 78899757098240827571038217304673/41375312209225599457001217116033*c\ _0110_5^20 + 277576618850895801626001685635795/41375312209225599457\ 001217116033*c_0110_5^19 + 2554532732015098746900134225636125/41375\ 312209225599457001217116033*c_0110_5^18 + 12567245579860755781336574256621207/4137531220922559945700121711603\ 3*c_0110_5^17 + 26487743194136713307590169924963435/413753122092255\ 99457001217116033*c_0110_5^16 + 35639007066767085812518044805310818\ /41375312209225599457001217116033*c_0110_5^15 - 2993687953168988499436691980894415/41375312209225599457001217116033\ *c_0110_5^14 - 112827686581126765047874952153249873/413753122092255\ 99457001217116033*c_0110_5^13 - 15860225632106034207332210039331506\ 3/41375312209225599457001217116033*c_0110_5^12 - 106696672478599506707481855440585754/413753122092255994570012171160\ 33*c_0110_5^11 - 56613740191187299492492051270783303/41375312209225\ 599457001217116033*c_0110_5^10 + 4070130545696485954216813362752849\ 6/41375312209225599457001217116033*c_0110_5^9 + 169676114312035282349756118796900974/413753122092255994570012171160\ 33*c_0110_5^8 + 204907760115743447220181608553728906/41375312209225\ 599457001217116033*c_0110_5^7 + 11955574565033585171410977536137348\ 1/41375312209225599457001217116033*c_0110_5^6 + 7917736128097384608862242465191785/41375312209225599457001217116033\ *c_0110_5^5 - 32228144816393235910194099428147478/41375312209225599\ 457001217116033*c_0110_5^4 - 16260347325089255148512068143990752/41\ 375312209225599457001217116033*c_0110_5^3 - 644181171983656372727741388584038/41375312209225599457001217116033*\ c_0110_5^2 + 1595983982058143927400033880453273/4137531220922559945\ 7001217116033*c_0110_5 + 334775703104494541885245721429315/41375312\ 209225599457001217116033, c_0101_1 - 296833732593394243317079603474049/41375312209225599457001217\ 116033*c_0110_5^23 - 1215044845258927602930693515266819/41375312209\ 225599457001217116033*c_0110_5^22 - 447219475247379724192798530730949/41375312209225599457001217116033*\ c_0110_5^21 + 989578273414031558999091126399429/4137531220922559945\ 7001217116033*c_0110_5^20 + 10706006210908567876652189534698365/413\ 75312209225599457001217116033*c_0110_5^19 + 58414314370347770881983510374827780/4137531220922559945700121711603\ 3*c_0110_5^18 + 126723461589252039771092545250585621/41375312209225\ 599457001217116033*c_0110_5^17 + 1798514644417630079609501269189108\ 62/41375312209225599457001217116033*c_0110_5^16 + 7580595979145307605069518018713424/41375312209225599457001217116033\ *c_0110_5^15 - 533416447179612592561149568521683128/413753122092255\ 99457001217116033*c_0110_5^14 - 77924348568887462999189128375902629\ 8/41375312209225599457001217116033*c_0110_5^13 - 538373349518162736350651145769336969/413753122092255994570012171160\ 33*c_0110_5^12 - 305024697884011347459529424284513304/4137531220922\ 5599457001217116033*c_0110_5^11 + 165324926848649010164443938253751\ 917/41375312209225599457001217116033*c_0110_5^10 + 811086818578220726000918021453969550/413753122092255994570012171160\ 33*c_0110_5^9 + 1013445870080864875619719292727621844/4137531220922\ 5599457001217116033*c_0110_5^8 + 6175569181697962245157023961041697\ 10/41375312209225599457001217116033*c_0110_5^7 + 65036556069523173503518162493937304/4137531220922559945700121711603\ 3*c_0110_5^6 - 151138024968713891280180732433318449/413753122092255\ 99457001217116033*c_0110_5^5 - 84011497855516486492043862171960308/\ 41375312209225599457001217116033*c_0110_5^4 - 7191937236319274080850242207965532/41375312209225599457001217116033\ *c_0110_5^3 + 6870096116476040329325812266956643/413753122092255994\ 57001217116033*c_0110_5^2 + 1979556366813569609746140013463200/4137\ 5312209225599457001217116033*c_0110_5 + 73895449817108057655453025740920/41375312209225599457001217116033, c_0101_4 + 206623997959592481343634081185495/41375312209225599457001217\ 116033*c_0110_5^23 + 697531587986003807752353221565267/413753122092\ 25599457001217116033*c_0110_5^22 - 271041262240338177121391291162741/41375312209225599457001217116033*\ c_0110_5^21 - 825624923664486621188268719316521/4137531220922559945\ 7001217116033*c_0110_5^20 - 6970780292269158101877333283469101/4137\ 5312209225599457001217116033*c_0110_5^19 - 35393670786302106403047838970221653/4137531220922559945700121711603\ 3*c_0110_5^18 - 59877644645555127001332794604323560/413753122092255\ 99457001217116033*c_0110_5^17 - 66249636092711756516353930906419302\ /41375312209225599457001217116033*c_0110_5^16 + 76561297282129685759014597226404388/4137531220922559945700121711603\ 3*c_0110_5^15 + 364931660023995661617608680824749285/41375312209225\ 599457001217116033*c_0110_5^14 + 2815332770007503569939410701817202\ 98/41375312209225599457001217116033*c_0110_5^13 + 27173829205910311426740780121002027/4137531220922559945700121711603\ 3*c_0110_5^12 - 15438665229670482114148736508485488/413753122092255\ 99457001217116033*c_0110_5^11 - 24780905701209274733616910433311072\ 6/41375312209225599457001217116033*c_0110_5^10 - 470476993204815476724570586805666038/413753122092255994570012171160\ 33*c_0110_5^9 - 322623203300634238254644728991885067/41375312209225\ 599457001217116033*c_0110_5^8 + 20109679179135204794789061812651888\ /41375312209225599457001217116033*c_0110_5^7 + 211155905290760766573258541537110767/413753122092255994570012171160\ 33*c_0110_5^6 + 118356670029062802870159198998948437/41375312209225\ 599457001217116033*c_0110_5^5 - 7996265941357564150802397632668577/\ 41375312209225599457001217116033*c_0110_5^4 - 26951065813266686951914894202275750/4137531220922559945700121711603\ 3*c_0110_5^3 - 6131275801146932309495926820028711/41375312209225599\ 457001217116033*c_0110_5^2 + 1426456116773870529248605100915579/413\ 75312209225599457001217116033*c_0110_5 + 566024019742186956081418501288120/41375312209225599457001217116033, c_0101_6 - 228903441855619631526731595110007/41375312209225599457001217\ 116033*c_0110_5^23 - 927558803831915250723430964058426/413753122092\ 25599457001217116033*c_0110_5^22 - 302846558586920306250165168311952/41375312209225599457001217116033*\ c_0110_5^21 + 787921633216752113433099227093927/4137531220922559945\ 7001217116033*c_0110_5^20 + 8221437095726260583882386826579588/4137\ 5312209225599457001217116033*c_0110_5^19 + 44709138092834531090377415070054392/4137531220922559945700121711603\ 3*c_0110_5^18 + 95747358230165123843562047168858372/413753122092255\ 99457001217116033*c_0110_5^17 + 13410465643617992780229616476474649\ 2/41375312209225599457001217116033*c_0110_5^16 - 853903581262244397368988102385144/41375312209225599457001217116033*\ c_0110_5^15 - 413192641061361979972840195055522839/4137531220922559\ 9457001217116033*c_0110_5^14 - 583642541921440423350845839469004316\ /41375312209225599457001217116033*c_0110_5^13 - 386349006246830211681872178714533232/413753122092255994570012171160\ 33*c_0110_5^12 - 213652652580743752607037915488061921/4137531220922\ 5599457001217116033*c_0110_5^11 + 143499786914014912821595085928800\ 461/41375312209225599457001217116033*c_0110_5^10 + 625025422808295956720802316823770657/413753122092255994570012171160\ 33*c_0110_5^9 + 754708335589853634374606659752934870/41375312209225\ 599457001217116033*c_0110_5^8 + 43947299691782643480751224106674860\ 3/41375312209225599457001217116033*c_0110_5^7 + 23029750096064122618991112530118962/4137531220922559945700121711603\ 3*c_0110_5^6 - 125286738558047063018791000666895319/413753122092255\ 99457001217116033*c_0110_5^5 - 63896787345843901976272518874107575/\ 41375312209225599457001217116033*c_0110_5^4 - 4056460169015271716020559459360058/41375312209225599457001217116033\ *c_0110_5^3 + 5933812143613953564966938383377830/413753122092255994\ 57001217116033*c_0110_5^2 + 1673877333298245113993876338736350/4137\ 5312209225599457001217116033*c_0110_5 + 90216135464662435810212643588576/41375312209225599457001217116033, c_0110_5^24 + 4*c_0110_5^23 + c_0110_5^22 - 4*c_0110_5^21 - 36*c_0110_5^20 - 193*c_0110_5^19 - 404*c_0110_5^18 - 541*c_0110_5^17 + 87*c_0110_5^16 + 1880*c_0110_5^15 + 2467*c_0110_5^14 + 1341*c_0110_5^13 + 504*c_0110_5^12 - 905*c_0110_5^11 - 2819*c_0110_5^10 - 3096*c_0110_5^9 - 1407*c_0110_5^8 + 437*c_0110_5^7 + 821*c_0110_5^6 + 273*c_0110_5^5 - 73*c_0110_5^4 - 67*c_0110_5^3 - 8*c_0110_5^2 + 4*c_0110_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB