Sollya User's Manual

Name:

floating indicates that floating-point formats should be used for fpminimax

Library names:

sollya_obj_t sollya_lib_floating() int sollya_lib_is_floating(sollya_obj_t)

Usage:

floating : fixed|floating

Description:

The use of floating in the command fpminimax indicates that the list of formats given as argument is to be considered to be a list of floating-point formats. See fpminimax for details.

Example 1:

> fpminimax(cos(x),6,[|D...|],[-1;1],floating);
0.99999974816012215939053930924274027347564697265625 + x * (-2.79593179695850233444023069510765565920208989246498e-15 + x * (-0.49999286980201401719980935922649223357439041137695 + x * (4.0484539189054105169841244454207387920433372507922e-14 + x * (4.16335155289191682914662351322476752102375030517578e-2 + x * (-4.015858818743733758578949218474363725507386355118e-14 + x * (-1.33822408854837810246452001194938929984346032142639e-3))))))