You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
gh-39982: Implement conversion of log(2) to Giac
As in the title.
Tested locally and it works. I think the test won't be run on CI because
optional feature.
### 📝 Checklist
<!-- Put an `x` in all the boxes that apply. -->
- [x] The title is concise and informative.
- [x] The description explains in detail what this PR is about.
- [ ] I have linked a relevant issue or discussion.
- [x] I have created tests covering the changes.
- [ ] I have updated the documentation and checked the documentation
preview.
--------
as far as I can tell the test failures are unrelated, but I've no idea
why they have to fail all at the same time. Maybe some download
corruption? (sounds quite unlikely…?)
#37066
URL: #39982
Reported by: user202729
Reviewer(s): Travis Scrimshaw
0 commit comments