f [s v1 v2 ... vn] genericAnn [L1 ... Lm] L1, ..., Lm are annihilating ideal for f^s. f is a polynomial of v1, ..., vn <string> | <poly> f, s, v1, ..., vn ; <poly> L1, ..., Lm Example: (x^3+y^3+z^3) [(s) (x) (y) (z)] genericAnn