George'sFile

A polynomial in Q(alpha) is represented as a pair (q,P), where q is a rational number, and P is a primitive univariate integral polynomial of degree less than that of the minimal polynomial for alpha.

- C - an element of Z[x], primitive & irreducible.
- K - an isolating interval for a root of C, call it alpha.
- c - a list (c_1,...,c_n) of coordinates in Q(alpha).

- B - element of Q(alpha)[y], primitive & squarefree.
- J - an isolating interval for a root of B, call it beta.
- A - element of Z[x], primitive and irreducible.
- I - an isolating interval for a root of A, call it alpha.
- c - a list (c_1,...,c_n) of coordinates in Q(alpha).

Christopher W Brown Last modified: Tue Jul 30 15:30:45 EDT 2002