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 ----------symbolic differentiation:
   8 (no output)
   9 ----------polynomial GCD computation:
  10 (no output)
  11 ----------rational function normalization:
  12 (no output)
  13 ----------series expansion:
  14 (no output)
  15 ----------symbolic matrix manipulations:
  16 (no output)
  17 ----------linear solve:
  18 (no output)
  19 ----------behaviour of noncommutative objects:
  20 (no output)
  21 ----------miscellaneous other things:
  22 (no output)