Opened 18 months ago
Last modified 9 days ago
#28630 new defect
Wrong conversion from fricas
Reported by: | tmonteil | Owned by: | |
---|---|---|---|
Priority: | major | Milestone: | sage-9.4 |
Component: | symbolics | Keywords: | FriCAS |
Cc: | hemmecke, whuss, rws, chapoton, mantepse | Merged in: | |
Authors: | Reviewers: | ||
Report Upstream: | Reported upstream. Developers acknowledge bug. | Work issues: | |
Branch: | Commit: | ||
Dependencies: | Stopgaps: |
Description
As reported on this ask question, we have:
sage: f = polylog(3, x) sage: f.integral(x, algorithm='fricas') -x*%iint(x, -log(-x + 1)/x) - (x - 1)*log(-x + 1) + x*polylog(3, x) + x
So, fricas
produces something that is ill-interpreted as some %iint
symbolic function.
Note that maxima
produces the following answer:
sage: f.integral(x, algorithm='maxima') -x*dilog(x) - (x - 1)*log(-x + 1) + x*polylog(3, x) + x
Change History (13)
comment:1 Changed 18 months ago by
- Cc hemmecke whuss rws chapoton added
comment:2 Changed 18 months ago by
- Keywords FriCAS added
comment:3 Changed 18 months ago by
- Cc mantepse added
comment:4 Changed 18 months ago by
comment:5 Changed 17 months ago by
More a reminder to myself: SageMath's dilog(x)
is FriCAS' dilog(1-x)
. This is properly reflected in sage.functions.log.py
, in class Function_dilog
.
So FriCAS should simplify %iint(x, -log(1-x)/x))
to FriCAS dilog(1-x)
.
comment:6 Changed 17 months ago by
- Report Upstream changed from N/A to Reported upstream. No feedback yet.
I reported this at
https://groups.google.com/forum/#!topic/fricas-devel/olmzqJ6IJsE
comment:7 Changed 17 months ago by
- Report Upstream changed from Reported upstream. No feedback yet. to Reported upstream. Developers acknowledge bug.
comment:8 Changed 16 months ago by
- Milestone changed from sage-9.0 to sage-9.1
Ticket retargeted after milestone closed
comment:9 Changed 12 months ago by
- Milestone changed from sage-9.1 to sage-9.2
Moving tickets to milestone sage-9.2 based on a review of last modification date, branch status, and severity.
comment:10 Changed 8 months ago by
Still the same in 9.2.beta10 after the update of FriCAS to 1.3.6 in #27309
comment:11 Changed 6 months ago by
- Milestone changed from sage-9.2 to sage-9.3
comment:12 Changed 3 months ago by
Fricas devs say that %iint
should have never appeared, it's a Fricas
bug. So that's something for them to fix.
comment:13 Changed 9 days ago by
- Milestone changed from sage-9.3 to sage-9.4
Sage development has entered the release candidate phase for 9.3. Setting a new milestone for this ticket based on a cursory review.
This seems to be some kind of bug in Fricas:
And the first term can be differentiated (inside Fricas) correctly.