Post Reply 
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
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 - Arno K - 01-11-2018 06:45 PM



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