Waldek Hebisch <[EMAIL PROTECTED]> 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 _______________________________________________ Axiom-developer mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-developer
