  ok   (B) (-a x l, -b x l, x^2 l) maps to zero; x^2 l lies in W for every l
  ok   (B) -a x l, -b x l lie in W for l in <x, y> (l(q) = 0); for l = z exactly when a(q) = b(q) = 0
  ok   (B) a2, b2 generic: rank of W^3 -> S_4^2 = 13 (kernel 2)
  ok   (B) a2 = 0, b2 generic: rank of W^3 -> S_4^2 = 13 (kernel 2)
  ok   (B) a2 generic, b2 = 0: rank of W^3 -> S_4^2 = 13 (kernel 2)
  ok   (B) a = 0, b2 generic: rank of W^3 -> S_4^2 = 13 (kernel 2)
  ok   (B) a(q) = b(q) = 0 (a2 = b2 = 0): rank of W^3 -> S_4^2 = 12 (kernel 3)
  ok   (B) a = 0, b(q) = 0: rank of W^3 -> S_4^2 = 12 (kernel 3)
  ok   (B) y o : C[Y,Z]_5 -> C[Y,Z]_4 has rank 5 and kills Z^5: the binary quintics killed by y are C Z^5
  ok   (N) (x,0), (y,0), (-c z/5, x) are syzygies of (Z^5, c X Z^4 + G_5)
  ok   (N) dim S_1 o D_5 = 3 for general G_5 (r = 3)
  ok   (N) rank of W^3 -> S_4^2 = 12 over QQ(c, G_5), 12 at c = 1 (independent of G_5: the map does not involve G_5)
  ok   (O) off-line, binary, a2, b2 generic: rank 13
  ok   (O) off-line, binary, a2 = 0, b2 generic: rank 13
  ok   (O) off-line, binary, a2 generic, b2 = 0: rank 13
  ok   (O) off-line, binary, a = 0, b2 generic: rank 13
  ok   (O) off-line, binary, a(q) = b(q) = 0 (a2 = b2 = 0): rank 13
  ok   (O) off-line, binary, a = 0, b(q) = 0: rank 13
  ok   (O) off-line, D_5 = <X^5, G_5>: (y,0), (z,0), (0,x) are syzygies
  ok   (O) off-line, D_5 = <X^5, G_5>: rank 12
  ok   tails 24 - rank: type (3) 24 - 13 = 11, type (4) 24 - 12 = 12
total time 0.5 s
ALL CHECKS PASSED
