On Sun, Nov 9, 2008 at 7:31 AM, Nicolas M. Thiery <[EMAIL PROTECTED]> wrote: > - Are the Sage categories currently used for anything but documenting > and testing the mathematical properties of parents?
Yes. Here is an example of one of the main ways I intended categories to be used in practice. sage: C = VectorSpaces(GF(5)) sage: W = (ZZ^3).span([[1,2,3],[4,5,3]]) sage: C Category of vector spaces over Finite Field of size 5 sage: C(W) Vector space of degree 3 and dimension 2 over Finite Field of size 5 Basis matrix: [1 0 2] [0 1 3] As you can see, categories are to parents like parents are to elements... > - In particular, does anything depend on the current category > hierarchy, as defined at the end of categories/category_types.py, > or should we feel free to reorganize / extend it in any > mathematically meaningful way? You will probably break some code, but that's ok if you fix it. But it will be very good to have some new work on this stuff!! -- William Stein Associate Professor of Mathematics University of Washington http://wstein.org --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to sage-devel@googlegroups.com 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://www.sagemath.org -~----------~----~----~----~------~----~------~--~---
