I can add that I can repeat this at Fricas prompt, it has nothing to
do with Sage per se.
It's for me on Gentoo Linux, with
$ fricas
Checking for foreign routines
FRICAS="/usr/lib64/fricas/target/x86_64-pc-linux-gnu"
spad-lib="/usr/lib64/fricas/target/x86_64-pc-linux-gnu/lib/libspad.so"
foreign routines found
openServer result 0
FriCAS Computer Algebra System
Version: FriCAS 1.3.12 built with sbcl 2.5.11
Timestamp: Thu Dec 11 00:10:42 CST 2025
On Tue, Jan 27, 2026 at 11:42 AM Fabian <[email protected]> wrote:
>
> 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.
--
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/CAAWYfq2acEZuHti1xGLivTMnEOXPVEC9NY4CvYqUiRdz4eWSGw%40mail.gmail.com.
