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.795931796958502334440230695107655659202089892465e-15 + x * (-0.49999286980201401719980935922649223357439041137695 + x * (4.0484539189054105169841244454207387920433372507922e-14 + x * (4.1633515528919168291466235132247675210237503051758e-2 + x * (-4.015858818743733758578949218474363725507386355118e-14 + x * (-1.3382240885483781024645200119493892998434603214264e-3))))))