[Top][All Lists]

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

Re: [Axiom-developer] NNI to SingleInteger

From: Martin Rubey
Subject: Re: [Axiom-developer] NNI to SingleInteger
Date: 26 Nov 2006 13:07:33 +0100
User-agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.4

Ralf <address@hidden> writes:

> Hello,
> does somebody know the proper method/function to convert between
> NNI, PI, SingleInteger, Integer

I guss to go from x: NNI to SingleInteger you have to say


Usually, in axiom, if a "coercion" (in the general, not Axiom sense of the
word) cannot always been done, as for example from INT to NNI or from INT to
SINT, you have to use "retract".

There are two very nice categories, namely KOERCE and RETRACT. Unfortunately,
not all domains have these categories, although they should. The reason is,
that SPADdoesn't know extend.

As soon as extend is available, this must be changed, since it makes
"categorial" programming possible.

I guess there is no "retract" in libaldor?


reply via email to

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