assume(x>0); additionally(x,integer); Beta 2 release

01112018, 05:27 AM
Post: #1




assume(x>0); additionally(x,integer); Beta 2 release
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 

01112018, 06:45 PM
Post: #2




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

01122018, 02:46 AM
Post: #3




RE: assume(x>0); additionally(x,integer); Beta 2 release
But isn't that still allowing x to be equal to zero?
That seems to be x>=0, not x>0.... 

01122018, 03:18 AM
Post: #4




RE: assume(x>0); additionally(x,integer); Beta 2 release
(01122018 02:46 AM)webmasterpdx Wrote: But isn't that still allowing x to be equal to zero? [DOM_INT [[0 infinty]] [0]] (2) [[0 infinty]] > Hypothesis interval matrix (3) [0] > List of interval exclusions 0 is being excluded, does not participate. Viga C  TD  FB 

01152018, 11:21 AM
Post: #5




RE: assume(x>0); additionally(x,integer); Beta 2 release
(01122018 03:18 AM)Carlos295pz Wrote:(01122018 02:46 AM)webmasterpdx Wrote: But isn't that still allowing x to be equal to zero? 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? :) 

« Next Oldest  Next Newest »

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