This is probably a silly question which is answered in the manual somewhere, but I didn't find it: Is there a function analogous to "IsConjugate" which does the same sort of thing for rational conjugacy classes, maybe something like IsRationalConjugate? If not, what's the most computationally efficient way of implementing it? Thanks! Keith