Assume, Additionally Bug - Printable Version

Assume, Additionally Bug - Printable Version

+- HP Forums (https://www.hpmuseum.org/forum)
+-- Forum: HP Calculators (and very old HP Computers) (/forum-3.html)
+--- Forum: HP Prime (/forum-5.html)
+--- Thread: Assume, Additionally Bug (/thread-7083.html)

Assume, Additionally Bug - CH3791 - 10-21-2016 09:12 AM

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

[attachment=4069]
It probably has something to do with symbolic representation and pi?

RE: Assume, Additionally Bug - CH3791 - 10-21-2016 09:15 AM

UPDATE. This also doesn't work using given (|) directly in CAS mode.
[attachment=4070]

RE: Assume, Additionally Bug - parisse - 10-21-2016 02:23 PM

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

RE: Assume, Additionally Bug - CH3791 - 10-26-2016 08:43 AM

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