diff options
| author | dos-reis <gdr@axiomatics.org> | 2013-05-11 23:17:33 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2013-05-11 23:17:33 +0000 |
| commit | 1eccebed2cdd3fce04f60153b23b69b80135ce56 (patch) | |
| tree | ced54cbcb63676581273adc449699885307dfed5 /src/algebra/array2.spad.pamphlet | |
| parent | 8df117c9281b3f929e55431262d42a2da9ce0ab9 (diff) | |
| download | open-axiom-1eccebed2cdd3fce04f60153b23b69b80135ce56.tar.gz | |
* algebra/array2.spad.pamphlet (InnerTwoDimensionalArray): Rename
from InnerIndexedTwoDimensionalArray. Adjust users.
Diffstat (limited to 'src/algebra/array2.spad.pamphlet')
| -rw-r--r-- | src/algebra/array2.spad.pamphlet | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/src/algebra/array2.spad.pamphlet b/src/algebra/array2.spad.pamphlet index 3d87394e..0c9ff532 100644 --- a/src/algebra/array2.spad.pamphlet +++ b/src/algebra/array2.spad.pamphlet @@ -259,10 +259,10 @@ TwoDimensionalArrayCategory(R,Row,Col): Category == Definition where matrix l @ -\section{domain IIARRAY2 InnerIndexedTwoDimensionalArray} -<<domain IIARRAY2 InnerIndexedTwoDimensionalArray>>= -)abbrev domain IIARRAY2 InnerIndexedTwoDimensionalArray -InnerIndexedTwoDimensionalArray(R,Row,Col):_ +\section{domain IARRAY2 InnerTwoDimensionalArray} +<<domain IARRAY2 InnerTwoDimensionalArray>>= +)abbrev domain IARRAY2 InnerTwoDimensionalArray +InnerTwoDimensionalArray(R,Row,Col):_ Exports == Implementation where ++ This is an internal type which provides an implementation of ++ 2-dimensional arrays as PrimitiveArray's of PrimitiveArray's. @@ -351,7 +351,7 @@ TwoDimensionalArray(R):Exports == Implementation where Exports == TwoDimensionalArrayCategory(R,Row,Col) with shallowlyMutable ++ One may destructively alter TwoDimensionalArray's. - Implementation == InnerIndexedTwoDimensionalArray(R,Row,Col) + Implementation == InnerTwoDimensionalArray(R,Row,Col) @ \section{License} @@ -391,7 +391,7 @@ TwoDimensionalArray(R):Exports == Implementation where <<license>> <<category ARR2CAT TwoDimensionalArrayCategory>> -<<domain IIARRAY2 InnerIndexedTwoDimensionalArray>> +<<domain IARRAY2 InnerTwoDimensionalArray>> <<domain ARRAY2 TwoDimensionalArray>> @ \eject |