Q E P C A D - QEPCAD Sample Point Documentation

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.
Primitive sample point : a qepcad structure
A list (C,K,c):
  1. C - an element of Z[x], primitive & irreducible.
  2. K - an isolating interval for a root of C, call it alpha.
  3. c - a list (c_1,...,c_n) of coordinates in Q(alpha).

Not primitive sample point : a qepcad structure
A list (B,J,A,I,c):
  1. B - element of Q(alpha)[y], primitive & squarefree.
  2. J - an isolating interval for a root of B, call it beta.
  3. A - element of Z[x], primitive and irreducible.
  4. I - an isolating interval for a root of A, call it alpha.
  5. c - a list (c_1,...,c_n) of coordinates in Q(alpha).
The structure represents a list of n+1 coordinates, the n+1st being beta.
Christopher W Brown
Last modified: Tue Jul 30 15:30:45 EDT 2002