Hi,

Here is the somewhat detailed plan for SAGE-1.8. See also
http://sage.math.washington.edu:9002/sage_trac/milestone/sage-1.8

I spent a lot fo time making the list of trac bugs below.  These are all fairly
important usually intersting and important bugs that still persist in SAGE-1.6.
Help appreciated on any of them, though don't worry if you're clueless about
them.  I plan to make more details about how to fix each when sage-1.7 is done.

== SAGE-1.8: Goal Date is Jan 19, 2007 ==

== Bug fixing ==

  * Fix the fixable important SAGE bugs listed in trac (ones below not fixed 
will be fixed for sage-1.9):
     - trac #34 -- modular symbols bug
     - trac #39 -- implement equality testing for ZZ[x,y,...] using M2 (or give 
error message)
     - trac #189 -- minor sage notebook formating bug
     - trac #45 - ntl modulus reset correclty.
     - trac #130 - problem with multiline history recall in IPython
     - trac #149 -- failure in E.sha_an()
     - trac #151 -- clisp.run's left running -- it's still happening though 
many cases have been fixed.
                    SOLVE this frickin' zombie problem somehow once for all...
     - trac #168 -- Plot bounds ignored when frame=True
     - trac #177 -- pari interface -- new arithmetic model
     - trac #185 -- implement backoff when queuing for notebook updates.
     - trac #188 -- Python's builtin round function is funny since it always 
coerces to float
     - trac #32 -- missing coercion of polynomials between different bases 
functionality
     - trac #35 -- load "adosfile.sage" breaks
     - trac #63 -- in safari notebook, tab key inserts tab AND moves to 
beginning of cell
     - trac #96 -- time command doesn't work in .sage files !?
     - trac #154 -- gfan changes broke interface slightly.
     - trac #156 -- freeze of gfan (actually singular -- not gfan's fault)
     - trac #181 -- recursive load and symbol??
     - trac #148 -- links in saved notebook worksheets


== Code ==
  * Symbolic calculus package (bobby m. etc): update

  * p-adic (David Roe): update

  * Integrate in code from Ling Long et al for congruence subgroups

  * Pyrex: interval arithmetic ring (volunteers?)

  * Pyrex: generic polynomial ring elements

  * Pyrex: generic power series over arbitrary ring

  * Pyrex: generic laurent series over arbitrary ring

  * Optimize matrix algebra over QQ, GF(p), ZZ (Stein, Bradshaw, Ifti B)
      - matrix permanents
      - multimodular algorithms
      - more optimizations for special rings (e.g., copy, etc.)
      - use ssmod as an example to motivate this
      - In the file matrix/docs.py is a list of base rings where specialized 
matrix classes should be implemented.  More specialized vector space and free 
module classes also need to be implemented in SageX.

  * Improve modular symbols and modular forms.  Some algorithms haven't been 
completely implemented.  (Some do things I never implemented in MAGMA.)
      - finish modular forms algorithms
      - enable modular forms doctests and test and fix
      - finish implementing modular symbols factorization in general 
(eisenstein part is currently not fully implemented)
      - computation of period mapping
      - more testing, examples, etc., for modular symbos for GammaH


== Documentation ==
  * SAGE Constructions (Stein, Kohel, Joyner): Update the constructions guide 
to use "modern SAGE" constructions to solve the problems.  No dirty tricks 
except in a dirty tricks section.



--~--~---------~--~----~------------~-------~--~----~
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-devel
URLs: http://sage.scipy.org/sage/ and http://modular.math.washington.edu/sage/
-~----------~----~----~----~------~----~------~--~---

Reply via email to