Francis' comment: I observe something incorrect in this function. If chcm is an algebra, quite possible, then the class of the object could be changed to hopf-algebra, at least if the algebra and coalgebra structures are compatible, a point not at all covered in the current state of the program.
Francis' comment: I observe something incorrect in this function. If chcm is an algebra, quite possible, then the class of the object could be changed to
hopf-algebra, at least if the algebra and coalgebra structures are compatible, a point not at all covered in the current state of the program.