added ToC and some motivation for using polynomial rings