Magma V2.19-8 Tue Aug 20 2013 23:56:03 on localhost [Seed = 1999707984] Type ? for help. Type -D to quit. Loading file "L14n13931__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n13931 geometric_solution 10.80879637 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 0 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 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 1.042942014231 0.992550360770 0 5 7 6 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.274036506856 0.852037493469 8 0 5 9 0132 0132 0132 0132 1 1 1 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 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.274036506856 0.852037493469 6 9 8 0 0132 1023 1023 0132 1 1 1 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 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.656158066143 0.129215024047 8 7 0 10 3012 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 1 0 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 1.141149007437 1.147032631128 11 1 7 2 0132 0132 1023 0132 1 1 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.478402306743 0.818479704937 3 10 1 9 0132 2310 0132 1023 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 0 0 0 -1 0 0 1 0 1 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.664762746568 0.604737951598 11 4 5 1 2031 0132 1023 0132 1 1 0 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 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.346573285427 0.956861332497 2 11 3 4 0132 0132 1023 1230 1 1 0 1 0 -1 1 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 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.664762746568 0.604737951598 3 10 2 6 1023 2031 0132 1023 1 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 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 1.042942014231 0.992550360770 9 11 4 6 1302 1302 0132 3201 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 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.564098374500 0.438149080577 5 8 7 10 0132 0132 1302 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 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.346573285427 0.956861332497 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_1'], 'c_1001_10' : d['c_0101_5'], 'c_1001_5' : d['c_0101_7'], 'c_1001_4' : d['c_1001_1'], 'c_1001_7' : d['c_0101_5'], 'c_1001_6' : d['c_0101_7'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0110_10']), 'c_1001_3' : d['c_0101_8'], 'c_1001_2' : d['c_1001_1'], 'c_1001_9' : negation(d['c_0110_10']), 'c_1001_8' : d['c_0011_10'], 'c_1010_11' : d['c_0011_10'], 'c_1010_10' : negation(d['c_0101_7']), 's_0_10' : d['1'], 's_0_11' : negation(d['1']), 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0011_4'], 'c_0101_10' : negation(d['c_0011_3']), 's_2_0' : d['1'], 's_2_1' : negation(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' : negation(d['1']), 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : negation(d['1']), 's_0_4' : d['1'], 's_0_5' : negation(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' : negation(d['c_0011_0']), 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : negation(d['c_1100_1']), 'c_1100_4' : d['c_0011_3'], 'c_1100_7' : d['c_1100_1'], 'c_1100_6' : d['c_1100_1'], 'c_1100_1' : d['c_1100_1'], 'c_1100_0' : d['c_0011_3'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : negation(d['c_1100_1']), 's_3_11' : d['1'], 'c_1100_9' : negation(d['c_1100_1']), 'c_1100_11' : d['c_0101_7'], 'c_1100_10' : d['c_0011_3'], 's_3_10' : d['1'], 'c_1010_7' : d['c_1001_1'], 'c_1010_6' : negation(d['c_0110_10']), 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_0101_5'], 'c_1010_3' : negation(d['c_0110_10']), 'c_1010_2' : negation(d['c_0110_10']), 'c_1010_1' : d['c_0101_7'], 'c_1010_0' : d['c_1001_1'], 'c_1010_9' : d['c_0011_10'], 'c_1010_8' : d['c_0101_1'], 'c_1100_8' : negation(d['c_0011_3']), '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' : negation(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' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_3'], 'c_0011_8' : d['c_0011_0'], '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' : negation(d['c_0011_3']), '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' : d['c_0101_5'], 'c_0110_10' : d['c_0110_10'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_10'], '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_8'], 'c_0101_8' : d['c_0101_8'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0110_10']), 'c_0110_8' : d['c_0011_4'], '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_8'], 'c_0110_5' : d['c_0011_4'], 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0011_10']})} 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_0101_0, c_0101_1, c_0101_5, c_0101_7, c_0101_8, c_0110_10, c_1001_1, c_1100_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t + 16326331621045875894635050019017270406908/1615662812969339608803359\ 4734946829735*c_1100_1^11 + 672463479864817210693006688361899296136\ 414/16156628129693396088033594734946829735*c_1100_1^10 + 27081791816446559194110289745344989810181976/1615662812969339608803\ 3594734946829735*c_1100_1^9 + 4312684095880455021016806463533772390\ 069233/1900779779963928951533364086464332910*c_1100_1^8 + 90687995268723890457793134501201770365157453/6462651251877358435213\ 437893978731894*c_1100_1^7 + 82758774370844987289055857272791669011\ 138257/32313256259386792176067189469893659470*c_1100_1^6 - 151420395206311905826319345652011094412588859/323132562593867921760\ 67189469893659470*c_1100_1^5 - 576260788906211963309197306533440351\ 131121459/32313256259386792176067189469893659470*c_1100_1^4 + 15723348083409371078745101334774001678595649/1615662812969339608803\ 3594734946829735*c_1100_1^3 + 1501981830825634978146406697142931934\ 5675782/3231325625938679217606718946989365947*c_1100_1^2 + 14429858638783573359542973247335005180500077/6462651251877358435213\ 437893978731894*c_1100_1 - 8317110514611671010231967398510904664899\ 093/16156628129693396088033594734946829735, c_0011_0 - 1, c_0011_10 + 71772845330248826591163807666/45571320545766697471430450406\ 721*c_1100_1^11 + 2955067211646051157851370049474/45571320545766697\ 471430450406721*c_1100_1^10 + 119003633478525868790638581812946/455\ 71320545766697471430450406721*c_1100_1^9 + 159066308844468476926881918996730/45571320545766697471430450406721*\ c_1100_1^8 + 988618755036791470100717701264342/45571320545766697471\ 430450406721*c_1100_1^7 + 157277906266389692737938164229495/4557132\ 0545766697471430450406721*c_1100_1^6 - 386139416973106989353453633148094/45571320545766697471430450406721*\ c_1100_1^5 - 1285350513437164257034763664865037/4557132054576669747\ 1430450406721*c_1100_1^4 + 65774927393498332395470513222954/4557132\ 0545766697471430450406721*c_1100_1^3 + 362976460916128982295647105924213/45571320545766697471430450406721*\ c_1100_1^2 + 153717845759296122038723581550447/45571320545766697471\ 430450406721*c_1100_1 - 12922511002522089254850918597156/4557132054\ 5766697471430450406721, c_0011_3 + 161183295991547606441274927768/45571320545766697471430450406\ 721*c_1100_1^11 + 6662815481002467246341698587248/45571320545766697\ 471430450406721*c_1100_1^10 + 268364694105976812155104296725771/455\ 71320545766697471430450406721*c_1100_1^9 + 402086126908239400749903213883644/45571320545766697471430450406721*\ c_1100_1^8 + 2316423985811691627479179695906390/4557132054576669747\ 1430450406721*c_1100_1^7 + 790044199524510489111623474479904/455713\ 20545766697471430450406721*c_1100_1^6 - 445629004111838165292317082691595/45571320545766697471430450406721*\ c_1100_1^5 - 2743703748393331986355560216584750/4557132054576669747\ 1430450406721*c_1100_1^4 - 150057013825446161928097442425473/455713\ 20545766697471430450406721*c_1100_1^3 + 570818699584342434360779850605676/45571320545766697471430450406721*\ c_1100_1^2 + 360991741861960061397839262596487/45571320545766697471\ 430450406721*c_1100_1 - 71970342700548501374285188778385/4557132054\ 5766697471430450406721, c_0011_4 + 1049572395159823513763728084581/7747124492780338570143176569\ 14257*c_1100_1^11 + 42720946080251323409443160055678/77471244927803\ 3857014317656914257*c_1100_1^10 + 172004999709803566973643354755320\ 5/774712449278033857014317656914257*c_1100_1^9 + 1512588159248929884466989126996361/77471244927803385701431765691425\ 7*c_1100_1^8 + 13493767782451746350337275399131318/7747124492780338\ 57014317656914257*c_1100_1^7 - 4290669827432490707066135156097064/7\ 74712449278033857014317656914257*c_1100_1^6 - 5653538405039563712820104393792337/77471244927803385701431765691425\ 7*c_1100_1^5 - 15694697023466504416261724127248687/7747124492780338\ 57014317656914257*c_1100_1^4 + 9402877004479967071986283757451881/7\ 74712449278033857014317656914257*c_1100_1^3 + 4289459601598535545101496154844809/77471244927803385701431765691425\ 7*c_1100_1^2 + 568949047492917025763688381876543/774712449278033857\ 014317656914257*c_1100_1 - 702733815680075404190726597200579/774712\ 449278033857014317656914257, c_0101_0 - 1, c_0101_1 + 14115793233167943401328250121594/774712449278033857014317656\ 914257*c_1100_1^11 + 580985322770807895670150434445593/774712449278\ 033857014317656914257*c_1100_1^10 + 23397236748053185197240806721681150/7747124492780338570143176569142\ 57*c_1100_1^9 + 30978912183355131259043179966477834/774712449278033\ 857014317656914257*c_1100_1^8 + 19487109232340671278258388069792151\ 0/774712449278033857014317656914257*c_1100_1^7 + 29130567012312971229234566411088975/7747124492780338570143176569142\ 57*c_1100_1^6 - 68821835646301882691487356678932789/774712449278033\ 857014317656914257*c_1100_1^5 - 25155428788172242040263566966925820\ 0/774712449278033857014317656914257*c_1100_1^4 + 19052981385623429462539293315110065/7747124492780338570143176569142\ 57*c_1100_1^3 + 65816882378139484919594265426716796/774712449278033\ 857014317656914257*c_1100_1^2 + 31874352337689504033315019562196353\ /774712449278033857014317656914257*c_1100_1 - 7696727037941161055764800965188645/77471244927803385701431765691425\ 7, c_0101_5 + 66011938306351698469536302769/455713205457666974714304504067\ 21*c_1100_1^11 + 2705406113460624281554569868600/455713205457666974\ 71430450406721*c_1100_1^10 + 108943468288121583963796918227763/4557\ 1320545766697471430450406721*c_1100_1^9 + 125831458903562131390479669281771/45571320545766697471430450406721*\ c_1100_1^8 + 890042767102667316286468074670944/45571320545766697471\ 430450406721*c_1100_1^7 - 23249442111564192114652484854435/45571320\ 545766697471430450406721*c_1100_1^6 - 321880157643335282885960269704792/45571320545766697471430450406721*\ c_1100_1^5 - 1171344916560915051981143953947354/4557132054576669747\ 1430450406721*c_1100_1^4 + 231066820361533696041137224137302/455713\ 20545766697471430450406721*c_1100_1^3 + 203683066526066070757871189387205/45571320545766697471430450406721*\ c_1100_1^2 + 118258753021012998789104167457037/45571320545766697471\ 430450406721*c_1100_1 - 35751512695684272498973076087495/4557132054\ 5766697471430450406721, c_0101_7 + 122697858437707525676496954661/45571320545766697471430450406\ 721*c_1100_1^11 + 5041254090862557179033613660496/45571320545766697\ 471430450406721*c_1100_1^10 + 202995934794605238927567005816047/455\ 71320545766697471430450406721*c_1100_1^9 + 254011902464576660598855108184593/45571320545766697471430450406721*\ c_1100_1^8 + 1647849288058340289763162569981726/4557132054576669747\ 1430450406721*c_1100_1^7 + 81204767376574420407897388482922/4557132\ 0545766697471430450406721*c_1100_1^6 - 872975277260210748972869151977170/45571320545766697471430450406721*\ c_1100_1^5 - 2340089021347898513684516955281961/4557132054576669747\ 1430450406721*c_1100_1^4 + 206650067865853136781860243628053/455713\ 20545766697471430450406721*c_1100_1^3 + 722910092842178265776588931871985/45571320545766697471430450406721*\ c_1100_1^2 + 320899614226210746725724568455129/45571320545766697471\ 430450406721*c_1100_1 - 63223825262423189640676428945409/4557132054\ 5766697471430450406721, c_0101_8 + 143545690660497653182327615332/45571320545766697471430450406\ 721*c_1100_1^11 + 5910134423292102315702740098948/45571320545766697\ 471430450406721*c_1100_1^10 + 238007266957051737581277163625892/455\ 71320545766697471430450406721*c_1100_1^9 + 318132617688936953853763837993460/45571320545766697471430450406721*\ c_1100_1^8 + 1977237510073582940201435402528684/4557132054576669747\ 1430450406721*c_1100_1^7 + 314555812532779385475876328458990/455713\ 20545766697471430450406721*c_1100_1^6 - 772278833946213978706907266296188/45571320545766697471430450406721*\ c_1100_1^5 - 2570701026874328514069527329730074/4557132054576669747\ 1430450406721*c_1100_1^4 + 131549854786996664790941026445908/455713\ 20545766697471430450406721*c_1100_1^3 + 725952921832257964591294211848426/45571320545766697471430450406721*\ c_1100_1^2 + 307435691518592244077447163100894/45571320545766697471\ 430450406721*c_1100_1 - 71416342550810875981132287601033/4557132054\ 5766697471430450406721, c_0110_10 + 165483312334770937566146777071/4557132054576669747143045040\ 6721*c_1100_1^11 + 6833015388284494853810429241898/4557132054576669\ 7471430450406721*c_1100_1^10 + 275206901638567736543515302839444/45\ 571320545766697471430450406721*c_1100_1^9 + 400032148335069584168301622679718/45571320545766697471430450406721*\ c_1100_1^8 + 2350871982964131367435969170449997/4557132054576669747\ 1430450406721*c_1100_1^7 + 689234250953307237774206699731181/455713\ 20545766697471430450406721*c_1100_1^6 - 577698264172859480058838742731752/45571320545766697471430450406721*\ c_1100_1^5 - 2834253236166782386532865537966107/4557132054576669747\ 1430450406721*c_1100_1^4 - 90396023973294157697151530478846/4557132\ 0545766697471430450406721*c_1100_1^3 + 671161170158398324871798093530321/45571320545766697471430450406721*\ c_1100_1^2 + 335454197058662182298251952390863/45571320545766697471\ 430450406721*c_1100_1 - 68614047487160066317451469635460/4557132054\ 5766697471430450406721, c_1001_1 + 6455494862171696174071725941112/7747124492780338570143176569\ 14257*c_1100_1^11 + 266204581282281213806821421100530/7747124492780\ 33857014317656914257*c_1100_1^10 + 10721296199967650796427295397390204/7747124492780338570143176569142\ 57*c_1100_1^9 + 15020740147622020901023079692581244/774712449278033\ 857014317656914257*c_1100_1^8 + 90826357220602839464399204407046152\ /774712449278033857014317656914257*c_1100_1^7 + 21735114893333936637121756310928484/7747124492780338570143176569142\ 57*c_1100_1^6 - 24310890758561003040550282452546133/774712449278033\ 857014317656914257*c_1100_1^5 - 11052098930731379971159040757720625\ 0/774712449278033857014317656914257*c_1100_1^4 + 3071682814535219428631295641465485/77471244927803385701431765691425\ 7*c_1100_1^3 + 26279448073585504115335511173491860/7747124492780338\ 57014317656914257*c_1100_1^2 + 13653363260013475594509956411247983/\ 774712449278033857014317656914257*c_1100_1 - 3180331169346301987662670204443761/77471244927803385701431765691425\ 7, c_1100_1^12 + 41*c_1100_1^11 + 1651*c_1100_1^10 + 1932*c_1100_1^9 + 13463*c_1100_1^8 - 88*c_1100_1^7 - 5113*c_1100_1^6 - 16771*c_1100_1^5 + 4296*c_1100_1^4 + 4414*c_1100_1^3 + 1340*c_1100_1^2 - 926*c_1100_1 + 97 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.120 Total time: 0.330 seconds, Total memory usage: 32.09MB