A Canonical Basis for the Ideals of a Polynomial Domain