3 ms·
> f(x) = x^2, f : Z → Z Shouldn't that be: f(x) = x^2, f : Z → Z+ ?
by commandlinefan 3y ago
> f(x) = x^2, f : Z → Z
Shouldn't that be:
f(x) = x^2, f : Z → Z+
?
- tromp 3y agoNo, the type annotation merely specifies that the codomain of f is Z. It's not intended to specify the range of the function. Z+ is not the range of this f either; it is Z^{>=0}.