> < ^ Date: Tue, 14 Jun 1994 12:05:00 BST
> < ^ From: Leonard Soicher <l.h.soicher@qmul.ac.uk >
< ^ Subject: Re: Quadratic subfields of Q(E(n))

Given generators a,b,c,... of a finite algebraic extension of the
rationals, would it not be possible for Gap 3.4+epsilon to calculate a
minimal polynomial for a single element t such that
Q(t)=Q(a,b,c,...), by applying an algorithmic version of the primitive
element theorem? It seems like most of what is necessary is already
in Gap 3.4.

Leonard Soicher.

> < [top]