#17953: symbolic function args prevent forced conversion of result to numeric
-------------------------------------+-------------------------------------
       Reporter:  rws                |        Owner:
           Type:  defect             |       Status:  positive_review
       Priority:  major              |    Milestone:  sage-6.6
      Component:  symbolics          |   Resolution:
       Keywords:                     |    Merged in:
        Authors:  Ralf Stephan       |    Reviewers:
Report Upstream:  N/A                |  Work issues:
         Branch:                     |       Commit:
  u/rws/inconsistency_in_returned_type_of_builtinfunction_result|  
adc230dff1b357478155978ecc1149d58f282403
   Dependencies:                     |     Stopgaps:
-------------------------------------+-------------------------------------
Changes (by mmezzarobba):

 * status:  needs_review => positive_review


Comment:

 Replying to [comment:5 vdelecroix]:
 > In my opinion, a function should have a well defined domain and range.
 In some cases, the function preserves some subset. Like the function `x ->
 x^2` defined in the complex numbers preserves integers, rationals and
 algebraic. But considering that `{0}` is a subset of the real numbers on
 which `exp` preserve the integers is going too far.

 I tend to agree, but the present ticket is a step in the right direction
 in any case: it fixes some of the issues without making it harder to
 improve things later on.

--
Ticket URL: <http://trac.sagemath.org/ticket/17953#comment:11>
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