This function creates a new constrained expression equal to the base x raised to the power p, that is, x^p. If p is a floating-point value, then x is constrained to be greater than or equal to 0 (zero). If the argument p is 0 (zero), then the constrained expression will take the value 1 (one). The effects of this function are reversible.

If the arguments are simply floating-point numbers (that is, they are not constrained expressions), it merely returns an instance of IlcFloat equal to the base raised to the power. The base should be greater than 0 (zero).