  ok   Part L 3 distinct: dim D4 = dim D5 = 3
  ok   Part L 3 distinct: solution space of the lower-module conditions has dim 18 = 18 and equals {g arbitrary} + {Z p2 o}
  ok   Part L double+simple: dim D4 = dim D5 = 3
  ok   Part L double+simple: solution space of the lower-module conditions has dim 18 = 18 and equals {g arbitrary} + {Z p2 o}
  ok   Part L triple: dim D4 = dim D5 = 3
  ok   Part L triple: solution space of the lower-module conditions has dim 18 = 18 and equals {g arbitrary} + {Z p2 o}
  ok   Part L random: dim D4 = dim D5 = 3
  ok   Part L random: solution space of the lower-module conditions has dim 18 = 18 and equals {g arbitrary} + {Z p2 o}
  ok   Part U 3 distinct, nonpure: closedness conditions (54) linear in the tails; solved completely (L_{q,F} affine space)
  ok   Part U 3 distinct, nonpure: x u kills M; z u, y^2 u kill every basis element except Phi, on which they are constants k, h (all tails symbolic)
  ok   Part U 3 distinct, nonpure: h is a nonzero polynomial on L_{q,F} (dense open with a ray)
  ok   Part U 3 distinct, nonpure: step-6 point in L_{q,F}: True; h = 120 = 120 q(0,1)
  ok   Part U 3 distinct, pure X^6: closedness conditions (54) linear in the tails; solved completely (L_{q,F} affine space)
  ok   Part U 3 distinct, pure X^6: x u kills M; z u, y^2 u kill every basis element except Phi, on which they are constants k, h (all tails symbolic)
  ok   Part U 3 distinct, pure X^6: k == 0 identically (straight ray (x,z) for every tail)
  ok   Part U double+simple, nonpure: closedness conditions (54) linear in the tails; solved completely (L_{q,F} affine space)
  ok   Part U double+simple, nonpure: x u kills M; z u, y^2 u kill every basis element except Phi, on which they are constants k, h (all tails symbolic)
  ok   Part U double+simple, nonpure: h is a nonzero polynomial on L_{q,F} (dense open with a ray)
  ok   Part U double+simple, nonpure: step-6 point in L_{q,F}: True; h = 120 = 120 q(0,1)
  ok   Part U double+simple, pure X^6: closedness conditions (54) linear in the tails; solved completely (L_{q,F} affine space)
  ok   Part U double+simple, pure X^6: x u kills M; z u, y^2 u kill every basis element except Phi, on which they are constants k, h (all tails symbolic)
  ok   Part U double+simple, pure X^6: k == 0 identically (straight ray (x,z) for every tail)
  ok   Part U triple, nonpure: closedness conditions (54) linear in the tails; solved completely (L_{q,F} affine space)
  ok   Part U triple, nonpure: x u kills M; z u, y^2 u kill every basis element except Phi, on which they are constants k, h (all tails symbolic)
  ok   Part U triple, nonpure: h is a nonzero polynomial on L_{q,F} (dense open with a ray)
  ok   Part U triple, nonpure: step-6 point in L_{q,F}: True; h = 120 = 120 q(0,1)
  ok   Part U triple, pure X^6: closedness conditions (54) linear in the tails; solved completely (L_{q,F} affine space)
  ok   Part U triple, pure X^6: x u kills M; z u, y^2 u kill every basis element except Phi, on which they are constants k, h (all tails symbolic)
  ok   Part U triple, pure X^6: k == 0 identically (straight ray (x,z) for every tail)
  ok   Part U random, nonpure: closedness conditions (54) linear in the tails; solved completely (L_{q,F} affine space)
  ok   Part U random, nonpure: x u kills M; z u, y^2 u kill every basis element except Phi, on which they are constants k, h (all tails symbolic)
  ok   Part U random, nonpure: h is a nonzero polynomial on L_{q,F} (dense open with a ray)
  ok   Part U random, nonpure: step-6 point in L_{q,F}: True; h = 120 = 120 q(0,1)
  ok   Part R 3 distinct, nonpure, sample 0: after the shear z -> z - p2 (p2 = -1/6*x^2 + 1/3*x*y + 1/2*y^2): closed True, pure quartic lifts True; k = 43552/27, h = -36056/15, alpha = -27220/40563; x u, c u in I, u not in I+(x,c): True; EXACT colon: (x, z - alpha y^2) is a ray: True
  ok   Part R 3 distinct, nonpure, sample 1: after the shear z -> z - p2 (p2 = 2*x^2 + 1/3*x*y - 3/2*y^2): closed True, pure quartic lifts True; k = 57784/9, h = 6664/5, alpha = 36115/7497; x u, c u in I, u not in I+(x,c): True; EXACT colon: (x, z - alpha y^2) is a ray: True
  ok   Part R 3 distinct, pure, sample 0: after the shear z -> z - p2 (p2 = 5/6*x^2 - 1/2*x*y - y^2): closed True, pure quartic lifts True; k = 0, h = 0, alpha = 0; x u, c u in I, u not in I+(x,c): True; EXACT colon: (x, z - alpha y^2) is a ray: True
  ok   Part R 3 distinct, pure, sample 1: after the shear z -> z - p2 (p2 = 3/2*x^2 + 1/6*x*y - 3/2*y^2): closed True, pure quartic lifts True; k = 0, h = 0, alpha = 0; x u, c u in I, u not in I+(x,c): True; EXACT colon: (x, z - alpha y^2) is a ray: True
  ok   Part R double+simple, nonpure, sample 0: after the shear z -> z - p2 (p2 = -1/6*x^2 - x*y + y^2): closed True, pure quartic lifts True; k = 475/8, h = -1093/30, alpha = -7125/4372; x u, c u in I, u not in I+(x,c): True; EXACT colon: (x, z - alpha y^2) is a ray: True
  ok   Part R double+simple, nonpure, sample 1: after the shear z -> z - p2 (p2 = 1/6*x^2 - 7/6*x*y + y^2): closed True, pure quartic lifts True; k = 5251/432, h = -133/12, alpha = -5251/4788; x u, c u in I, u not in I+(x,c): True; EXACT colon: (x, z - alpha y^2) is a ray: True
  ok   Part R double+simple, pure, sample 0: after the shear z -> z - p2 (p2 = 1/2*x^2 + 1/6*x*y - 1/2*y^2): closed True, pure quartic lifts True; k = 0, h = 0, alpha = 0; x u, c u in I, u not in I+(x,c): True; EXACT colon: (x, z - alpha y^2) is a ray: True
  ok   Part R double+simple, pure, sample 1: after the shear z -> z - p2 (p2 = -1/6*x^2 - 5/3*x*y + 3/2*y^2): closed True, pure quartic lifts True; k = 0, h = 0, alpha = 0; x u, c u in I, u not in I+(x,c): True; EXACT colon: (x, z - alpha y^2) is a ray: True
  ok   Part R triple, nonpure, sample 0: after the shear z -> z - p2 (p2 = 1/3*x^2 - 1/3*x*y - 3/2*y^2): closed True, pure quartic lifts True; k = 18200/729, h = 84/5, alpha = 3250/2187; x u, c u in I, u not in I+(x,c): True; EXACT colon: (x, z - alpha y^2) is a ray: True
  ok   Part R triple, nonpure, sample 1: after the shear z -> z - p2 (p2 = 1/6*x^2 + 1/3*x*y - 3/2*y^2): closed True, pure quartic lifts True; k = 87248/729, h = 3692/45, alpha = 109060/74763; x u, c u in I, u not in I+(x,c): True; EXACT colon: (x, z - alpha y^2) is a ray: True
  ok   Part R triple, pure, sample 0: after the shear z -> z - p2 (p2 = 3/2*y^2): closed True, pure quartic lifts True; k = 0, h = 0, alpha = 0; x u, c u in I, u not in I+(x,c): True; EXACT colon: (x, z - alpha y^2) is a ray: True
  ok   Part R triple, pure, sample 1: after the shear z -> z - p2 (p2 = 1/6*x^2 - 1/3*x*y + 3/2*y^2): closed True, pure quartic lifts True; k = 0, h = 0, alpha = 0; x u, c u in I, u not in I+(x,c): True; EXACT colon: (x, z - alpha y^2) is a ray: True
  ok   Part R random, nonpure, sample 0: after the shear z -> z - p2 (p2 = 4*x^2 - 3*x*y - 3/2*y^2): closed True, pure quartic lifts True; k = -599884/27, h = -556124/135, alpha = 749855/139031; x u, c u in I, u not in I+(x,c): True; EXACT colon: (x, z - alpha y^2) is a ray: True
  ok   Part R random, nonpure, sample 1: after the shear z -> z - p2 (p2 = 16/3*x^2 - 5/2*x*y - 3/2*y^2): closed True, pure quartic lifts True; k = 12412568/243, h = 267304/27, alpha = 1551571/300717; x u, c u in I, u not in I+(x,c): True; EXACT colon: (x, z - alpha y^2) is a ray: True
Part R: accepted samples 14 of 14
checks: 47
ALL CHECKS PASSED
