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.



 

Conor McBride
11/13/1998