New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Expression evaluation needs forever #24441
Labels
Milestone
Comments
Author: Ralf Stephan |
Commit: |
New commits:
|
comment:3
If the patchbot is (morally) green, then positive review. |
Reviewer: Travis Scrimshaw |
comment:4
Thanks and a happy new year. |
Changed branch from u/rws/expression_evaluation_needs_forever to |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Indirectly found by a
random_expr()
run:The Maxima problem should be reported elsewhere. The bug in Sage is that the
exp_polar
code usesbool(-const_pi < z.imag_part() <= const_pi)
to check the argument is in an interval but the argument can have symbols and in that case a proof is attempted unnecessarily.The ticket should change the
exp_polar
code such that the proof is only attempted with nonsymbolic argument.Component: symbolics
Author: Ralf Stephan
Branch/Commit:
258e397
Reviewer: Travis Scrimshaw
Issue created by migration from https://trac.sagemath.org/ticket/24441
The text was updated successfully, but these errors were encountered: