anchor.diff:                             (make-term 2 '((make-var 'x 1)))
                              (make-term 1 nil)))))))
       (test
  -      test-poly+
  -      ((assert-equal nil
  +      test-poly+ ; Call termreduce internally
  +                 ; Exceptional use cases are already covered in
  +                 ; test-make-poly and test-termreduce
  +      (; 0 == 0 + 0
  +       (assert-equal nil
                        (poly+ nil nil))
  +       ; x + y + 1 == 0 + (x + y + 1)
          (assert-equal (make-poly
                          '((make-term 1 '((make-var 'x 1)))
                            (make-term 1 '((make-var 'y 1)))
  
positive.code:                        (make-poly
                           '((make-term 1 '((make-var 'x 1)))
                             (make-term 1 '((make-var 'y 1)))
                             (make-term 1 nil)))))
         ))
      ))
  
negative.code: (test-case
    'test-case-poly
    '(; These tests are for functions and operations on polynomials
      (test
        test-make-poly ; Call termreduce internally
        (; 0 == '()
         (assert-equal nil
                       (make-poly nil))
         ; 0 == '()
         (assert-equal nil
                       (make-poly '((make-term 0 nil))))
         ; 3x^2 + 4xy + 2x + 1
         (assert-equal '((3 ((x . 2)))
                         (4 ((x . 1) (y . 1)))
                         (2 ((x . 1)))
  