1 ----------several historic failures:
3 ----------consistency of numeric types:
7 ----------consistency of symbolic functions:
9 ----------symbolic differentiation:
11 ----------polynomial GCD computation:
13 ----------rational function normalization:
15 ----------series expansion:
17 ----------symbolic matrix manipulations:
19 ----------linear solve:
21 ----------indexed objects:
23 ----------color objects:
25 ----------clifford objects:
27 ----------archiving system:
29 ----------miscellaneous other things: