here it is:
)abbrev package MPFL MappingPackageFloat
++ Author: Johannes Grabmeier
++ Date Created: 29.09.2014
++ Date Last Updated:
++ Description:
++ Tools for domain and range modification for the various
++ floating point types.
MappingPackageFloat() : with
coerce : (Float -> Float) -> (DoubleFloat -> DoubleFloat)
coerce : (DoubleFloat -> DoubleFloat) -> (Float -> Float)
++
== add
coerce(f: Float -> Float): (DoubleFloat -> DoubleFloat) ==
(x : DoubleFloat) : DoubleFloat +-> convert(f(convert(x)@Float))@DoubleFloat
coerce(g: DoubleFloat -> DoubleFloat): (Float -> Float) ==
(y : Float) : Float +-> convert(g(convert(y)@DoubleFloat))@Float
however, the internal mechanisms from EXP INT to DoubleFloat -> DoubleFloat,
seem to allow the interpreter to use this coercion, I guess this package has to
be used somewhere in the code for Liouvillian functions directly
Mit freundlichen Grüßen
Johannes Grabmeier
Prof. Dr. Johannes Grabmeier
Köckstraße 1, D-94469 Deggendorf
Tel. +49-(0)-991-2979584, Tel. +49-(0)-151-681-70756
Tel. +49-(0)-991-3615-141 (d), Fax: +49-(0)-3224-192688
Am 28.09.2014 um 15:42 schrieb Waldek Hebisch:
> Prof. Dr. Johannes Grabmeier wrote:
>>
>> I appreciate that the numerical evaluation of the error function is impleme=
>> nted. However, there is seems to some missing link to simply draw the funct=
>> ion
>>
>> (9) -> erf 2.0
>>
>> (9) 0.9953222650_1895273416_206925637
>> Type: Flo=
>> at
>> (10) -> draw(erf x, x=3D0..3)
>> Compiling function %B with type DoubleFloat -> DoubleFloat
>> Conversion failed in the compiled user function %B .
>>
>> Cannot convert from type Expression(DoubleFloat) to DoubleFloat for
>> value
>> erf(0.0625)
>>
>> I would appreciate if this could be fixed
>
> AFAICS the problem appears because 'erf' is defined only for Float
> and there is no DoubleFloat version. ATM there are several functions
> which only have Float version. Adding a package which implements
> functions by converting argument to Float and result back to
> DoubleFloat should solve the problem.
>
> --
> Waldek Hebisch
> [email protected]
>
> --
> You received this message because you are subscribed to the Google Groups
> "FriCAS - computer algebra system" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to [email protected].
> To post to this group, send email to [email protected].
> Visit this group at http://groups.google.com/group/fricas-devel.
> For more options, visit https://groups.google.com/d/optout.
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.
