Magma V2.19-8 Tue Aug 20 2013 16:17:23 on localhost [Seed = 3398129159] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1615 geometric_solution 5.37329766 oriented_manifold CS_known -0.0000000000000001 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.630142953996 0.126141854405 2 0 2 0 0132 2310 1023 0132 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 1 -1 -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.844057293309 0.179292347525 1 3 1 4 0132 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 -1 1 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 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.950582101307 0.494132021200 4 2 6 5 3120 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 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 0 0 -1 1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.715414617060 0.623487751048 5 6 2 3 1023 1023 0132 3120 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 -1 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.715414617060 0.623487751048 5 4 3 5 3012 1023 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.205584803448 0.692337188094 4 6 6 3 1023 1230 3012 0132 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 1 -1 0 0 0 0 1 0 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.557075212319 0.924206703284 ==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' : negation(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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_4'], 'c_1100_5' : d['c_0011_4'], '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' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0011_1']), 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], '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_0101_1'], 'c_1001_4' : d['c_0101_6'], 'c_1001_6' : negation(d['c_0011_4']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_6'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0011_4'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : negation(d['c_0011_1']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_0101_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_0101_0, c_0101_1, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t - 317739732932042337576786879755/3306414328606168995160391132*c_0101_\ 6^25 + 6649104027387013384948024466595/3306414328606168995160391132\ *c_0101_6^23 - 64961659855243400921779415587963/3306414328606168995\ 160391132*c_0101_6^21 + 667179425642186828470639599700333/330641432\ 8606168995160391132*c_0101_6^19 - 425950934346072517023877916322301\ 3/3306414328606168995160391132*c_0101_6^17 + 15258797459799427996173554334840085/3306414328606168995160391132*c_\ 0101_6^15 - 4386436046876304008030324184527647/82660358215154224879\ 0097783*c_0101_6^13 + 1332538795371481119184428458462802/8266035821\ 51542248790097783*c_0101_6^11 - 260821415762418944938788612129517/3\ 306414328606168995160391132*c_0101_6^9 + 569859906792698100535271430113177/1653207164303084497580195566*c_01\ 01_6^7 - 254463967858411066110319363331779/330641432860616899516039\ 1132*c_0101_6^5 + 32004853786319996782918852514091/3306414328606168\ 995160391132*c_0101_6^3 - 3836599402886098166578304045875/330641432\ 8606168995160391132*c_0101_6, c_0011_0 - 1, c_0011_1 - 40589837648215838256621495/826603582151542248790097783*c_010\ 1_6^24 + 1740908908479697337337317461/1653207164303084497580195566*\ c_0101_6^22 - 17442604993855989236662224535/16532071643030844975801\ 95566*c_0101_6^20 + 178352248432417496349106395367/1653207164303084\ 497580195566*c_0101_6^18 - 585027742185206731532717844764/826603582\ 151542248790097783*c_0101_6^16 + 4394104281905958291301686965693/16\ 53207164303084497580195566*c_0101_6^14 - 6090566896297561280111142988279/1653207164303084497580195566*c_0101\ _6^12 + 1182780073392701282533975980983/826603582151542248790097783\ *c_0101_6^10 - 86828003102532558649869026291/1653207164303084497580\ 195566*c_0101_6^8 + 445675296720225983605649546505/1653207164303084\ 497580195566*c_0101_6^6 - 102890184203190569764495713341/1653207164\ 303084497580195566*c_0101_6^4 + 16333682523085078384680341553/16532\ 07164303084497580195566*c_0101_6^2 - 2431987954586776685339107163/1653207164303084497580195566, c_0011_4 + 372286461256873695223631547/3306414328606168995160391132*c_0\ 101_6^24 - 1932676237798997869926243080/826603582151542248790097783\ *c_0101_6^22 + 37469047992661952118378632707/1653207164303084497580\ 195566*c_0101_6^20 - 771017272062489788204287495463/330641432860616\ 8995160391132*c_0101_6^18 + 4879379431854587392998061470343/3306414\ 328606168995160391132*c_0101_6^16 - 8612175071068217949829333642731/1653207164303084497580195566*c_0101\ _6^14 + 18578768882497285720262367028939/33064143286061689951603911\ 32*c_0101_6^12 - 5813507269210022262364945534469/330641432860616899\ 5160391132*c_0101_6^10 + 456716762821211782809222010477/16532071643\ 03084497580195566*c_0101_6^8 - 562110192961502911637837780863/16532\ 07164303084497580195566*c_0101_6^6 + 161205365319957129015002913733/1653207164303084497580195566*c_0101_\ 6^4 - 23539813525021770609286213421/1653207164303084497580195566*c_\ 0101_6^2 + 5579639789284426760719334227/330641432860616899516039113\ 2, c_0101_0 + 850091108198133805412339027/3306414328606168995160391132*c_0\ 101_6^25 - 8936123859024531404297609393/165320716430308449758019556\ 6*c_0101_6^23 + 43860918487154423184888536378/826603582151542248790\ 097783*c_0101_6^21 - 1800086348356187946425570196661/33064143286061\ 68995160391132*c_0101_6^19 + 11552897696540717487945592845075/33064\ 14328606168995160391132*c_0101_6^17 - 10438947724033888891819730841752/826603582151542248790097783*c_0101\ _6^15 + 49839996461469128314414389835037/33064143286061689951603911\ 32*c_0101_6^13 - 15364130463469468189968288619489/33064143286061689\ 95160391132*c_0101_6^11 + 55003797580770448028489787663/82660358215\ 1542248790097783*c_0101_6^9 - 834716197832001283116110866742/826603\ 582151542248790097783*c_0101_6^7 + 162435289350890864466802929559/826603582151542248790097783*c_0101_6\ ^5 - 20661685426225549351107424770/826603582151542248790097783*c_01\ 01_6^3 + 4562667971812149682991973693/3306414328606168995160391132*\ c_0101_6, c_0101_1 - 489040406406211355653145357/3306414328606168995160391132*c_0\ 101_6^24 + 5167008359519434467332380779/165320716430308449758019556\ 6*c_0101_6^22 - 25499274322983029414288372968/826603582151542248790\ 097783*c_0101_6^20 + 1045680420913604684983497417551/33064143286061\ 68995160391132*c_0101_6^18 - 6750764772137562423890125735177/330641\ 4328606168995160391132*c_0101_6^16 + 6166742836293877088526673156108/826603582151542248790097783*c_0101_\ 6^14 - 30845648702286458670314030143511/330641432860616899516039113\ 2*c_0101_6^12 + 10638660909057940797272416403619/330641432860616899\ 5160391132*c_0101_6^10 - 116937147513495189224961555397/82660358215\ 1542248790097783*c_0101_6^8 + 525192478148471387079742372191/826603\ 582151542248790097783*c_0101_6^6 - 120597280086502194501636660459/826603582151542248790097783*c_0101_6\ ^4 + 18896130477703275971870291786/826603582151542248790097783*c_01\ 01_6^2 - 6880769876752268297299848475/3306414328606168995160391132, c_0101_5 + 115079178806809179459509441/3306414328606168995160391132*c_0\ 101_6^25 - 578905805411741201972810915/826603582151542248790097783*\ c_0101_6^23 + 10810096790240933923960976725/16532071643030844975801\ 95566*c_0101_6^21 - 223305535325595935723459321481/3306414328606168\ 995160391132*c_0101_6^19 + 1353904544894355290697441462737/33064143\ 28606168995160391132*c_0101_6^17 - 2171471299008685942230581397327/1653207164303084497580195566*c_0101\ _6^15 + 2259809493806028269436708867321/330641432860616899516039113\ 2*c_0101_6^13 + 2027412090851907397176755062685/3306414328606168995\ 160391132*c_0101_6^11 - 319820506862539224771172051473/165320716430\ 3084497580195566*c_0101_6^9 - 191379803245219395465843149085/165320\ 7164303084497580195566*c_0101_6^7 - 79478218041243490719323815379/1653207164303084497580195566*c_0101_6\ ^5 + 10361996429042947486056386099/1653207164303084497580195566*c_0\ 101_6^3 - 4058062763492578005910198871/3306414328606168995160391132\ *c_0101_6, c_0101_6^26 - 21*c_0101_6^24 + 206*c_0101_6^22 - 2115*c_0101_6^20 + 13562*c_0101_6^18 - 49027*c_0101_6^16 + 58859*c_0101_6^14 - 21184*c_0101_6^12 + 2385*c_0101_6^10 - 3712*c_0101_6^8 + 1068*c_0101_6^6 - 180*c_0101_6^4 + 23*c_0101_6^2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB