Skip to content

Zero-test of constant expressions involving cancellation #16031

@mezzarobba

Description

@mezzarobba
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

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions