I have installed sagemath 10.5 and also fricas 1.3.11, all using pacman
package manager on EOS/Arch based linux.
i.e. I did not build sagemath 10.5 from sources.
I was trying this integration, where it works using Fricas directly, but
when I use sagemath and give the algorithm as "fricas", it does not return
the same result as Fricas does standalone. It returns unevaluated.
Since sagemath is now using the system fricas, then why it does not return
the same result for same input?
----------------------------------
>fricas
FRICAS="/usr/lib/fricas/target/x86_64-linux-gnu"
spad-lib="/usr/lib/fricas/target/x86_64-linux-gnu//lib/libspad.so"
FriCAS Computer Algebra System
Version: FriCAS 1.3.11 built with sbcl 2.4.5
(1) -> integrand:=(dilog(-x + 1)^2 - log(-x + 1)*polylog(3, x))/x
(2) -> integrate( integrand,x)
(2) dilog(- x + 1)polylog(3,x)
---------------------------
Now using sagemath
-----------------
>which sage
/usr/bin/sage
>sage --version
SageMath version 10.5, Release Date: 2024-12-04
>which fricas
/usr/bin/fricas
>fricas --version
FriCAS 1.3.11
based on sbcl 2.4.5
>sage
┌────────────────────────────────────────────────────────────────────┐
│ SageMath version 10.5, Release Date: 2024-12-04 │
│ Using Python 3.13.1. Type "help()" for help. │
└────────────────────────────────────────────────────────────────────┘
sage: print(fricas.eval(")lisp |$build_version|"))
Value = "FriCAS 1.3.11"
sage: x=var('x')
sage: integrand=(dilog(-x + 1)^2 - log(-x + 1)*polylog(3, x))/x
sage: integrate(integrand,x,algorithm="fricas")
integral((dilog(-x + 1)^2 - log(-x + 1)*polylog(3, x))/x, x)
I checked and Sagemath supports dilog and polylog functions.
So what is the problem? Did I do something wrong?
Thanks
--Nasser
--
You received this message because you are subscribed to the Google Groups
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to sage-devel+unsubscr...@googlegroups.com.
To view this discussion visit
https://groups.google.com/d/msgid/sage-devel/2406e1c6-aae2-46c3-b556-439588923697n%40googlegroups.com.
