started working on a polynomial normal form like in PAIP Chapter 15