Assume, Additionally Bug

[CH3791]

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?

[CH3791]

UPDATE. This also doesn't work using given (|) directly in CAS mode.
   

[parisse]

Floating point issue while checking the conditions. I'm fixing, at least for simple cases.

[CH3791]

(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!