|
18945 | 18945 |
|
18946 | 18946 | \pnum
|
18947 | 18947 | An integer $r$ is a \defn{rank index} of an index space $S$
|
18948 |
| -if $r$ is in the range $[0, \text{rank of $S$})$. |
| 18948 | +if $r$ is in the range $[0, \text{rank of }S)$. |
18949 | 18949 |
|
18950 | 18950 | \pnum
|
18951 | 18951 | A pack of integers \tcode{idx} is
|
@@ -21748,13 +21748,13 @@
|
21748 | 21748 | \item
|
21749 | 21749 | if $S_k$ is a specialization of \tcode{strided_slice}
|
21750 | 21750 | \begin{itemize}
|
21751 |
| - \item $\tcode{$s_k$.extent = 0}$, or |
21752 |
| - \item $\tcode{$s_k$.stride > 0}$ |
| 21751 | + \item $s_k\tcode{.extent} = 0$, or |
| 21752 | + \item $s_k\tcode{.stride} > 0$ |
21753 | 21753 | \end{itemize}
|
21754 | 21754 | \item
|
21755 |
| -$0 \le \tcode{\exposid{first_}<IndexType, $k$>(slices...)}$ |
21756 |
| -$\le \tcode{\exposid{last_}<$k$>(src, slices...)}$ |
21757 |
| -$\le \tcode{src.extent($k$)}$ |
| 21755 | +$0 \le \exposid{first_}\tcode{<IndexType, }k\tcode{>(slices...)}$ |
| 21756 | +$\le \exposid{last_}\tcode{<}k\tcode{>(src, slices...)}$ |
| 21757 | +$\le \tcode{src.extent(}k\tcode{)}$ |
21758 | 21758 | \end{itemize}
|
21759 | 21759 |
|
21760 | 21760 | \pnum
|
@@ -21871,13 +21871,13 @@
|
21871 | 21871 | \item
|
21872 | 21872 | if $S_k$ is a specialization of \tcode{strided_slice}
|
21873 | 21873 | \begin{itemize}
|
21874 |
| - \item $\tcode{$s_k$.extent} = 0$, or |
21875 |
| - \item $\tcode{$s_k$.stride} > 0$ |
| 21874 | + \item $s_k\tcode{.extent} = 0$, or |
| 21875 | + \item $s_k\tcode{.stride} > 0$ |
21876 | 21876 | \end{itemize}
|
21877 | 21877 | \item
|
21878 |
| -$0 \le \tcode{\exposid{first_}<index_type, $k$>(slices...)} \\ |
21879 |
| -\hphantom{0 } \le \tcode{\exposid{last_}<$k$>(extents(), slices...)} \\ |
21880 |
| -\hphantom{0 } \le \tcode{extents().extent($k$)}$ |
| 21878 | +$0 \le \exposid{first_}\tcode{<index_type, }k\tcode{>(slices...)} \\ |
| 21879 | +\hphantom{0 } \le \exposid{last_}\tcode{<}k\tcode{>(extents(), slices...)} \\ |
| 21880 | +\hphantom{0 } \le \tcode{extents().extent(}k\tcode{)}$ |
21881 | 21881 | \end{itemize}
|
21882 | 21882 |
|
21883 | 21883 | \pnum
|
@@ -22036,13 +22036,13 @@
|
22036 | 22036 | \item
|
22037 | 22037 | if $S_k$ is a specialization of \tcode{strided_slice}
|
22038 | 22038 | \begin{itemize}
|
22039 |
| - \item $\tcode{$s_k$.extent} = 0$, or |
22040 |
| - \item $\tcode{$s_k$.stride} > 0$ |
| 22039 | + \item $s_k\tcode{.extent} = 0$, or |
| 22040 | + \item $s_k\tcode{.stride} > 0$ |
22041 | 22041 | \end{itemize}
|
22042 | 22042 | \item
|
22043 |
| - $0 \le \tcode{\exposid{first_}<index_type, $k$>(slices...)}$ |
22044 |
| - $\le \tcode{\exposid{last_}<$k$>(src.extents(), slices...)}$ |
22045 |
| - $\le \tcode{\linebreak{}src.extent($k$)}$ |
| 22043 | + $0 \le \exposid{first_}\tcode{<index_type, }k\tcode{>(slices...)} |
| 22044 | + \le \exposid{last_}\tcode{<}k\tcode{>(src.extents(), slices...)} |
| 22045 | + \le \tcode{src.extent(}k\tcode{)}$ |
22046 | 22046 | \end{itemize}
|
22047 | 22047 |
|
22048 | 22048 | \item
|
|
0 commit comments