id summary reporter owner description type status priority milestone component resolution keywords cc merged author reviewer upstream work_issues branch commit dependencies stopgaps
22162 Return Unknown from ex.is_xyz() if Pynac returns false rws "Expected:
{{{
sage: x.is_integer()
Unknown
sage: if x.is_real(): True
sage: if not x.is_real(): False
False
}}}
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.
Later, when the complementary flags (irreal, noninteger, nonpositive) are implemented in Pynac these function can return `True/Unknown/False`, e.g. `is_integer` will return False if `is_noninteger` returns True, so both behave complementary." defect needs_work major sage-9.5 symbolics pelegm Ralf Stephan N/A u/rws/22162-1 079597de7de7ff2f5474c1dd591942957818e4fc