Misnomer Cohomology-Class

[jcguu95]

In both the current code and the 1999 Kenzo documentation, a morphism whose target is the integer unit chain complex is called a Cohomology-Class. This is a misnomer. I suggest changing it Integer-Cochain.

example in doc

{\footnotesize\begin{verbatim}
(setf id-morphism   (build-mrph :sorc ZCC
                                :trgt ZCC
                                :degr 0
                                :intr #'identity
                                :strt :cmbn
                                :orgn '(identity morphism on ZCC) ))

[K4 Cohomology-Class (degree 0)]

code needs to be fixed

(DEFMETHOD PRINT-OBJECT ((mrph morphism) stream)
  (the morphism
       (progn
         (if (eq (first (orgn (trgt mrph))) 'z-chcm)
             (format stream "[K~D Cohomology-Class on K~D of degree ~D]"
                     (idnm mrph) (idnm (sorc mrph)) (- (degr mrph)))
             (format stream "[K~D Morphism (degree ~D): K~D -> K~D]"
                     (idnm mrph) (degr mrph)
                     (idnm (sorc mrph)) (idnm (trgt mrph))))
         mrph)))