Math functions are not total, in general. Computable functions are a subclass of all functions, so lots of functions are not computable.

Purity doesn't apply to functions, it applies to algorithms which compute functions. In software parlance the terms are often conflated but they are not equivalent. The algorithm which computes a function is in general not unique.