n=7: reachable points with |B|<=30: 465 (0.0s); by type: {0: 233, 1: 70, 2: 46, 3: 46, 4: 70}
exact check X_j = a_j*eta + b_j*xi (j=1..n-1) and a_j, b_j >= 1 for 2<=j<=n-2: OK

=== Conjecture 2.4: named points ===
identity 2+3z+z^2 = (lam^4-lam^2-1)xi + (lam^2+1)eta = X_1 - X_{n-1} + lam^2 X_{n-2}: exact OK
X_2                    |w|=1.8019 coords(xi,eta)=(1.0000,2.2470) reachable: N=1 segments, type A_1 ; reachable n-gons with w=gX_j (2<=j<=n-2), exhaustive: 1 [(2, [0, 1, 2, 3, 4, 0])] ; as neighbour of O: 17 partners with det=S in the disc, 0 n-gons
X_{n-2}                |w|=1.8019 coords(xi,eta)=(2.2470,1.0000) reachable: N=1 segments, type A_4 ; reachable n-gons with w=gX_j (2<=j<=n-2), exhaustive: 1 [(5, [0, 1, 2, 3, 4, 0])] ; as neighbour of O: 17 partners with det=S in the disc, 0 n-gons
w_n = 2+3zeta+zeta^2   |w|=4.9328 coords(xi,eta)=(6.2959,4.2470) reachable: N=3 segments, type A_4 ; reachable n-gons with w=gX_j (2<=j<=n-2), exhaustive: 0 [] ; as neighbour of O: 6 partners with det=S in the disc, 0 n-gons
mirror(w_n)            |w|=4.9328 coords(xi,eta)=(4.2470,6.2959) reachable: N=3 segments, type A_1 ; reachable n-gons with w=gX_j (2<=j<=n-2), exhaustive: 0 [] ; as neighbour of O: 6 partners with det=S in the disc, 0 n-gons

=== Conjecture 2.4: all reachable points of type != A_0 with |w| <= 9 ===
number of points by number of reachable n-gons through them (exhaustive for the vertices gX_j, 2<=j<=n-2): {0: 14, 1: 12}
in every n-gon found the point is the vertex v_{k+1} and the vertex types are A_0,A_1,...,A_{n-3},A_0: True
   on no n-gon: |w|=4.93282 coords(xi,eta)=(4.24698, 6.29590) type A_1 N=3  [is w_n: False, is mirror(w_n): True]
   on no n-gon: |w|=4.93282 coords(xi,eta)=(6.29590, 4.24698) type A_4 N=3  [is w_n: True, is mirror(w_n): False]
   on no n-gon: |w|=6.15113 coords(xi,eta)=(7.29590, 6.85086) type A_2 N=3  [is w_n: False, is mirror(w_n): False]
   on no n-gon: |w|=6.15113 coords(xi,eta)=(4.49396, 7.85086) type A_2 N=3  [is w_n: False, is mirror(w_n): False]
type != A_0 points as a neighbour of O: 96 partners with det = S inside the disc of radius 30, reachable n-gons among them: 0

=== pairs (u,v) of reachable points with det(u,v) = S, both of radius <= 9 ===
pairs: 41 ; (type u, type v) histogram: {(0, 0): 13, (0, 4): 14, (1, 0): 14}
unitary pairs: 13 ; of these spanning a reachable n-gon with vertex types A_0,A_1,..,A_{n-3},A_0: 13 ; non-unitary pairs spanning a reachable n-gon: 0

=== Conjecture 2.5 on all unitary pairs above; lines u+tv and v+tu inside the disc of radius 30 ===
corrected statement (step lam^2, offset lam^2-1): {'lines': 26, 'on_line': 194, 'extra': 0, 'cand': 184, 'missing': 0, 'wrongtype': 0, 'lower_reach': 0, 'lower_tested': 196}
  = lines 26 ; reachable points found on them 194, of which NOT of the form u+m*lam^2*v or u+(m*lam^2-1)*v: 0 ; predicted points inside disc and on the admissible side: 184, of which not reachable: 0 ; wrong type: 0 ; predicted points on the wrong side that are reachable (other than xi, eta): 0 of 196

--- printed constants of Conjecture 2.5 (lam+1 and lam) ---
lam = 1.801937736, lam+1 = 2.801937736, lam^2 = 3.246979604, lam^2-1 = 2.246979604
exact test on all 13 unitary pairs, m = -3..3 (points in the open upper half-plane): {'a_tested': 42, 'a_reach': 0, 'a_typeok': 0, 'b_tested': 59, 'b_reach': 6, 'b_typeok': 6, 'c_viol': 13}
  printed (a), m != 0: 42 points tested, 0 reachable ; printed (b): 59 tested, 6 reachable ; pairs for which printed (c) fails (u+lam^2 v reachable, not of a printed form): 13
t-values found (kind A: t = m lam^2, kind B: t = m lam^2 - 1) -> number of points: {('A', -2): 2, ('A', -1): 4, ('A', 0): 26, ('A', 1): 22, ('A', 2): 10, ('A', 3): 8, ('A', 4): 6, ('A', 5): 6, ('A', 6): 6, ('A', 7): 6, ('A', 8): 4, ('A', 9): 2, ('B', -1): 2, ('B', 0): 12, ('B', 1): 26, ('B', 2): 12, ('B', 3): 10, ('B', 4): 6, ('B', 5): 6, ('B', 6): 6, ('B', 7): 6, ('B', 8): 4, ('B', 9): 2}

=== type A_0 points: number of unitary partners inside growing discs (illustration of 'infinitely many') ===
   w with |w|=1.0000 arg=2.2440: unitary partners u (w = v_1) with |u| <= R/4, R/2, R: [3, 5, 10]
   w with |w|=1.0000 arg=0.0000: unitary partners u (w = v_1) with |u| <= R/4, R/2, R: [0, 0, 0]
   w with |w|=2.7375 arg=1.9544: unitary partners u (w = v_1) with |u| <= R/4, R/2, R: [1, 2, 3]
   w with |w|=2.7375 arg=0.2896: unitary partners u (w = v_1) with |u| <= R/4, R/2, R: [1, 2, 4]
   w with |w|=3.9486 arg=0.6983: unitary partners u (w = v_1) with |u| <= R/4, R/2, R: [0, 1, 2]
   w with |w|=3.9486 arg=1.5457: unitary partners u (w = v_1) with |u| <= R/4, R/2, R: [0, 1, 2]
exact (non-float) decisions used: 12773 ; total time 0.4s
