Magma V2.19-8 Tue Aug 20 2013 16:14:16 on localhost [Seed = 3170705564] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s236 geometric_solution 4.39723993 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 6 1 0 0 1 0132 1230 3012 3201 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 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.210441450957 0.126115157526 0 0 2 2 0132 2310 2310 0132 0 0 0 0 0 0 0 0 -1 0 0 1 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 1 -1 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 2.678975904023 2.010110863945 3 1 1 4 0132 3201 0132 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 -1 0 1 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.293534693405 0.605394693195 2 4 4 5 0132 2310 3201 0132 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 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.104969411797 0.805340704313 3 5 2 3 2310 0132 0132 3201 0 0 0 0 0 0 1 -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 -1 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.104969411797 0.805340704313 5 4 3 5 3012 0132 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 -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.674091318060 1.116128612871 ==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' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(d['1']), 's_2_4' : negation(d['1']), 's_2_5' : 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_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0011_2'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_2'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_0'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : negation(d['c_0011_4']), 'c_0110_4' : negation(d['c_0101_3']), 'c_1010_5' : d['c_0101_0'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : d['c_0101_0']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_2, c_0011_4, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 33859451812411207711463258626479743/1798413771624934303687247640663\ 810*c_0101_3^19 - 277034184995041974926414773767512911/179841377162\ 4934303687247640663810*c_0101_3^18 - 190489017766751540895827253337645351/179841377162493430368724764066\ 3810*c_0101_3^17 - 96490820347268495889164426171120494/299735628604\ 155717281207940110635*c_0101_3^16 - 3131616928325700961709989325307362933/17984137716249343036872476406\ 63810*c_0101_3^15 - 1999232897450338191035094505878544337/899206885\ 812467151843623820331905*c_0101_3^14 - 1969018926379724080394922099175055733/59947125720831143456241588022\ 1270*c_0101_3^13 + 7133466341364284612157335322583050202/8992068858\ 12467151843623820331905*c_0101_3^12 - 2209846689084037352356263918533489738/29973562860415571728120794011\ 0635*c_0101_3^11 - 8109012827021583825798978751015825289/8992068858\ 12467151843623820331905*c_0101_3^10 - 319145951766822505423111844098926813/599471257208311434562415880221\ 27*c_0101_3^9 - 554946788059710127848361929942592981/29973562860415\ 5717281207940110635*c_0101_3^8 + 2575413288210930278546028676707458\ 1694/899206885812467151843623820331905*c_0101_3^7 + 452465282321985190679586414571829867/359682754324986860737449528132\ 762*c_0101_3^6 - 9097196001929513255009418242543064776/899206885812\ 467151843623820331905*c_0101_3^5 - 459887713398031329183663790168080379/359682754324986860737449528132\ 762*c_0101_3^4 - 324708539027994338259481604227487119/1798413771624\ 934303687247640663810*c_0101_3^3 + 46429197155389169655007003963852519/3596827543249868607374495281327\ 62*c_0101_3^2 + 140213897000985339696489406976144383/17984137716249\ 34303687247640663810*c_0101_3 + 11623858089225840564082561352409834\ 7/1798413771624934303687247640663810, c_0011_0 - 1, c_0011_2 + 2984670214267891546957620629/72312576261557470996672603163*c\ _0101_3^19 + 23666484141075307394931789952/723125762615574709966726\ 03163*c_0101_3^18 + 11627167040499672062583456573/72312576261557470\ 996672603163*c_0101_3^17 + 55124163610254175578712366980/7231257626\ 1557470996672603163*c_0101_3^16 + 270247593850359901436364901641/72\ 312576261557470996672603163*c_0101_3^15 + 304159112204357058354937963771/72312576261557470996672603163*c_0101\ _3^14 + 530545636536964398247267514907/7231257626155747099667260316\ 3*c_0101_3^13 - 1248660021238228135165418315144/7231257626155747099\ 6672603163*c_0101_3^12 + 1720578080396777238050563489379/7231257626\ 1557470996672603163*c_0101_3^11 + 805025814156640393845659860838/72\ 312576261557470996672603163*c_0101_3^10 + 943733392682444185428233002025/72312576261557470996672603163*c_0101\ _3^9 + 517297351531492003227217540304/72312576261557470996672603163\ *c_0101_3^8 - 4091926875321980123371512009331/723125762615574709966\ 72603163*c_0101_3^7 + 1293276708297066095965803627769/7231257626155\ 7470996672603163*c_0101_3^6 + 406558755912654401738728215594/723125\ 76261557470996672603163*c_0101_3^5 - 200988797667476727149918113857/72312576261557470996672603163*c_0101\ _3^4 + 103794181753065404196865442898/72312576261557470996672603163\ *c_0101_3^3 - 12525202224756152831423499719/72312576261557470996672\ 603163*c_0101_3^2 - 52464404487405557118099345596/72312576261557470\ 996672603163*c_0101_3 - 30548100915250094826333082892/7231257626155\ 7470996672603163, c_0011_4 + 2266979909836488116332700002974/5994712572083114345624158802\ 2127*c_0101_3^19 + 14058780870569552450191886939151/599471257208311\ 43456241588022127*c_0101_3^18 - 24454682631460014871257560401842/59\ 947125720831143456241588022127*c_0101_3^17 + 9545712803727711264356338978569/59947125720831143456241588022127*c_\ 0101_3^16 + 129011232094862261348108490803495/599471257208311434562\ 41588022127*c_0101_3^15 - 162215203936545404698178578577869/5994712\ 5720831143456241588022127*c_0101_3^14 - 185981512119214448759659041401115/59947125720831143456241588022127*\ c_0101_3^13 - 1816644889441148359767223923822505/599471257208311434\ 56241588022127*c_0101_3^12 + 2614276938567452539706644857132134/599\ 47125720831143456241588022127*c_0101_3^11 - 596201198837778183000430596869447/59947125720831143456241588022127*\ c_0101_3^10 - 1859149716078272466060519612039708/599471257208311434\ 56241588022127*c_0101_3^9 - 1084537502891330666062535339354165/5994\ 7125720831143456241588022127*c_0101_3^8 - 4343472897823856173498193921139328/59947125720831143456241588022127\ *c_0101_3^7 + 6237428352934923890968077318850289/599471257208311434\ 56241588022127*c_0101_3^6 + 1818277009022531670765084306482784/5994\ 7125720831143456241588022127*c_0101_3^5 - 2473647971797534712334698402157878/59947125720831143456241588022127\ *c_0101_3^4 + 346573362198246618118423393244207/5994712572083114345\ 6241588022127*c_0101_3^3 + 34910029638495196889389843159246/5994712\ 5720831143456241588022127*c_0101_3^2 - 70974519496806260533965868723399/59947125720831143456241588022127*c\ _0101_3 + 33260491512629222406113348095572/599471257208311434562415\ 88022127, c_0101_0 - 15276101332564879717297493307494/599471257208311434562415880\ 22127*c_0101_3^19 - 122303591963656141686250832611240/5994712572083\ 1143456241588022127*c_0101_3^18 - 64791014197989558148899112889332/\ 59947125720831143456241588022127*c_0101_3^17 - 253116200776549511784072672776590/59947125720831143456241588022127*\ c_0101_3^16 - 1374908091723353596077804801683918/599471257208311434\ 56241588022127*c_0101_3^15 - 1572358642350177918845880130155269/599\ 47125720831143456241588022127*c_0101_3^14 - 2431674871189520512061942888348797/59947125720831143456241588022127\ *c_0101_3^13 + 6768980654259352237591656528342857/59947125720831143\ 456241588022127*c_0101_3^12 - 7309575723392081074424469194057747/59\ 947125720831143456241588022127*c_0101_3^11 - 6021644117806759820003732764182995/59947125720831143456241588022127\ *c_0101_3^10 - 3218444752915233992860548443628613/59947125720831143\ 456241588022127*c_0101_3^9 - 1321591366278282312999325559898105/599\ 47125720831143456241588022127*c_0101_3^8 + 23114953150166592798700410704184632/5994712572083114345624158802212\ 7*c_0101_3^7 - 3302512372696822217259335191338739/59947125720831143\ 456241588022127*c_0101_3^6 - 7353403165960865920764615352153874/599\ 47125720831143456241588022127*c_0101_3^5 + 1006315993220589879410270173075802/59947125720831143456241588022127\ *c_0101_3^4 - 379787530478230403860957398067710/5994712572083114345\ 6241588022127*c_0101_3^3 + 104587807133422548194337055199110/599471\ 25720831143456241588022127*c_0101_3^2 + 150986776093115985042830284518460/59947125720831143456241588022127*\ c_0101_3 - 13571520104694408304931306737756/59947125720831143456241\ 588022127, c_0101_1 + 2872268979948536609644572908/72312576261557470996672603163*c\ _0101_3^19 + 26793990360649601445121716835/723125762615574709966726\ 03163*c_0101_3^18 + 43631796315966982982700898500/72312576261557470\ 996672603163*c_0101_3^17 + 73023098950768516092216246605/7231257626\ 1557470996672603163*c_0101_3^16 + 334136172897341102571649157293/72\ 312576261557470996672603163*c_0101_3^15 + 662560865604856575975127127101/72312576261557470996672603163*c_0101\ _3^14 + 962789435009783001357277467215/7231257626155747099667260316\ 3*c_0101_3^13 - 463328225545765421444645786931/72312576261557470996\ 672603163*c_0101_3^12 + 2262998490719183821641533554/72312576261557\ 470996672603163*c_0101_3^11 + 2720191069821136959758787398777/72312\ 576261557470996672603163*c_0101_3^10 + 2278683869509413113593197499458/72312576261557470996672603163*c_010\ 1_3^9 + 1818351539030582472467922936566/723125762615574709966726031\ 63*c_0101_3^8 - 3335632749656058579847217857290/7231257626155747099\ 6672603163*c_0101_3^7 - 4532195368018152371152598072061/72312576261\ 557470996672603163*c_0101_3^6 + 975915652005600414530679870794/7231\ 2576261557470996672603163*c_0101_3^5 + 556748649306817998057838484048/72312576261557470996672603163*c_0101\ _3^4 + 4076826164657571371815481548/72312576261557470996672603163*c\ _0101_3^3 + 109447420619877250398888443066/723125762615574709966726\ 03163*c_0101_3^2 + 12857772816414306231199119955/723125762615574709\ 96672603163*c_0101_3 + 49740647249007710675442159234/72312576261557\ 470996672603163, c_0101_3^20 + 8*c_0101_3^19 + 4*c_0101_3^18 + 15*c_0101_3^17 + 89*c_0101_3^16 + 99*c_0101_3^15 + 141*c_0101_3^14 - 465*c_0101_3^13 + 448*c_0101_3^12 + 472*c_0101_3^11 + 116*c_0101_3^10 + 12*c_0101_3^9 - 1564*c_0101_3^8 + 199*c_0101_3^7 + 759*c_0101_3^6 - 101*c_0101_3^5 - 42*c_0101_3^4 + 8*c_0101_3^3 - 16*c_0101_3^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB