Re: [Axiom-developer] Re: fixing SPAD

[Martin Rubey]

Ralf Hemmecke <address@hidden> 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