Differences between revisions 10 and 42 (spanning 32 versions)
Revision 10 as of 2008-02-09 17:13:12
Size: 658
Editor: CraigCitro
Comment:
Revision 42 as of 2008-04-01 03:44:07
Size: 2060
Editor: DavidRoe
Comment:
Deletions are marked like this. Additions are marked like this.
Line 3: Line 3:
Useful script to list all parents in a given module that still need work: [attachment:list_parents.sage]
Line 4: Line 6:
 * catalogue, dsage, databases, ext, games, media, stats, server, plot, logic, tests  * catalogue, dsage, databases, ext, games, media, stats, server, plot, logic, tests lfunctions, misc, numerical,gsl, quadratic_forms
Line 7: Line 10:
 * coding  * coding, functions, graphs
 * matrix [http://sage.math.washington.edu/home/robertwb/coerce/coerce-all.hg]
 * complex, real [http://sage.math.washington.edu/home/robertwb/coerce/coerce-real-complex.hg]
 * modules [attachment:coerce-free-module.patch]
 * quotient rings
 * finite fields (including natural embeddings into each other when Conway polynomials are used)
 * calculus
 * number fields
 * sets
 * geometry
 * libs
 * probability
 * interfaces
 * combinat
 * rings
Line 10: Line 27:
 * functions  * groups
 * algebras
 * monoids
Line 13: Line 32:
 * lfunctions
Line 15: Line 33:
 * algebras
 * calculus
Line 18: Line 34:
 * combinat
Line 20: Line 35:
 * geometry Lots to do
Line 22: Line 37:
Lots to do
 * graphs
 * groups
 * gsl
 * interfaces
 * libs
 * matrix
 * misc
Line 31: Line 38:
 * modules
 * monoids
 * numerical
 * probability
 * quadratic_forms
Line 37: Line 39:
 * sets
Line 39: Line 40:
 * rings
  * complex
  * real
  * polynomial
  * padic
  * other
Line 49: Line 45:
=== Coercion doctesting ===

Comment from William:
{{{
teragon:sage was$ sage -coverage categories/action.pyx
structure/element.pyx structure/coerce.pyx |grep SCORE
SCORE categories/action.pyx: 0% (0 of 22)
SCORE structure/element.pyx: 18% (28 of 153)
SCORE structure/coerce.pyx: 2% (1 of 39)

I tried to understand and use the coercion model code to trac down the issue with #2079 and
was amazed at how nonexistent the doctesting and documentation of
functions is there.
In order for people to write lots of coercion code all of Sage, it's critical that they can
read the coercion model code so they can track down -- for themselves -- what is going
wrong when they run into trouble. I would put getting the coverage of the above files
(and whatever else is related to coercion) up to 100% as the first step in your coercion
model stuff. Seriously. And don't say it can't be doctested, since even though there are
a lot of things not easily accessible now from the interpreter, such as the coercion model
}}}

Files to fix (Make all parents conform to the spec)

Useful script to list all parents in a given module that still need work: [attachment:list_parents.sage]

Nothing to do

  • catalogue, dsage, databases, ext, games, media, stats, server, plot, logic, tests lfunctions, misc, numerical,gsl, quadratic_forms

Done

In progress

  • groups
  • algebras
  • monoids

Little to do

  • categories
  • crypto

Lots to do

  • modular
  • schemes

Base classes

  • structure

Coercion doctesting

Comment from William:

teragon:sage was$ sage -coverage categories/action.pyx
structure/element.pyx structure/coerce.pyx |grep SCORE
SCORE categories/action.pyx: 0% (0 of 22)
SCORE structure/element.pyx: 18% (28 of 153)
SCORE structure/coerce.pyx: 2% (1 of 39)

I tried to understand and use the coercion model code to trac down the issue with #2079 and
was amazed at how nonexistent the doctesting and documentation of
functions is there.
In order for people to write lots of coercion code all of Sage, it's critical that they can
read the coercion model code so they can track down -- for themselves -- what is going
wrong when they run into trouble.  I would put getting the coverage of the above files
(and whatever else is related to coercion) up to 100% as the first step in your coercion
model stuff.   Seriously.   And don't say it can't be doctested, since even though there are
a lot of things not easily accessible now from the interpreter, such as the coercion model

Categories to implement

days7/coercion/todo (last edited 2009-07-29 19:16:15 by robertwb)