Sollya User's Manual

Name:

simplify simplifies an expression representing a function

Library name:

sollya_obj_t sollya_lib_simplify(sollya_obj_t)

Usage:

simplify(function) : function -> function

Parameters:

function represents the expression to be simplified

Description:

The command simplify simplifies constant subexpressions of the expression given in argument representing the function function. Those constant subexpressions are evaluated using floating-point arithmetic with the global precision prec.

Example 1:

   > print(simplify(sin(pi * x)));
   sin(3.14159265358979323846264338327950288419716939937508 * x)
   > print(simplify(erf(exp(3) + x * log(4))));
   erf(2.00855369231876677409285296545817178969879078385544e1 + x * 1.3862943611198906188344642429163531361510002687205)

Example 2:

   > prec = 20!;
   > t = erf(0.5);
   > s = simplify(erf(0.5));
   > prec = 200!;
   > t;
   0.5204998778130465376827466538919645287364515757579637000588058
   > s;
   0.52050018310546875

See also: simplifysafe, autosimplify, prec, evaluate, horner, rationalmode

Go back to the list of commands