Dear Forum, This ring, Ring(Sqrt(2)), does not have a unity: this explains why One(Ring(Sqrt(2))) does not terminate. (it does not know how to "prove" that there is no unity, so it continues to generate new and new elements in hope to find one...)
Then, it appears that polynomial rings in GAP are only implemented for rings with unity, and this explains why Indeterminate(Ring(Sqrt(2))), as it tries to find the unity first. Best, Dmirii On 17 February 2010 20:50, Anvita <anvit...@gmail.com> wrote: > Dear Forum, > > This command hangs GAP: > > ----------------------------- > Indeterminate(Ring(Sqrt(2))); > ----------------------------- > > So does this one: > > ------------------- > One(Ring(Sqrt(2))); > ------------------- > > Could there be the same underlying reason / bug ? > > This one, although being rather weird, works fine: > > ------------------------- > One(Zero(Ring(Sqrt(2)))); > ------------------------- > > Anvita > > _______________________________________________ > Forum mailing list > Forum@mail.gap-system.org > http://mail.gap-system.org/mailman/listinfo/forum > -- Dmitrii Pasechnik ----- DISCLAIMER: Any text following this sentence does not constitute a part of this message, and was added automatically during transmission. CONFIDENTIALITY: This email is intended solely for the person(s) named. The contents may be confidential and/or privileged. If you are not the intended recipient, please delete it, notify us, and do not copy or use it, nor disclose its contents. Thank you. Towards A Sustainable Earth: Print Only When Necessary _______________________________________________ Forum mailing list Forum@mail.gap-system.org http://mail.gap-system.org/mailman/listinfo/forum
