Vanilla 1.1.9 is a product of Lussumo. More Information: Documentation, Community Support.
In principle I don't see why not, although I don't know how much demand there would be for it. (And in case that gets taken the wrong way: I am by training a Banach algebraist of sorts.)
There is also an old question on the exponential spectrum which I think got tagged with banach-spaces and functional-analysis but should evidently be tagged with banach-algebras if such a tag existed. (IIRC the original questioner didn't have enough rep to create his own tag.)
Absolutely, [banach-algebras] is a great tag!
Good to see responses not along the lines of "BUT BANACH ALGEBRAS IS DEAD - LOOK AT THE SIZE OF MY SPECTRAL TRIPLE" :)
I wish I understood that joke, because it looks quite funny.
My guess is it's a comment on the relative trendiness of different branches of the theory of operator algebras.
1 to 9 of 9