Re: [sympy] Implement modules for fundamental algebraic structures in sympy

2012-03-22 Thread Joachim Durchholz
Am 20.03.2012 15:24, schrieb Sergiu Ivanov: I'm trying to say that I think that a group should be defined as an algebraic structure with a single operation which has a number of properties; thus we may define a class UniversalAlgebra, then derive Semigroup from it, then Monoid, then Group.

Re: [sympy] Implement modules for fundamental algebraic structures in sympy

2012-03-22 Thread Sergiu Ivanov
On Thu, Mar 22, 2012 at 11:08 PM, Joachim Durchholz j...@durchholz.org wrote: Am 20.03.2012 15:24, schrieb Sergiu Ivanov: I'm trying to say that I think that a group should be defined as an algebraic structure with a single operation which has a number of properties; thus we may define a

Re: [sympy] Implement modules for fundamental algebraic structures in sympy

2012-03-21 Thread Gaurav Sathe
You are quite right David... But i feel working only on permutation groups and some basic algos on it wont take up around two and a half months of summer since some work has already been done on it before. I am sure along with that it would be possible to do atleast one more topics from the ones

Re: [sympy] Implement modules for fundamental algebraic structures in sympy

2012-03-20 Thread Sergiu Ivanov
Hello, Since the thread is about fundamental algebraic structures, I'd like to voice in. While group theoretical stuff is mainly discussed in this thread, I'd like to point out that it would be nice (at least in my opinion) to start the implementation from the fundamental components of algebraic

Re: [sympy] Implement modules for fundamental algebraic structures in sympy

2012-03-20 Thread David Joyner
On Tue, Mar 20, 2012 at 10:24 AM, Sergiu Ivanov unlimitedscol...@gmail.com wrote: Hello, Since the thread is about fundamental algebraic structures, I'd like to voice in.  While group theoretical stuff is mainly discussed in this thread, I'd like to point out that it would be nice (at least

Re: [sympy] Implement modules for fundamental algebraic structures in sympy

2012-03-18 Thread Gaurav Sathe
Under group theory(and ring theory) I intend to implement the following: subgroups, normal and quotient groups, homomorphisms on groups and permutation groups. Under vector spaces: basis for a vector space, dual vector spaces and modules Field theory however has a much larger scope for

Re: [sympy] Implement modules for fundamental algebraic structures in sympy

2012-03-18 Thread krastanov.ste...@gmail.com
I might be wrong, however the way I understand the question by Joachim is rather what useful functionality those objects would bring? For instance, what would be the use for the basis of a vector space? Would I be able to define a scalar product to transform the vector space into an Euclidean

Re: [sympy] Implement modules for fundamental algebraic structures in sympy

2012-03-18 Thread Alan Bromborsky
On 03/18/2012 03:04 PM, Gaurav Sathe wrote: Under group theory(and ring theory) I intend to implement the following: subgroups, normal and quotient groups, homomorphisms on groups and permutation groups. Under vector spaces: basis for a vector space, dual vector spaces and modules

[sympy] Implement modules for fundamental algebraic structures in sympy

2012-03-17 Thread Gaurav Sathe
Hi all, I am interested in participating in Gsoc and I would like to know if this could be a good project for sympy. As you know the concept of group theory is widely used in abstract mathematics. Currently there is no module in sympy for the various algebraic structures which come under

Re: [sympy] Implement modules for fundamental algebraic structures in sympy

2012-03-17 Thread David Joyner
On Sat, Mar 17, 2012 at 2:07 PM, Gaurav Sathe gaurav.sath...@gmail.com wrote: Hi all, I am interested in participating in Gsoc and I would like to know if this could be a good project for sympy. As you know the concept of group theory is widely used in abstract mathematics. Currently there is