anchor.diff:                         (make-poly
                            '((make-term 1 '((make-var 'x 1)))
                              (make-term 1 '((make-var 'y 1)))
  -                           (make-term 1 nil)))))
  +                           (make-term 1 nil)))))))
  +    (test
  +      test-poly* ; Call poly+ and termlist* internally
  +                 ; Exceptional use cases are already covered in
  +                 ; test-make-poly, test-termreduce and
  +                 ; test-termlist*
  +      (
          ))
       ))
  
positive.code:                            (make-term 1 '((make-var 'y 1)))
                             (make-term 1 nil)))))))
      (test
        test-poly-
        ((assert-equal nil
                       (poly- nil nil))
         (assert-equal (make-poly
                         '((make-term -1 '((make-var 'x 1)))
                           (make-term -1 '((make-var 'y 1)))
  
negative.code:                            (make-term 1 '((make-var 'y 1)))
                             (make-term 1 nil)))
                         nil))
         ; 2x + 2y + 2 == (x + y + 1) + (x + y + 1)
         (assert-equal (make-poly
                         '((make-term 2 '((make-var 'x 1)))
                           (make-term 2 '((make-var 'y 1)))
  