anchor.diff:  (defun term* (term1 term2)
     (make-term (* (coeff term1) (coeff term2))
                (varlist* (vars term1) (vars term2))))
  +
  +(defun term*-out (term1)
  +  (lambda (term2) (term* term1 term2)))
   
   (defun termnegate (term)
     (make-term (- (coeff term)) (vars term)))
  
positive.code:                   (termlist* poly1 (cdr poly2)))
      nil))
  
  (defun term*-out (term1)
    (lambda (term2) (term* term1 term2)))
  
  (defun varlist* (vars1 vars2)
    (varreduce (append vars1 vars2)))
  
  
negative.code: (defun varreduce (variables)
    ((tokenreduce var* equal-sym) variables))
  
  (defun tokenreduce (reduce-fun equal-fun)
    (lambda (tokens)
      (if tokens
  