newRPL - build 1255 released! [updated to 1299]

[Claudio L.]

(07-30-2019 06:06 PM)The Shadow Wrote:  That system looks good to me! Very intuitive. I like it better than the subscripts, in fact.

I'm not quite clear on what ASSCOMB does? Is it the ASSUME string for the result of the expression?

Something like that, yes. Basically, if you present an expression like 'X^2', ASSCOMB will COMBine the attributes of X (a real number) with the attributes of 2 (a positive even integer) through the operator ^. The internal logic will determine that a real number raised to a positive even power will result in a positive real, so it will return R>=0 to let you know that expression has a specific type and domain restriction.
It's already implemented internally, I just thought it can be useful to be made external for programs to make decisions. For example if you ask the user to input a positive number, you can use ASSCOMB to see if the system can tell you that whatever the user wrote was indeed positive, all this without ever evaluating the expression.