Post Reply 
Assume, Additionally Bug
10-21-2016, 09:12 AM
Post: #1
Assume, Additionally Bug
Hi,
I think I have found a bug with the assume and additionally commands.
Code:
#cas
demonstration(expression,domainlow,domainhigh):=
BEGIN
  assume(x>=domainlow);
  additionally(x<=domainhigh);
  xints:=solve(0=expression,x);//calculating x-ints
  return xints;
END;
#end
   
It probably has something to do with symbolic representation and pi?
Find all posts by this user
Quote this message in a reply
10-21-2016, 09:15 AM
Post: #2
RE: Assume, Additionally Bug
UPDATE. This also doesn't work using given (|) directly in CAS mode.
   
Find all posts by this user
Quote this message in a reply
10-21-2016, 02:23 PM
Post: #3
RE: Assume, Additionally Bug
Floating point issue while checking the conditions. I'm fixing, at least for simple cases.
Find all posts by this user
Quote this message in a reply
10-26-2016, 08:43 AM
Post: #4
RE: Assume, Additionally Bug
(10-21-2016 02:23 PM)parisse Wrote:  Floating point issue while checking the conditions. I'm fixing, at least for simple cases.
Cheers Parisse!
Find all posts by this user
Quote this message in a reply
Post Reply 




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