Post Reply 
How to simplify result from domain function
03-02-2020, 07:58 AM
Post: #1
How to simplify result from domain function
I use domain() function to find the domain of function Sqrt(x^2-9)/(x-3)

The calculator returns result [x<=-3 x>=3 and x <>3]

When simplify, it is expected to have [x<=-3 x>3], but the calculator returns result [x<=-3 x>=3]

[Image: pic1.png]

How can we have correct simplified answer?
Find all posts by this user
Quote this message in a reply
03-02-2020, 12:47 PM
Post: #2
RE: How to simplify result from domain function
The bug probably not from simplify, but x≠3

XCas> purge(x)
XCas> x >= 3      // returns x ≥ 3, as expected
XCas> x != 3       // returns true ???

XCas> [(x <= -3), (x >= 3) and (x != 3)]       // dropped "and true", returns [x <= -3, x >= 3]
Find all posts by this user
Quote this message in a reply
03-02-2020, 01:18 PM
Post: #3
RE: How to simplify result from domain function
It's unfortunately unavoidable. x!=3 will return true, because in this test x is considered to be a variable, and a variable is not the same as an integer.
Find all posts by this user
Quote this message in a reply
03-03-2020, 05:46 AM
Post: #4
RE: How to simplify result from domain function
I see. So the calculator treats x>=3, x<>3 as logical comparison rather than a set of number.

Any representation of the set x>=3?
Find all posts by this user
Quote this message in a reply
03-03-2020, 06:06 AM
Post: #5
RE: How to simplify result from domain function
There is an internal representation, used by assume/about, but no user commands.
Find all posts by this user
Quote this message in a reply
03-03-2020, 05:18 PM (This post was last modified: 03-04-2020 11:11 PM by compsystems.)
Post: #6
RE: How to simplify result from domain function
A new command to graph interval is very important, for example to graph the solution [x≤-3, (x≥3) AND (x≠3)] the following instruction is required

F1(X):=PIECEWISE( X≤-3, 0, (X≥3) AND (X≠3), 0 ) [enter] [plot]
Find all posts by this user
Quote this message in a reply
03-03-2020, 08:55 PM
Post: #7
RE: How to simplify result from domain function
(03-03-2020 06:06 AM)parisse Wrote:  There is an internal representation, used by assume/about, but no user commands.

Any way of adding an exported command or function?
Would it be useful in the described cases?
– –
VPN
Find all posts by this user
Quote this message in a reply
03-04-2020, 08:10 PM
Post: #8
RE: How to simplify result from domain function
No, there is no support for the internal representation of assume in user commands.
Find all posts by this user
Quote this message in a reply
03-04-2020, 09:02 PM
Post: #9
RE: How to simplify result from domain function
(03-04-2020 08:10 PM)parisse Wrote:  No, there is no support for the internal representation of assume in user commands.

I know there isn't at the moment
but
would it be useful
if you would ADD such a support?

Is it possible to add new keywords?
like this: "set { x<3 x>3 }"
VPN
Find all posts by this user
Quote this message in a reply
03-05-2020, 06:31 AM
Post: #10
RE: How to simplify result from domain function
There is nothing planned. I have myself no idea how to handle properly these kinds of objects.
Find all posts by this user
Quote this message in a reply
03-05-2020, 07:54 AM
Post: #11
RE: How to simplify result from domain function
(03-05-2020 06:31 AM)parisse Wrote:  There is nothing planned. I have myself no idea how to handle properly these kinds of objects.

okay
Users just have to careful and
also know – not just the math
but also the limitations of their tools.
– –
VPN
Find all posts by this user
Quote this message in a reply
Post Reply 




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