(in-package :division)
;; NORMAL-FORM(2*(X^2)+(-1)*X*Y+(-1)*X-4,[(X^3)+(-1)*(X^2)+2, (-2)*(X^2)+Y+1, (-3)*X+Z+5]) --> Y*Z+2*Y+Z+14
(print
 (poly->string 
  (second 
   (multiple-value-list
    (poly-pseudo-divide (string->poly "2*(X^2)+(-1)*X*Y+(-1)*X-4" '(X Y Z))
			(cdr (string->poly "[(X^3)+(-1)*(X^2)+2, (-2)*(X^2)+Y+1, (-3)*X+Z+5]" '(X Y Z))))))
  '(X Y Z)))