Magma V2.19-8 Tue Aug 20 2013 16:18:45 on localhost [Seed = 3347471027] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2918 geometric_solution 6.11700302 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 2 3 0132 0132 1023 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.750727847711 0.516005906857 0 4 4 5 0132 0132 1230 0132 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 0 0 0 0 0.922122814326 0.797181346879 2 0 0 2 3201 0132 1023 2310 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 0 0 0 0 1.226849447344 0.427738471663 4 5 0 5 2031 1023 0132 2031 0 0 0 0 0 1 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.529330600258 0.462436004478 6 1 3 1 0132 0132 1302 3012 0 0 0 0 0 -1 1 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 0 0 0 0.631738103685 0.528702052291 3 3 1 6 1023 1302 0132 0213 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 1 0 0 -1 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.460877004695 0.446451183179 4 6 6 5 0132 3201 2310 0213 0 0 0 0 0 1 -1 0 1 0 -1 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.589671913887 0.600202181318 ==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' : negation(d['c_0011_0']), 'c_1100_5' : d['c_0101_6'], 'c_1100_4' : d['c_0101_1'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_6'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : negation(d['c_0011_3']), 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], '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_0'], 'c_0011_6' : negation(d['c_0011_0']), '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' : d['c_0110_3'], 'c_1001_4' : d['c_0110_3'], 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : negation(d['c_0101_1']), 'c_1001_0' : d['c_0101_2'], 'c_1001_3' : d['c_0101_0'], 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0110_3'], 'c_0110_2' : negation(d['c_0101_2']), 'c_0110_5' : d['c_0011_3'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : negation(d['c_0011_3']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : negation(d['c_0011_0']), 'c_1010_4' : negation(d['c_0101_1']), 'c_1010_3' : d['c_0011_3'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : d['c_0110_3'], 'c_1010_0' : 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_3, c_0101_0, c_0101_1, c_0101_2, c_0101_6, c_0110_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t + 244913972391854241488434380427/5629138246652907576717944253*c_0110_\ 3^21 - 225302016157646943035147770432/1876379415550969192239314751*\ c_0110_3^20 - 183888051201879055266951669444/6254598051836563974131\ 04917*c_0110_3^19 + 6254612155967828043047998879690/562913824665290\ 7576717944253*c_0110_3^18 + 333046680216701038886239060942/62545980\ 5183656397413104917*c_0110_3^17 - 1296525650624988587213060816851/2\ 96270434034363556669365487*c_0110_3^16 + 3494467092634265420799440099608/5629138246652907576717944253*c_0110\ _3^15 + 55461538854212951282689357636850/56291382466529075767179442\ 53*c_0110_3^14 - 22524326603305557768636910254710/56291382466529075\ 76717944253*c_0110_3^13 - 85415542705870433509165531868744/56291382\ 46652907576717944253*c_0110_3^12 + 44366846876374002206005086954415/5629138246652907576717944253*c_011\ 0_3^11 + 32202968675119890686375398436974/1876379415550969192239314\ 751*c_0110_3^10 - 52631469226342972431128737383430/5629138246652907\ 576717944253*c_0110_3^9 - 79351850654936313852726882828707/56291382\ 46652907576717944253*c_0110_3^8 + 36757024945951974172800640086304/\ 5629138246652907576717944253*c_0110_3^7 + 46890961003369766089888805114717/5629138246652907576717944253*c_011\ 0_3^6 - 11960631211781675178989197239835/56291382466529075767179442\ 53*c_0110_3^5 - 20625010351774197941847482007311/562913824665290757\ 6717944253*c_0110_3^4 - 105205502503788872836594937498/625459805183\ 656397413104917*c_0110_3^3 + 1689219804269678900770123674776/187637\ 9415550969192239314751*c_0110_3^2 + 1452650688540762994209829738643/5629138246652907576717944253*c_0110\ _3 - 13747480814249309529132837007/5629138246652907576717944253, c_0011_0 - 1, c_0011_3 + 1979411743456218457227009/1732575637627857056545997*c_0110_3\ ^21 - 5214885332934607511480061/1732575637627857056545997*c_0110_3^\ 20 - 14316091375151240125549492/1732575637627857056545997*c_0110_3^\ 19 + 49500603840564538515742751/1732575637627857056545997*c_0110_3^\ 18 + 32348010004650649884934308/1732575637627857056545997*c_0110_3^\ 17 - 201904898573791243721117087/1732575637627857056545997*c_0110_3\ ^16 - 93521330029941428199011/1732575637627857056545997*c_0110_3^15 + 474478428237327858777241266/1732575637627857056545997*c_0110_3^14 - 129386518466249355385903760/1732575637627857056545997*c_0110_3^13 - 760839938768880689786391730/1732575637627857056545997*c_0110_3^12 + 296446790854524399315618125/1732575637627857056545997*c_0110_3^11 + 890587424526822604857984223/1732575637627857056545997*c_0110_3^10 - 374237067323892660048773320/1732575637627857056545997*c_0110_3^9 - 756966143099736944846733033/1732575637627857056545997*c_0110_3^8 + 272854279888221896759284170/1732575637627857056545997*c_0110_3^7 + 457308629101256504213072883/1732575637627857056545997*c_0110_3^6 - 90838659197991485072568176/1732575637627857056545997*c_0110_3^5 - 196072865794975982382759578/1732575637627857056545997*c_0110_3^4 - 12257398956657123614198037/1732575637627857056545997*c_0110_3^3 + 50548168831202143064946380/1732575637627857056545997*c_0110_3^2 + 13988955392429139532661772/1732575637627857056545997*c_0110_3 - 2249654374487253185708898/1732575637627857056545997, c_0101_0 - 3619551158015772904140307/1732575637627857056545997*c_0110_3\ ^21 + 10947556678028684771845516/1732575637627857056545997*c_0110_3\ ^20 + 22278483649294679773855794/1732575637627857056545997*c_0110_3\ ^19 - 100992466944494096677777431/1732575637627857056545997*c_0110_\ 3^18 - 19510037102719563024294493/1732575637627857056545997*c_0110_\ 3^17 + 388554081798897799253667106/1732575637627857056545997*c_0110\ _3^16 - 166772240806958196372031326/1732575637627857056545997*c_011\ 0_3^15 - 828783693855582053619931292/1732575637627857056545997*c_01\ 10_3^14 + 619660178957154350531457250/1732575637627857056545997*c_0\ 110_3^13 + 1170266015764213763390823473/1732575637627857056545997*c\ _0110_3^12 - 1105297222556679940362517979/1732575637627857056545997\ *c_0110_3^11 - 1198749186674170644704880370/17325756376278570565459\ 97*c_0110_3^10 + 1281660349019500533755362878/173257563762785705654\ 5997*c_0110_3^9 + 864944788603459586624366369/173257563762785705654\ 5997*c_0110_3^8 - 941637507483379339453396752/173257563762785705654\ 5997*c_0110_3^7 - 444007341788682015512204401/173257563762785705654\ 5997*c_0110_3^6 + 380358924610965225030826737/173257563762785705654\ 5997*c_0110_3^5 + 213903398570527763813338614/173257563762785705654\ 5997*c_0110_3^4 - 71773919898191212523623140/1732575637627857056545\ 997*c_0110_3^3 - 69958120203986860922703222/17325756376278570565459\ 97*c_0110_3^2 + 1341044281787138520401014/1732575637627857056545997\ *c_0110_3 + 3074642923930932729713961/1732575637627857056545997, c_0101_1 - 538404633611596917470536/1732575637627857056545997*c_0110_3^\ 21 + 1391823710346877015008915/1732575637627857056545997*c_0110_3^2\ 0 + 3828291950436426040973173/1732575637627857056545997*c_0110_3^19 - 12915843107108214321097275/1732575637627857056545997*c_0110_3^18 - 8494426497460214378552353/1732575637627857056545997*c_0110_3^17 + 50949102839272541214615994/1732575637627857056545997*c_0110_3^16 + 1240134482815956878095004/1732575637627857056545997*c_0110_3^15 - 114929203806658081937222458/1732575637627857056545997*c_0110_3^14 + 24131162076263313658578120/1732575637627857056545997*c_0110_3^13 + 179332073190400857707817462/1732575637627857056545997*c_0110_3^12 - 49418725376738837059752527/1732575637627857056545997*c_0110_3^11 - 208699729067058755340832418/1732575637627857056545997*c_0110_3^10 + 54266875557744190500709159/1732575637627857056545997*c_0110_3^9 + 177002341017428659818707299/1732575637627857056545997*c_0110_3^8 - 25843766124805404142038635/1732575637627857056545997*c_0110_3^7 - 108803074921348037702611921/1732575637627857056545997*c_0110_3^6 - 3931051308082628278322184/1732575637627857056545997*c_0110_3^5 + 48955341069675664971651599/1732575637627857056545997*c_0110_3^4 + 8480016794067443783982557/1732575637627857056545997*c_0110_3^3 - 8149519837249159886174401/1732575637627857056545997*c_0110_3^2 - 3260105041245363794051282/1732575637627857056545997*c_0110_3 - 1552887490047995265237391/1732575637627857056545997, c_0101_2 + 12462957043043852446226650/1732575637627857056545997*c_0110_\ 3^21 - 31414560027275711400218668/1732575637627857056545997*c_0110_\ 3^20 - 97198792287414798050294054/1732575637627857056545997*c_0110_\ 3^19 + 315982957040705503124550385/1732575637627857056545997*c_0110\ _3^18 + 242711784748138249314481658/1732575637627857056545997*c_011\ 0_3^17 - 1351717045944848792395202431/1732575637627857056545997*c_0\ 110_3^16 - 43837931647884531233858775/1732575637627857056545997*c_0\ 110_3^15 + 3258565014991745386606539472/1732575637627857056545997*c\ _0110_3^14 - 937178798218512799948780499/1732575637627857056545997*\ c_0110_3^13 - 5207462330059062606879812514/173257563762785705654599\ 7*c_0110_3^12 + 2246345402455836941751462464/1732575637627857056545\ 997*c_0110_3^11 + 6032288898197973329866269661/17325756376278570565\ 45997*c_0110_3^10 - 2937448479344025687316779804/173257563762785705\ 6545997*c_0110_3^9 - 5035003930237099351540498661/17325756376278570\ 56545997*c_0110_3^8 + 2273690092453339890927170032/1732575637627857\ 056545997*c_0110_3^7 + 2911334705006831365913476255/173257563762785\ 7056545997*c_0110_3^6 - 818701438684787770474185940/173257563762785\ 7056545997*c_0110_3^5 - 1251012280477940420655935182/17325756376278\ 57056545997*c_0110_3^4 - 12613659278782936759952069/173257563762785\ 7056545997*c_0110_3^3 + 324109845052882546688393131/173257563762785\ 7056545997*c_0110_3^2 + 70223434202241391046264025/1732575637627857\ 056545997*c_0110_3 - 6065826099869590034610679/17325756376278570565\ 45997, c_0101_6 + 1257817033059032539160242/1732575637627857056545997*c_0110_3\ ^21 - 3953799055884947865244614/1732575637627857056545997*c_0110_3^\ 20 - 7321532580482316128192913/1732575637627857056545997*c_0110_3^1\ 9 + 36242164959872753420845965/1732575637627857056545997*c_0110_3^1\ 8 + 2493930547476230425198127/1732575637627857056545997*c_0110_3^17 - 137771725632547283746652931/1732575637627857056545997*c_0110_3^16 + 77168546385168915988420084/1732575637627857056545997*c_0110_3^15 + 286799966087702494589600414/1732575637627857056545997*c_0110_3^14 - 265290916472329468471787838/1732575637627857056545997*c_0110_3^13 - 385843403154525099562801998/1732575637627857056545997*c_0110_3^12 + 469162451425320347124941592/1732575637627857056545997*c_0110_3^11 + 362974542903597662893269997/1732575637627857056545997*c_0110_3^10 - 546170178915940629946621388/1732575637627857056545997*c_0110_3^9 - 224790927611033030452576253/1732575637627857056545997*c_0110_3^8 + 413273223782417324630063411/1732575637627857056545997*c_0110_3^7 + 85320542973739657065187221/1732575637627857056545997*c_0110_3^6 - 182291724158028064217329799/1732575637627857056545997*c_0110_3^5 - 38834727815924478053126044/1732575637627857056545997*c_0110_3^4 + 44123119376692742926206309/1732575637627857056545997*c_0110_3^3 + 20090398671130581034085797/1732575637627857056545997*c_0110_3^2 - 7547654840369576814214384/1732575637627857056545997*c_0110_3 - 2669603828890075319132716/1732575637627857056545997, c_0110_3^22 - 25/7*c_0110_3^21 - 33/7*c_0110_3^20 + 223/7*c_0110_3^19 - 58/7*c_0110_3^18 - 814/7*c_0110_3^17 + 713/7*c_0110_3^16 + 229*c_0110_3^15 - 2116/7*c_0110_3^14 - 2013/7*c_0110_3^13 + 3609/7*c_0110_3^12 + 1745/7*c_0110_3^11 - 4201/7*c_0110_3^10 - 949/7*c_0110_3^9 + 3285/7*c_0110_3^8 + 331/7*c_0110_3^7 - 1620/7*c_0110_3^6 - 34*c_0110_3^5 + 74*c_0110_3^4 + 159/7*c_0110_3^3 - 97/7*c_0110_3^2 - 33/7*c_0110_3 + 1/7 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.230 seconds, Total memory usage: 32.09MB