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 ----------behaviour of noncommutative objects:
23 ----------miscellaneous other things: