From 02579635d393c46589b1df1b4177292d7fbd7c76 Mon Sep 17 00:00:00 2001 From: WilliamDue <79925124+WilliamDue@users.noreply.github.com> Date: Thu, 3 Aug 2023 22:39:31 +0200 Subject: [PATCH] This should be the work. (#2004) --- prelude/array.fut | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/prelude/array.fut b/prelude/array.fut index 7f9b44a8b8..d9e5457d96 100644 --- a/prelude/array.fut +++ b/prelude/array.fut @@ -197,7 +197,7 @@ def tabulate 'a (n: i64) (f: i64 -> a): *[n]a = -- | Create a value for each point in a two-dimensional index space. -- --- **Work:** *O(n ✕ W(f))* +-- **Work:** *O(n ✕ m ✕ W(f))* -- -- **Span:** *O(S(f))* def tabulate_2d 'a (n: i64) (m: i64) (f: i64 -> i64 -> a): *[n][m]a = @@ -205,7 +205,7 @@ def tabulate_2d 'a (n: i64) (m: i64) (f: i64 -> i64 -> a): *[n][m]a = -- | Create a value for each point in a three-dimensional index space. -- --- **Work:** *O(n ✕ W(f))* +-- **Work:** *O(n ✕ m ✕ o ✕ W(f))* -- -- **Span:** *O(S(f))* def tabulate_3d 'a (n: i64) (m: i64) (o: i64) (f: i64 -> i64 -> i64 -> a): *[n][m][o]a =