#18092: evaluating symbolic expressions (without conversion to SR, i.e., 
staying in
ring of values)
-------------------------+-------------------------------------------------
       Reporter:         |        Owner:
  dkrenn                 |       Status:  needs_review
           Type:         |    Milestone:  sage-6.6
  enhancement            |   Resolution:
       Priority:  major  |    Merged in:
      Component:         |    Reviewers:
  symbolics              |  Work issues:
       Keywords:         |       Commit:
        Authors:         |  c3696a81f65df6e64c5e2bcbdf8905d4f2d5b796
  Daniel Krenn           |     Stopgaps:
Report Upstream:  N/A    |
         Branch:         |
  u/dkrenn/SR/eval       |
   Dependencies:         |
-------------------------+-------------------------------------------------

Comment (by rws):

 {{{
 +        The reason is that :meth:`subs` convert its arguments to the
 +        symbolic ring, so we even have::
 +
 +            sage: x.subs(x=RIF(3.42)).parent()
 +            Symbolic Ring
 +
 +        The :meth:`evaluate`-method prevents this conversion and
 }}}
 I think you misunderstand. `x` is not converted, it is wrapped in an
 expression:
 {{{
 sage: x.subs(x=RIF(3.42)).pyobject().parent()
 Real Interval Field with 53 bits of precision
 }}}
 I have no idea if your idea is worth the effort, but suspect that not if
 it is only based on the necessity to prevent "conversion".

--
Ticket URL: <http://trac.sagemath.org/ticket/18092#comment:4>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica, 
and MATLAB

-- 
You received this message because you are subscribed to the Google Groups 
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.

Reply via email to