specify design rationale
change make-polynomial to two representations
testing for make-polynomial