Magma V2.19-8 Tue Aug 20 2013 16:16:14 on localhost [Seed = 357861846] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0496 geometric_solution 4.51147661 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 0 0 0 0 0 -1 1 0 1 0 0 -1 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 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 1.852914209762 0.528082279976 0 2 3 0 3201 0132 0132 0132 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 0 -1 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.494304378674 0.807529026873 3 1 4 3 2103 0132 0132 2031 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 -1 0 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.696371286840 0.697704790763 4 2 2 1 1023 1302 2103 0132 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 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.696371286840 0.697704790763 5 3 5 2 0132 1023 1023 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 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.826353467964 0.295569269707 4 6 4 6 0132 0132 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.762210991517 0.113569398789 6 5 6 5 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.662591510600 0.050079516957 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : negation(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' : negation(d['1']), 's_1_1' : negation(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' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_3']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_3']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : negation(d['c_0011_3']), 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_3'], 'c_0011_6' : d['c_0011_3'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_4'], 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : d['c_0110_6'], 'c_1001_1' : d['c_0011_3'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_1']), 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_0']), 'c_0110_2' : negation(d['c_0011_1']), 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0101_4'], 'c_1010_5' : d['c_0110_6'], 'c_1010_4' : negation(d['c_0011_0']), 'c_1010_3' : d['c_0011_3'], 'c_1010_2' : d['c_0011_3'], '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_3, c_0101_0, c_0101_2, c_0101_4, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t - 331584651850037572684268097741/147435257674609442860682254790*c_011\ 0_6^18 - 1567562100978518933124279496619/11794820613968755428854580\ 3832*c_0110_6^17 + 2918588562334405165052973657703/2948705153492188\ 85721364509580*c_0110_6^16 - 5478041067612178578942092412571/421243\ 59335602697960194929940*c_0110_6^15 + 152297810938434240698592040851387/589741030698437771442729019160*c_\ 0110_6^14 + 67828442005908282677642139200031/5897410306984377714427\ 29019160*c_0110_6^13 + 43995517358058012413895220074461/73717628837\ 304721430341127395*c_0110_6^12 + 89165041476888366758902605842457/8\ 4248718671205395920389859880*c_0110_6^11 + 621544640791590288792928274136791/589741030698437771442729019160*c_\ 0110_6^10 + 47121275006107200883082036707511/7371762883730472143034\ 1127395*c_0110_6^9 - 1005682194312555532215777743991469/58974103069\ 8437771442729019160*c_0110_6^8 - 416641414041238675580297449107303/\ 294870515349218885721364509580*c_0110_6^7 - 83021709143311237980260610596107/294870515349218885721364509580*c_0\ 110_6^6 - 186534609567109080249246164938147/58974103069843777144272\ 9019160*c_0110_6^5 + 65642727173326487538788311291/1203553123874362\ 7988627122840*c_0110_6^4 + 40824780857541525343135592539513/1474352\ 57674609442860682254790*c_0110_6^3 + 17116847710046903403790139433839/84248718671205395920389859880*c_01\ 10_6^2 + 17469944921779973863588639887667/5897410306984377714427290\ 19160*c_0110_6 + 18352401502493331671834484771221/58974103069843777\ 1442729019160, c_0011_0 - 1, c_0011_1 - 24596975961608145009062549/601776561937181399431356142*c_011\ 0_6^18 - 16862535166020919026986317/300888280968590699715678071*c_0\ 110_6^17 + 369750737680351873162437770/300888280968590699715678071*\ c_0110_6^16 - 2098852903027574121629435023/601776561937181399431356\ 142*c_0110_6^15 + 9327349126071559155247933573/60177656193718139943\ 1356142*c_0110_6^14 - 6492337126665541879155260045/3008882809685906\ 99715678071*c_0110_6^13 + 2840876591483173551313734431/601776561937\ 181399431356142*c_0110_6^12 - 12881152057574720761302887615/6017765\ 61937181399431356142*c_0110_6^11 - 18425063774733881142610006746/300888280968590699715678071*c_0110_6^\ 10 - 25917389035638622898855212021/601776561937181399431356142*c_01\ 10_6^9 - 18016194496130548061056461969/300888280968590699715678071*\ c_0110_6^8 + 38582005151572724594052007143/300888280968590699715678\ 071*c_0110_6^7 + 45612621818979324087246260681/60177656193718139943\ 1356142*c_0110_6^6 - 24325769379798183997294592347/6017765619371813\ 99431356142*c_0110_6^5 + 12501909406245220479863342520/300888280968\ 590699715678071*c_0110_6^4 - 3864549140327789539589381443/601776561\ 937181399431356142*c_0110_6^3 - 14292833408969184353452633857/60177\ 6561937181399431356142*c_0110_6^2 - 206847507917087101321985495/601776561937181399431356142*c_0110_6 - 1173043423335668420618503859/300888280968590699715678071, c_0011_3 + 45477380806631897605733177/300888280968590699715678071*c_011\ 0_6^18 + 275754143066924529525249249/300888280968590699715678071*c_\ 0110_6^17 - 189687212130718204983701281/300888280968590699715678071\ *c_0110_6^16 + 2443923141671613838014010199/30088828096859069971567\ 8071*c_0110_6^15 - 4531035593436673877699975235/3008882809685906997\ 15678071*c_0110_6^14 - 5142513232088439088016822600/300888280968590\ 699715678071*c_0110_6^13 - 7114696280274448630064088349/30088828096\ 8590699715678071*c_0110_6^12 - 25980584696547166663803403712/300888\ 280968590699715678071*c_0110_6^11 - 15355222048241439162223264381/300888280968590699715678071*c_0110_6^\ 10 - 9190758597151237823955461428/300888280968590699715678071*c_011\ 0_6^9 + 38046540256439598205823211131/300888280968590699715678071*c\ _0110_6^8 + 35971956088892774390528457956/3008882809685906997156780\ 71*c_0110_6^7 - 16575514984089148898246148931/300888280968590699715\ 678071*c_0110_6^6 + 11331577317827878822829305425/30088828096859069\ 9715678071*c_0110_6^5 + 490064177668878566543701105/300888280968590\ 699715678071*c_0110_6^4 - 11395267510378772753644319129/30088828096\ 8590699715678071*c_0110_6^3 + 1353866003060666005344184410/30088828\ 0968590699715678071*c_0110_6^2 - 1707531296379905906870371342/30088\ 8280968590699715678071*c_0110_6 + 26319033495327744690714317/300888\ 280968590699715678071, c_0101_0 + 130313127827550797990196541/601776561937181399431356142*c_01\ 10_6^18 + 291784278570732945255063803/300888280968590699715678071*c\ _0110_6^17 - 779996196715315296829717765/30088828096859069971567807\ 1*c_0110_6^16 + 8983653378694961590075285575/6017765619371813994313\ 56142*c_0110_6^15 - 26568578501090095771104908905/60177656193718139\ 9431356142*c_0110_6^14 + 10884119159611687380610649017/300888280968\ 590699715678071*c_0110_6^13 - 41539470458362926636853954921/6017765\ 61937181399431356142*c_0110_6^12 - 10631831238466043016647735871/601776561937181399431356142*c_0110_6^\ 11 - 1192619243144419160687188185/300888280968590699715678071*c_011\ 0_6^10 + 9060692725390373218030203303/601776561937181399431356142*c\ _0110_6^9 + 59737738523983943363669264806/3008882809685906997156780\ 71*c_0110_6^8 - 36591983083950999837306934603/300888280968590699715\ 678071*c_0110_6^7 - 9073364435874453770164805809/601776561937181399\ 431356142*c_0110_6^6 + 24125506765015333925514986609/60177656193718\ 1399431356142*c_0110_6^5 - 20545412255700343687528295359/3008882809\ 68590699715678071*c_0110_6^4 + 12249510531505304074728288981/601776\ 561937181399431356142*c_0110_6^3 + 1715531731741885792476100283/601776561937181399431356142*c_0110_6^2 + 1194520204730213440683604221/601776561937181399431356142*c_0110_6 + 740073096633727269877337013/300888280968590699715678071, c_0101_2 + 126370278201320988816833502/300888280968590699715678071*c_01\ 10_6^18 + 610044381514775632757328447/300888280968590699715678071*c\ _0110_6^17 - 1257346452977529904714948446/3008882809685906997156780\ 71*c_0110_6^16 + 8476735037656319732625971149/300888280968590699715\ 678071*c_0110_6^15 - 23231728911096372398435112322/3008882809685906\ 99715678071*c_0110_6^14 + 15831979688525856474204799742/30088828096\ 8590699715678071*c_0110_6^13 - 42591212727803645548533950066/300888\ 280968590699715678071*c_0110_6^12 - 19883215504481548404703530946/300888280968590699715678071*c_0110_6^\ 11 - 23430131950590748480961006848/300888280968590699715678071*c_01\ 10_6^10 - 5642227447413543856733221450/300888280968590699715678071*\ c_0110_6^9 + 106976255390399304883032285490/30088828096859069971567\ 8071*c_0110_6^8 - 34020134887821150241789190951/3008882809685906997\ 15678071*c_0110_6^7 + 17162139818880993763893639122/300888280968590\ 699715678071*c_0110_6^6 + 19061301436097726793832626634/30088828096\ 8590699715678071*c_0110_6^5 - 28327847700087087588644578475/3008882\ 80968590699715678071*c_0110_6^4 + 6292179786994466995892734453/3008\ 88280968590699715678071*c_0110_6^3 - 7008687751365277797034259949/300888280968590699715678071*c_0110_6^2 + 1060800580850126325272794248/300888280968590699715678071*c_0110_6 - 401972806517006779349767588/300888280968590699715678071, c_0101_4 - 109847912225110511740478535/300888280968590699715678071*c_01\ 10_6^18 - 506565652185025076532156850/300888280968590699715678071*c\ _0110_6^17 + 1195136224380049588887490922/3008882809685906997156780\ 71*c_0110_6^16 - 7669409098726719376963712489/300888280968590699715\ 678071*c_0110_6^15 + 21883923988670791299766959594/3008882809685906\ 99715678071*c_0110_6^14 - 18879756115010466279805133649/30088828096\ 8590699715678071*c_0110_6^13 + 41858339877808551827842714386/300888\ 280968590699715678071*c_0110_6^12 + 8957832838291617729084751612/300888280968590699715678071*c_0110_6^1\ 1 + 19554644397358755748043036775/300888280968590699715678071*c_011\ 0_6^10 + 4720912935881140873529506599/300888280968590699715678071*c\ _0110_6^9 - 91964510523414504887083541453/3008882809685906997156780\ 71*c_0110_6^8 + 50939786514387808949317063808/300888280968590699715\ 678071*c_0110_6^7 - 32211417210794011063072364530/30088828096859069\ 9715678071*c_0110_6^6 - 14610015713994309669071619853/3008882809685\ 90699715678071*c_0110_6^5 + 30119367122959705825695451690/300888280\ 968590699715678071*c_0110_6^4 - 13881431740440244596864020921/30088\ 8280968590699715678071*c_0110_6^3 + 9781083465003868368343321361/300888280968590699715678071*c_0110_6^2 - 1479515998900119776020360510/300888280968590699715678071*c_0110_6 + 542382481516077840398791693/300888280968590699715678071, c_0110_6^19 + 4*c_0110_6^18 - 14*c_0110_6^17 + 75*c_0110_6^16 - 239*c_0110_6^15 + 274*c_0110_6^14 - 433*c_0110_6^13 + 121*c_0110_6^12 - 38*c_0110_6^11 + 127*c_0110_6^10 + 908*c_0110_6^9 - 962*c_0110_6^8 + 317*c_0110_6^7 + 17*c_0110_6^6 - 354*c_0110_6^5 + 233*c_0110_6^4 - 99*c_0110_6^3 + 59*c_0110_6^2 - 6*c_0110_6 + 4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB