On Saturday, March 17, 2012 2:57:57 PM UTC-5, Aaron Meurer wrote:
>
> On Sat, Mar 17, 2012 at 1:42 PM, Saptarshi Mandal wrote:
> >>
> >> And it would be awesome to have a group theory module. We presently
> >> only have a Permutation class in the combinatorics module, but other
> >> than that, we don't really have a good way to represent a group.
> >
> > Is this necessary? All groups are isomorphic to the permutation group
> > anyway. Groups for specific structures can make use of functionality
> > implemented for them (matrix group -> sympy matrices, galois -> polys)
> > for basic operations and can implement the mapping to the perm group
> > module for group theoretic operations.
>
> As Stefan noted, this is only true for finite groups.
>
> And anyway, the point I was trying to make was that a permutation
> represents an element of a group, whereas I was talking about a way to
> represent the whole group.
>
> Aaron Meurer
>
I was going to put group theory as a GSoC idea but you beat me to the punch
:)
What I think would be cool is to have symbolic group elements. For example,
>>> x = GroupSymbol('x', order=3)
>>> x**3
1
>>> x**-1
x**2
Then we can do neat things like create groups from arbitrary generators and
assumptions!
>
--
You received this message because you are subscribed to the Google Groups
"sympy" group.
To view this discussion on the web visit
https://groups.google.com/d/msg/sympy/-/8BKF_m6cyR4J.
To post to this group, send email to sympy@googlegroups.com.
To unsubscribe from this group, send email to
sympy+unsubscr...@googlegroups.com.
For more options, visit this group at
http://groups.google.com/group/sympy?hl=en.
