p=3: multiple with rows (g_0, x^123 y^1, 1 x^0 y^3, g_B y^4): #terms(g_0)=87 #terms(g_B)=87 ; ord_roots(g_0)=1 (h_1=1) same at 4 roots: True ; leading coefficients cancel: True  -> OK
p=3: multiple with rows (g_0, x^0 y^1, 1 x^123 y^3, g_B y^4): #terms(g_0)=87 #terms(g_B)=87 ; ord_roots(g_0)=1 (h_1=1) same at 4 roots: True ; leading coefficients cancel: True  -> OK
p=3: examples found: 2, consistent with Section 5.1: 2
elapsed_seconds 1
