Ralf Hemmecke <[EMAIL PROTECTED]> writes:
> Martin, correct me if I am wrong... But I guess Martin meant that something
> like
>
> define ResidueClassRing(R: CommutativeRing, p: R): Category == with {
> Ring;
> if prime? p then Field;
> ...
> }
>
> which would be perfectly fine in Aldor does not work in SPAD.
Yes, that's exactly what I meant.
Martin
_______________________________________________
Axiom-developer mailing list
[email protected]
http://lists.nongnu.org/mailman/listinfo/axiom-developer
