dVector`1`x`(Type)->Join(VectorCategory(R),etc)`(R)`VECTOR`This type represents vector like objects with varying lengths and indexed by a finite segment of integers starting at 1.
ovector`1`x`(List(R))->_$`dVector(R)``\spad{vector(l)} converts the list \spad{l} to a vector.