Opened 3 years ago
Closed 2 years ago
#23224 closed defect (fixed)
Doctest fix for: wrong symbolic comparison of log
Reported by: | chapoton | Owned by: | |
---|---|---|---|
Priority: | major | Milestone: | sage-8.2 |
Component: | symbolics | Keywords: | |
Cc: | rws, mforets | Merged in: | |
Authors: | Ralf Stephan | Reviewers: | Marcelo Forets |
Report Upstream: | N/A | Work issues: | |
Branch: | 022656f (Commits) | Commit: | 022656f65ad89633328901771f76151c7f2f0503 |
Dependencies: | #23950, #18970 | Stopgaps: |
Description (last modified by )
Namely
sage: bool(log(8)- 3*log(2)) True sage: bool(log(8)==3*log(2)) False
compared to
sage: cmp(log(8),3*log(2)) 0
And cmp should be going away in python3.
In principle Maxima should simplify log(8)-3*log(2)
so it's a missing enhancement there. See https://github.com/pynac/pynac/issues/258 for an enhancement that can provide another solution.
Change History (8)
comment:1 Changed 3 years ago by
- Description modified (diff)
comment:2 Changed 3 years ago by
comment:3 Changed 3 years ago by
- Description modified (diff)
comment:4 Changed 2 years ago by
- Dependencies set to #23950
- Milestone changed from sage-8.0 to sage-8.1
comment:5 Changed 2 years ago by
- Branch set to u/rws/23224
comment:6 Changed 2 years ago by
- Commit set to 022656f65ad89633328901771f76151c7f2f0503
- Dependencies changed from #23950 to #23950, #18970
- Status changed from new to needs_review
- Summary changed from wrong symbolic comparison of log to Doctest fix for: wrong symbolic comparison of log
comment:7 Changed 2 years ago by
- Milestone changed from sage-8.1 to sage-8.2
- Reviewers set to Marcelo Forets
- Status changed from needs_review to positive_review
branch tested on SageMath version 8.1.rc2
comment:8 Changed 2 years ago by
- Branch changed from u/rws/23224 to 022656f65ad89633328901771f76151c7f2f0503
- Resolution set to fixed
- Status changed from positive_review to closed
Note: See
TracTickets for help on using
tickets.
Factorization in
GiNaC::log_eval
, why not.