[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Axiom-developer] Re: fixing SPAD

From: Martin Rubey
Subject: Re: [Axiom-developer] Re: fixing SPAD
Date: 19 May 2007 19:38:17 +0200
User-agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.4

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.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]