RE: [Axiom-math] I can't get an unexposed function.

[Bill Page]

Francois,

On February 26, 2006 3:03 PM you wrote:
> 
> I try to use the operator iter, and axiom can't find the function.
> What must I type ?
> 
> )d op iter
>  
> There is one unexposed function called iter :
>    [1] ((D1 -> D1),NonNegativeInteger,D1) -> D1
>             from MappingPackageInternalHacks1 D1 if D1 has SETCAT

You have the right idea. Notice 'MappingPackageInternalHacks1 D1'
above.

> (89) -> 
> iter ((x:Float):Float +-> cos x, 10, 1.0)::Float
>

In this example you want D1 to be Float.

So what you need is an explicit "package call" like this:


(1) -> iter ((x:Float):Float +-> cos x, 10,
1.0)$MappingPackageInternalHacks1(Float)

   (1)  0.7442373549 0055686343
   Type: Float

Or if you wish, you can explicitly "expose" this package:

(2) -> )expose MappingPackageInternalHacks1
   MappingPackageInternalHacks1 is now explicitly exposed in frame
    initial

(2) -> iter ((x:Float):Float +-> cos x, 10, 1.0)

   (2)  0.7442373549 0055686343
   Type: Float

--------

Regards,
Bill Page.