Changes between Initial Version and Version 7 of Ticket #18695


Ignore:
Timestamp:
07/11/15 06:19:08 (6 years ago)
Author:
rws
Comment:

Together with #18877 this should be able to doctest:

sage: _ = var('n', domain='integer')
sage: n.is_integer()
True

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #18695

    • Property Status changed from new to needs_work
    • Property Authors changed from to Ralf Stephan
    • Property Summary changed from setting domain=integer on var has no effect with solve to propagate the variable domain to the assumptions database
    • Property Dependencies changed from to #18877
    • Property Branch changed from to u/rws/setting_domain_integer_on_var_has_no_effect_with_solve
    • Property Commit changed from to e103b5682b8de062309ce2a1283984f6adc94a78
  • Ticket #18695 – Description

    initial v7  
    1414}}}
    1515So, either `solve` should also look at the variable domain, or better, let's propagate domain settings to the assumption list.
     16Also:
     17{{{
     18sage: _ = var('n', domain='integer')
     19sage: n.is_integer()
     20False
     21}}}