chg: make denominator monic if over a transcendental field extension of a finite field
chg: updated test results for longalg and gcdp_l