fix gm/ol symbol collision
detect square polynomial
start implementing tests for checking the Schinzel criterion

* this can be used to reduced to the squarefree case