<< f [g_1 g_2 ... g_m] reduction [h c0 syz input] >> poly f, g1_1, ..., g_m, h, c0; array of poly syz, input; h is the normal of f by {g1 .... fm}. h = c0 f + \sum syz_i g_i