------------------------------------------------------------------------
Elementary functions over arrays and sequences
----------------------------------------------
Includes:
min array -- defines min function over an array
max array -- defines max function over an array
sort array -- defines a sort function over arrays
sort array lems -- relationship between sort and min and max
majority array -- defines majority function over an array
majority seq -- defines majority function over finite sequences
min seq -- defines min function over a sequence
max seq -- defines max function over an sequence
sort seq -- defines a sort function over sequences
sort seq lems -- relationship between sort and min and max
concat_array_lems -- concatenation of arrays
permutations -- permutations of arrays
permutations seq -- permutations of sequences
Author:
Ricky W. Butler email: *.*.******@****.****.***
Mail Stop 130 fax: (804) 864-xxxx
NASA Langley Research Center phone: (804) 864-xxxx
Hampton, Virginia 23681-0001
Version 2.0 Last modified 9/23/96
Maintained by:
Rick Butler NASA Langley Research Center
*.*.******@****.****.***
------------------------------------------------------------------------