Post Reply 
newRPL - build 1255 released! [updated to 1299]
07-30-2019, 08:02 PM (This post was last modified: 07-30-2019 08:02 PM by Claudio L..)
Post: #542
RE: newRPL - build 1255 released! [updated to 1282]
(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.
Find all posts by this user
Quote this message in a reply
Post Reply 


Messages In This Thread
RE: newRPL - build 1001 released! - pier4r - 12-16-2017, 08:03 AM
newRPL - on Hp 39gs - Martin Hepperle - 06-05-2019, 06:51 AM
RE: newRPL - build 1001 released! - pier4r - 12-23-2017, 10:16 AM
RE: newRPL - build 1001 released! - pier4r - 01-01-2018, 09:42 AM
t - Claudio L. - 01-01-2018, 03:06 PM
RE: newRPL - build 1001 released! - pier4r - 01-01-2018, 03:41 PM
RE: newRPL - build 1001 released! - pier4r - 01-02-2018, 04:54 PM
RE: newRPL - build 1001 released! - pier4r - 01-02-2018, 06:58 PM
newRPL - brickviking - 10-05-2018, 06:01 AM
RE: newRPL - build 1255 released! [updated to 1282] - Claudio L. - 07-30-2019 08:02 PM
How to participate? - erazor - 12-13-2019, 07:12 AM



User(s) browsing this thread: 1 Guest(s)