chg: make monic only if not over a transcendental extension