Symbolic power of zero does not return zero and is not evaluated

[ay111]

Powers of zero to a symbolic number is not evaluated in Symbolics.jl. In the examples below, the answer to 0^x should be 0 but Symbolics.jl returns 0^x.

using Symbolics
@variables x
0^x
simplify(0^x)

[thomvet]

0^x should be 0

This depends on what x is. Since you are asking Symbolics to simplify the expression no matter what the value of x is (negative real, zero, positive real) its answer is correct in my opinion.

See also: https://en.wikipedia.org/wiki/Zero_to_the_power_of_zero