Magma V2.19-8 Tue Aug 20 2013 16:18:32 on localhost [Seed = 2328565688] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2730 geometric_solution 5.97813089 oriented_manifold CS_known 0.0000000000000007 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 2310 1230 3012 0 0 0 0 0 0 1 -1 0 0 1 -1 1 0 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 -2 0 0 1 -1 1 0 0 -1 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.866392940067 0.484440839742 0 2 3 0 0132 0132 0132 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 -1 -1 2 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.515520137425 0.894014304243 4 1 5 6 0132 0132 0132 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 1 -1 0 -1 0 1 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.237266721958 0.920382555331 5 6 4 1 1023 2310 2310 0132 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 -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.237266721958 0.920382555331 2 3 4 4 0132 3201 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.145865030228 0.518902723013 5 3 5 2 2031 1023 1302 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 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.929510309543 0.778469649490 6 6 2 3 1302 2031 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.422023337595 0.410292591281 ==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' : negation(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' : negation(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_3']), 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : negation(d['c_0011_6']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : negation(d['c_0011_3']), 'c_0101_4' : negation(d['c_0011_6']), 'c_0101_3' : d['c_0101_2'], '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' : 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' : d['c_0101_2'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : negation(d['c_0110_6']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0011_6']), 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : negation(d['c_0011_6']), 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0011_6'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : d['c_0011_6'], 'c_1010_3' : negation(d['c_0110_6']), 'c_1010_2' : negation(d['c_0110_6']), 'c_1010_1' : d['c_0101_1'], '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_3, c_0011_6, c_0101_0, c_0101_1, c_0101_2, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 57194249843841424331618896420431/4258631333274163580050634574872576\ *c_0110_6^23 - 10665931173265596015493059383372243/2129315666637081\ 790025317287436288*c_0110_6^21 + 1374536546043709858138689249205706\ 09/2129315666637081790025317287436288*c_0110_6^19 - 2815824979556322272597303375251559/16635278645602201484572791308096\ *c_0110_6^17 + 6970728958321305033076275241242473/10646578333185408\ 95012658643718144*c_0110_6^15 + 20800754749073791517809820381130925\ 9/1064657833318540895012658643718144*c_0110_6^13 - 2124932104302644327619922524845987/53232891665927044750632932185907\ 2*c_0110_6^11 - 356742228885801618831737841650162329/42586313332741\ 63580050634574872576*c_0110_6^9 + 446612291348155069063916598697666\ 341/4258631333274163580050634574872576*c_0110_6^7 - 5716184041651591184175421806152305/10646578333185408950126586437181\ 44*c_0110_6^5 - 13259982374448091793668343931607971/133082229164817\ 611876582330464768*c_0110_6^3 - 467893874524303320920131155288125/8\ 317639322801100742286395654048*c_0110_6, c_0011_0 - 1, c_0011_3 - 284666677199437592841939653/16635278645602201484572791308096\ *c_0110_6^22 + 54654409982278087429405268733/8317639322801100742286\ 395654048*c_0110_6^20 - 1269479551808330774187867603931/83176393228\ 01100742286395654048*c_0110_6^18 + 1190442932388251428565343850243/1039704915350137592785799456756*c_0\ 110_6^16 - 11498346416243991859114432264555/41588196614005503711431\ 97827024*c_0110_6^14 + 7021832680159038586934632662079/415881966140\ 0550371143197827024*c_0110_6^12 + 111385100405337395676788488813/20\ 79409830700275185571598913512*c_0110_6^10 - 7678769188113117044561190388365/16635278645602201484572791308096*c_\ 0110_6^8 + 10294186994984316691677183999969/16635278645602201484572\ 791308096*c_0110_6^6 + 413167387567101231204860597449/4158819661400\ 550371143197827024*c_0110_6^4 - 1093035026926476699893523568267/103\ 9704915350137592785799456756*c_0110_6^2 + 176195217105349439677377129212/259926228837534398196449864189, c_0011_6 + 8318607368344298792858660079/1663527864560220148457279130809\ 6*c_0110_6^22 - 1550172018251321769531603495647/8317639322801100742\ 286395654048*c_0110_6^20 + 19569649112221820203242772081985/8317639\ 322801100742286395654048*c_0110_6^18 - 5876388886811589323281042726239/1039704915350137592785799456756*c_0\ 110_6^16 - 6065679853945236995258590911663/415881966140055037114319\ 7827024*c_0110_6^14 + 31989323287212931702430207400451/415881966140\ 0550371143197827024*c_0110_6^12 + 1081045590218446680224731022089/2\ 079409830700275185571598913512*c_0110_6^10 - 43820948793354516013294228924153/16635278645602201484572791308096*c\ _0110_6^8 + 64987740036423963107818404430701/1663527864560220148457\ 2791308096*c_0110_6^6 + 2756890360586542988496902286025/41588196614\ 00550371143197827024*c_0110_6^4 - 4429107648681355869019500765039/1\ 039704915350137592785799456756*c_0110_6^2 - 563020044073837491492368323552/259926228837534398196449864189, c_0101_0 - 740247324504450425155689/1742381518140569287264021504*c_0110\ _6^23 + 138210153748473432918964655/871190759070284643632010752*c_0\ 110_6^21 - 1840680012572202989507305251/871190759070284643632010752\ *c_0110_6^19 + 1397963481933942378511215815/21779768976757116090800\ 2688*c_0110_6^17 - 2002046096665759092963537207/4355953795351423218\ 16005376*c_0110_6^15 - 387564678450997157193709217/4355953795351423\ 21816005376*c_0110_6^13 + 445888873665319444082931279/2177976897675\ 71160908002688*c_0110_6^11 - 2564650055131716403131100785/174238151\ 8140569287264021504*c_0110_6^9 - 5205262060750382676641618895/17423\ 81518140569287264021504*c_0110_6^7 + 644541661862761394497132061/217797689767571160908002688*c_0110_6^5 - 2468477775160205591253751/3403088902618299389187542*c_0110_6^3 + 1499013749586499511023753/3403088902618299389187542*c_0110_6, c_0101_1 + 220942970099943705422735/435595379535142321816005376*c_0110_\ 6^22 - 41181635856056774553973949/217797689767571160908002688*c_011\ 0_6^20 + 523127108354141602241378493/217797689767571160908002688*c_\ 0110_6^18 - 325327509739558071462735271/54449422441892790227000672*\ c_0110_6^16 - 51980950665966188532002303/10889884488378558045400134\ 4*c_0110_6^14 + 807613007921200266745256159/10889884488378558045400\ 1344*c_0110_6^12 - 123990112673209716798163101/54449422441892790227\ 000672*c_0110_6^10 - 834619316463375971036255225/435595379535142321\ 816005376*c_0110_6^8 + 2104378859057570110099590129/435595379535142\ 321816005376*c_0110_6^6 - 14356447104299206012885709/27224711220946\ 395113500336*c_0110_6^4 - 18617058631413074370012929/68061778052365\ 98778375084*c_0110_6^2 - 280965885320277789563931/17015444513091496\ 94593771, c_0101_2 - 19685419700006084620046408127/332705572912044029691455826161\ 92*c_0110_6^23 + 1836863778974683151226367626641/831763932280110074\ 2286395654048*c_0110_6^21 - 48306729731539248847347936238579/166352\ 78645602201484572791308096*c_0110_6^19 + 68637170521206684001283238431429/8317639322801100742286395654048*c_\ 0110_6^17 - 21443519282671127422363763000893/8317639322801100742286\ 395654048*c_0110_6^15 - 67827644917791558371905646154969/8317639322\ 801100742286395654048*c_0110_6^13 + 7351624969498406476559836523141/2079409830700275185571598913512*c_0\ 110_6^11 + 76470449732887847369225117520665/33270557291204402969145\ 582616192*c_0110_6^9 - 176750722886115056723480411865927/3327055729\ 1204402969145582616192*c_0110_6^7 + 28617247659832303218662192382091/16635278645602201484572791308096*c\ _0110_6^5 + 5635874848753729484554124092171/20794098307002751855715\ 98913512*c_0110_6^3 + 322865904321237479113452457859/51985245767506\ 8796392899728378*c_0110_6, c_0110_6^24 - 374*c_0110_6^22 + 5190*c_0110_6^20 - 17576*c_0110_6^18 + 13884*c_0110_6^16 + 12548*c_0110_6^14 - 13784*c_0110_6^12 - 6007*c_0110_6^10 + 13935*c_0110_6^8 - 8352*c_0110_6^6 - 6592*c_0110_6^4 + 3072*c_0110_6^2 + 4096 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB