Magma V2.19-8 Tue Aug 20 2013 23:38:14 on localhost [Seed = 2210785186] Type ? for help. Type -D to quit. Loading file "K11n82__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K11n82 geometric_solution 8.68998638 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 10 1 2 3 4 0132 0132 0132 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 -1 1 -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.476958887535 0.297478893221 0 5 6 4 0132 0132 0132 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 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 0 0 0 1.124806109126 0.573347691360 4 0 7 6 1023 0132 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.072081406502 1.128841921600 8 9 5 0 0132 0132 2103 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 -1 0 1 0 0 1 -1 0 -1 0 1 1 4 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.566827015806 0.685923726779 9 2 0 1 3120 1023 0132 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 0.809524832287 0.705699302761 3 1 9 7 2103 0132 1302 1302 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 -1 0 1 0 0 0 0 0 5 -1 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.416041995073 0.520960426425 9 2 8 1 2103 1302 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.383332105782 0.816668762610 8 8 5 2 1023 0321 2031 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 -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.696571525782 1.148131273981 3 7 6 7 0132 1023 1023 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.613749119059 0.636642038322 5 3 6 4 2031 0132 2103 3120 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 4 -4 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.617219521239 0.357871297023 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_5' : d['c_0110_4'], 'c_1001_4' : d['c_0101_2'], 'c_1001_7' : negation(d['c_0110_5']), 'c_1001_6' : d['c_0101_0'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0011_6'], 'c_1001_3' : d['c_0011_0'], 'c_1001_2' : d['c_0101_2'], 'c_1001_9' : d['c_0011_6'], 'c_1001_8' : d['c_0101_6'], 's_2_8' : d['1'], 's_2_9' : 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' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : 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' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : negation(d['c_0101_1']), 'c_1100_8' : negation(d['c_0110_5']), 'c_1100_5' : d['c_0101_6'], 'c_1100_4' : negation(d['c_0110_5']), 'c_1100_7' : negation(d['c_1001_1']), 'c_1100_6' : d['c_0110_5'], 'c_1100_1' : d['c_0110_5'], 'c_1100_0' : negation(d['c_0110_5']), 'c_1100_3' : negation(d['c_0110_5']), 'c_1100_2' : negation(d['c_1001_1']), 'c_1010_7' : d['c_0101_2'], 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : d['c_0011_6'], 'c_1010_2' : d['c_0011_6'], 'c_1010_1' : d['c_0110_4'], 'c_1010_0' : d['c_0101_2'], 'c_1010_9' : d['c_0011_0'], 'c_1010_8' : d['c_0101_2'], 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_3']), 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_7' : negation(d['c_0011_3']), 'c_0011_6' : d['c_0011_6'], '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_0101_7' : d['c_0101_6'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_3'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_6'], 'c_0101_8' : d['c_0101_0'], 'c_0110_9' : d['c_0110_4'], 'c_0110_8' : d['c_0011_3'], '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_0'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0110_4'], 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : d['c_0101_1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 11 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_6, c_0101_0, c_0101_1, c_0101_2, c_0101_6, c_0110_4, c_0110_5, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t + 233231347800574653005496256/74691646525066055672484143*c_1001_1^14 + 447564007360887544680314924/74691646525066055672484143*c_1001_1^13 + 146406179812029050756747728/10670235217866579381783449*c_1001_1^12 + 260875696706641784569680644/10670235217866579381783449*c_1001_1^11 + 2539293370525593741852452152/74691646525066055672484143*c_1001_1^10 - 3243601826674609959451171472/74691646525066055672484143*c_1001_1^\ 9 + 5948010199531511576069747350/74691646525066055672484143*c_1001_\ 1^8 - 12136295186032312100663413565/74691646525066055672484143*c_10\ 01_1^7 + 7778985218555402532330208248/74691646525066055672484143*c_\ 1001_1^6 + 1419787825140530923200277790/74691646525066055672484143*\ c_1001_1^5 + 16263570428441267650064547/89665842166946045225071*c_1\ 001_1^4 - 993806205856692252279150655/10670235217866579381783449*c_\ 1001_1^3 - 9994426772025191732738353102/74691646525066055672484143*\ c_1001_1^2 - 8259284515039935751205702051/7469164652506605567248414\ 3*c_1001_1 - 5873092545504213336857238048/7469164652506605567248414\ 3, c_0011_0 - 1, c_0011_3 + 17881911369217161632/35928048573740372141*c_1001_1^14 + 40981453702551209932/35928048573740372141*c_1001_1^13 + 96616558355063961784/35928048573740372141*c_1001_1^12 + 183685500473392515964/35928048573740372141*c_1001_1^11 + 284824219839083537688/35928048573740372141*c_1001_1^10 - 95330221700592362716/35928048573740372141*c_1001_1^9 + 505467287880884396726/35928048573740372141*c_1001_1^8 - 678609309614840532665/35928048573740372141*c_1001_1^7 + 514163819844171834172/35928048573740372141*c_1001_1^6 + 284772766081553673986/35928048573740372141*c_1001_1^5 + 76549278685587740775/2113414621984727773*c_1001_1^4 + 47038789535508930981/35928048573740372141*c_1001_1^3 - 486723807540722151056/35928048573740372141*c_1001_1^2 - 515267709032853329305/35928048573740372141*c_1001_1 - 359394616988884649833/35928048573740372141, c_0011_6 + 780792882210129092/35928048573740372141*c_1001_1^14 + 1265225550062168308/35928048573740372141*c_1001_1^13 + 3676326149979201396/35928048573740372141*c_1001_1^12 + 6481367596254864324/35928048573740372141*c_1001_1^11 + 10370342931063561636/35928048573740372141*c_1001_1^10 - 6277699353363206234/35928048573740372141*c_1001_1^9 + 34114297633882439579/35928048573740372141*c_1001_1^8 - 49669005391673127819/35928048573740372141*c_1001_1^7 + 64616087906054706780/35928048573740372141*c_1001_1^6 - 39334675307213627269/35928048573740372141*c_1001_1^5 + 4436719981899418673/2113414621984727773*c_1001_1^4 - 34503882825519740895/35928048573740372141*c_1001_1^3 + 20543751151522572818/35928048573740372141*c_1001_1^2 + 7898819230391566517/35928048573740372141*c_1001_1 - 9333900108491744869/35928048573740372141, c_0101_0 - 25557568265738206092/35928048573740372141*c_1001_1^14 - 60600765903065438240/35928048573740372141*c_1001_1^13 - 139989575896464545736/35928048573740372141*c_1001_1^12 - 268413600840418663440/35928048573740372141*c_1001_1^11 - 416065059040646574052/35928048573740372141*c_1001_1^10 + 126720195679091417406/35928048573740372141*c_1001_1^9 - 679443765815940027667/35928048573740372141*c_1001_1^8 + 879765516443239094258/35928048573740372141*c_1001_1^7 - 569836139977649262755/35928048573740372141*c_1001_1^6 - 589761115279227065309/35928048573740372141*c_1001_1^5 - 105731017310363485395/2113414621984727773*c_1001_1^4 - 136671573254755887107/35928048573740372141*c_1001_1^3 + 800596887575046122674/35928048573740372141*c_1001_1^2 + 768653074973327100485/35928048573740372141*c_1001_1 + 470704297868214695937/35928048573740372141, c_0101_1 - 21972378446856538176/35928048573740372141*c_1001_1^14 - 51754281140059072676/35928048573740372141*c_1001_1^13 - 120447812985754715568/35928048573740372141*c_1001_1^12 - 230175286887021964856/35928048573740372141*c_1001_1^11 - 357088815507853537300/35928048573740372141*c_1001_1^10 + 109423600237307522180/35928048573740372141*c_1001_1^9 - 591560992646267455470/35928048573740372141*c_1001_1^8 + 785009337838376838603/35928048573740372141*c_1001_1^7 - 528398212875328297554/35928048573740372141*c_1001_1^6 - 440689405346915002907/35928048573740372141*c_1001_1^5 - 93160597607014906932/2113414621984727773*c_1001_1^4 - 112986123193382267821/35928048573740372141*c_1001_1^3 + 653241143236533889954/35928048573740372141*c_1001_1^2 + 668779961479339128907/35928048573740372141*c_1001_1 + 444618706488887498907/35928048573740372141, c_0101_2 - 17892905389259934848/35928048573740372141*c_1001_1^14 - 43059268516743096672/35928048573740372141*c_1001_1^13 - 99316052905833010112/35928048573740372141*c_1001_1^12 - 190110859388911245684/35928048573740372141*c_1001_1^11 - 296161030582710077692/35928048573740372141*c_1001_1^10 + 82370212289380241944/35928048573740372141*c_1001_1^9 - 465467526428251639568/35928048573740372141*c_1001_1^8 + 602790586735586096284/35928048573740372141*c_1001_1^7 - 388674571362897127878/35928048573740372141*c_1001_1^6 - 397193329800001665631/35928048573740372141*c_1001_1^5 - 78261611733872491245/2113414621984727773*c_1001_1^4 - 95458196524716312059/35928048573740372141*c_1001_1^3 + 563958177787751994632/35928048573740372141*c_1001_1^2 + 544330479998658837859/35928048573740372141*c_1001_1 + 330155199325523341133/35928048573740372141, c_0101_6 - 16836040438894509644/35928048573740372141*c_1001_1^14 - 40143221547046947812/35928048573740372141*c_1001_1^13 - 91982413082021392524/35928048573740372141*c_1001_1^12 - 176168863600188122752/35928048573740372141*c_1001_1^11 - 272637855226854057036/35928048573740372141*c_1001_1^10 + 87581937417427706830/35928048573740372141*c_1001_1^9 - 434748581969756977857/35928048573740372141*c_1001_1^8 + 570846034912568434111/35928048573740372141*c_1001_1^7 - 345322153373168853404/35928048573740372141*c_1001_1^6 - 403601853641762800478/35928048573740372141*c_1001_1^5 - 69985147086325467845/2113414621984727773*c_1001_1^4 - 44274490826467324697/35928048573740372141*c_1001_1^3 + 505829281988326221167/35928048573740372141*c_1001_1^2 + 534277976927329744723/35928048573740372141*c_1001_1 + 304069493045577162165/35928048573740372141, c_0110_4 + 12336447839980039188/35928048573740372141*c_1001_1^14 + 29448018447872272164/35928048573740372141*c_1001_1^13 + 69338561309979994732/35928048573740372141*c_1001_1^12 + 132341875072058063352/35928048573740372141*c_1001_1^11 + 207141951818665748308/35928048573740372141*c_1001_1^10 - 51417928520119166918/35928048573740372141*c_1001_1^9 + 334215429122809188103/35928048573740372141*c_1001_1^8 - 446003412045037160051/35928048573740372141*c_1001_1^7 + 312327837740801040664/35928048573740372141*c_1001_1^6 + 197331884921065062708/35928048573740372141*c_1001_1^5 + 56500381212015856481/2113414621984727773*c_1001_1^4 + 67485663366014959151/35928048573740372141*c_1001_1^3 - 345978151395838270797/35928048573740372141*c_1001_1^2 - 412104034928352450805/35928048573740372141*c_1001_1 - 288132488666376209395/35928048573740372141, c_0110_5 + 26392525191298496268/35928048573740372141*c_1001_1^14 + 62878282096373827256/35928048573740372141*c_1001_1^13 + 145640518547317698352/35928048573740372141*c_1001_1^12 + 278848163043849529012/35928048573740372141*c_1001_1^11 + 432842649339725706148/35928048573740372141*c_1001_1^10 - 126556948281966738310/35928048573740372141*c_1001_1^9 + 697943944508999784935/35928048573740372141*c_1001_1^8 - 916285931213051504400/35928048573740372141*c_1001_1^7 + 591084364600424756663/35928048573740372141*c_1001_1^6 + 581563028918406794466/35928048573740372141*c_1001_1^5 + 111948452316086919741/2113414621984727773*c_1001_1^4 + 147992554325685818176/35928048573740372141*c_1001_1^3 - 784620228570776763124/35928048573740372141*c_1001_1^2 - 845014316329143810293/35928048573740372141*c_1001_1 - 521353342204422194407/35928048573740372141, c_1001_1^15 + 3*c_1001_1^14 + 7*c_1001_1^13 + 14*c_1001_1^12 + 23*c_1001_1^11 + 11/2*c_1001_1^10 + 95/4*c_1001_1^9 - 73/4*c_1001_1^8 + 3/2*c_1001_1^7 + 71/2*c_1001_1^6 + 343/4*c_1001_1^5 + 203/4*c_1001_1^4 - 107/4*c_1001_1^3 - 99/2*c_1001_1^2 - 155/4*c_1001_1 - 49/4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.070 Total time: 0.270 seconds, Total memory usage: 32.09MB