Mathematica provides functions to test whether a number is an integer, even or odd, prime, rational, real or complex. However, I could not find any explicit way to determine whether a number is irrational, or more precisely transcendental.
For instance, Alpha provides a means of determining such properties by simply asking:
is pi transcendental?
which will return "true" or "false". However, I could not find any matching function in Mathematica. Any suggestions?