Re: [Axiom-developer] about Expression Integer

[Ralf Hemmecke]

On 02/20/2006 10:02 PM, Gabriel Dos Reis wrote:
> Ralf Hemmecke <address@hidden> writes:
> | Hmm, do you call the following object-oriented?
>
> Yes.
>
> | (That code appears in libalgebra distributed with Aldor and it
> | basically provides a generic function that given a function "f: R ->
> | S" returns a function "map(f)" of type "RX -> SX" that applies "f" on
> | the coefficients of a univariate polynomial.)
> | 
> | UnivariateFreeRing2(
> |      R : Join(ArithmeticType, ExpressionType),
> |      RX: UnivariateFreeRing R,
> |      S : Join(ArithmeticType, ExpressionType),
> |      SX: UnivariateFreeRing S
> | ): with {
> |       map: (R -> S) -> RX -> SX;
> | } == add {
> |       map(f:R -> S)(p:RX):SX == {
> |               q:SX := 0;
> |               for term in p repeat {
> |                       (c, n) := term;
> |                       q := add!(q, f c, n);
> |               }
> |               q;
> |       }
> | }
> | 
> | What is the class and what are the methods?
>
> The class is the collection of "things" that you can "pretend" to be
> univariate polynomials.

Oh, I think that is wrong. The "univariate polynomials" come as a 
parameter and have nothing to do with UnivariateFreeRing2.
As Bill mentioned, if that is considered to be a class, then it has no 
instantiations. It's a package in "Axiom" terms.

> | Sorry that I don't know CLOS,
>
> The reason why I mention CLOS is that it is close to Lisp (given the
> general topic of this mailing list :-),

Oh, if LISP is the general topic of this mailing list, then I should be 
quiet. ;-)

> | BTW, I don't say that Aldor hasn't some kind of object-orientation,
> | but it is in my opinion not a pure object-oriented language.
>
> My view is that debates of "pure" <your-favorite-buzzword> are
> meaningless as far as productive system building is concerned.  
> So, I will stop here.

Right. I'll also stop.

Ralf