#8821: Adding a section on coercion to the tutorial (guided tour)
-----------------------------+----------------------------------------------
   Reporter:  SimonKing      |       Owner:  mvngu            
       Type:  enhancement    |      Status:  needs_review     
   Priority:  major          |   Milestone:  sage-4.4.1       
  Component:  documentation  |    Keywords:  tutorial coercion
     Author:  Simon King     |    Upstream:  N/A              
   Reviewer:                 |      Merged:                   
Work_issues:                 |  
-----------------------------+----------------------------------------------

Comment(by SimonKing):

 Hi Robert,

 Replying to [comment:2 robertwb]:

 > First, I might focus less on the types and isinstance corresponding to
 mathematical categories, as they can be misleading.

 OK, I wanted to give a first approximation on how classes relate with
 mathematics. Perhaps I should emphasize that the analogy is not perfect (I
 already mention that different classes may also relate with different
 implementations of the same mathematical structure).

 > {{{ sage: isinstance(matrix(ZZ, 2), RingElement) True sage:
 isinstance(matrix(ZZ, 2,3), RingElement) True }}} is False. (I consider
 the first a bug.)

 Really? The first is a square matrix, so, I think the second is wrong.

 > Second, we don't want to create the expectation that Python elements are
 unique, as they usually aren't:

 Right, that should be clarified.

 Thank you!

 Simon

-- 
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/8821#comment:3>
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 post to this group, send email to [email protected].
To unsubscribe from this group, send email to 
[email protected].
For more options, visit this group at 
http://groups.google.com/group/sage-trac?hl=en.

Reply via email to