File: libdb.text

package info (click to toggle)
axiom 20050901-9
  • links: PTS
  • area: main
  • in suites: etch, etch-m68k
  • size: 125,104 kB
  • ctags: 1,647
  • sloc: lisp: 3,933; ansic: 2,035; makefile: 316; sh: 207
file content (2 lines) | stat: -rw-r--r-- 275 bytes parent folder | download | duplicates (2) 
1
2
 
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.