misc change
Implemented rather inefficient polynomial factorization with integer coefficient, using big prime