Opened 5 years ago

Last modified 5 months ago

#22162 needs_work defect

Return Unknown from ex.is_xyz() if Pynac returns false — at Version 3

Reported by: rws Owned by:
Priority: major Milestone: sage-9.5
Component: symbolics Keywords:
Cc: pelegm Merged in:
Authors: Ralf Stephan Reviewers:
Report Upstream: N/A Work issues:
Branch: u/rws/return_unknown_from_ex_is_xyz___if_pynac_returns_false (Commits, GitHub, GitLab) Commit: 5918af7b6f0ab73bf94a340c62fab26d2992966a
Dependencies: Stopgaps:

Status badges

Description (last modified by rws)

Expected:

sage: x.is_real()
Unknown
sage: if x.is_real(): True
sage: if not x.is_real(): False
sage: 

To clarify, I think it's possible to separate the issue of "why do I get False" from the issue of deciding between True/False/Unknown?, by simply returning Unknown if the Pynac logic returns false.

It would be much less surprising to the user.

This ticket branch should change the behaviour of selected is_xyz() functions first, in order to see what's involved.

Change History (3)

comment:1 Changed 5 years ago by rws

  • Branch set to u/rws/return_unknown_from_ex_is_xyz___if_pynac_returns_false

comment:2 Changed 5 years ago by rws

  • Authors set to Ralf Stephan
  • Commit set to 5918af7b6f0ab73bf94a340c62fab26d2992966a
  • Status changed from new to needs_review

New commits:

5918af722162: return Unknown from is_integer()

comment:3 Changed 5 years ago by rws

  • Description modified (diff)
Note: See TracTickets for help on using tickets.