#11490: Add a thematic tutorial on coercion and categories
-----------------------------+----------------------------------------------
Reporter: SimonKing | Owner: mvngu
Type: enhancement | Status: new
Priority: major | Milestone: sage-4.7.1
Component: documentation | Keywords: categories coercion
Work_issues: | Upstream: N/A
Reviewer: | Author: Simon King
Merged: | Dependencies:
-----------------------------+----------------------------------------------
Changes (by newvalueoldvalue):
* author: => Simon King
Old description:
> From time to time people state that a good introduction to the category
> framework and Sage's coercion system is missing (at
> [http://groups.google.com/group/sage-
> devel/browse_thread/thread/bbcb3574c5317cfa sage-devel], for example).
>
> I suggest to include a thematic tutorial
New description:
From time to time people state that a good introduction to the category
framework and Sage's coercion system is missing (at
[http://groups.google.com/group/sage-
devel/browse_thread/thread/bbcb3574c5317cfa sage-devel], for example).
I suggest to include a thematic tutorial.
Note that it may relate with #8821, which is about adding a section on
coercion (but not categories) in the guided tour.
--
Comment:
I suggest to base a thematic tutorial on
[http://flask.sagenb.org/home/pub/82/ this worksheet].
It covers base classes for parents and elements, category framework for
parents and elements, uniqueness of parents, coercion maps, construction
functors, and test suites.
The didactical approach is to explain the theory and illustrate each
theoretical bit by showing how it can be implemented. Step by step, one
obtains an alternative implementation of fraction fields.
There are also several texts in the combinat branch, and I suggest to add
these as well. The style of these texts is very different from the style
of my worksheet, and I hope that the user will benefit from diversity.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/11490#comment:1>
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.
