Changes between Version 1 and Version 2 of Ticket #24255


Ignore:
Timestamp:
11/21/17 07:36:09 (3 years ago)
Author:
rws
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #24255

    • Property Summary changed from Fix substitution with pattern given as equation to Fix constants coercion into SR
  • Ticket #24255 – Description

    v1 v2  
    1313e == pi*x
    1414}}}
    15 This should really be fixed.
     15The problem is that constants are not made into expressions immediately:
     16{{{
     17sage: SR(e)
     18e
     19sage: type(_)
     20<type 'sage.symbolic.constants_c.E'>
     21sage: e+1-1
     22e
     23sage: type(_)
     24<type 'sage.symbolic.expression.Expression'>
     25sage: x*pi==e+1-1
     26pi*x == e
     27}}}