newRPL  build 1255 released! [updated to 1299]

01212019, 04:45 PM
Post: #360




RE: newRPL  build 1089 released! [update:build 1127]
(01202019 07:03 PM)The Shadow Wrote: I've been thinking some more about equations involving matrices. Regarding matrices, I decided to cut the details: we'll identify a variable as a matrix, that's all. This would allow the CAS to not mess the equation by applying commutative rules, etc. but that's all it would do. I don't think the system should apply automatically any rules, we can have special commands for that (like TRIGSIN and friends, commands that all they do is apply a specific rule to an expression). In the future we can revisit this to add more attributes if we think it's justified. As far as news: not much, still testing the new rewrite of the engine (works great so far), and adding the needed support for variable attributes that we discussed. The main challenge is to "compute" attributes for expressions, which is quite involved and I'm working on it right now. For example, let's have an expression like X^(2+2). You want a rule that matches an expression known to be positive (>0). You can specify this in the rule by using attributes in the variable name '.xXâ‚‚â‚ƒ' (here â‚‚â‚ƒ represents a real variable that cannot be infinite and is known to be >0). Now we need the rules engine to analyze the expression X^(2+2) to compute some attributes to see if we can match. It starts by setting attributes for the constants, 2 is integer, even, >0, noninfinite. Added to the other 2 gives you another integer, even, >0, noninfinite. Then we get the attributes from X (if none given it's assumed finite and real, or finite and complex if complex mode enabled). Now we have a finite real raised to an integer, even power, therefore the engine needs to be smart enough to know this will result in a real, finite, >=0 result. In this case it won't match, since we want an expression >0, and >=0 doesn't qualify, but my point was to show the kind of inference that this engine needs to be capable of in order for this to be useful. I'm working case by case all different combinations of all operators to see what conclusions we can get from an expression (and it's taking me a while). 

« Next Oldest  Next Newest »

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