> < ^ Date: Tue, 14 Jun 1994 00:18:00 -0700
> < ^ From: Jacob Hirbawi <hirbawi@commquest.com >
> ^ Subject: Quadratic subfields of Q(E(n))

Is there a way to tell GAP to do calculations in a field smaller than Q(E(n)) ?

For example, if I have matrices over Q( sqrt(-7), sqrt(5) ), GAP translates all
the entries to E(35) and that results in expressions that are much more
complicated than they have to be; ER(-7) + ER(5) for example becomes

 2*E(35)-2*E(35)^3+2*E(35)^4+2*E(35)^9+2*E(35)^11-2*E(35)^12-2*E(35)^13
+2*E(35)^16-2*E(35)^17-2*E(35)^27+2*E(35)^29-2*E(35)^33

I looked at "NumberField" which seems to set up such subfields, but I couldn't
find anything that goes beyond this. Is what I am trying to do possible in
3.3? how about 3.4? Thanks.

Jacob Hirbawi
JcbHrb@CERF.net


> < [top]