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