Before making specialized procedures, you must:
The program is specialized for your data structure and view; the result is printed in the window. The window may be too small to contain all of the code, but the full version of the code is included at the bottom of the page so you can get it at the end of the session.
You can obtain several specialized programs if you wish. One viewing allows specialization of any of the library of procedures associated with the abstract type.
vector; then either can be converted to the other.
To generate a conversion program, first define the two data types and
make a mathematical view of each of them. Then select the
Convert Data command. The system will prompt you for the
source type, and possibly for other selections. The result is a program
that has an instance of the source type as its argument and produces
a new instance of the goal type as its result.