fixed trivial extensions of prime fields
caching Q and Q'
get better equivalence_reciprocals
testcases with trivial residue field extensions