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