5.1, due on February 14

This stuff is a little bit crazy. Equivalence classes with polynomials is a little much to wrap my mind around. I'm sure I'll get used to it and eventually think it's kind of cool, but for now it just seems like a pretty strange concept. At least the most theorems and proofs just cross straight over. 

Also, now our set of possible remainders just got so much bigger! Before it was so easy to check all the possibilities when using modulo and now the possibilities are endless. oh dear.