#4739: [with patch, not ready for review] Add support for additive abelian
groups
---------------------------+------------------------------------------------
Reporter: cremona | Owner: tbd
Type: enhancement | Status: new
Priority: major | Milestone: sage-3.3
Component: algebra | Resolution:
Keywords: abelian group |
---------------------------+------------------------------------------------
Comment (by cremona):
Replying to [comment:1 mhansen]:
> Hi John,
>
> I haven't look at the code too seriously, but what would be your
thoughts on having two subclasses (additive and multiplicative) of a
common class for the abelian group elements so that one doesn't need to
always do a check for the parent's op_symbol?
>
> --Mike
That would be a very good idea indeed. The way I see it, there is a base
abstract class (in which elements are represented as integer vectors,
operation is addition with a modulus for each coordinate corresponding to
a generator of finite order); and then there are two possible interfaces
to that base class via user classes which are either additive or
multiplicative.
We are surely in a position to provide this structure right now, using the
exiting implementations for the base class. Then the "major rewrite"
which we keep on mentioning need only apply to the base class.
I'll continue to think about this; it does not sound any harder, and is
probably easier, than what I have been doing so far.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/4739#comment:2>
Sage <http://sagemath.org/>
Sage - Open Source Mathematical Software: Building the Car Instead of
Reinventing the Wheel
--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups
"sage-trac" 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/sage-trac?hl=en
-~----------~----~----~----~------~----~------~--~---
