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.
_______________________________________________
Axiom-math mailing list
Axiom-math@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-math
