anchor.diff:         (assert-equal '((5 ((x . 1))) (2 ((y . 1))))
                        (make-poly '((make-term 5 '((make-var 'x 1)))
                                     (make-term 2 '((make-var 'y 1))))))
  -       ; Add more asserts...
  +       ; Add more tests...
          ))
       (test
         test-equal-sym
  
positive.code:        (assert-equal t    ((equal-sym not (make-var 'x 1)) (make-var 'y 1)))
         (assert-equal '()  ((equal-sym id (make-var 'x 1)) (make-var 'y 1)))
         (assert-equal '()  ((equal-sym not (make-var 'x 1)) (make-var 'x 2)))))
      ))
  
negative.code:     (test
        test-term-simplify
        ((assert-equal '()             (term-simplify '(0 ((x . 1)))))
         (assert-equal '(1 ((x . 1)))  (term-simplify '(1 ((x . 1)))))
         ; Add more tests...
         ))
      (test
        test-coeff
        ((assert-equal 1  (coeff (make-term 1 '((make-var 'x 1)))))))
      (test
        test-vars
        ((assert-equal '((x . 1))  (vars (make-term 1 '((make-var 'x 1)))))
         ; Add more tests...
         ))
      (test
        test-make-termlist
        ((assert-equal '()  (make-termlist '()))
  