(in-package :polynomial)

(proclaim '(special p r))

(setf p (ADD-TO
	 (make-instance 'poly :termlist (list (make-instance 'term :exponents #(0) :coeff 5)) :order #'lex>)
	 (make-instance 'poly :termlist (list (make-instance 'term :exponents #(1) :coeff 1)) :order #'lex>)))

(setf r (POLYNOMIAL::ADD-TERMLISTS (list (make-instance 'term :exponents #(0) :coeff 5))
				   (list (make-instance 'term :exponents #(1) :coeff 1))
				   #'lex>))
(print r)