anchor.diff:  (test-case
     'test-case-poly
  -  '((test
  -      test-make-poly
  -      ((assert-equal nil
  +  '(; 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))))
  -       (assert-equal '((1 ()))
  -                     (make-poly '((make-term 1 nil))))
  -       (assert-equal '((2 ((x . 1)))
  -                       (1 ()))
  -                     (make-poly
  -                       '((make-term 2 '((make-var 'x 1)))
  -                         (make-term 1 nil))))
  -       (assert-equal '((3 ((x . 2)))
  -                       (4 ((x . 1) (y . 1)))
  -                       (1 ()))
  -                     (make-poly
  -                       '((make-term 3 '((make-var 'x 2)))
  -                         (make-term 4 '((make-var 'x 1)
  -                                        (make-var 'y 1)))
  -                         (make-term 1 nil))))
  +       ; 3x^2 + 4xy + 2x + 1
          (assert-equal '((3 ((x . 2)))
                          (4 ((x . 1) (y . 1)))
                          (2 ((x . 1)))
  
positive.code:                            (make-term 1 '((make-var 'y 1)))
                             (make-term 1 nil)))
                         nil))
         (assert-equal nil
                       (poly-
                         (make-poly
  
negative.code:                            (make-term 1 '((make-var 'y 1)))
                             (make-term 1 nil)))))))
      (test
        test-poly- ; Call poly+ and polynegate
                   ; Exceptional use cases are already covered in
                   ; test-make-poly, test-polynegate 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)))
  