Hello,

I want to construct a maximal ideal I in the ring of integers from the 
cyclotomic field with gap which contains the prime number p.

To construct Z[zeta] with zeta = nth-root of unity I use to command 
>R:=Ring(1,E(n));

The ideal gens = <p, g-1 | g \in <zeta> >
Therefore I store the generators of I as list in gens.
Use the command : 
>I:=TwoSidedIdeal(R,gens);

But when I want to create the ideal I in this way or want to check whether 
R contains an element x with 
>x in R;
gap doesn't terminate.
What's wrong here?


Grettings,
Domenica

    
-- 
GRATIS für alle GMX-Mitglieder: Die maxdome Movie-FLAT!
Jetzt freischalten unter http://portal.gmx.net/de/go/maxdome01
_______________________________________________
Forum mailing list
Forum@mail.gap-system.org
http://mail.gap-system.org/mailman/listinfo/forum

Reply via email to