[GAP Forum] Strange GAP, I

Asst. Prof. Dmitrii (Dima) Pasechnik dima at ntu.edu.sg
Wed Feb 17 13:36:41 GMT 2010


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 <anvita21 at 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 at 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



More information about the Forum mailing list