Magma V2.19-8 Tue Aug 20 2013 16:18:50 on localhost [Seed = 2934911952] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2991 geometric_solution 6.16936562 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 2310 1230 3012 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 0 0 0 0 0 0 0 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.937663477413 0.496269790028 0 2 3 0 0132 0132 0132 3201 0 0 0 0 0 0 1 -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 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.366746633976 0.929845953766 4 1 5 6 0132 0132 0132 0132 0 0 0 0 0 0 -1 1 0 0 1 -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 -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 0 0 0 0 0 0 0.372299986533 0.732512335832 5 6 4 1 1023 1023 2310 0132 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 -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.372299986533 0.732512335832 2 3 4 4 0132 3201 2031 1302 0 0 0 0 0 -1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.095856863805 0.734894768864 5 3 5 2 2031 1023 1302 0132 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 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.810899121254 0.582863871276 3 6 2 6 1023 2310 0132 3201 0 0 0 0 0 0 -1 1 -1 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 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.671939099147 0.677150090305 ==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' : 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' : 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' : d['c_0101_4'], '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' : d['c_0101_4'], 'c_0101_5' : negation(d['c_0011_3']), 'c_0101_4' : d['c_0101_4'], '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_3'], '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' : d['c_0110_6'], 'c_1001_1' : d['c_0110_6'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_4'], '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' : d['c_0101_4'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0110_6']), 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0110_6'], 'c_1010_2' : 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_0101_0, c_0101_1, c_0101_2, c_0101_4, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t - 3385503892755027919494801/218504581143762701924*c_0110_6^15 - 3091283201351537762857747/109252290571881350962*c_0110_6^14 + 2968852486550969786254963/109252290571881350962*c_0110_6^13 + 16023623368867253993921359/218504581143762701924*c_0110_6^12 + 5505815218032163785986689/109252290571881350962*c_0110_6^11 + 5133822942127839398685859/218504581143762701924*c_0110_6^10 - 8750706861299949331750547/109252290571881350962*c_0110_6^9 - 14332987472647403226364129/109252290571881350962*c_0110_6^8 + 189902954959601070835062/54626145285940675481*c_0110_6^7 + 2414137302089699789528960/54626145285940675481*c_0110_6^6 - 2094375308202452618729051/54626145285940675481*c_0110_6^5 - 3056606906136697074182311/109252290571881350962*c_0110_6^4 + 1192861050844529391955885/109252290571881350962*c_0110_6^3 + 538715430063394296119171/218504581143762701924*c_0110_6^2 - 557585971088201952442341/218504581143762701924*c_0110_6 + 97338880744898231423859/218504581143762701924, c_0011_0 - 1, c_0011_3 + 4303505257554902636965/218504581143762701924*c_0110_6^15 + 1597683905162483670189/54626145285940675481*c_0110_6^14 - 2818126072025087479058/54626145285940675481*c_0110_6^13 - 19689791665546073408425/218504581143762701924*c_0110_6^12 - 2461462239951657065497/109252290571881350962*c_0110_6^11 + 3201241714109888500497/218504581143762701924*c_0110_6^10 + 6842528019034579642028/54626145285940675481*c_0110_6^9 + 7661580703780357780270/54626145285940675481*c_0110_6^8 - 9588824381371294905675/109252290571881350962*c_0110_6^7 - 10474704994704889099491/109252290571881350962*c_0110_6^6 + 7903651890833447072627/109252290571881350962*c_0110_6^5 + 1536621519090462467403/54626145285940675481*c_0110_6^4 - 2194809397690445262331/54626145285940675481*c_0110_6^3 - 710179781203289313349/218504581143762701924*c_0110_6^2 + 1690538758661335774469/218504581143762701924*c_0110_6 - 404759726549726361913/218504581143762701924, c_0101_0 + 67176966103770701451/1227553826650352258*c_0110_6^15 + 99813543503834045323/1227553826650352258*c_0110_6^14 - 161795940801258382029/1227553826650352258*c_0110_6^13 - 142713304278624180887/613776913325176129*c_0110_6^12 - 55684293584295061740/613776913325176129*c_0110_6^11 - 7388197953790844923/1227553826650352258*c_0110_6^10 + 403463313413494487369/1227553826650352258*c_0110_6^9 + 456894842967795929225/1227553826650352258*c_0110_6^8 - 219867627483221780697/1227553826650352258*c_0110_6^7 - 227944941604692929725/1227553826650352258*c_0110_6^6 + 209359382618133937413/1227553826650352258*c_0110_6^5 + 89177002439938703669/1227553826650352258*c_0110_6^4 - 83847103786993822313/1227553826650352258*c_0110_6^3 - 5336270008928850450/613776913325176129*c_0110_6^2 + 14209335581300352903/1227553826650352258*c_0110_6 - 1161403808776670532/613776913325176129, c_0101_1 + 166296705320658964051/2455107653300704516*c_0110_6^15 + 70576964232292971028/613776913325176129*c_0110_6^14 - 88928803415362564372/613776913325176129*c_0110_6^13 - 792466517683096218523/2455107653300704516*c_0110_6^12 - 196713617641211302137/1227553826650352258*c_0110_6^11 - 76672220827976630497/2455107653300704516*c_0110_6^10 + 241235537631004080858/613776913325176129*c_0110_6^9 + 336512796328815933285/613776913325176129*c_0110_6^8 - 171601953596183513763/1227553826650352258*c_0110_6^7 - 329910971743558189807/1227553826650352258*c_0110_6^6 + 243266014190778996397/1227553826650352258*c_0110_6^5 + 70006443763846932423/613776913325176129*c_0110_6^4 - 55063092499217884294/613776913325176129*c_0110_6^3 - 37480219331758233839/2455107653300704516*c_0110_6^2 + 41626830654412591415/2455107653300704516*c_0110_6 - 8773149632532140351/2455107653300704516, c_0101_2 + 15634407416690341366815/218504581143762701924*c_0110_6^15 + 15099117420033609209441/109252290571881350962*c_0110_6^14 - 12695333144142599822675/109252290571881350962*c_0110_6^13 - 78451074828513947718397/218504581143762701924*c_0110_6^12 - 28437973024706087675065/109252290571881350962*c_0110_6^11 - 25541571292656842290405/218504581143762701924*c_0110_6^10 + 40545757737655647574639/109252290571881350962*c_0110_6^9 + 71567158979186325791191/109252290571881350962*c_0110_6^8 + 1446484588920630971592/54626145285940675481*c_0110_6^7 - 12826859369300446312043/54626145285940675481*c_0110_6^6 + 8606691701468911733837/54626145285940675481*c_0110_6^5 + 16351239071966977422001/109252290571881350962*c_0110_6^4 - 5043639103698004988341/109252290571881350962*c_0110_6^3 - 3894578938672297886297/218504581143762701924*c_0110_6^2 + 2481414765530796475019/218504581143762701924*c_0110_6 - 394026936407768178013/218504581143762701924, c_0101_4 + 1154181263223107616224/54626145285940675481*c_0110_6^15 + 4104772669037216158943/109252290571881350962*c_0110_6^14 - 3758863284970689174531/109252290571881350962*c_0110_6^13 - 10216738170993436765159/109252290571881350962*c_0110_6^12 - 4072595775234623621244/54626145285940675481*c_0110_6^11 - 2218016519783835732556/54626145285940675481*c_0110_6^10 + 11415170347594010534253/109252290571881350962*c_0110_6^9 + 18651121713920883855229/109252290571881350962*c_0110_6^8 + 1176522049730894008189/109252290571881350962*c_0110_6^7 - 4622435435028852655881/109252290571881350962*c_0110_6^6 + 4584982582542126060489/109252290571881350962*c_0110_6^5 + 3647587096483348692195/109252290571881350962*c_0110_6^4 - 820258822333797887801/109252290571881350962*c_0110_6^3 - 429068743597946132535/109252290571881350962*c_0110_6^2 + 72756523561456835268/54626145285940675481*c_0110_6 - 70378826768970479533/109252290571881350962, c_0110_6^16 + 135/91*c_0110_6^15 - 216/91*c_0110_6^14 - 375/91*c_0110_6^13 - 149/91*c_0110_6^12 - 3/7*c_0110_6^11 + 515/91*c_0110_6^10 + 608/91*c_0110_6^9 - 282/91*c_0110_6^8 - 248/91*c_0110_6^7 + 316/91*c_0110_6^6 + 86/91*c_0110_6^5 - 120/91*c_0110_6^4 + 9/91*c_0110_6^3 + 20/91*c_0110_6^2 - 8/91*c_0110_6 + 1/91 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.230 seconds, Total memory usage: 32.09MB