  J. Kock has previously defined a tangency quantum product on formal power
series with coefficients in the cohomology ring of any smooth projective
variety, and thus a ring that generalizes the quantum cohomology ring. We
further generalize Kock's construction by defining a dth-order contact product
and establishing its associativity.
