| - 'theRoots' is the list of roots of the polynomial f (no multiplicities)
- if the ground field is Q(a') and the extension field is Q(a), then
'newA' is the representation of a' in Q(a).
If the basering contains a parameter 'a' and the minpoly remains unchanged
then 'newA' = 'a'.
If the basering does not contain a parameter then 'newA' = 'a' (default).
- 'f' is the polynomial f in Q(a) (a' being substituted by 'newA')
|