(in-package :polynomial)

(proclaim '(special x y))

(setf x (alist->poly '( ((3) . 1) ((1) . 2))))
(setf y (alist->poly '( ((2) . 3) ((1) . 4))))

(print (->sexp x '(x)))
(print (->sexp y '(x)))

(print (->sexp (add-to x y) '(x)))