Skip to content
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.

Sign up for GitHub

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

Jump to bottom

Zero-test of constant expressions involving cancellation #16031

Closed
mezzarobba opened this issue Mar 30, 2014 · 0 comments · Fixed by #35003
Closed

Zero-test of constant expressions involving cancellation #16031

mezzarobba opened this issue Mar 30, 2014 · 0 comments · Fixed by #35003
Labels
c: symbolics p: major / 3 t: bug
Milestone
sage-10.0

Comments

@mezzarobba
Copy link
Member 

sage: expr = 1/(1/(1/(1/(1/(1/(1/(1/(1/(1/(1/(1/(1/(1/(1/(pi - 3) - 7) - 15) - 1) - 292) - 1) - 1) - 1) - 2) - 1) - 3) - 1) - 14) - 2) - 1) - 1
sage: expr.is_zero()
...
RuntimeError: ECL says: Error executing code in Maxima: expt: undefined: 0 to a negative exponent.
sage: expr.normalize().is_zero()
...
RuntimeError: ECL says: Error executing code in Maxima: expt: undefined: 0 to a negative exponent.

Component: symbolics

Issue created by migration from https://trac.sagemath.org/ticket/16031
@mezzarobba mezzarobba added this to the sage-6.2 milestone Mar 30, 2014
@sagetrac-vbraun-spam sagetrac-vbraun-spam mannequin modified the milestones: sage-6.2, sage-6.3 May 6, 2014
@sagetrac-vbraun-spam sagetrac-vbraun-spam mannequin modified the milestones: sage-6.3, sage-6.4 Aug 10, 2014
@mkoeppe mkoeppe removed this from the sage-6.4 milestone Dec 29, 2022
mezzarobba added a commit to mezzarobba/sage that referenced this issue Feb 7, 2023
@mezzarobba
add doctest for sagemath#16031
497a985
mezzarobba added a commit to mezzarobba/sage that referenced this issue Feb 7, 2023
@mezzarobba
add doctest for sagemath#16031
3215c6d
@mezzarobba mezzarobba mentioned this issue Feb 7, 2023
Merged
mezzarobba added a commit to mezzarobba/sage that referenced this issue Feb 7, 2023
@mezzarobba
add doctest for sagemath#16031
73b4146
@vbraun vbraun closed this as completed in a0250df Feb 24, 2023
@mkoeppe mkoeppe added this to the sage-10.0 milestone Feb 24, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
c: symbolics p: major / 3 t: bug
Projects
None yet
Milestone
sage-10.0
Development

Successfully merging a pull request may close this issue.

add doctest for #16031 mezzarobba/sage
2 participants
@mezzarobba @mkoeppe