(in-package :symbolic-polynomial)

(let ((trm (make-instance 'term :exponents '(1 2 3) :coeff 4))
     (monom (make-instance 'monom :exponents '(1 2 3)))
     (promoted-monom  (make-instance 'term :exponents '(1 2 3) :coeff 1)))
  (assert (universal-equalp (change-class trm 'monom) monom))
  (assert (universal-equalp (change-class monom 'term) promoted-monom)))