idempotent_poly
