assume(x>0); additionally(x,integer); Beta 2 release
|
01-11-2018, 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 |
|||
« Next Oldest | Next Newest »
|
Messages In This Thread |
assume(x>0); additionally(x,integer); Beta 2 release - webmasterpdx - 01-11-2018, 05:27 AM
RE: assume(x>0); additionally(x,integer); Beta 2 release - Arno K - 01-11-2018 06:45 PM
RE: assume(x>0); additionally(x,integer); Beta 2 release - webmasterpdx - 01-12-2018, 02:46 AM
RE: assume(x>0); additionally(x,integer); Beta 2 release - Carlos295pz - 01-12-2018, 03:18 AM
RE: assume(x>0); additionally(x,integer); Beta 2 release - webmasterpdx - 01-15-2018, 11:21 AM
|
User(s) browsing this thread: 1 Guest(s)