diff options
Diffstat (limited to 'src/input/tutchap2.input.pamphlet')
-rw-r--r-- | src/input/tutchap2.input.pamphlet | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/input/tutchap2.input.pamphlet b/src/input/tutchap2.input.pamphlet index ae81f5f3..83fd148a 100644 --- a/src/input/tutchap2.input.pamphlet +++ b/src/input/tutchap2.input.pamphlet @@ -83,14 +83,14 @@ halfSum(x, y) == (x + y)/2 halfSum(1, 3) halfSum(1.5, 2.5) halfSum(2, 4) -f(n)==#((2^n)::String) +f(n)==#(string(2^n)) f(20) -f(n) == (local length; length := #((2^n)::String); _ +f(n) == (local length; length := #(string(2^n)); _ if length > 120 then "Too long!" else length) f 100 f 1000 f(n : PositiveInteger) : Any == _ - (local length; length := #((2^n)::String); _ + (local length; length := #(string(2^n)); _ if length > 120 then "Too long!" else length) f 0 g1(x) == 2*x |