missing matrix exponentiation methods for `\euler`

[ExpandingMan]

Is there any reason for this? Currently the following is defined in base/mathconstants.jl:

for T in (AbstractIrrational, Rational, Integer, Number, Complex)
    Base.:^(::Irrational{:ℯ}, x::T) = exp(x)
end

Is there any reason why this is not simply

Base.:^(::Irrational{:ℯ}, x) = exp(x)

[StefanKarpinski]

I can't recall, but one thing that occurs to me is that it might cause a lot of method ambiguities?

[ExpandingMan]

Why? The type on the first argument is Irrational{:\euler}, that's pretty specific.

[StefanKarpinski]

It is, but the other argument is as general as it gets so this would be ambiguous with ^(::Number, ::T) for any type that's more specific than Any, for example.

[ExpandingMan]

Oh yeah, I didn't think of that, that could be bad. So, I suppose what it should be is

for T ∈ (AbstractIrrational, Rational, Integer, Number, Complex)
    Base.:^(::Irrational{:ℯ}, x::T) = exp(x)
    Base.:^(::Irrational{:ℯ}, x::AbstractArray{T}) = exp(x)
end

Could probably make it just AbstractMatrix to cut down on the ambituity further.

I can put in a PR if nobody foresees any other obvious potential issues.

[ExpandingMan]

Wow, there's even a comment right there that says it was to avoid ambiguities for ^(::Number, x). I feel really stupid.