When its argument is a constrained expression, this function creates a new constrained expression equal to the square of its argument exp. This new expression is logically equivalent to exp*exp.

When its argument is an unconstrained numeric value (that is, a value of type IlcInt), this function returns the square of its argument.