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