Post Reply 
How to simplify result from domain function
03-02-2020, 12:47 PM
Post: #2
RE: How to simplify result from domain function
The bug probably not from simplify, but x≠3

XCas> purge(x)
XCas> x >= 3      // returns x ≥ 3, as expected
XCas> x != 3       // returns true ???

XCas> [(x <= -3), (x >= 3) and (x != 3)]       // dropped "and true", returns [x <= -3, x >= 3]
Find all posts by this user
Quote this message in a reply
Post Reply 


Messages In This Thread
RE: How to simplify result from domain function - Albert Chan - 03-02-2020 12:47 PM



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