=== Part A: anchors of the nonpure common-line sector (A)
  ok   rank 3 anchor: module closed with H = [1, 3, 6, 4, 4, 2, 1]; (xyz, x^2z+z^3-y^4, y^2z+z^3-x^4) in I; local length 36 (local standard basis), stabilization (36, 9)
  ok   rank 2 anchor: phi vanishes on G = <X^4,Y^4>; module closed with H = [1, 3, 6, 4, 4, 2, 1]; the triple is in I; local length 40 (local standard basis), stabilization (40, 11)
=== Part N: random members of the nonpure parametrizations (S)
  ok   rank 3 member (random F, U, a_4, free tails): closed, H = [1, 3, 6, 4, 4, 2, 1]
  ok   rank 3 member (random F, U, a_4, free tails): closed, H = [1, 3, 6, 4, 4, 2, 1]
  ok   rank 3 member (random F, U, a_4, free tails): closed, H = [1, 3, 6, 4, 4, 2, 1]
  ok   rank 3 member (random F, U, a_4, free tails): closed, H = [1, 3, 6, 4, 4, 2, 1]
  ok   rank 2 member F = X^6 + Y^6 (phi|G = 0, free tails): closed, H = [1, 3, 6, 4, 4, 2, 1]
  ok   rank 2 member F = X^6 + Y^6 (phi|G = 0, free tails): closed, H = [1, 3, 6, 4, 4, 2, 1]
  ok   rank 2 member F = X^5*Y (phi|G = 0, free tails): closed, H = [1, 3, 6, 4, 4, 2, 1]
  ok   rank 2 member F = X^5*Y (phi|G = 0, free tails): closed, H = [1, 3, 6, 4, 4, 2, 1]
=== Part P: the pure sector (S)
  ok   nontangent pure member (H = -3*X^3*Y^2 - 3*X^2*Y^3 - 4*X*Y^4 - 2*Y^5): closed, H ok; X^4 in M; y x^4, z x^4 in I; ray (y, z) by colon
  ok   nontangent pure member (H = X^3*Y^2 + 3*X^2*Y^3 + 3*Y^5): closed, H ok; X^4 in M; y x^4, z x^4 in I; ray (y, z) by colon
  ok   nontangent pure member (H = 5*X^3*Y^2 + 5*X^2*Y^3 + 2*X*Y^4 + 4*Y^5): closed, H ok; X^4 in M; y x^4, z x^4 in I; ray (y, z) by colon
  ok   tangent pure member (q4 = x^2*y^2 - 3*x*y^3 - 10*y^4): closed, H ok; curved ray (l, z - alpha m^2) = (x + 2*y, 15/58) by detector and colon
  ok   tangent pure member (q4 = x^2*y^2 + 3*x*y^3 - 4*y^4): closed, H ok; curved ray (l, z - alpha m^2) = (x - y, -45/34) by detector and colon
  ok   tangent pure member (q4 = x^2*y^2 + 4*x*y^3 - 5*y^4): closed, H ok; curved ray (l, z - alpha m^2) = (x + 5*y, 1/4) by detector and colon
time 6.5 s
ALL CHECKS PASSED
