contraction of an ideal