next up previous contents
Next: Vector Definitions Up: The LEGO library Previous: Finite Sets

Vectors

Vectors are defined in the module lib_vectors. Some basic functions on vectors are provided in the module lib_vectors_basics.





Lego
Fri May 24 19:01:27 BST 1996