On Sat, Mar 17, 2012 at 3:55 PM, [email protected] <[email protected]> wrote: >> >> 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. >> > > This seems incorrect. Zn is abelian for example and it is not > isomorphic to any permutation group. Moreover, there are all the > continuous groups.
It is not correct to say Zn (I assume you mean the ring of integers mod n) is not isomorphic to a permutation group. (Consider the cyclic group generated by the n-cycle (1,2,...,n) in disjoint cycle notation.) Implementing Lie groups would be a relatively difficult undertaking I think... > > Besides, it will be nicer to have some abstract object that is not > tied to a concrete representation, even though it will probably just > be a wrapper for all the representations supported by sympy. > > -- > 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. > -- 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.
