(->sexp (make-instance 'term :exponents '(0 0 0 0) :coeff -5) '(x y u v))
;;NIL
(->sexp (make-instance 'monom :exponents '(0 0 0 0)))
;;NIL
(->sexp (make-instance 'monom :exponents '(0 0 0 0)) '(x y u w))
;;NIL
(->sexp (string->poly "X^2-Y^2+(-4/3)*U^2*W^3-5" '(x y u w)) '(x y u w))
;;(+ (EXPT X 2) (EXPT Y 2) (* -4/3 (EXPT U 2) (EXPT W 3)) NIL)
(->sexp (make-instance 'monom :exponents '(0 0 1 0)) '(x y u w))
;;U
(->sexp (make-instance 'monom :exponents '(1 2 1 1)) '(x y u w))
;;(* X (EXPT Y 2) U W)
(->sexp (make-instance 'term :exponents '(0 1 0 0) :coeff -5) '(x y u v))
; Evaluation aborted on #<TYPE-ERROR expected-type: LIST datum: SYMBOLIC-POLYNOMIAL::Y>.
(->sexp (make-instance 'term :exponents '(1 1 0 0) :coeff -5) '(x y u v))
;;(* -5 X Y)
(->sexp (make-instance 'term :exponents '(1 0 0 0) :coeff -5) '(x y u v))
; Evaluation aborted on #<TYPE-ERROR expected-type: LIST datum: SYMBOLIC-POLYNOMIAL::X>.
(->sexp (make-instance 'term :exponents '(11 0 0 0) :coeff -5) '(x y u v))
;;(EXPT X 11)
(->sexp (make-instance 'term :exponents '(11 0 0 0) :coeff 5) '(x y u v))
;;(EXPT X 11)
(->sexp (make-instance 'term :exponents '(11 0 4 0) :coeff 5) '(x y u v))
;;(* 5 (EXPT X 11) (EXPT U 4))