write some tests for a few of the number theory functions
some tests for the generic-math functionality
some problems with the runtime of exponentiation in tests
modify the testing for integer square roots, because SQRT uses floating point for large numbers
check for small divisors before invoking fermat test
add some tests for gm:= on integers
start with some simple tests checking gm:= on polynomials
test the polynomial arithmetic (addition and multiplication)
Merge branch 'unit-tests'