#3584 Unevaluation of known functions

[caprilo]

Some expressions do not get wholy evaluated. For instance, take

f(x):= sqrt(1-(cos(x) + sin(x)-1)^2);

when typing f(0), the answer is sqrt(1- sin(0)^2), and I expected it to be 1.

wxMaxima version: 19.01.2x
using wxWidgets version: wxWidgets 3.0.4
Maxima version: 5.42.1
Maxima build date: 2018-11-02 17:35:03
Host type: x86_64-pc-linux-gnu
System type: BSD BSD NIL
Lisp implementation type: GNU Common Lisp (GCL)
Lisp implementation version: GCL 2.6.12
wxMaxima's idea of the directory layout is:
User configuration dir: /home/carlos/.maxima/
Help dir: /usr/share/doc/wxmaxima
Maxima lisp dir: /usr/share/maxima//5.42.1

[Barton Willis]

I'm unable to duplicate this using SBCL. Did you have a non-default value for some option variable? Try restarting Maxmia and try again. This is what I get:

(%i1)   f(x):= sqrt(1-(cos(x) + sin(x)-1)^2)$
(%i2)   f(0);
(%o2)   1
(%i3)   build_info();
(%o3)   build_info(version="5.42.2",timestamp="2019-01-25 00:03:21",host="x86_64-w64-mingw32",lisp_name="SBCL",lisp_version="1.4.2")

[caprilo]

I cannot replicate it now that I'm trying!

I've got this error many times recently with different notebooks and
functions, but, now that I try to reproduce it, I can't :/

I'll try to look for the cause if it happens again. Thanks.

On 28/09/19 5:10, Barton Willis wrote:

I'm unable to duplicate this using SBCL. Did you have a non-default
value for some option variable? Try restarting Maxmia and try again.
This is what I get:

(%i1) f(x):= sqrt(1-(cos(x) + sin(x)-1)^2)$
(%i2) f(0);
(%o2) 1
(%i3) build_info();
(%o3) build_info(version="5.42.2",timestamp="2019-01-25
00:03:21",host="x86_64-w64-mingw32",lisp_name="SBCL",lisp_version="1.4.2")

---

[bugs:#3584] https://sourceforge.net/p/maxima/bugs/3584/
Unevaluation of known functions

Status: open
Group: None
Labels: evaluation
Created: Fri Sep 27, 2019 07:56 PM UTC by caprilo
Last Updated: Fri Sep 27, 2019 07:56 PM UTC
Owner: nobody

Some expressions do not get wholy evaluated. For instance, take

|f(x):= sqrt(1-(cos(x) + sin(x)-1)^2);|

when typing |f(0)|, the answer is |sqrt(1- sin(0)^2)|, and I expected
it to be |1|.

wxMaxima version: 19.01.2x
using wxWidgets version: wxWidgets 3.0.4
Maxima version: 5.42.1
Maxima build date: 2018-11-02 17:35:03
Host type: x86_64-pc-linux-gnu
System type: BSD BSD NIL
Lisp implementation type: GNU Common Lisp (GCL)
Lisp implementation version: GCL 2.6.12
wxMaxima's idea of the directory layout is:
User configuration dir: /home/carlos/.maxima/
Help dir: /usr/share/doc/wxmaxima
Maxima lisp dir: /usr/share/maxima//5.42.1

---

Sent from sourceforge.net because you indicated interest in
https://sourceforge.net/p/maxima/bugs/3584/

To unsubscribe from further messages, please visit
https://sourceforge.net/auth/subscriptions/

[Barton Willis]

I'm going to close this bug report. If it happens again, please re-open the ticket.

[Barton Willis]

I'm going to close this bug report.