Sollya User's Manual

Name:

dirtysimplify simplifies an expression representing a function

Library name:

sollya_obj_t sollya_lib_dirtysimplify(sollya_obj_t)

Usage:

dirtysimplify(function) : function -> function

Parameters:

function represents the expression to be simplified

Description:

The command dirtysimplify 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(dirtysimplify(sin(pi * x)));
   sin(3.1415926535897932384626433832795028841971693993751 * x)
   > print(dirtysimplify(erf(exp(3) + x * log(4))));
   erf(20.0855369231876677409285296545817178969879078385544 + x * 1.3862943611198906188344642429163531361510002687205)

Example 2:

   > prec = 20!;
   > t = erf(0.5);
   > s = dirtysimplify(erf(0.5));
   > prec = 200!;
   > t;
   0.520499877813046537682746653891964528736451575757963700058806
   > s;
   0.52050018310546875

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

Go back to the list of commands