make poly module, implement PartialEq, and add some tests