Magma V2.19-8 Tue Aug 20 2013 16:17:08 on localhost [Seed = 1595851658] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1385 geometric_solution 5.23915567 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 2031 1302 0 0 0 0 0 0 1 -1 0 0 1 -1 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 1 1 -2 -1 0 2 -1 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.474325691255 0.409409608440 0 2 4 3 0132 2031 0132 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 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.593974199146 0.695635010772 1 0 3 4 1302 0132 2310 2310 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.593974199146 0.695635010772 5 2 1 5 0132 3201 0132 1023 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 -1 1 0 0 0 1 -1 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.411209558669 0.406354330811 2 4 4 1 3201 1230 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.290110345132 0.831389811916 3 6 6 3 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 -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 1.406445776013 0.585087528129 6 5 5 6 3012 0132 1023 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 1 -1 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.656338050298 0.192086656991 ==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' : d['c_0011_3'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0011_3'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_3'], 'c_1100_0' : d['c_0101_0'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], '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' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : negation(d['c_0011_3']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_0101_4'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0011_0']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : negation(d['c_0101_4']), 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : d['c_0011_3'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0101_1']), '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_3, c_0101_0, c_0101_1, c_0101_4, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 480531488758935392/146125762785634859*c_0101_6^18 - 902065866626741683/146125762785634859*c_0101_6^17 - 6555601602434157848/146125762785634859*c_0101_6^16 + 9885303905384815256/146125762785634859*c_0101_6^15 + 18546302317237684705/146125762785634859*c_0101_6^14 - 20208539908587747116/146125762785634859*c_0101_6^13 + 16252895290962048927/146125762785634859*c_0101_6^12 - 591023388607193923/146125762785634859*c_0101_6^11 - 111000053225765345755/146125762785634859*c_0101_6^10 + 7663828561945091459/146125762785634859*c_0101_6^9 + 55603563046746777468/146125762785634859*c_0101_6^8 - 41246643705547875760/146125762785634859*c_0101_6^7 + 38871082247008096528/146125762785634859*c_0101_6^6 + 67644928279179622706/146125762785634859*c_0101_6^5 + 6766345321449266383/146125762785634859*c_0101_6^4 - 15844454897493925404/146125762785634859*c_0101_6^3 - 6560753421852338471/146125762785634859*c_0101_6^2 + 391083050881374085/146125762785634859*c_0101_6 - 1379217607942887918/146125762785634859, c_0011_0 - 1, c_0011_3 - 11106424971035185/146125762785634859*c_0101_6^18 + 20784987256534026/146125762785634859*c_0101_6^17 + 158843752539847678/146125762785634859*c_0101_6^16 - 242481753176544248/146125762785634859*c_0101_6^15 - 527398760116375967/146125762785634859*c_0101_6^14 + 644387899506455906/146125762785634859*c_0101_6^13 - 135125481838215527/146125762785634859*c_0101_6^12 - 453595310780111636/146125762785634859*c_0101_6^11 + 3132698213868203284/146125762785634859*c_0101_6^10 - 346705085497888446/146125762785634859*c_0101_6^9 - 3088956152313216792/146125762785634859*c_0101_6^8 + 1996869494291932865/146125762785634859*c_0101_6^7 - 885122569609785275/146125762785634859*c_0101_6^6 - 2514844087149381406/146125762785634859*c_0101_6^5 + 949845910841493898/146125762785634859*c_0101_6^4 + 848467005816730850/146125762785634859*c_0101_6^3 + 118031111245395772/146125762785634859*c_0101_6^2 - 76124104225623286/146125762785634859*c_0101_6 + 151211346628547500/146125762785634859, c_0101_0 - 10647417794327005/146125762785634859*c_0101_6^18 + 31487887855717313/146125762785634859*c_0101_6^17 + 101954629577188817/146125762785634859*c_0101_6^16 - 303095587684886365/146125762785634859*c_0101_6^15 + 17778038269332316/146125762785634859*c_0101_6^14 + 152925254698219865/146125762785634859*c_0101_6^13 - 631392730454778188/146125762785634859*c_0101_6^12 + 1081687349013568145/146125762785634859*c_0101_6^11 + 778042337756719008/146125762785634859*c_0101_6^10 - 398128571117777761/146125762785634859*c_0101_6^9 + 489376531995975196/146125762785634859*c_0101_6^8 - 578070022391179378/146125762785634859*c_0101_6^7 - 657139212569962681/146125762785634859*c_0101_6^6 - 532311141600177684/146125762785634859*c_0101_6^5 - 249441919421534309/146125762785634859*c_0101_6^4 + 225463064697265160/146125762785634859*c_0101_6^3 + 81227859355042223/146125762785634859*c_0101_6^2 + 306451658905891950/146125762785634859*c_0101_6 + 4628585866060172/146125762785634859, c_0101_1 - 46095868734074490/146125762785634859*c_0101_6^18 + 109195957152052480/146125762785634859*c_0101_6^17 + 569768978366518599/146125762785634859*c_0101_6^16 - 1212098412203279752/146125762785634859*c_0101_6^15 - 1131359913113777254/146125762785634859*c_0101_6^14 + 2328828656356469480/146125762785634859*c_0101_6^13 - 2672800708875908028/146125762785634859*c_0101_6^12 + 1514709674697475535/146125762785634859*c_0101_6^11 + 9375156333843942702/146125762785634859*c_0101_6^10 - 4601967259217950072/146125762785634859*c_0101_6^9 - 2722391270218920184/146125762785634859*c_0101_6^8 + 4645207892565341901/146125762785634859*c_0101_6^7 - 5025383626782666571/146125762785634859*c_0101_6^6 - 4452020322169707233/146125762785634859*c_0101_6^5 + 1077894911742023939/146125762785634859*c_0101_6^4 + 1183691125570773598/146125762785634859*c_0101_6^3 - 358071123794688586/146125762785634859*c_0101_6^2 - 25231353184523947/146125762785634859*c_0101_6 + 157122735806897601/146125762785634859, c_0101_4 + 4483526492813757/146125762785634859*c_0101_6^18 - 32351994203349234/146125762785634859*c_0101_6^17 + 2316081792161778/146125762785634859*c_0101_6^16 + 363071237528772995/146125762785634859*c_0101_6^15 - 513682754828272656/146125762785634859*c_0101_6^14 - 506923293029148033/146125762785634859*c_0101_6^13 + 1250367549575887362/146125762785634859*c_0101_6^12 - 1749684826736213321/146125762785634859*c_0101_6^11 + 488942799986504349/146125762785634859*c_0101_6^10 + 3982721511468806451/146125762785634859*c_0101_6^9 - 2454732456964891849/146125762785634859*c_0101_6^8 - 16613608675455448/146125762785634859*c_0101_6^7 + 1998470895792788885/146125762785634859*c_0101_6^6 - 2078351732429448550/146125762785634859*c_0101_6^5 - 1110566849946060260/146125762785634859*c_0101_6^4 + 11593043075886859/146125762785634859*c_0101_6^3 + 171861884624497981/146125762785634859*c_0101_6^2 - 235013603866742941/146125762785634859*c_0101_6 + 16140769356663750/146125762785634859, c_0101_5 + 5034344385628565/146125762785634859*c_0101_6^18 - 7013024963979717/146125762785634859*c_0101_6^17 - 83338243300130306/146125762785634859*c_0101_6^16 + 98790485105556280/146125762785634859*c_0101_6^15 + 352177096825637028/146125762785634859*c_0101_6^14 - 418081013448384250/146125762785634859*c_0101_6^13 - 12558769957477310/146125762785634859*c_0101_6^12 + 490097621019164476/146125762785634859*c_0101_6^11 - 1861281253557423787/146125762785634859*c_0101_6^10 + 222941561271934653/146125762785634859*c_0101_6^9 + 2055900752835379659/146125762785634859*c_0101_6^8 - 1361746046646128984/146125762785634859*c_0101_6^7 + 308821523464540527/146125762785634859*c_0101_6^6 + 1549645286296367479/146125762785634859*c_0101_6^5 - 612001202174714652/146125762785634859*c_0101_6^4 - 568774461905940660/146125762785634859*c_0101_6^3 - 47924308602018619/146125762785634859*c_0101_6^2 + 63456241685547195/146125762785634859*c_0101_6 - 148365334664850441/146125762785634859, c_0101_6^19 - 2*c_0101_6^18 - 13*c_0101_6^17 + 21*c_0101_6^16 + 32*c_0101_6^15 - 34*c_0101_6^14 + 39*c_0101_6^13 - 19*c_0101_6^12 - 201*c_0101_6^11 + 5*c_0101_6^10 + 72*c_0101_6^9 - 56*c_0101_6^8 + 75*c_0101_6^7 + 128*c_0101_6^6 + 32*c_0101_6^5 - 19*c_0101_6^4 - 11*c_0101_6^3 - 2*c_0101_6^2 - 4*c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB