On Fri, Apr 6, 2012 at 2:50 AM, David Joyner <[email protected]> wrote: > > Some off-the-top-of-my-head comments after a brief scan of the proposal. > > 1. You say "I have not found any software implementation of anything > closely related to category theory." > There is a combinatorics group (email list sage-combinat), composed of mostly > French and German mathematicians, who are implementing this type of thing > in Sage. It is a mammoth undertaking on their part, but you might want > to try to > look at the structure of the classes for that project.
Thank you very much for the suggestion! I've added this information to my proposal; I will take a look at what those people are doing. > 2. You list 3 "Benefits for SymPy". I would add a fourth. I often use > the latex string > output in for creating matrices in a paper. I think for writing a > commutative diagram > in a paper, it would be nice to have a latex output (as you say you > will do, using > Tikz). It is not clear to me how easy it will be to use your proposed set-up > to simply output a commutative diagram in Tikz. For example, a casual > user who simply wants a commutative diagram is not going to want to be > setting up > categories, etc. I guess I am wondering if you can "factor out" the > diagram-drawing > functionality you re planning on and thereby give more casual users a tool > to draw diagrams for their papers. I expect it to be quite easy to set up a commutative diagram; I haven't explicitly stated this in the proposal, but I will certainly make sure that a diagram will be easy to create. Thank you for the suggestion! @Tom, I do have an answer to your E-mail, but I don't feel very well right now and I would hate to write weird sentences without being able to express myself. Sorry for the delay :-( Sergiu -- You received this message because you are subscribed to the Google Groups "sympy" 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/sympy?hl=en.
