Fix subtraction in monic poly construction
Fail if g(x) is not in (Z/NZ)[x]