Changes between Version 4 and Version 8 of Ticket #22162


Ignore:
Timestamp:
01/10/17 13:56:40 (5 years ago)
Author:
rws
Comment:

Replying to jdemeyer:

Regarding Unknown, shouldn't we disallow conversion to bool? Currently, bool(Unknown) is False and not Unknown is True. What do you think about that?

Actually, what I meant is that it is fine as it is, as it preserves previous usage.

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #22162

    • Property Commit changed from 5918af7b6f0ab73bf94a340c62fab26d2992966a to 5f5d1348d22dbfe3850f542a70afbd9c447a183c
  • Ticket #22162 – Description

    v4 v8  
    11Expected:
    22{{{
    3 sage: x.is_real()
     3sage: x.is_integer()
    44Unknown
    55sage: if x.is_real(): True
    66sage: if not x.is_real(): False
    7 sage:
     7False
    88}}}
    99