irredundance polynomial