#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 robertwb):

 What I should have said is that two incomparable elements are considered
 inequal (hence == returns False and != returns True).

 Perhaps a better way to describe the class <-> category relationship is to
 mention that the type system is not sufficiently expressive to capture the
 rich possibilities of mathematical relations (short of hackery like lots
 and lots of dynamic types), and that the *parent* of an object has to do
 with its place in the mathematical hierarchy, while the *type* of an
 object has to do with its underlying implementation.

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