anchor.diff:  ;;;;2.92
   
   
  +;;都写了‘这绝不简单’，先绕过，回头补上。
  +;;写下大体的思路。三种情况需要处理。第一、两个多项式有同一变元。这种情况无需做特别处理。直接相加即可。第二、两个多项式有不同的变元，并且各自的系数中也不存在于另一个相同的变元。这种情况也可以直接相加。第三、就是x的多项式的系数可能是y的多项式。y的多项式的系数是x的多项式。这两个多项式相加就会稍微麻烦一些。首先，要有一个函数来判断这种情况。其次，还要有一个函数来转换其中的一个多项式到另一个多项式。使其具有相同的变元。而题目要求的是要通过加入强制性的变量序来达到目的。需要raise和drop函数来操作这个强制的过程。假定所有的多项式都以x作为变元。drop函数把所有的多项式都转换成为x作为变元的多项式。
  +
  +;;难点就在与多项式的转化上。转化之后要变成标准格式的多项式。涉及到按变元次数进行排序的问题。
  +
   
   							  
  +
  +
   								     
  
positive.code: 
       (show (add-terms l2 l2))
       (show (mul-terms l2 l2))
      
       (show "test end")
       'done)))
  
  
negative.code: 	    #'(lambda (var terms) (tag (make-poly var terms))))
      'done))
  
  (install-polynomial-package)
  
  
  ;;;定义多项式加法的项表
  
  (defun add-terms (l1 l2)
  