Magma V2.19-8 Tue Aug 20 2013 23:44:27 on localhost [Seed = 2395532038] Type ? for help. Type -D to quit. Loading file "L14n38223__sl2_c3.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n38223 geometric_solution 10.10384278 oriented_manifold CS_known 0.0000000000000007 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 11 1 2 3 4 0132 0132 0132 0132 1 1 1 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 1 -1 0 0 1 -1 0 0 0 0 6 -1 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.161024419273 0.707925211555 0 3 6 5 0132 3120 0132 0132 1 1 0 1 0 0 1 -1 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 -5 5 0 0 0 0 -6 5 0 1 0 -6 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.476650594206 0.546670692275 7 0 8 7 0132 0132 0132 2031 1 1 0 1 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 5 -5 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.644824236910 0.654482789626 5 1 8 0 0132 3120 1023 0132 1 1 0 1 0 -1 1 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 6 -5 -1 0 0 1 -1 0 -5 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.689750419648 0.425460303498 9 8 0 6 0132 0132 0132 3012 1 1 1 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 1 0 -6 0 1 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.815708453936 0.484226042708 3 7 1 10 0132 0213 0132 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 5 -5 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.804507847670 0.913148908351 10 8 4 1 0321 3012 1230 0132 1 1 1 1 0 0 1 -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 -5 5 0 0 0 0 6 0 0 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.745123951945 1.082326259169 2 2 5 9 0132 1302 0213 2031 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 5 -5 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.236122397267 0.775319406053 6 4 3 2 1230 0132 1023 0132 1 1 1 1 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 1 -1 0 0 0 5 -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 1.147318014301 0.591662916528 4 7 10 10 0132 1302 2031 0321 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 -6 6 6 0 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.625950415322 0.570833018171 6 9 5 9 0321 0321 0132 1302 1 1 1 1 0 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 -6 0 6 0 0 0 0 -6 0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.366598627552 1.013031170325 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_10' : d['c_1001_10'], 'c_1001_5' : negation(d['c_0011_3']), 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : negation(d['c_0011_3']), 'c_1001_6' : d['c_0011_4'], 'c_1001_1' : negation(d['c_0101_8']), 'c_1001_0' : d['c_0011_0'], 'c_1001_3' : d['c_0101_8'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0011_6'], 'c_1001_8' : d['c_0101_10'], 'c_1010_10' : negation(d['c_1001_10']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], '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' : negation(d['1']), 's_2_5' : negation(d['1']), 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_10' : negation(d['1']), 's_0_8' : d['1'], 's_0_9' : negation(d['1']), 's_0_6' : d['1'], 's_0_7' : negation(d['1']), 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_9' : d['c_1001_10'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_0101_9'], 'c_1100_4' : negation(d['c_0011_4']), 'c_1100_7' : d['c_1001_10'], 'c_1100_6' : d['c_0101_9'], 'c_1100_1' : d['c_0101_9'], 'c_1100_0' : negation(d['c_0011_4']), 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_4'], 'c_1100_10' : d['c_0101_9'], 'c_1010_7' : negation(d['c_0011_4']), 'c_1010_6' : negation(d['c_0101_8']), 'c_1010_5' : d['c_1001_10'], 'c_1010_4' : d['c_0101_10'], 'c_1010_3' : d['c_0011_0'], 'c_1010_2' : d['c_0011_0'], 'c_1010_1' : negation(d['c_0011_3']), 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : negation(d['c_1001_10']), 'c_1010_8' : d['c_1001_2'], 'c_1100_8' : d['c_0011_4'], 's_3_1' : negation(d['1']), 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : negation(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' : negation(d['1']), 's_3_8' : d['1'], 's_1_7' : negation(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_4']), 'c_0011_8' : negation(d['c_0011_4']), 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_0'], '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_10' : negation(d['c_0011_6']), 'c_0101_7' : negation(d['c_0011_3']), 'c_0101_6' : negation(d['c_0101_10']), 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : negation(d['c_0011_10']), 'c_0101_3' : d['c_0101_10'], 'c_0101_2' : d['c_0011_6'], 'c_0101_1' : negation(d['c_0011_10']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : d['c_0101_8'], 's_1_10' : negation(d['1']), 'c_0110_9' : negation(d['c_0011_10']), 'c_0110_8' : d['c_0011_6'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_10']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_3']), 'c_0110_5' : d['c_0101_10'], 'c_0110_4' : d['c_0101_9'], 'c_0110_7' : d['c_0011_6'], 'c_0110_6' : negation(d['c_0011_10'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 12 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_10, c_0101_8, c_0101_9, c_1001_10, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 11 Groebner basis: [ t - 3109299905234777380912250/137997202148455021622327*c_1001_2^10 - 132319423324504707558680407/551988808593820086489308*c_1001_2^9 + 66498663168708776965487971/275994404296910043244654*c_1001_2^8 + 198532987494648159281833109/551988808593820086489308*c_1001_2^7 - 1691415713996100467966485/913888755950033255777*c_1001_2^6 - 738361374931902157568963966/137997202148455021622327*c_1001_2^5 - 3804696314705770888831986453/551988808593820086489308*c_1001_2^4 - 958580291548470930239359947/275994404296910043244654*c_1001_2^3 - 287081199380976424442073735/551988808593820086489308*c_1001_2^2 + 20127988913510711497081327/17806090599800647951268*c_1001_2 - 47992806603205395221955255/275994404296910043244654, c_0011_0 - 1, c_0011_10 + 1, c_0011_3 + 75166301177399901345/57811982466885220621*c_1001_2^10 + 6378942237882087388755/462495859735081764968*c_1001_2^9 - 829204470565955173844/57811982466885220621*c_1001_2^8 - 9468128961532920353905/462495859735081764968*c_1001_2^7 + 164355256437520297437/1531443244155899884*c_1001_2^6 + 17707474581312394878794/57811982466885220621*c_1001_2^5 + 178940254415751889975153/462495859735081764968*c_1001_2^4 + 10590604206385813035874/57811982466885220621*c_1001_2^3 + 8086585576026933091863/462495859735081764968*c_1001_2^2 - 1033593786061551436673/14919221281776831128*c_1001_2 + 676810442803534635932/57811982466885220621, c_0011_4 - 3490607879396170332/57811982466885220621*c_1001_2^10 - 75799393897898844485/115623964933770441242*c_1001_2^9 + 29373786338783070427/57811982466885220621*c_1001_2^8 + 132058623000931989735/115623964933770441242*c_1001_2^7 - 1805679350653301017/382860811038974971*c_1001_2^6 - 903008644106297547252/57811982466885220621*c_1001_2^5 - 2465975472740654780543/115623964933770441242*c_1001_2^4 - 690802919863708226642/57811982466885220621*c_1001_2^3 - 236375438455708365529/115623964933770441242*c_1001_2^2 + 14191094745755394331/3729805320444207782*c_1001_2 + 10523026203913702583/57811982466885220621, c_0011_6 + 21008012899133117472/57811982466885220621*c_1001_2^10 + 223440292277892916556/57811982466885220621*c_1001_2^9 - 226332203577024409512/57811982466885220621*c_1001_2^8 - 344711857534816257627/57811982466885220621*c_1001_2^7 + 11551066946640163191/382860811038974971*c_1001_2^6 + 4995733472319932779643/57811982466885220621*c_1001_2^5 + 6298868806217247677288/57811982466885220621*c_1001_2^4 + 3064015325707448075003/57811982466885220621*c_1001_2^3 + 350512027115261803981/57811982466885220621*c_1001_2^2 - 34969699996528127541/1864902660222103891*c_1001_2 + 139809576150886100107/57811982466885220621, c_0101_0 + 23644478131485759019/57811982466885220621*c_1001_2^10 + 1990416547948487361233/462495859735081764968*c_1001_2^9 - 281300757826108324514/57811982466885220621*c_1001_2^8 - 2717660494516269260411/462495859735081764968*c_1001_2^7 + 52273031187819356835/1531443244155899884*c_1001_2^6 + 5379864858349572401671/57811982466885220621*c_1001_2^5 + 53212579118590181669971/462495859735081764968*c_1001_2^4 + 2970856879034530678168/57811982466885220621*c_1001_2^3 + 2097974029844230755381/462495859735081764968*c_1001_2^2 - 313488963983136898563/14919221281776831128*c_1001_2 + 264749833136249447759/57811982466885220621, c_0101_10 - 259571281047335624/57811982466885220621*c_1001_2^10 - 2923347054212452419/57811982466885220621*c_1001_2^9 + 1581061157146344925/57811982466885220621*c_1001_2^8 + 11478261873727169132/57811982466885220621*c_1001_2^7 - 165886531023476362/382860811038974971*c_1001_2^6 - 90535806751132861018/57811982466885220621*c_1001_2^5 - 59595322896958098625/57811982466885220621*c_1001_2^4 + 42690016767534820426/57811982466885220621*c_1001_2^3 + 31509357752868811897/57811982466885220621*c_1001_2^2 + 186415120775020944/1864902660222103891*c_1001_2 - 31539094762442591017/57811982466885220621, c_0101_8 + 26753908041616776900/57811982466885220621*c_1001_2^10 + 562018646300192616835/115623964933770441242*c_1001_2^9 - 324575576114326973416/57811982466885220621*c_1001_2^8 - 773645904211881512383/115623964933770441242*c_1001_2^7 + 14961239208843385089/382860811038974971*c_1001_2^6 + 6039839441223851701479/57811982466885220621*c_1001_2^5 + 14662882405729872028791/115623964933770441242*c_1001_2^4 + 3107973665421238990037/57811982466885220621*c_1001_2^3 + 200873597343586183427/115623964933770441242*c_1001_2^2 - 91471956681319811121/3729805320444207782*c_1001_2 + 312520098401754767629/57811982466885220621, c_0101_9 + 22501328636193874880/57811982466885220621*c_1001_2^10 + 239369707638114749816/57811982466885220621*c_1001_2^9 - 240213968396207364706/57811982466885220621*c_1001_2^8 - 353203696065913710113/57811982466885220621*c_1001_2^7 + 12126623873086244018/382860811038974971*c_1001_2^6 + 5347761280123523570904/57811982466885220621*c_1001_2^5 + 6946591666954605759310/57811982466885220621*c_1001_2^4 + 3510601737359170298423/57811982466885220621*c_1001_2^3 + 495636571512068850904/57811982466885220621*c_1001_2^2 - 37881431529074678978/1864902660222103891*c_1001_2 + 154797081712884722226/57811982466885220621, c_1001_10 + 24916009388870373476/57811982466885220621*c_1001_2^10 + 532208750960440441515/115623964933770441242*c_1001_2^9 - 254719017716930812451/57811982466885220621*c_1001_2^8 - 800879906308436819639/115623964933770441242*c_1001_2^7 + 13341216668948416623/382860811038974971*c_1001_2^6 + 6000192097793669267684/57811982466885220621*c_1001_2^5 + 15868645083618710779791/115623964933770441242*c_1001_2^4 + 4301019198250253675338/57811982466885220621*c_1001_2^3 + 1703578089461297457417/115623964933770441242*c_1001_2^2 - 79004980109212557657/3729805320444207782*c_1001_2 + 150048184977866548495/57811982466885220621, c_1001_2^11 + 83/8*c_1001_2^10 - 27/2*c_1001_2^9 - 105/8*c_1001_2^8 + 345/4*c_1001_2^7 + 216*c_1001_2^6 + 1945/8*c_1001_2^5 + 147/2*c_1001_2^4 - 145/8*c_1001_2^3 - 451/8*c_1001_2^2 + 41/2*c_1001_2 - 2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB