=== Part L: the lower module (degrees <= 5) and the shear normalization (U, per root type of q)
  ok   three roots: the lower-module tails (psi, phi) form a space of dimension 18, equal to {psi = g + Z p2(v), phi = Z p2(u)} (dim 18)
  ok   double+simple: the lower-module tails (psi, phi) form a space of dimension 18, equal to {psi = g + Z p2(v), phi = Z p2(u)} (dim 18)
  ok   triple: the lower-module tails (psi, phi) form a space of dimension 18, equal to {psi = g + Z p2(v), phi = Z p2(u)} (dim 18)
  ok   shear adjoint: <f(x, y, z + p2(x,y)), F> = <f, exp(Z p2(d_X,d_Y)) F> on 6 random pairs (S; the identity is formal)
=== Part S: after normalization (pure quartics), the closedness conditions of the sextic lift are linear in all tails (U, symbolic F)
  ok   three roots: 54 closedness conditions of the sextic lift, each of degree <= 1 in the tail coefficients (coefficients polynomial in F)
  ok   double+simple: 54 closedness conditions of the sextic lift, each of degree <= 1 in the tail coefficients (coefficients polynomial in F)
  ok   triple: 54 closedness conditions of the sextic lift, each of degree <= 1 in the tail coefficients (coefficients polynomial in F)
=== Part R: random members, curved rays (S)
  ok   three roots: q = -2*x^3 - x^2*y + 2*x*y^2 + y^3, q(0,1) = 1 != 0
  ok   three roots: dim ker q on B_4, B_5, B_6 = 3, 3, 3
  ok     three roots nonpure F: closed, H ok; x u in I; zu, y^2u act only on the sextic (k = -401232, h = -4129202/5); ray (x, z - 1003080/2064601 y^2) by detector and colon
  ok     three roots nonpure F: closed, H ok; x u in I; zu, y^2u act only on the sextic (k = -8095205/2, h = 41147438/5); ray (x, z - -40476025/82294876 y^2) by detector and colon
     (three roots, nonpure F: the solution space of (8) has dimension 27)
  ok     three roots nonpure F: closed, H ok; x u in I; zu, y^2u act only on the sextic (k = -633465/4, h = 965895); ray (x, z - -6033/36796 y^2) by detector and colon
  ok     three roots nonpure F: closed, H ok; x u in I; zu, y^2u act only on the sextic (k = -1343125/2, h = 406035); ray (x, z - -38375/23202 y^2) by detector and colon
     (three roots, nonpure F: the solution space of (8) has dimension 27)
  ok     three roots pure F: k = 0 (straight ray)
  ok     three roots pure F: closed, H ok; x u in I; zu, y^2u act only on the sextic (k = 0, h = 0); ray (x, z - 0 y^2) by detector and colon
  ok     three roots pure F: k = 0 (straight ray)
  ok     three roots pure F: closed, H ok; x u in I; zu, y^2u act only on the sextic (k = 0, h = 0); ray (x, z - 0 y^2) by detector and colon
     (three roots, pure F: the solution space of (8) has dimension 30)
  ok   double+simple: q = 2*x^3 - 3*x^2*y + y^3, q(0,1) = 1 != 0
  ok   double+simple: dim ker q on B_4, B_5, B_6 = 3, 3, 3
  ok     double+simple nonpure F: closed, H ok; x u in I; zu, y^2u act only on the sextic (k = 217961691/64, h = 15234489/10); ray (x, z - 363269485/162501216 y^2) by detector and colon
  ok     double+simple nonpure F: closed, H ok; x u in I; zu, y^2u act only on the sextic (k = 117122117/32, h = -19342071/20); ray (x, z - -83658655/22105224 y^2) by detector and colon
     (double+simple, nonpure F: the solution space of (8) has dimension 27)
  ok     double+simple nonpure F: closed, H ok; x u in I; zu, y^2u act only on the sextic (k = 29517100, h = -50462739/5); ray (x, z - -147585500/50462739 y^2) by detector and colon
  ok     double+simple nonpure F: closed, H ok; x u in I; zu, y^2u act only on the sextic (k = 24919819/4, h = 9227721/2); ray (x, z - 24919819/18455442 y^2) by detector and colon
     (double+simple, nonpure F: the solution space of (8) has dimension 27)
  ok     double+simple pure F: k = 0 (straight ray)
  ok     double+simple pure F: closed, H ok; x u in I; zu, y^2u act only on the sextic (k = 0, h = 0); ray (x, z - 0 y^2) by detector and colon
  ok     double+simple pure F: k = 0 (straight ray)
  ok     double+simple pure F: closed, H ok; x u in I; zu, y^2u act only on the sextic (k = 0, h = 0); ray (x, z - 0 y^2) by detector and colon
     (double+simple, pure F: the solution space of (8) has dimension 30)
  ok   triple: q = -27*x^3 + 27*x^2*y - 9*x*y^2 + y^3, q(0,1) = 1 != 0
  ok   triple: dim ker q on B_4, B_5, B_6 = 3, 3, 3
  ok     triple nonpure F: closed, H ok; x u in I; zu, y^2u act only on the sextic (k = -22048951539/2, h = -40526477274/5); ray (x, z - 36748252565/27017651516 y^2) by detector and colon
  ok     triple nonpure F: closed, H ok; x u in I; zu, y^2u act only on the sextic (k = 32996380183/2, h = 41859852441/5); ray (x, z - 164981900915/83719704882 y^2) by detector and colon
     (triple, nonpure F: the solution space of (8) has dimension 27)
  ok     triple nonpure F: closed, H ok; x u in I; zu, y^2u act only on the sextic (k = -30841655925/16, h = -8495132151/10); ray (x, z - 51402759875/22653685736 y^2) by detector and colon
  ok     triple nonpure F: closed, H ok; x u in I; zu, y^2u act only on the sextic (k = -61658395007/64, h = -39355951323/10); ray (x, z - 308291975035/1259390442336 y^2) by detector and colon
     (triple, nonpure F: the solution space of (8) has dimension 27)
  ok     triple pure F: k = 0 (straight ray)
  ok     triple pure F: closed, H ok; x u in I; zu, y^2u act only on the sextic (k = 0, h = 0); ray (x, z - 0 y^2) by detector and colon
  ok     triple pure F: k = 0 (straight ray)
  ok     triple pure F: closed, H ok; x u in I; zu, y^2u act only on the sextic (k = 0, h = 0); ray (x, z - 0 y^2) by detector and colon
     (triple, pure F: the solution space of (8) has dimension 30)
=== Part P: the point (15) of a nonpure fibre has h = 120 q(0,1) (U, symbolic F in ker q)
  ok   three roots: <y^2 q, Y^5> = 120 = 120 q(0,1)
  ok   three roots: the point (15) is a closed module with H ok, and h = 120
  ok   double+simple: <y^2 q, Y^5> = 120 = 120 q(0,1)
  ok   double+simple: the point (15) is a closed module with H ok, and h = 120
  ok   triple: <y^2 q, Y^5> = 120 = 120 q(0,1)
  ok   triple: the point (15) is a closed module with H ok, and h = 120
time 6.7 s
ALL CHECKS PASSED
