Magma V2.19-8 Wed Aug 21 2013 01:05:51 on localhost [Seed = 2564718632] Type ? for help. Type -D to quit. Loading file "L14n28737__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n28737 geometric_solution 11.94921534 oriented_manifold CS_known -0.0000000000000001 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 2 1 0132 0132 1023 1023 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 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.201472436102 1.045009712351 0 3 4 0 0132 0132 0132 1023 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 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.827259277156 0.654933996451 5 0 0 6 0132 0132 1023 0132 1 1 1 1 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 0 0 0 -1 0 1 0 -4 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.249751324199 0.417710159575 5 1 4 6 2310 0132 1302 2310 1 1 1 1 0 0 -1 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 -5 5 5 0 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.638133448752 0.421357776943 3 7 8 1 2031 0132 0132 0132 1 1 1 1 0 0 0 0 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 0 0 0 5 0 -4 -1 0 0 0 0 5 0 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.538701117718 0.658961143547 2 5 3 5 0132 1302 3201 2031 1 1 1 1 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 1 0 -1 1 0 0 -1 0 1 0 -1 4 1 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.768058343943 1.096799390771 3 7 2 9 3201 3012 0132 0132 1 1 1 1 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 -5 5 0 0 0 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.058886963121 1.141624605012 6 4 11 10 1230 0132 0132 0132 1 1 1 1 0 0 0 0 -1 0 1 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 -5 0 5 0 -4 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.213289291754 0.696431827786 12 12 9 4 0132 1302 0132 0132 1 1 1 0 0 0 0 0 -1 0 0 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 -4 0 0 4 0 -5 0 5 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.260802866521 1.105855481517 11 11 6 8 1230 2031 0132 0132 1 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 0 0 0 0 0 0 0 0 0 0 0 4 -3 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.555203532246 0.592763882158 10 12 7 10 3012 1230 0132 1230 1 1 1 1 0 1 0 -1 1 0 0 -1 1 0 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 -4 4 0 0 -4 4 0 0 -4 4 0 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.255885705715 0.708939415321 9 9 12 7 1302 3012 3012 0132 1 1 1 0 0 0 0 0 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 0 0 0 0 0 5 -5 0 0 0 0 3 -4 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.555203532246 0.592763882158 8 11 10 8 0132 1230 3012 2031 1 1 0 1 0 -1 0 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 -5 0 5 4 0 -4 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.417783938827 0.625014137524 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_12']), 'c_1001_10' : d['c_1001_10'], 'c_1001_12' : negation(d['c_0011_10']), 'c_1001_5' : d['c_0011_4'], 'c_1001_4' : d['c_1001_10'], 'c_1001_7' : negation(d['c_0101_9']), 'c_1001_6' : d['c_0011_4'], 'c_1001_1' : negation(d['c_0101_9']), 'c_1001_0' : d['c_0011_4'], 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : d['c_0101_0'], 'c_1001_9' : negation(d['c_0101_7']), 'c_1001_8' : d['c_0011_11'], 'c_1010_12' : negation(d['c_0011_12']), 'c_1010_11' : negation(d['c_0101_9']), 'c_1010_10' : d['c_0011_6'], 's_0_10' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : negation(d['c_0011_12']), 'c_0101_10' : d['c_0011_6'], '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_12' : 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_0011_11' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0011_0']), 'c_1100_4' : negation(d['c_1100_0']), 'c_1100_7' : d['c_0011_10'], 'c_1100_6' : negation(d['c_1100_0']), 'c_1100_1' : negation(d['c_1100_0']), 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_0011_6'], 'c_1100_2' : negation(d['c_1100_0']), 's_3_11' : d['1'], 'c_1100_9' : negation(d['c_1100_0']), 'c_1100_11' : d['c_0011_10'], 'c_1100_10' : d['c_0011_10'], 's_3_10' : d['1'], 'c_1010_7' : d['c_1001_10'], 'c_1010_6' : negation(d['c_0101_7']), 'c_1010_5' : d['c_0011_0'], 'c_1010_4' : negation(d['c_0101_9']), 'c_1010_3' : negation(d['c_0101_9']), 'c_1010_2' : d['c_0011_4'], 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : d['c_0101_0'], 'c_1010_9' : d['c_0011_11'], 'c_1010_8' : d['c_1001_10'], 'c_1100_8' : negation(d['c_1100_0']), 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : negation(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'], 'c_1100_12' : negation(d['c_1001_10']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(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' : d['c_0011_12'], 'c_0011_8' : negation(d['c_0011_12']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_4']), '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_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_7'], 'c_0110_10' : d['c_0011_10'], 'c_0110_12' : d['c_0011_11'], 'c_0101_12' : d['c_0011_6'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_5'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0011_6'], 'c_0101_3' : negation(d['c_0011_4']), 'c_0101_2' : d['c_0011_4'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : d['c_0011_11'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_11'], 'c_0110_8' : d['c_0011_6'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_5']), 'c_0110_2' : d['c_0101_5'], 'c_0110_5' : d['c_0011_4'], 'c_0110_4' : d['c_0101_1'], 'c_0110_7' : d['c_0011_6'], 'c_0110_6' : d['c_0101_9']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_4, c_0011_6, c_0101_0, c_0101_1, c_0101_5, c_0101_7, c_0101_9, c_1001_10, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 11 Groebner basis: [ t + 284924322637605278234085853379987134431/350358569311656756566557833\ 616111424*c_1100_0^10 - 68429312643603921645278132294312513/8220520\ 1621693279344570115817952*c_1100_0^9 + 1142537418711489623520267257589873480247/17517928465582837828327891\ 6808055712*c_1100_0^8 + 13488923033876175123213561576946896367661/2\ 0609327606568044503915166683300672*c_1100_0^7 - 219392438680277432603528121854272808805923/437948211639570945708197\ 29202013928*c_1100_0^6 + 967529445922238120786834277324503607127001\ /43794821163957094570819729202013928*c_1100_0^5 - 8494474383354709319106469947998412666623961/35035856931165675656655\ 7833616111424*c_1100_0^4 + 4245698312298904671093044380056917310853\ 187/350358569311656756566557833616111424*c_1100_0^3 - 390762805953370143111485034274046430096255/175179284655828378283278\ 916808055712*c_1100_0^2 - 833703515994352381724532077835507147981/4\ 3794821163957094570819729202013928*c_1100_0 + 4092330963097749897697385319774720105353/35035856931165675656655783\ 3616111424, c_0011_0 - 1, c_0011_10 + 23239582667892253718872/979069364863024706819081*c_1100_0^1\ 0 - 22018767601333748551170/979069364863024706819081*c_1100_0^9 + 185934776228360691585108/979069364863024706819081*c_1100_0^8 + 18716885411941889525135289/979069364863024706819081*c_1100_0^7 - 141722038592563447711480716/979069364863024706819081*c_1100_0^6 + 621530465831335127325898830/979069364863024706819081*c_1100_0^5 - 652792330946852912144413929/979069364863024706819081*c_1100_0^4 + 327598947841820529760682419/979069364863024706819081*c_1100_0^3 - 64987595759303616817620690/979069364863024706819081*c_1100_0^2 + 2447883024282139087091237/979069364863024706819081*c_1100_0 - 328995865894389669884225/979069364863024706819081, c_0011_11 - 49572790472617792976892/979069364863024706819081*c_1100_0^1\ 0 + 45230800756218264289446/979069364863024706819081*c_1100_0^9 - 393603763792061382670637/979069364863024706819081*c_1100_0^8 - 39940158986296139981389928/979069364863024706819081*c_1100_0^7 + 300920606943033497723711550/979069364863024706819081*c_1100_0^6 - 1314093868650189105081650188/979069364863024706819081*c_1100_0^5 + 1337952737320373676967865166/979069364863024706819081*c_1100_0^4 - 615912764460399993370705792/979069364863024706819081*c_1100_0^3 + 87108016415067707544165873/979069364863024706819081*c_1100_0^2 + 3458605255365304772622333/979069364863024706819081*c_1100_0 - 67999572862835359717246/979069364863024706819081, c_0011_12 + 1, c_0011_4 + 1599485224281027117/979069364863024706819081*c_1100_0^10 + 1135400722409383384/979069364863024706819081*c_1100_0^9 + 15113540060009304535/979069364863024706819081*c_1100_0^8 + 1314707349750823988565/979069364863024706819081*c_1100_0^7 - 7564903828215106372855/979069364863024706819081*c_1100_0^6 + 30617307625381932045221/979069364863024706819081*c_1100_0^5 + 5004492272673630168010/979069364863024706819081*c_1100_0^4 + 37541134709753957196757/979069364863024706819081*c_1100_0^3 + 87581536653733002179076/979069364863024706819081*c_1100_0^2 + 437854749017043868494739/979069364863024706819081*c_1100_0 - 605097158655587601851447/979069364863024706819081, c_0011_6 - 2209393870912582327198/979069364863024706819081*c_1100_0^10 + 3331828321545937574856/979069364863024706819081*c_1100_0^9 - 19173647496065720331755/979069364863024706819081*c_1100_0^8 - 1769266149685616368628548/979069364863024706819081*c_1100_0^7 + 14468621273011991958217021/979069364863024706819081*c_1100_0^6 - 66902832759152626433740104/979069364863024706819081*c_1100_0^5 + 97106332352992867345838394/979069364863024706819081*c_1100_0^4 - 74105402319024500462226840/979069364863024706819081*c_1100_0^3 + 30319791816284398363833215/979069364863024706819081*c_1100_0^2 - 4149149851350297133387740/979069364863024706819081*c_1100_0 + 3620995107791116885860/979069364863024706819081, c_0101_0 + 37315357018808296549/979069364863024706819081*c_1100_0^10 - 73031228813335565981/979069364863024706819081*c_1100_0^9 + 372689485686211321757/979069364863024706819081*c_1100_0^8 + 29681286454514476704723/979069364863024706819081*c_1100_0^7 - 257520186557265401823567/979069364863024706819081*c_1100_0^6 + 1258365490805325701390888/979069364863024706819081*c_1100_0^5 - 2317319292772127220279918/979069364863024706819081*c_1100_0^4 + 2856605066840098040436510/979069364863024706819081*c_1100_0^3 - 2913882254315135964770762/979069364863024706819081*c_1100_0^2 + 3001090637398680883984348/979069364863024706819081*c_1100_0 - 605134474012606410147996/979069364863024706819081, c_0101_1 + 447256326171253682305/979069364863024706819081*c_1100_0^10 - 783030665787954118696/979069364863024706819081*c_1100_0^9 + 4142034445538919200024/979069364863024706819081*c_1100_0^8 + 357014271243463507571082/979069364863024706819081*c_1100_0^7 - 3014943390662995907316406/979069364863024706819081*c_1100_0^6 + 14331560416024000880437148/979069364863024706819081*c_1100_0^5 - 23625428165396768569021328/979069364863024706819081*c_1100_0^4 + 23081917085923548082024095/979069364863024706819081*c_1100_0^3 - 15632016651015286389761711/979069364863024706819081*c_1100_0^2 + 7148604995369986633034132/979069364863024706819081*c_1100_0 - 605654761567590999396282/979069364863024706819081, c_0101_5 + 1599485224281027117/979069364863024706819081*c_1100_0^10 + 1135400722409383384/979069364863024706819081*c_1100_0^9 + 15113540060009304535/979069364863024706819081*c_1100_0^8 + 1314707349750823988565/979069364863024706819081*c_1100_0^7 - 7564903828215106372855/979069364863024706819081*c_1100_0^6 + 30617307625381932045221/979069364863024706819081*c_1100_0^5 + 5004492272673630168010/979069364863024706819081*c_1100_0^4 + 37541134709753957196757/979069364863024706819081*c_1100_0^3 + 87581536653733002179076/979069364863024706819081*c_1100_0^2 - 541214615845980838324342/979069364863024706819081*c_1100_0 - 605097158655587601851447/979069364863024706819081, c_0101_7 + 8287607274233427113257/979069364863024706819081*c_1100_0^10 - 11296735466811699194870/979069364863024706819081*c_1100_0^9 + 69852226466641988463281/979069364863024706819081*c_1100_0^8 + 6647018034789327389792492/979069364863024706819081*c_1100_0^7 - 53312242920833795583013050/979069364863024706819081*c_1100_0^6 + 242880556550368670024247373/979069364863024706819081*c_1100_0^5 - 326550372139725942291435394/979069364863024706819081*c_1100_0^4 + 220566825440902880094019715/979069364863024706819081*c_1100_0^3 - 77528978223629179453277418/979069364863024706819081*c_1100_0^2 + 13873006241606319735955280/979069364863024706819081*c_1100_0 - 622463524404182207974415/979069364863024706819081, c_0101_9 - 2692366068878363278935/979069364863024706819081*c_1100_0^10 + 4189025616869636642917/979069364863024706819081*c_1100_0^9 - 23673257887230841549001/979069364863024706819081*c_1100_0^8 - 2154647000033843528915788/979069364863024706819081*c_1100_0^7 + 17733519946404038160984139/979069364863024706819081*c_1100_0^6 - 82462141358356571083522919/979069364863024706819081*c_1100_0^5 + 123054084303434436765307650/979069364863024706819081*c_1100_0^4 - 100006383337078392627490688/979069364863024706819081*c_1100_0^3 + 48953272258268553720544764/979069364863024706819081*c_1100_0^2 - 12881921370238896075092400/979069364863024706819081*c_1100_0 + 609313072032400924578691/979069364863024706819081, c_1001_10 - 7804635076267646161520/979069364863024706819081*c_1100_0^10 + 10439538171488000126809/979069364863024706819081*c_1100_0^9 - 65352616075476867246035/979069364863024706819081*c_1100_0^8 - 6261637184441100229505252/979069364863024706819081*c_1100_0^7 + 50047344247441749380245932/979069364863024706819081*c_1100_0^6 - 227321247951164725374464558/979069364863024706819081*c_1100_0^5 + 300602620189284372871966138/979069364863024706819081*c_1100_0^4 - 194665844422848987928755867/979069364863024706819081*c_1100_0^3 + 58895497781645024096565869/979069364863024706819081*c_1100_0^2 - 5140234722717720794250620/979069364863024706819081*c_1100_0 + 16771447479572400281584/979069364863024706819081, c_1100_0^11 - c_1100_0^10 + 8*c_1100_0^9 + 805*c_1100_0^8 - 6141*c_1100_0^7 + 27024*c_1100_0^6 - 29199*c_1100_0^5 + 14318*c_1100_0^4 - 2541*c_1100_0^3 - 10*c_1100_0^2 - c_1100_0 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.500 Total time: 0.710 seconds, Total memory usage: 32.09MB