[sympy] Re: General questions about the structure of SymPy

2009-07-29 Thread Aaron S. Meurer
Hi. Ondrej will probably have better answers to your questions when he replies, but here is my take. On Jul 29, 2009, at 9:57 PM, Marco wrote: > > I was very impressed by the description of SymPy here: > > http://www.euroscipy.org/presentations/slides/index.html > > and especially slide 14 "In

[sympy] Re: General questions about the structure of SymPy

2009-07-30 Thread Ondrej Certik
Hi, On Thu, Jul 30, 2009 at 12:15 AM, Aaron S. Meurer wrote: > > Hi.  Ondrej will probably have better answers to your questions when > he replies, but here is my take Aaron's replies are excellent. Some comments below: > On Jul 29, 2009, at 9:57 PM, Marco wrote: > >> >> I was very impressed by

[sympy] Re: General questions about the structure of SymPy

2009-07-30 Thread Alan Bromborsky
Marco wrote: > I was very impressed by the description of SymPy here: > > http://www.euroscipy.org/presentations/slides/index.html > > and especially slide 14 "Internals: Object oriented model". > > I have a couple of general questions about how Object-oriented SymPy > is. I'm a mathematician and

[sympy] Re: General questions about the structure of SymPy

2009-07-31 Thread Marco
Thank you for this - I am studying it and it definitely has some of the flavour of what i'm thinking of. Once I understand it better I can say more. On Jul 30, 10:47 am, Alan Bromborsky wrote: > Marco wrote: > > I was very impressed by the description of SymPy here: > > >http://www.euroscipy.or

[sympy] Re: General questions about the structure of SymPy

2009-07-31 Thread Marco
Hi Ondrej, Thanks for your message and for your original talk. Let me just make a couple of quick comments and I'll try to be more complete later. It is not clear to me how the object representing a vector space should be set up. But something like what you suggest seems right. For example: 1

[sympy] Re: General questions about the structure of SymPy

2009-07-31 Thread Aaron S. Meurer
On Jul 31, 2009, at 9:49 AM, Marco wrote: > > Hi Ondrej, > > Thanks for your message and for your original talk. Let me just make a > couple of quick comments and I'll try to be more complete later. > > It is not clear to me how the object representing a vector space > should be set up. But som

[sympy] Re: General questions about the structure of SymPy

2009-07-31 Thread Marco
Hi Aaron, The Set class is important to have as a master class for all kinds of other classes which should exist, such as Group, Field, Vector space, Algebra, etc. As it is in Category theory. A Python set may indeed be a good place to start, but as you suggest, it would only be a finite set of

[sympy] Re: General questions about the structure of SymPy

2009-07-31 Thread Aaron S. Meurer
On Jul 31, 2009, at 8:42 PM, Marco wrote: > > Hi Aaron, > > The Set class is important to have as a master class for all kinds of > other classes which should exist, such as Group, Field, Vector space, > Algebra, etc. As it is in Category theory. > > A Python set may indeed be a good place to s

[sympy] Re: General questions about the structure of SymPy

2009-08-01 Thread Marco
Hi Aaron, Can you explain the thinking behind the Symbol class? I looked at the doc string but it's not clear how general this kind of object is. Thanks On Jul 31, 11:16 pm, "Aaron S. Meurer" wrote: > On Jul 31, 2009, at 8:42 PM, Marco wrote: > > > > > Hi Aaron, > > > The Set class is important

[sympy] Re: General questions about the structure of SymPy

2009-08-04 Thread Aaron S. Meurer
I have worked around with Mul and Add, so I know pretty well how they work, but I haven't worked with Symbol as much. Ondrej and others who wrote the core will know much better. Also, is there a specific class that you are considering if it should be a subclass of Symbol? Aaron Meurer On

[sympy] Re: General questions about the structure of SymPy

2009-08-04 Thread Ondrej Certik
On Tue, Aug 4, 2009 at 7:44 PM, Aaron S. Meurer wrote: > > I have worked around with Mul and Add, so I know pretty well how they > work, but I haven't worked with Symbol as much.  Ondrej and others who > wrote the core will know much better.  Also, is there a specific class > that you are consider

[sympy] Re: General questions about the structure of SymPy

2009-08-05 Thread Vinzent Steinberg
On Aug 1, 5:16 am, "Aaron S. Meurer" wrote: > On Jul 31, 2009, at 8:42 PM, Marco wrote: > This should be easy.  We have a Rational class that is what every   > rational number is an instance of.  For example, 5/6 as a rational   > number in SymPy would be represented as Rational(5, 6).  It would