SYMBOLIC-POLYNOMIAL> (->infix (make-instance 'term :exponents '(0 0 0 0) :coeff -5) '(x y u v))
NIL
SYMBOLIC-POLYNOMIAL> (->infix (make-instance 'monom :exponents '(0 0 0 0)))
NIL
SYMBOLIC-POLYNOMIAL> (->infix (make-instance 'monom :exponents '(0 0 0 0)) '(x y u w))
NIL
SYMBOLIC-POLYNOMIAL> (->infix (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)
SYMBOLIC-POLYNOMIAL> (->infix (make-instance 'monom :exponents '(0 0 1 0)) '(x y u w))
U
SYMBOLIC-POLYNOMIAL> (->infix (make-instance 'monom :exponents '(1 2 1 1)) '(x y u w))
(* X (EXPT Y 2) U W)
SYMBOLIC-POLYNOMIAL> (->infix (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>.
SYMBOLIC-POLYNOMIAL> (->infix (make-instance 'term :exponents '(1 1 0 0) :coeff -5) '(x y u v))
(* -5 X Y)
SYMBOLIC-POLYNOMIAL> (->infix (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>.
SYMBOLIC-POLYNOMIAL> (->infix (make-instance 'term :exponents '(11 0 0 0) :coeff -5) '(x y u v))
(EXPT X 11)
SYMBOLIC-POLYNOMIAL> (->infix (make-instance 'term :exponents '(11 0 0 0) :coeff 5) '(x y u v))
(EXPT X 11)
SYMBOLIC-POLYNOMIAL> (->infix (make-instance 'term :exponents '(11 0 4 0) :coeff 5) '(x y u v))
(* 5 (EXPT X 11) (EXPT U 4))