HP Forums
assume(x>0); additionally(x,integer); Beta 2 release - Printable Version

+- HP Forums (https://www.hpmuseum.org/forum)
+-- Forum: HP Calculators (and very old HP Computers) (/forum-3.html)
+--- Forum: HP Prime (/forum-5.html)
+--- Thread: assume(x>0); additionally(x,integer); Beta 2 release (/thread-9901.html)



assume(x>0); additionally(x,integer); Beta 2 release - webmasterpdx - 01-11-2018 05:27 AM

I was doing the assumptions above, and it says when I type about(x)...
[[0 infinity] 0]

Is this saying that it is including x? x>0 should be saying 1 or greater, not equal to 0.
I tried additionally(x != 0) (I used the not equal symbol) and it wouldn't accept it as an argument.

ideas?
Thx
-Donald


RE: assume(x>0); additionally(x,integer); Beta 2 release - Arno K - 01-11-2018 06:45 PM

Try it the other way round, first assume(x,integer), then additionally(x>0). Now about(x) provides: [DOM_INT [[0 infinty]] [0]].
Arno


RE: assume(x>0); additionally(x,integer); Beta 2 release - webmasterpdx - 01-12-2018 02:46 AM

But isn't that still allowing x to be equal to zero?
That seems to be x>=0, not x>0....


RE: assume(x>0); additionally(x,integer); Beta 2 release - Carlos295pz - 01-12-2018 03:18 AM

(01-12-2018 02:46 AM)webmasterpdx Wrote:  But isn't that still allowing x to be equal to zero?
That seems to be x>=0, not x>0....

[DOM_INT [[0 infinty]] [0]]
(2) [[0 infinty]] --> Hypothesis interval matrix
(3) [0] --> List of interval exclusions

0 is being excluded, does not participate.


RE: assume(x>0); additionally(x,integer); Beta 2 release - webmasterpdx - 01-15-2018 11:21 AM

(01-12-2018 03:18 AM)Carlos295pz Wrote:  
(01-12-2018 02:46 AM)webmasterpdx Wrote:  But isn't that still allowing x to be equal to zero?
That seems to be x>=0, not x>0....

[DOM_INT [[0 infinty]] [0]]
(2) [[0 infinty]] --> Hypothesis interval matrix
(3) [0] --> List of interval exclusions

0 is being excluded, does not participate.

I see, so is this described in any documentation? I mean about the Hypothesis interval matrix and list of interval exclusions? i.e. How did you know this? :-)