Re: [Axiom-mail] NNI to SingleInteger

Hi Ralf, 

Ralf writes: 

> Hello, 
> 
> does somebody know the proper method/function to convert between 
> 
> NNI, PI, SingleInteger, Integer 
> 
> Complete conversion graph would be interesting.
> Note that I am *not* interested in interpreter stuff. I want to know the 
> explicit functions that I have to call in a .as file, i.e. the functions 
> should live inside libaxiom.al. If possible I want to avoid the use of 
> "pretend".

Sorry no graph, no explanation, only the practical approach. 

BR Gernot 


<----- begin code ------->
#include "axiom.as"
#pile 

INT ==> Integer;
NNI ==> NonNegativeInteger;
SI ==> SingleInteger;
PI ==> PositiveInteger; 

test(i: INT):INT == {
 import from INT, SI, PI, NNI; 

 -- INT -> all
 si1:SI := i::SI;
 pi1:PI := i::PI;
 nni1:NNI := i::NNI; 

 -- SI -> all
 int2:INT := si1::INT;
 pi2:PI := si1::PI;
 nni2:NNI := si1::NNI; 

 --> NNI -> all
 int3:INT := nni1::INT;
 pi3:PI := nni1::PI;
 si2:SI := nni1::SI; 

 i;
}
<----- end code -------> 


> 
> Yesterday, I have tried 
> 
> coerce: % -> PrimitiveArray S; 
> 
> from Tuple(S), but the Aldor compiler doesn't seem to know that this 
> coercion exists. Any hints? 
> 
> Furthermore, Tuple in Axiom has the function "select" for accessing the 
> n-th element of the tuple. Unfortunately, "select" is a reserved keyword 
> in Aldor. What should I do? 
> 
> Thank you in advance. 
> 
> Ralf 
> 
> 
> _______________________________________________
> Axiom-mail mailing list
> [email protected]
> http://lists.nongnu.org/mailman/listinfo/axiom-mail