tmp/tmp4b80_bhi/{from.md → to.md}
RENAMED
|
@@ -4,11 +4,15 @@ Let `REQUIRED-SPAN-SIZE(e, strides)` be:
|
|
| 4 |
|
| 5 |
- `1`, if `e.rank() == 0` is `true`,
|
| 6 |
- otherwise `0`, if the size of the multidimensional index space `e` is
|
| 7 |
0,
|
| 8 |
- otherwise `1` plus the sum of products of `(e.extent(r) - 1)` and
|
| 9 |
-
`
|
|
|
|
|
|
|
|
|
|
|
|
|
| 10 |
|
| 11 |
Let `OFFSET(m)` be:
|
| 12 |
|
| 13 |
- `m()`, if `e.rank() == 0` is `true`,
|
| 14 |
- otherwise `0`, if the size of the multidimensional index space `e` is
|
|
|
|
| 4 |
|
| 5 |
- `1`, if `e.rank() == 0` is `true`,
|
| 6 |
- otherwise `0`, if the size of the multidimensional index space `e` is
|
| 7 |
0,
|
| 8 |
- otherwise `1` plus the sum of products of `(e.extent(r) - 1)` and
|
| 9 |
+
``` cpp
|
| 10 |
+
extents_type::index-cast(strides[r])
|
| 11 |
+
```
|
| 12 |
+
|
| 13 |
+
for all r in the range [0, `e.rank()`).
|
| 14 |
|
| 15 |
Let `OFFSET(m)` be:
|
| 16 |
|
| 17 |
- `m()`, if `e.rank() == 0` is `true`,
|
| 18 |
- otherwise `0`, if the size of the multidimensional index space `e` is
|