Primitive Polynomial definition