S = b

SG = a

d=-b

j=2b

c=-a/2

v=a+b

4e=a

g=a-b

All check!

check

c=\frac{-a}{2}

d=-b

e=\frac{1}{4}a

j=2b

g=a-b

v=a+b

0

=b

=a

grid

S = (2.1025340399999792, -1.3162395800000162)
b: (0, y(S))
d: 0.5
SG = (1.7032340399999748, 3.395500420000035)
a: (0, y(SG))
D: (10.7, 7.28202)
J: (10.7, 3.10268)
C: (10.7, 8.47992)
show = false
V: (10.7, 1.63858)
E: (10.7, 5.9)
G: (10.7, 4.54664)
acc: 0.05
dlt: (acc * y(Corner[4]))
JH: y(J) - (2 * y(b)) > dlt
JL: (2 * y(b)) - y(J) > dlt
EH: y(E) - (0.25 * y(a)) > dlt
EL: (-y(E)) + (0.25 * y(a)) > dlt
DH: y(D) + y(b) > dlt
DL: (-y(D)) - y(b) > dlt
VH: y(V) - (y(a) + y(b)) > dlt
VL: (-y(V)) + y(a) + y(b) > dlt
CH: y(C) + y(a) / 2 > dlt
CL: (-y(C)) - y(a) / 2 > dlt
GH: y(G) - y(a) + y(b) > dlt
GL: (-y(G)) + y(a) - y(b) > dlt
low: CL + DL + EL + GL + JL + VL
high: CH + DH + EH + GH + JH + VH
text1: "" + low + " too low"
text2: "" + high + " too high"
Cl: C - ((0.7 * d), (0.4 * d))
Cr: C + ((0.7 * d), (-0.4 * d))
Dr: D + ((0.6 * d), (-0.8 * d))
Dl: D - ((0.6 * d), (0.8 * d))
Er: E + (d, (-0.8 * d))
El: E - ((0.9 * d), (0.8 * d))
Jl: J - ((0.7 * d), (1.6 * d))
Jr: J + ((0.7 * d), (-1.6 * d))
Gr: G + ((0.8 * d), (-0.5 * d))
Gl: G - ((0.8 * d), (0.5 * d))
Vl: V - ((0.9 * d), (0.4 * d))
Vr: V + ((0.9 * d), (-0.4 * d))
f = Segment(b, S)
g = Segment(a, SG)
Sl: S - ((2 * d), (0.85 * d))
Sr: S + ((2 * d), (-0.85 * d))
SGr: SG + ((1.1 * d), (-0.6 * d))
SGl: SG - ((1.1 * d), (0.6 * d))
c_1(y) = y ≤ 0
d_1(y) = y ≥ 0
A: (x(a) - 0.15, y(a))
B: (x(a) + 0.15, y(a))
h = Segment(A, B)
F: (x(b) - 0.15, y(b))
H: (x(b) + 0.15, y(b))
i = Segment(F, H)