L24  leading coefficient of g equals A (7^3 grid): PASS
L24  B = 2AD/S (identity, 7^3 grid): PASS
L24  4AC - B^2 = 16 A W1 W2 W3 / S^2 (identity, 7^3 grid): PASS
L24  disc_b(g) = S^2 (b-b*)^2 - 16 A W1 W2 W3/S^2 (identity, 7^3 x 3 grid): PASS
L25  trial 0: |L|=3, |K|=3: g_L decomposition True, g_(L_delta) decomposition True, delta=0 limit True, blow-up True: PASS
L25  trial 1: |L|=3, |K|=5: g_L decomposition True, g_(L_delta) decomposition True, delta=0 limit True, blow-up True: PASS
L25  trial 2: |L|=5, |K|=3: g_L decomposition True, g_(L_delta) decomposition True, delta=0 limit True, blow-up True: PASS
L25  trial 3: |L|=5, |K|=3: g_L decomposition True, g_(L_delta) decomposition True, delta=0 limit True, blow-up True: PASS
L25  trial 4: |L|=3, |K|=3: g_L decomposition True, g_(L_delta) decomposition True, delta=0 limit True, blow-up True: PASS
L25  trial 5: |L|=5, |K|=5: g_L decomposition True, g_(L_delta) decomposition True, delta=0 limit True, blow-up True: PASS
L21  trial 0: m=3, P_(eps c, eps gamma) = (prod eps) P_(c, gamma): PASS
L21  trial 1: m=7, P_(eps c, eps gamma) = (prod eps) P_(c, gamma): PASS
L21  trial 2: m=7, P_(eps c, eps gamma) = (prod eps) P_(c, gamma): PASS
L21  trial 3: m=5, P_(eps c, eps gamma) = (prod eps) P_(c, gamma): PASS
L21  trial 4: m=3, P_(eps c, eps gamma) = (prod eps) P_(c, gamma): PASS
ALL IDENTITY CHECKS PASS
