newRPL - build 1255 released! [updated to 1299]

[The Shadow]

(07-31-2019 06:07 PM)JoJo1973 Wrote:  Yes, the "given" operator fits perfectly the role. The issue of inequalities is an interesting one, especially for hyperbolic functions such as LN and EXP where constraining the argument about 1 rather than 0 is often seeked.

Not really an issue, unless I'm missing something:

'LN(X) | X>1' is the same as 'LN(X) | X-1>0'. For that matter, it's the same as:

'LN(X+1) | X>0'