IndexedVariable

Next: index Up: Utilities Previous: set! Contents Index

IndexedVariable

$\begin{usage} import from IndexedVariable~S\\ import from IndexedVariable(S, x) \end{usage}$

$\begin{params} {\em S} & \htmlref{\texttt{SumitType}}{SumitType} & The type of... ...tmlref{\texttt{Symbol}}{Symbol} & The root variable (optional)\\\end{params}$

$\begin{descr} IndexedVariable~provides sorted symbols of the form $x_s$\ where $s \in S$. \end{descr}$

Exports

SumitType

TotallyOrderedType

index: % $\to$ S Index of a variable

variable: S $\to$ % Create an indexed variable

Subsections

index
variable

Manuel Bronstein 2000-12-13

`SumitType`
`TotallyOrderedType`
`index`:	% $\to$ S	Index of a variable
`variable`:	S $\to$ %	Create an indexed variable