fricas dilog and sage dilog are not the same: sage: fricas(polylog(3, x)) polylog(3,x) sage: fricas(dilog(x)) dilog(- x + 1)
sage: integrand=(dilog(-x + 1)^2 - log(-x + 1)*polylog(3, x))/x sage: fricas(integrand) 2 - log(- x + 1)polylog(3,x) + dilog(x) -------------------------------------- x sage: integrate(integrand, x, algorithm="fricas") integral((dilog(-x + 1)^2 - log(-x + 1)*polylog(3, x))/x, x) sage: good_integrand = (dilog(x)^2 - log(-x + 1)*polylog(3, x))/x sage: fricas(good_integrand) 2 - log(- x + 1)polylog(3,x) + dilog(- x + 1) -------------------------------------------- x sage: integrate(good_integrand, x, algorithm="fricas") dilog(x)*polylog(3, x) Martin On Friday, 10 January 2025 at 21:45:38 UTC+1 dmo...@deductivepress.ca wrote: > The questions "what is the problem? Did I do something wrong?" do not > seem to be sage development questions, so they should be asked on a > different forum, such as ask.sagemath.org > > On Friday, January 10, 2025 at 12:50:25 PM UTC-7 Nasser M. Abbasi wrote: > >> 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/ad92e477-0edd-42f8-a15d-84e937b6e3a7n%40googlegroups.com.