check/exams.ref

   1 ----------several historic failures:
   2 (no output)
   3 ----------consistency of numeric types:
   4 (no output)
   5 ----------power laws:
   6 (no output)
   7 ----------consistency of symbolic functions:
   8 (no output)
   9 ----------symbolic differentiation:
  10 (no output)
  11 ----------polynomial GCD computation:
  12 (no output)
  13 ----------rational function normalization:
  14 (no output)
  15 ----------series expansion:
  16 (no output)
  17 ----------symbolic matrix manipulations:
  18 (no output)
  19 ----------linear solve:
  20 (no output)
  21 ----------behaviour of noncommutative objects:
  22 (no output)
  23 ----------miscellaneous other things:
  24 (no output)