Strengthen Mul/Pow::is_canonical()
Add a note about design to basic.h
Enable (x*y)^2 -> x^2*y^2 and test it
Add more tests
Don't calculate coef*coef if both are equal to one
Merge pull request #48 from certik/pow

Enable the rest of the division tests