Magma V2.19-8 Tue Aug 20 2013 23:57:05 on localhost [Seed = 442266357] Type ? for help. Type -D to quit. Loading file "L14n28886__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n28886 geometric_solution 11.23049935 oriented_manifold CS_known 0.0000000000000001 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 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 0 0 0 0 0 0 0 0 0 0 0 1 0 -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.152851271732 1.056398103749 0 5 7 6 0132 0132 0132 0132 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 0 0 0 0 0 0 0 -1 0 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.341614420501 0.923488014361 7 0 4 8 2031 0132 1302 0132 1 1 0 1 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 -1 0 1 2 0 0 -2 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.580864550353 0.979512082550 8 9 10 0 1023 0132 0132 0132 1 1 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 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.144460059179 1.165577437137 2 6 0 10 2031 2310 0132 0132 1 1 1 1 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 1 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.332093731265 0.887985366822 11 1 8 6 0132 0132 1302 2310 1 0 1 0 0 0 -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 0 0 0 0 0 0 1 -1 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.922549747029 0.944417313746 5 9 1 4 3201 1302 0132 3201 1 1 1 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 0 0 0 0 1 0 0 -1 -1 2 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.494652848681 0.577034020250 11 10 2 1 1302 0132 1302 0132 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 0 0 0 0 0 0 0 0 0 0 2 -2 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.377913366801 1.453340813905 5 3 2 11 2031 1023 0132 3012 1 1 0 0 0 0 0 0 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 -1 1 -1 0 2 -1 0 0 0 0 1 -2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.280442897219 0.694180574169 11 3 10 6 3012 0132 1302 2031 1 1 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 2 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.609715515663 1.072301926135 9 7 4 3 2031 0132 0132 0132 1 1 0 1 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 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.310726885786 0.781895056758 5 7 8 9 0132 2031 1230 1230 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 -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.690188100208 1.062990659986 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0101_1']), 'c_1001_10' : negation(d['c_0110_6']), 'c_1001_5' : d['c_0110_8'], 'c_1001_4' : d['c_0101_10'], 'c_1001_7' : d['c_0011_6'], 'c_1001_6' : d['c_0110_8'], 'c_1001_1' : negation(d['c_0110_6']), 'c_1001_0' : d['c_0101_3'], 'c_1001_3' : d['c_0011_6'], 'c_1001_2' : d['c_0101_10'], 'c_1001_9' : d['c_0101_3'], 'c_1001_8' : d['c_0101_3'], 'c_1010_11' : negation(d['c_0011_10']), 'c_1010_10' : d['c_0011_6'], 's_3_11' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : negation(d['c_0101_0']), 'c_0101_10' : d['c_0101_10'], '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_2_7' : d['1'], 's_2_10' : d['1'], 's_2_11' : 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' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : d['c_0101_10'], 'c_1100_8' : d['c_0101_1'], 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : negation(d['c_0011_4']), 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : d['c_0101_1'], 's_0_10' : d['1'], 'c_1100_11' : d['c_0110_8'], 'c_1100_10' : d['c_1100_0'], 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0110_6']), 'c_1010_6' : negation(d['c_0101_10']), 'c_1010_5' : negation(d['c_0110_6']), 'c_1010_4' : negation(d['c_0110_6']), 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_3'], 'c_1010_1' : d['c_0110_8'], 'c_1010_0' : d['c_0101_10'], 'c_1010_9' : d['c_0011_6'], 'c_1010_8' : d['c_0101_0'], 's_3_1' : d['1'], 's_3_0' : 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' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_3']), 'c_0011_8' : d['c_0011_3'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_10']), '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_0110_11' : negation(d['c_0011_3']), 'c_0110_10' : d['c_0101_3'], 'c_0011_11' : negation(d['c_0011_0']), 'c_0101_7' : d['c_0011_0'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0011_3']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_4']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_10']), 'c_0101_8' : d['c_0011_6'], 'c_0011_10' : d['c_0011_10'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0110_8'], 'c_0110_8' : d['c_0110_8'], '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_0011_6'], 'c_0110_5' : negation(d['c_0101_0']), 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0110_6']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_3, c_0011_4, c_0011_6, c_0101_0, c_0101_1, c_0101_10, c_0101_3, c_0110_6, c_0110_8, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t - 2898866680149038964093923919/1685831798585913354839840*c_1100_0^11 - 196118810698523933409495661/84291589929295667741992*c_1100_0^10 - 188163622475557374528013917/32419842280498333746920*c_1100_0^9 - 538731988679873271557936373/105364487411619584677490*c_1100_0^8 - 11220631253999892182057701791/1685831798585913354839840*c_1100_0^7 - 1551083734508443506645394917/105364487411619584677490*c_1100_0^6 - 423485219187040786470517507/84291589929295667741992*c_1100_0^5 - 3840017500548461027922623119/337166359717182670967968*c_1100_0^4 - 13589314396190273767771267733/842915899292956677419920*c_1100_0^3 - 2361476039344758782470403761/337166359717182670967968*c_1100_0^2 - 7671512265441558723647590997/1685831798585913354839840*c_1100_0 - 5395380803198727941671855217/1685831798585913354839840, c_0011_0 - 1, c_0011_10 + 11713770309701055400/14249077885026163481*c_1100_0^11 + 19823675817067399699/14249077885026163481*c_1100_0^10 + 43712945732667540710/14249077885026163481*c_1100_0^9 + 48179150766323476595/14249077885026163481*c_1100_0^8 + 56241309966203749660/14249077885026163481*c_1100_0^7 + 120154337561020639891/14249077885026163481*c_1100_0^6 + 71732956865288371613/14249077885026163481*c_1100_0^5 + 87248460012518900164/14249077885026163481*c_1100_0^4 + 144602105577951047929/14249077885026163481*c_1100_0^3 + 87493491097116274644/14249077885026163481*c_1100_0^2 + 51519392169174253687/14249077885026163481*c_1100_0 + 37042920008639637752/14249077885026163481, c_0011_3 - 3599240623989482371724/954688218296752953227*c_1100_0^11 - 4052302632649149909052/954688218296752953227*c_1100_0^10 - 11346318179079078460087/954688218296752953227*c_1100_0^9 - 8187848866537071916120/954688218296752953227*c_1100_0^8 - 12327889431784472053371/954688218296752953227*c_1100_0^7 - 28288799769865247574233/954688218296752953227*c_1100_0^6 - 4552986784927176682354/954688218296752953227*c_1100_0^5 - 24247926813441344965832/954688218296752953227*c_1100_0^4 - 28065340515551022944712/954688218296752953227*c_1100_0^3 - 9323555664252572508475/954688218296752953227*c_1100_0^2 - 9378457392548243393031/954688218296752953227*c_1100_0 - 4139334064494818959520/954688218296752953227, c_0011_4 - 1197010813735346830/212672804254121843*c_1100_0^11 - 1657726911629594176/212672804254121843*c_1100_0^10 - 3999780484352347818/212672804254121843*c_1100_0^9 - 3598996082735053858/212672804254121843*c_1100_0^8 - 4425012226156900301/212672804254121843*c_1100_0^7 - 10252962261594129337/212672804254121843*c_1100_0^6 - 3451767685828708964/212672804254121843*c_1100_0^5 - 7506888745818237706/212672804254121843*c_1100_0^4 - 11403964371864875549/212672804254121843*c_1100_0^3 - 4506312806293332456/212672804254121843*c_1100_0^2 - 3025469131904656789/212672804254121843*c_1100_0 - 2020318701146225619/212672804254121843, c_0011_6 - 14652247806087713481/14249077885026163481*c_1100_0^11 - 11952580041016656066/14249077885026163481*c_1100_0^10 - 40685717901661935582/14249077885026163481*c_1100_0^9 - 19013145556570863973/14249077885026163481*c_1100_0^8 - 42218016148880317728/14249077885026163481*c_1100_0^7 - 102581472416554760349/14249077885026163481*c_1100_0^6 + 11142282399040484097/14249077885026163481*c_1100_0^5 - 90789165759109690596/14249077885026163481*c_1100_0^4 - 86232376176253683469/14249077885026163481*c_1100_0^3 - 11929992300908054764/14249077885026163481*c_1100_0^2 - 20320744667468770282/14249077885026163481*c_1100_0 - 12951003859520713573/14249077885026163481, c_0101_0 + 18651584294712215847/14249077885026163481*c_1100_0^11 + 27054344378173482035/14249077885026163481*c_1100_0^10 + 58903587305163870579/14249077885026163481*c_1100_0^9 + 57649854283009984163/14249077885026163481*c_1100_0^8 + 59111857324946310475/14249077885026163481*c_1100_0^7 + 162347274545756037447/14249077885026163481*c_1100_0^6 + 51112806637573720000/14249077885026163481*c_1100_0^5 + 89214335876702529392/14249077885026163481*c_1100_0^4 + 201708629260054231063/14249077885026163481*c_1100_0^3 + 44579951905121292783/14249077885026163481*c_1100_0^2 + 40210940263077279523/14249077885026163481*c_1100_0 + 35398003404050095493/14249077885026163481, c_0101_1 - 1, c_0101_10 - 55909305316744170/212672804254121843*c_1100_0^11 - 35472187975019287/212672804254121843*c_1100_0^10 - 189177719049220391/212672804254121843*c_1100_0^9 - 81933861160934073/212672804254121843*c_1100_0^8 - 240632110716491175/212672804254121843*c_1100_0^7 - 404190835849012474/212672804254121843*c_1100_0^6 + 16061656158964615/212672804254121843*c_1100_0^5 - 699868345082895599/212672804254121843*c_1100_0^4 - 350353102242993895/212672804254121843*c_1100_0^3 - 100552257245737022/212672804254121843*c_1100_0^2 - 361503240921062600/212672804254121843*c_1100_0 - 118819110741023114/212672804254121843, c_0101_3 - 28161626574506586723/14249077885026163481*c_1100_0^11 - 38219997394620993833/14249077885026163481*c_1100_0^10 - 94878973392809453668/14249077885026163481*c_1100_0^9 - 84182376691693471347/14249077885026163481*c_1100_0^8 - 107766634946766660303/14249077885026163481*c_1100_0^7 - 241103469808675959419/14249077885026163481*c_1100_0^6 - 78478309259286061530/14249077885026163481*c_1100_0^5 - 182940916463269084650/14249077885026163481*c_1100_0^4 - 261849507874722895737/14249077885026163481*c_1100_0^3 - 106234835679521157670/14249077885026163481*c_1100_0^2 - 66057590683553364105/14249077885026163481*c_1100_0 - 41630062333002094122/14249077885026163481, c_0110_6 - 770787862761242307/212672804254121843*c_1100_0^11 - 1054082440332992312/212672804254121843*c_1100_0^10 - 2546305899511475767/212672804254121843*c_1100_0^9 - 2275391343503051559/212672804254121843*c_1100_0^8 - 2806564858619818115/212672804254121843*c_1100_0^7 - 6607428664293149324/212672804254121843*c_1100_0^6 - 2159363913451305908/212672804254121843*c_1100_0^5 - 4784731568200587691/212672804254121843*c_1100_0^4 - 7361745956053990375/212672804254121843*c_1100_0^3 - 2845315105904526191/212672804254121843*c_1100_0^2 - 1959142838077243752/212672804254121843*c_1100_0 - 1357764390382857085/212672804254121843, c_0110_8 - 38739286555338170089/14249077885026163481*c_1100_0^11 - 43486593842290007969/14249077885026163481*c_1100_0^10 - 123266981382211160106/14249077885026163481*c_1100_0^9 - 85292295194427013222/14249077885026163481*c_1100_0^8 - 132631592705961404109/14249077885026163481*c_1100_0^7 - 295514090525073861643/14249077885026163481*c_1100_0^6 - 46715940914489556710/14249077885026163481*c_1100_0^5 - 261043448230339523706/14249077885026163481*c_1100_0^4 - 278097353160801119337/14249077885026163481*c_1100_0^3 - 109987902680241587731/14249077885026163481*c_1100_0^2 - 87990032873722566364/14249077885026163481*c_1100_0 - 34462461455688624787/14249077885026163481, c_1100_0^12 + 59/29*c_1100_0^11 + 124/29*c_1100_0^10 + 152/29*c_1100_0^9 + 169/29*c_1100_0^8 + 323/29*c_1100_0^7 + 252/29*c_1100_0^6 + 245/29*c_1100_0^5 + 401/29*c_1100_0^4 + 301/29*c_1100_0^3 + 152/29*c_1100_0^2 + 104/29*c_1100_0 + 37/29 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.130 Total time: 0.340 seconds, Total memory usage: 32.09MB