[Top][All Lists]

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

RE: [Axiom-developer] Map

From: Bill Page
Subject: RE: [Axiom-developer] Map
Date: Fri, 31 Mar 2006 21:50:42 -0500

On March 31, 2006 9:12 PM Antoine Hersen wrote:
> I am having some trouble with the function map applied to List.
> When using it in input files axiom complains but oblige but in
> a spad files I am always running to disaster.
> I end up using a [my_function i for i in my_list ]
> I guess I am not using $ and @ correctly, can anybody give me 
> some advices ?

To get some useful advice please be specific and give some
examples. Even better: Create a page in the Axiom Wiki SandBox
that shows what you are trying to do. Then someone can help you.

How to use of $ and @ is explained in the Axiom book.

If an expression X is converted using one of the three operators
to type T the interpretations are:

:: means explicitly convert X to type T if possible.
$ means use the available operators for type T to compute X.
@ means choose operators to compute X so that the result is of
  type T.


  f(x)$A  means to call the function f from package/domain A
  f(x)@B  means to call some function f that returns a result of
          type B


0.4.5 Control of Result Types

Bill Page.

reply via email to

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