Re: [Axiom-developer] fixing SPAD

[Martin Rubey]

Waldek Hebisch <address@hidden> writes:

> For issue 354 I belive that there is reasonable workaround: just export
> Field unconditionally (as we do know), but throw error when sombody
> tries to create a fake field.  For example PrimeField is doing this --
> it exports Field for any value of p, but complains if you give it
> non-prime p.

I don't think that's that way to go about it, since I think that Complex PF 5
is a perfectly reasonable domain, only, it's not a field.  I know that one
could, in this special case, switch to Complex ZMOD 5, but that's another
story. Hm, are there Fields (easily created in Axiom) where it is more
difficult to create the corresponding Ring?

In any case, I thought that Complex R is intended to be the ring of formal
linear combinations of 1 and %i, where %i^2 = 1.  (That's also roughly what the
doc says.)  Do you see a different interpretation for the 'Complex'
constructor?

Martin