I don't remember if I mentioned this earlier, but for Abelian groups, we should try to reuse as much of the stuff from the AGCA module as possible. It already implements a lot of what you are suggesting for modules, and since Abelian groups are just Z-modules. IMHO, Abelian groups are better thought of in terms of module theory than group theory, but it would be nice to have a group theory interface on top of Z-modules.
Perhaps we should structure the classes along the definition of a module that a module is a ring and an Abelian group, so that the Z-module representation is just an extension of the Abelian group representation (rather than the other way around). Take a look at the AGCA stuff and see what you think. Aaron Meurer On Sat, Jan 31, 2015 at 4:19 PM, Joachim Durchholz <[email protected]> wrote: > Am 31.01.2015 um 00:01 schrieb vamsi kaushik: > >> Hi Aaron, >> >> Thanks for the interest. I had actually created a rough draft of my >> proposal. But I am very doubtful it has the minute implementation details. >> However I had outlined my idea very briefly in the wiki here >> <https://github.com/kaushik94/Proposal/wiki>. >> > > That looks like a lot of thought and code reading went into it, which is > great. > > What's the reasoning behind not subclassing from magma/semi-group? > > Regards, > Jo > > -- > You received this message because you are subscribed to the Google Groups > "sympy" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To post to this group, send email to [email protected]. > Visit this group at http://groups.google.com/group/sympy. > To view this discussion on the web visit https://groups.google.com/d/ > msgid/sympy/54CD54F9.5060201%40durchholz.org. > > For more options, visit https://groups.google.com/d/optout. > -- You received this message because you are subscribed to the Google Groups "sympy" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/sympy. To view this discussion on the web visit https://groups.google.com/d/msgid/sympy/CAKgW%3D6KfH6Bw%3D2yfS6R1iBjHeXC10On_Uk4gr6sNBqyiWDM6Bw%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
