diff options
| author | dos-reis <gdr@axiomatics.org> | 2013-05-13 02:02:10 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2013-05-13 02:02:10 +0000 |
| commit | 227e4630323bce249cad25cd4f58e96044d72082 (patch) | |
| tree | 0cf2971f79398a7551a558dcfd6bcc43274edb52 /src/algebra/vector.spad.pamphlet | |
| parent | e410b4f8bb671c49d0b46add881b028f47e93439 (diff) | |
| download | open-axiom-227e4630323bce249cad25cd4f58e96044d72082.tar.gz | |
Remove IndecedVector.
Diffstat (limited to 'src/algebra/vector.spad.pamphlet')
| -rw-r--r-- | src/algebra/vector.spad.pamphlet | 33 |
1 files changed, 6 insertions, 27 deletions
diff --git a/src/algebra/vector.spad.pamphlet b/src/algebra/vector.spad.pamphlet index caca4c30..4bd83302 100644 --- a/src/algebra/vector.spad.pamphlet +++ b/src/algebra/vector.spad.pamphlet @@ -16,7 +16,7 @@ ++ Date Created: ++ Date Last Updated: ++ Basic Functions: -++ Related Constructors: DirectProductCategory, Vector, IndexedVector +++ Related Constructors: DirectProductCategory, Vector ++ Also See: ++ AMS Classifications: ++ Keywords: @@ -103,26 +103,7 @@ VectorCategory(R:Type): Category == OneDimensionalArrayAggregate R with sqrt(dot(p,p)) @ -\section{domain IVECTOR IndexedVector} -<<domain IVECTOR IndexedVector>>= -)abbrev domain IVECTOR IndexedVector -++ Author: -++ Date Created: -++ Date Last Updated: -++ Basic Functions: -++ Related Constructors: Vector, DirectProduct -++ Also See: -++ AMS Classifications: -++ Keywords: -++ References: -++ Description: -++ This type represents vector like objects with varying lengths -++ and a user-specified initial index. - -IndexedVector(R:Type, mn:Integer): - VectorCategory R == IndexedOneDimensionalArray(R, mn) - -@ + \section{domain VECTOR Vector} <<domain VECTOR Vector>>= )abbrev domain VECTOR Vector @@ -130,7 +111,7 @@ IndexedVector(R:Type, mn:Integer): ++ Date Created: ++ Date Last Updated: ++ Basic Functions: -++ Related Constructors: IndexedVector, DirectProduct +++ Related Constructors: DirectProduct ++ Also See: ++ AMS Classifications: ++ Keywords: @@ -140,11 +121,10 @@ IndexedVector(R:Type, mn:Integer): ++ and indexed by a finite segment of integers starting at 1. Vector(R:Type): Exports == Implementation where - Exports ==> VectorCategory R with + Exports == VectorCategory R with vector: List R -> % ++ vector(l) converts the list l to a vector. - Implementation ==> - IndexedVector(R, 1) add + Implementation == OneDimensionalArray R add vector l == construct l -- We want maxIndex to be inlined. Ideally, the definition should -- read @@ -306,7 +286,7 @@ DirectProductCategory(dim:NonNegativeInteger, R:Type): Category == ++ Date Created: ++ Date Last Updated: ++ Basic Functions: -++ Related Constructors: Vector, IndexedVector +++ Related Constructors: Vector ++ Also See: OrderedDirectProduct ++ AMS Classifications: ++ Keywords: @@ -619,7 +599,6 @@ LinearForm(K,B): Public == Private where <<license>> <<category VECTCAT VectorCategory>> -<<domain IVECTOR IndexedVector>> <<domain VECTOR Vector>> <<package VECTOR2 VectorFunctions2>> <<category DIRPCAT DirectProductCategory>> |