Hello,
Given a list 'list_1', one way to make a list of the distinct
elements of 'list_1' is;
listify(setify(list_1))$
Is there a better (i.e., faster) way ?
TIA,
-sen
--
---------------------------------------------------------------------------
| Sheldon E. Newhouse | e-mail: sen1 at math.msu.edu |
| Mathematics Department | |
| Michigan State University | telephone: 517-355-9684 |
| E. Lansing, MI 48824-1027 USA | FAX: 517-432-1562 |
---------------------------------------------------------------------------