Post Reply 
assume(x>0); additionally(x,integer); Beta 2 release
01-12-2018, 03:18 AM
Post: #4
RE: assume(x>0); additionally(x,integer); Beta 2 release
(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.

Viga C | TD | FB
Visit this user's website Find all posts by this user
Quote this message in a reply
Post Reply 


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



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