(load "boot")
(in-package :polynomial-sugar)
(use-package :symbolic-polynomial)

(proclaim '(special foo trm))

(setf foo (string->poly "x*y+x^3" '(x y)))
(change-class foo 'poly-with-sugar)
(setf trm (make-instance 'term-with-sugar :exponents '(2 3)))

(poly-insert-term foo trm)