anchor.diff:         (assert-equal '(2 ((x . 1)))  (make-term 2 '((make-var 'x 1))))
          (assert-equal '(3 ((x . 2)))  (make-term 3 '((make-var 'x 2))))
          (assert-equal '(4 ((x . 1) (y . 1)))
  -                     (make-term 4 '((make-var 'x 1) (make-var 'y 1))))))
  +                     (make-term 4 '((make-var 'x 1) (make-var 'y 1))))
  +       ))
       (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)))))))
  +      ((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
  
positive.code:        (assert-equal '((x . 2))  (varreduce '((x . 1) (x . 1))))
         (assert-equal '((x . 1) (y . 1))
                       (varreduce '((x . 1) (y . 1))))
         ; Add more tests...
         ))
      (test
        test-polyreduce
  
negative.code:        (assert-equal '((1 ((x . 1) (y . 1))))
                       (make-termlist '((make-term 1 '((make-var 'x 1)
                                                       (make-var 'y 1))))))
         ))
      (test
        test-make-poly
  