Magma V2.19-8 Tue Aug 20 2013 23:47:49 on localhost [Seed = 3330321580] Type ? for help. Type -D to quit. Loading file "L11n223__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L11n223 geometric_solution 11.92090573 oriented_manifold CS_known -0.0000000000000000 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 12 1 1 2 3 0132 1230 0132 0132 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 0 1 0 -1 -1 0 1 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.621951363916 0.793354336559 0 4 0 5 0132 0132 3012 0132 0 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 0 0 0 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.387984464967 0.780680302240 6 7 8 0 0132 0132 0132 0132 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 0 -1 1 -1 0 0 -2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.823571140036 0.962049384656 9 9 0 8 0132 1302 0132 2031 0 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 0 0 0 0 0 2 1 -3 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.641558140001 0.982626305870 10 1 9 10 0132 0132 0321 2031 0 0 1 0 0 0 -1 1 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 2 -2 0 0 0 0 0 -1 0 1 2 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.327632893043 0.898167137546 11 8 1 7 0132 3012 0132 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.184420508563 1.005627065877 2 9 11 11 0132 2103 0132 0321 1 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 1 -6 5 -1 0 0 1 2 -2 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.621951363916 0.793354336559 10 2 5 8 3120 0132 1230 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.344148061251 0.644062384691 5 3 7 2 1230 1302 2031 0132 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 0 0 0 0 0 0 0 -1 3 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.344148061251 0.644062384691 3 6 4 3 0132 2103 0321 2031 0 0 1 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 2 -2 0 0 0 2 -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.327632893043 0.898167137546 4 4 11 7 0132 1302 3120 3120 0 0 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 -1 1 0 0 0 0 -2 2 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.641558140001 0.982626305870 5 6 10 6 0132 0321 3120 0132 1 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 -5 -1 6 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.387984464967 0.780680302240 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0101_10']), 'c_1001_10' : d['c_0101_10'], 'c_1001_5' : negation(d['c_0011_8']), 'c_1001_4' : negation(d['c_0011_8']), 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : negation(d['c_0011_3']), 'c_1001_1' : negation(d['c_0011_0']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0011_2']), 'c_1001_8' : negation(d['c_0101_4']), 'c_1010_11' : negation(d['c_0011_3']), 'c_1010_10' : d['c_0011_2'], 's_0_10' : d['1'], 's_0_11' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], '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' : negation(d['c_0011_8']), 'c_0011_10' : negation(d['c_0011_0']), 'c_1100_5' : negation(d['c_1001_0']), 'c_1100_4' : negation(d['c_0011_2']), 'c_1100_7' : d['c_0101_11'], 'c_1100_6' : negation(d['c_0101_10']), 'c_1100_1' : negation(d['c_1001_0']), 'c_1100_0' : negation(d['c_1001_2']), 'c_1100_3' : negation(d['c_1001_2']), 'c_1100_2' : negation(d['c_1001_2']), 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0101_10']), 'c_1100_10' : negation(d['c_0101_11']), 's_3_10' : d['1'], 'c_1010_7' : d['c_1001_2'], 'c_1010_6' : negation(d['c_0011_3']), 'c_1010_5' : negation(d['c_0101_11']), 'c_1010_4' : negation(d['c_0011_0']), 'c_1010_3' : d['c_0011_8'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0011_8']), 'c_1010_0' : d['c_0101_1'], 'c_1010_9' : d['c_0011_3'], 'c_1010_8' : d['c_1001_2'], 'c_1100_8' : negation(d['c_1001_2']), '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_8'], 'c_0011_5' : negation(d['c_0011_11']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_2']), 'c_0011_6' : negation(d['c_0011_2']), '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' : d['c_0011_2'], 'c_0110_11' : d['c_0101_0'], 'c_0110_10' : d['c_0101_4'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_11'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : negation(d['c_0011_11']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0101_4']), 'c_0101_8' : d['c_0101_11'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_1'], 'c_0110_8' : negation(d['c_0011_11']), 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : negation(d['c_0101_4']), 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_11'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : d['c_0101_4'], 'c_0110_6' : negation(d['c_0011_11'])})} 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_11, c_0011_2, c_0011_3, c_0011_8, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_4, c_1001_0, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t - 4731079975113380405552966210424/71096402114305203044075077*c_1001_2\ ^13 + 208723905386346755636545902438992/497674814800136421308525539\ *c_1001_2^12 - 114539839535603669456745421905524/213289206342915609\ 132225231*c_1001_2^11 - 113848522344121291219345479647266/149302444\ 4400409263925576617*c_1001_2^10 + 228202633167191211784070848431593\ /2986048888800818527851153234*c_1001_2^9 + 3362838876142512094381969103459933/2986048888800818527851153234*c_1\ 001_2^8 - 157849975849185733410651015985493/71096402114305203044075\ 077*c_1001_2^7 + 954238322353478724578832612113449/4976748148001364\ 21308525539*c_1001_2^6 - 1947704209374216114991910897372431/1493024\ 444400409263925576617*c_1001_2^5 + 199652105513468617764093093493601/213289206342915609132225231*c_100\ 1_2^4 - 898629921819746275166569044120742/1493024444400409263925576\ 617*c_1001_2^3 + 112378665047857020588551085535639/4976748148001364\ 21308525539*c_1001_2^2 - 556357893479336750706686379198131/11944195\ 555203274111404612936*c_1001_2 + 3591367314271432739011243498239/39\ 81398518401091370468204312, c_0011_0 - 1, c_0011_11 - 121229850913072771993499616/71096402114305203044075077*c_10\ 01_2^13 + 869623148831488647036884768/71096402114305203044075077*c_\ 1001_2^12 - 4698382266931518970279187216/21328920634291560913222523\ 1*c_1001_2^11 + 668303696801969331762217912/21328920634291560913222\ 5231*c_1001_2^10 + 869842663970464215627094930/71096402114305203044\ 075077*c_1001_2^9 + 6444046038559812134040114832/213289206342915609\ 132225231*c_1001_2^8 - 18036292190214965907178095154/21328920634291\ 5609132225231*c_1001_2^7 + 16699553341465705372199608966/2132892063\ 42915609132225231*c_1001_2^6 - 8518166604161885693937585344/2132892\ 06342915609132225231*c_1001_2^5 + 5832551415891553889555877565/2132\ 89206342915609132225231*c_1001_2^4 - 4624879290681612334441100069/213289206342915609132225231*c_1001_2^3 + 1403526497512848365206085882/213289206342915609132225231*c_1001_2\ ^2 + 235522052401544697826609527/142192804228610406088150154*c_1001\ _2 + 1457479570537098284771063/142192804228610406088150154, c_0011_2 + 3894147027788878900529491776/71096402114305203044075077*c_10\ 01_2^13 - 24046728628266304635604813952/71096402114305203044075077*\ c_1001_2^12 + 85786082372596876107673400864/21328920634291560913222\ 5231*c_1001_2^11 + 6682045149665266191488593776/7109640211430520304\ 4075077*c_1001_2^10 - 6270317512826107677997518676/2132892063429156\ 09132225231*c_1001_2^9 - 65262737404111506042402650204/710964021143\ 05203044075077*c_1001_2^8 + 364164791751486242882159900396/21328920\ 6342915609132225231*c_1001_2^7 - 303108834354339424904259486124/213\ 289206342915609132225231*c_1001_2^6 + 210384382185493678921904314496/213289206342915609132225231*c_1001_2\ ^5 - 150899043938424896909907169460/213289206342915609132225231*c_1\ 001_2^4 + 94375632087096378477890024584/213289206342915609132225231\ *c_1001_2^3 - 11472538541398299327434943658/71096402114305203044075\ 077*c_1001_2^2 + 2402922590777629401184752642/710964021143052030440\ 75077*c_1001_2 - 73708449136572365381945029/21328920634291560913222\ 5231, c_0011_3 - 6302896216823812613364310656/71096402114305203044075077*c_10\ 01_2^13 + 39452945402690870606544268864/71096402114305203044075077*\ c_1001_2^12 - 148176284995008110730815371744/2132892063429156091322\ 25231*c_1001_2^11 - 23857128421304293610783927168/21328920634291560\ 9132225231*c_1001_2^10 + 5286777069576767840764272760/7109640211430\ 5203044075077*c_1001_2^9 + 106131089824962407039042684500/710964021\ 14305203044075077*c_1001_2^8 - 205429494390752405120043025874/71096\ 402114305203044075077*c_1001_2^7 + 530773430976684658161221248846/213289206342915609132225231*c_1001_2\ ^6 - 122777868864612071362160653584/71096402114305203044075077*c_10\ 01_2^5 + 264811120411761099534587266892/213289206342915609132225231\ *c_1001_2^4 - 168395139122809759381777279537/2132892063429156091322\ 25231*c_1001_2^3 + 64108638726259828037329118599/213289206342915609\ 132225231*c_1001_2^2 - 14300438086020614336030808379/21328920634291\ 5609132225231*c_1001_2 + 658425135939806073970557530/21328920634291\ 5609132225231, c_0011_8 + 135742802424007694661252672/71096402114305203044075077*c_100\ 1_2^13 - 1350260261840212561945326656/71096402114305203044075077*c_\ 1001_2^12 + 11847212983549993094672424800/2132892063429156091322252\ 31*c_1001_2^11 - 6953479314075946071383070160/213289206342915609132\ 225231*c_1001_2^10 - 5960464477042009278406559956/21328920634291560\ 9132225231*c_1001_2^9 - 8537326149442923644258518424/21328920634291\ 5609132225231*c_1001_2^8 + 37807974705203553790776358492/2132892063\ 42915609132225231*c_1001_2^7 - 48116098305040188991709747372/213289\ 206342915609132225231*c_1001_2^6 + 10663828990865602558214045032/71096402114305203044075077*c_1001_2^5 - 23021522861899168938330220448/213289206342915609132225231*c_1001_\ 2^4 + 16585138067521684217680722148/213289206342915609132225231*c_1\ 001_2^3 - 2926198790985365883062527904/71096402114305203044075077*c\ _1001_2^2 + 2105257764660963355439553554/21328920634291560913222523\ 1*c_1001_2 - 290999685779424980527233587/21328920634291560913222523\ 1, c_0101_0 - 1, c_0101_1 + 1435364998550840884727326560/71096402114305203044075077*c_10\ 01_2^13 - 8942585551004532765725206784/71096402114305203044075077*c\ _1001_2^12 + 32884342362988751265697601840/213289206342915609132225\ 231*c_1001_2^11 + 2247901481186698996797068872/71096402114305203044\ 075077*c_1001_2^10 - 3332022875221603232660924726/21328920634291560\ 9132225231*c_1001_2^9 - 73201808691894749973235114834/2132892063429\ 15609132225231*c_1001_2^8 + 137513729015033456041796565770/21328920\ 6342915609132225231*c_1001_2^7 - 115799131232233648511005856660/213\ 289206342915609132225231*c_1001_2^6 + 26713940214056374661911179446/71096402114305203044075077*c_1001_2^5 - 19424132462765408628112390050/71096402114305203044075077*c_1001_2\ ^4 + 12090139201964563542342073697/71096402114305203044075077*c_100\ 1_2^3 - 13219051941574710109107114034/213289206342915609132225231*c\ _1001_2^2 + 6090293937183575311491109417/42657841268583121826445046\ 2*c_1001_2 - 94346492802647546770848917/142192804228610406088150154\ , c_0101_10 - 4885725539435347882597068576/71096402114305203044075077*c_1\ 001_2^13 + 30982569272188652938633718016/71096402114305203044075077\ *c_1001_2^12 - 40611145457822594470865182096/7109640211430520304407\ 5077*c_1001_2^11 - 4130763627491357436114597432/7109640211430520304\ 4075077*c_1001_2^10 + 5801550418444258229709401878/7109640211430520\ 3044075077*c_1001_2^9 + 82493447021973753127894746218/7109640211430\ 5203044075077*c_1001_2^8 - 166058575379707490599842156616/710964021\ 14305203044075077*c_1001_2^7 + 147115856692279597350070824976/71096\ 402114305203044075077*c_1001_2^6 - 101096109367594552446461130926/71096402114305203044075077*c_1001_2^\ 5 + 72287272437485733167234547484/71096402114305203044075077*c_1001\ _2^4 - 46648079051301495842989141070/71096402114305203044075077*c_1\ 001_2^3 + 18363814615976365556814598716/71096402114305203044075077*\ c_1001_2^2 - 7893524943966910251971181171/1421928042286104060881501\ 54*c_1001_2 + 297101352145152297120318415/1421928042286104060881501\ 54, c_0101_11 + 1519089892704818691438691200/71096402114305203044075077*c_1\ 001_2^13 - 9836483302961971529657388352/71096402114305203044075077*\ c_1001_2^12 + 41763612571953500530504522624/21328920634291560913222\ 5231*c_1001_2^11 - 1189359730580622386972827648/2132892063429156091\ 32225231*c_1001_2^10 - 6535275343070936692710389416/213289206342915\ 609132225231*c_1001_2^9 - 75577283978959011067104470692/21328920634\ 2915609132225231*c_1001_2^8 + 55283640597086027315472438880/7109640\ 2114305203044075077*c_1001_2^7 - 158070063211337398201256920844/213\ 289206342915609132225231*c_1001_2^6 + 110798850761819884691084712340/213289206342915609132225231*c_1001_2\ ^5 - 25919171618217715290208560312/71096402114305203044075077*c_100\ 1_2^4 + 17077181768319684716145004868/71096402114305203044075077*c_\ 1001_2^3 - 21933695180414256449934647714/21328920634291560913222523\ 1*c_1001_2^2 + 1728920118824327227153985601/71096402114305203044075\ 077*c_1001_2 - 341726912153876158868681596/213289206342915609132225\ 231, c_0101_4 - 730741845830949848724819168/71096402114305203044075077*c_100\ 1_2^13 + 4984180614819174122441025664/71096402114305203044075077*c_\ 1001_2^12 - 24429459804670890202993802704/2132892063429156091322252\ 31*c_1001_2^11 + 4183139955828974109655431304/213289206342915609132\ 225231*c_1001_2^10 + 6100145953815672892475398078/21328920634291560\ 9132225231*c_1001_2^9 + 37447650758265518949641521210/2132892063429\ 15609132225231*c_1001_2^8 - 30688575354531949518706576272/710964021\ 14305203044075077*c_1001_2^7 + 93958396653468064386698722658/213289\ 206342915609132225231*c_1001_2^6 - 65154681788726611492142727046/213289206342915609132225231*c_1001_2^\ 5 + 15279434557221778425247747888/71096402114305203044075077*c_1001\ _2^4 - 10333126514246949940376724268/71096402114305203044075077*c_1\ 001_2^3 + 14088196916954139785128093115/213289206342915609132225231\ *c_1001_2^2 - 2338075006771081096735610953/142192804228610406088150\ 154*c_1001_2 + 605152352293413199311049079/426578412685831218264450\ 462, c_1001_0 - 2011842425648555365953126816/71096402114305203044075077*c_10\ 01_2^13 + 12390407757957409433283132960/71096402114305203044075077*\ c_1001_2^12 - 14531466295183153084207085072/71096402114305203044075\ 077*c_1001_2^11 - 3905162609969437779852464200/71096402114305203044\ 075077*c_1001_2^10 + 3454682550968507755575907442/21328920634291560\ 9132225231*c_1001_2^9 + 101821993812024257421518427092/213289206342\ 915609132225231*c_1001_2^8 - 62125032921599568963814405814/71096402\ 114305203044075077*c_1001_2^7 + 151753579040211752750352689120/2132\ 89206342915609132225231*c_1001_2^6 - 103637621773444838527850597018/213289206342915609132225231*c_1001_2\ ^5 + 75224839967382818088420197183/213289206342915609132225231*c_10\ 01_2^4 - 47158039172562337423262410063/213289206342915609132225231*\ c_1001_2^3 + 16738738900473004440589450421/213289206342915609132225\ 231*c_1001_2^2 - 6661814775380978829377268287/426578412685831218264\ 450462*c_1001_2 - 143823842134456555255995613/426578412685831218264\ 450462, c_1001_2^14 - 19/3*c_1001_2^13 + 149/18*c_1001_2^12 + 29/36*c_1001_2^11 - 151/144*c_1001_2^10 - 1213/72*c_1001_2^9 + 4871/144*c_1001_2^8 - 1085/36*c_1001_2^7 + 21*c_1001_2^6 - 271/18*c_1001_2^5 + 697/72*c_1001_2^4 - 31/8*c_1001_2^3 + 521/576*c_1001_2^2 - 19/288*c_1001_2 + 1/576 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.100 Total time: 0.310 seconds, Total memory usage: 32.09MB