Hello FriCAS group,

It looks like I found a bug in FriCAS:
F:=integrate(acos(x^2),x)
gives:
      +--------+
     |   4         2      2
- 2 \|- x  + 1  + x acos(x )
----------------------------
              x

D(F,x)-acos(x^2)
gives the following instead of 0:
       2
-------------
   +--------+
 2 |   4
x \|- x  + 1

I use FriCAS via https://sagecell.sagemath.org/ . Here is some Sage-code 
that produces the above output:

from sage.interfaces.fricas import fricas
fricas.eval(
    "F:=integrate(acos(x^2),x)"
)
print("F=\n",fricas("F"))
fricas.eval("f:=D(F,x)-acos(x^2)")
print("F'-acos(x^2)=\n",fricas("f"))

The FriCAS version is 1.3.12. (print(fricas.eval(")lisp |$build_version|") 
tells me this.)

The SageMath version is 10.8, Release Date: 2025-12-18. (version() tells me 
this.)

Fabian

-- 
You received this message because you are subscribed to the Google Groups 
"FriCAS - computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To view this discussion visit 
https://groups.google.com/d/msgid/fricas-devel/e5fde980-d9d7-4e5d-9fb9-d1cc5c45c021n%40googlegroups.com.

Reply via email to