Magma V2.19-8 Tue Aug 20 2013 23:57:19 on localhost [Seed = 3069238870] Type ? for help. Type -D to quit. Loading file "L14n32008__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n32008 geometric_solution 11.56931097 oriented_manifold CS_known 0.0000000000000000 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 0 1 0 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 1 0 -1 6 0 -5 -1 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.245627402063 0.755164482126 0 5 7 6 0132 0132 0132 0132 0 1 1 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 1 -1 0 -6 0 0 6 0 -6 0 6 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.389231765754 1.199277706444 6 0 9 8 3012 0132 0132 0132 0 0 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 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.686432074308 1.259542551131 8 10 7 0 0321 0132 3120 0132 0 1 1 0 0 0 0 0 -1 0 0 1 -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 -5 0 0 5 -5 5 0 0 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.610490039673 1.197521469523 10 11 0 5 0132 0132 0132 0132 0 1 1 0 0 0 0 0 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 0 0 1 -1 5 0 1 -6 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.610490039673 1.197521469523 6 1 4 9 0321 0132 0132 1302 0 1 0 1 0 0 0 0 -1 0 1 0 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 -1 1 0 -6 0 6 0 0 -1 0 1 -6 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.337197922916 0.662107046402 5 11 1 2 0321 0213 0132 1230 0 1 0 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 6 0 -6 0 0 0 0 0 6 0 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.531592684236 0.485421197008 9 11 3 1 0321 2310 3120 0132 0 1 0 0 0 1 -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 0 0 0 1 -2 1 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.167341168087 1.052847027071 3 10 2 11 0321 0213 0132 1230 0 0 1 1 0 0 -1 1 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 -2 2 0 0 0 0 5 -5 0 0 5 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.553624945682 0.533099980598 7 10 5 2 0321 0321 2031 0132 0 0 0 1 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 -1 1 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.462124166449 0.584328221999 4 3 8 9 0132 0132 0213 0321 0 1 0 1 0 0 0 0 -1 0 1 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 -5 0 5 0 0 2 0 -2 0 -5 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.245627402063 0.755164482126 8 4 6 7 3012 0132 0213 3201 0 0 0 1 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 -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.186118877321 0.747604032004 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_11'], 'c_1001_10' : d['c_1001_0'], 'c_1001_5' : d['c_1001_11'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : negation(d['c_1001_2']), 'c_1001_6' : d['c_1001_11'], 'c_1001_1' : negation(d['c_0110_11']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0011_6'], 'c_1001_8' : d['c_1001_0'], 'c_1010_11' : d['c_1001_2'], 'c_1010_10' : d['c_1001_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_0011_6'], 'c_0101_10' : d['c_0011_8'], '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_0110_11'], 'c_1100_8' : d['c_0110_11'], 'c_1100_5' : negation(d['c_0101_7']), 'c_1100_4' : negation(d['c_0101_7']), 'c_1100_7' : negation(d['c_0101_3']), 'c_1100_6' : negation(d['c_0101_3']), 'c_1100_1' : negation(d['c_0101_3']), 'c_1100_0' : negation(d['c_0101_7']), 'c_1100_3' : negation(d['c_0101_7']), 'c_1100_2' : d['c_0110_11'], 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0011_7']), 'c_1100_10' : d['c_0011_6'], 's_3_10' : d['1'], 'c_1010_7' : negation(d['c_0110_11']), 'c_1010_6' : negation(d['c_0011_7']), 'c_1010_5' : negation(d['c_0110_11']), 'c_1010_4' : d['c_1001_11'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_11'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_1001_2'], 'c_1010_8' : d['c_0011_6'], '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' : d['c_0011_9'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : d['c_0011_7'], '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' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0110_11'], 'c_0110_10' : negation(d['c_0011_9']), 'c_0110_0' : negation(d['c_0011_9']), 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : negation(d['c_0011_8']), 'c_0101_5' : d['c_0011_8'], 'c_0101_4' : negation(d['c_0011_9']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_7']), 'c_0101_1' : negation(d['c_0011_9']), 'c_0101_0' : negation(d['c_0011_8']), 'c_0101_9' : negation(d['c_0101_7']), 'c_0101_8' : negation(d['c_0101_3']), 'c_0011_10' : d['c_0011_10'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_7']), 'c_0110_8' : d['c_0011_10'], 'c_0110_1' : negation(d['c_0011_8']), 'c_0011_11' : d['c_0011_10'], 'c_0110_3' : negation(d['c_0011_8']), 'c_0110_2' : negation(d['c_0101_3']), 'c_0110_5' : negation(d['c_0011_6']), 'c_0110_4' : d['c_0011_8'], 'c_0110_7' : negation(d['c_0011_9']), 'c_0110_6' : negation(d['c_0011_0'])})} 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_6, c_0011_7, c_0011_8, c_0011_9, c_0101_3, c_0101_7, c_0110_11, c_1001_0, c_1001_11, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t + 3174467493534777298441012433681246987/85587882321252712933720169274\ 816*c_1001_2^11 + 4162102302178487906168208539607181433023/10627162\ 054888878522603587684956320*c_1001_2^10 + 5869517113537416439769112581100810718849/63762972329333271135621526\ 109737920*c_1001_2^9 - 3704484018413697782533969265167726439083/637\ 6297232933327113562152610973792*c_1001_2^8 + 7933080454921579933033972947261952163789/63762972329333271135621526\ 109737920*c_1001_2^7 + 267141723365149648807857008393353979645/3750\ 76307819607477268361918292576*c_1001_2^6 - 463269910708773926355243308072328042701/199259288529166472298817269\ 0929310*c_1001_2^5 - 1507760202621861450195999869973653873749/19925\ 92885291664722988172690929310*c_1001_2^4 - 3177192180967100038408550775573372175243/21254324109777757045207175\ 369912640*c_1001_2^3 + 8259117692671798353725280003536787295703/318\ 81486164666635567810763054868960*c_1001_2^2 + 65716704771289342571066344633577364823/4279394116062635646686008463\ 74080*c_1001_2 + 8385984014584526987720051411970611636/332098814215\ 277453831362115154885, c_0011_0 - 1, c_0011_10 - 5790189952467147560686515216679/127367468959088885516328216\ *c_1001_2^11 - 382133486366567778968737330673/212279114931814809193\ 88036*c_1001_2^10 + 8192073455504708931852128993851/127367468959088\ 885516328216*c_1001_2^9 - 276681408229019518150662102011/6368373447\ 9544442758164108*c_1001_2^8 - 10100422036391410551608610777601/1273\ 67468959088885516328216*c_1001_2^7 + 779868250269069448985552147549/63683734479544442758164108*c_1001_2^\ 6 + 1304811694485365416334616091396/15920933619886110689541027*c_10\ 01_2^5 + 459778736863272062153763748661/15920933619886110689541027*\ c_1001_2^4 - 966730376078745726733644092977/42455822986362961838776\ 072*c_1001_2^3 - 1285866508980502336150351383553/636837344795444427\ 58164108*c_1001_2^2 - 729092135350184484159264610375/12736746895908\ 8885516328216*c_1001_2 - 6126962932484978300945505183/1061395574659\ 0740459694018, c_0011_6 - 26362595779662061137627741874313/254734937918177771032656432\ *c_1001_2^11 - 1740785086610157608184832467715/42455822986362961838\ 776072*c_1001_2^10 + 37305018020266055377682125650725/2547349379181\ 77771032656432*c_1001_2^9 - 1275897781891444532763622536673/1273674\ 68959088885516328216*c_1001_2^8 - 45971090761001702586276755781167/\ 254734937918177771032656432*c_1001_2^7 + 3567895291603459175289291662071/127367468959088885516328216*c_1001_\ 2^6 + 5934801788839398670582715354273/31841867239772221379082054*c_\ 1001_2^5 + 1045925828819064439639123563095/159209336198861106895410\ 27*c_1001_2^4 - 4386851235117376122942479878543/8491164597272592367\ 7552144*c_1001_2^3 - 5848804482396346393474084154063/12736746895908\ 8885516328216*c_1001_2^2 - 3333165764326238180615831542481/25473493\ 7918177771032656432*c_1001_2 - 28312066287339853064730372183/212279\ 11493181480919388036, c_0011_7 - 1119574051905336800763250418573/10613955746590740459694018*c\ _1001_2^11 - 225331807292938633632095320605/53069778732953702298470\ 09*c_1001_2^10 + 1586030230230411343104906144497/106139557465907404\ 59694018*c_1001_2^9 - 49434793362452877402432108609/530697787329537\ 0229847009*c_1001_2^8 - 1959138006809284335286055962745/10613955746\ 590740459694018*c_1001_2^7 + 147237753326502449215707349815/5306977\ 873295370229847009*c_1001_2^6 + 1012110621512821134491850683832/530\ 6977873295370229847009*c_1001_2^5 + 359521433735382891804331846836/5306977873295370229847009*c_1001_2^4 - 560154281605848744389098569849/10613955746590740459694018*c_1001_\ 2^3 - 250037210806435516055838191937/5306977873295370229847009*c_10\ 01_2^2 - 142636993710577713320420051175/10613955746590740459694018*\ c_1001_2 - 7260211713319719872548875984/5306977873295370229847009, c_0011_8 + 1, c_0011_9 - 26886678055033968572804682368695/254734937918177771032656432\ *c_1001_2^11 - 1807173258454698567678944487221/42455822986362961838\ 776072*c_1001_2^10 + 38238015476312550770686594081915/2547349379181\ 77771032656432*c_1001_2^9 - 1207967139461531704695641073911/1273674\ 68959088885516328216*c_1001_2^8 - 47256809936682991268732811068209/\ 254734937918177771032656432*c_1001_2^7 + 3618103653358167069912018438161/127367468959088885516328216*c_1001_\ 2^6 + 6096302476370767697595778932991/31841867239772221379082054*c_\ 1001_2^5 + 1067921868079023494281667624623/159209336198861106895410\ 27*c_1001_2^4 - 4526929756465090213589213122897/8491164597272592367\ 7552144*c_1001_2^3 - 5978576912350400238776067871537/12736746895908\ 8885516328216*c_1001_2^2 - 3373454082446465627855405082415/25473493\ 7918177771032656432*c_1001_2 - 28272769831169514138175701625/212279\ 11493181480919388036, c_0101_3 - 5649230401635679921352055639105/84911645972725923677552144*c\ _1001_2^11 - 1089583623800970065364602123497/4245582298636296183877\ 6072*c_1001_2^10 + 8041088042299965563155701943277/8491164597272592\ 3677552144*c_1001_2^9 - 328846614119185778345561568345/424558229863\ 62961838776072*c_1001_2^8 - 9862710546387344292722367410983/8491164\ 5972725923677552144*c_1001_2^7 + 838803204566486096148121766103/424\ 55822986362961838776072*c_1001_2^6 + 1269620783337240233636848188437/10613955746590740459694018*c_1001_2\ ^5 + 215005718283604802567480429497/5306977873295370229847009*c_100\ 1_2^4 - 2856338076304536707733131490101/84911645972725923677552144*\ c_1001_2^3 - 1229810078009176749449623492127/4245582298636296183877\ 6072*c_1001_2^2 - 685772475000054879646466992761/849116459727259236\ 77552144*c_1001_2 - 17056525854091766768899675477/21227911493181480\ 919388036, c_0101_7 + 3403370109690772774613678042515/254734937918177771032656432*\ c_1001_2^11 + 96505924339471393621592829657/42455822986362961838776\ 072*c_1001_2^10 - 4799987213980127184080618467591/25473493791817777\ 1032656432*c_1001_2^9 + 708571542774639307054511682491/127367468959\ 088885516328216*c_1001_2^8 + 5402744062297931573298796347205/254734\ 937918177771032656432*c_1001_2^7 - 1022495770313118782114147338325/127367468959088885516328216*c_1001_\ 2^6 - 680517385239789952601167573405/31841867239772221379082054*c_1\ 001_2^5 - 66204927429793030708862603575/15920933619886110689541027*\ c_1001_2^4 + 574040824748592161380347299429/84911645972725923677552\ 144*c_1001_2^3 + 557684163979584565594820038573/1273674689590888855\ 16328216*c_1001_2^2 + 255043333723278676275272671579/25473493791817\ 7771032656432*c_1001_2 + 1669027129879633254372276949/2122791149318\ 1480919388036, c_0110_11 - 311545359234038266877347874967/10613955746590740459694018*c\ _1001_2^11 - 55516130474297740655215496349/530697787329537022984700\ 9*c_1001_2^10 + 443837455455737334064104025341/10613955746590740459\ 694018*c_1001_2^9 - 24939805318159995165283467829/53069778732953702\ 29847009*c_1001_2^8 - 537872226840274343005940688653/10613955746590\ 740459694018*c_1001_2^7 + 53480680461240505032556451171/53069778732\ 95370229847009*c_1001_2^6 + 275892348274002888968732858613/53069778\ 73295370229847009*c_1001_2^5 + 87909597385881950634701304532/530697\ 7873295370229847009*c_1001_2^4 - 157626061926388764388546910627/106\ 13955746590740459694018*c_1001_2^3 - 65344529944710028326352470211/5306977873295370229847009*c_1001_2^2 - 35773655607474678718002619651/10613955746590740459694018*c_1001_2 - 1755379974974925051411514992/5306977873295370229847009, c_1001_0 - 3481383798771506408951485481487/42455822986362961838776072*c\ _1001_2^11 - 720862020220378293497795070179/21227911493181480919388\ 036*c_1001_2^10 + 4959787620406116056299085534619/42455822986362961\ 838776072*c_1001_2^9 - 133039194842118344391562762027/2122791149318\ 1480919388036*c_1001_2^8 - 6149634542794996875313382066409/42455822\ 986362961838776072*c_1001_2^7 + 445734236430942042490153647625/2122\ 7911493181480919388036*c_1001_2^6 + 793833062324580583563380223089/5306977873295370229847009*c_1001_2^5 + 282334305869452030003763852537/5306977873295370229847009*c_1001_2\ ^4 - 1760574311140745860631987339587/42455822986362961838776072*c_1\ 001_2^3 - 782917409399240793758768276793/21227911493181480919388036\ *c_1001_2^2 - 443875331066914370374811038367/4245582298636296183877\ 6072*c_1001_2 - 11198227114919231518420244269/106139557465907404596\ 94018, c_1001_11 - 6984867164229814851747480517451/63683734479544442758164108*\ c_1001_2^11 - 514409219360689006788867336491/1061395574659074045969\ 4018*c_1001_2^10 + 9912275287100974358347302626423/6368373447954444\ 2758164108*c_1001_2^9 - 116923547612564344366501598245/318418672397\ 72221379082054*c_1001_2^8 - 12427269060048277492345157473193/636837\ 34479544442758164108*c_1001_2^7 + 725326184674152422906883648283/31\ 841867239772221379082054*c_1001_2^6 + 3220866187812936411189458933161/15920933619886110689541027*c_1001_2\ ^5 + 1216072447624041971175321147860/15920933619886110689541027*c_1\ 001_2^4 - 1165401222616363097980245109461/2122791149318148091938803\ 6*c_1001_2^3 - 1628490007507223157192327840887/31841867239772221379\ 082054*c_1001_2^2 - 948199396881332637516528808667/6368373447954444\ 2758164108*c_1001_2 - 8177479244929189717260205512/5306977873295370\ 229847009, c_1001_2^12 + 20118/22201*c_1001_2^11 - 26989/22201*c_1001_2^10 - 13874/22201*c_1001_2^9 + 39895/22201*c_1001_2^8 + 13694/22201*c_1001_2^7 - 43136/22201*c_1001_2^6 - 34432/22201*c_1001_2^5 + 3981/22201*c_1001_2^4 + 15506/22201*c_1001_2^3 + 7801/22201*c_1001_2^2 + 1704/22201*c_1001_2 + 144/22201 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.110 Total time: 0.320 seconds, Total memory usage: 32.09MB