#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 robertwb):
I agree with mhansen, always checking parent's op_symbol is probably slow,
but I think this can be avoided.
Note that we already have two classes, AdditiveGroupElement and
MultiplicativeGroupElement. I think the code here is trying to unify them.
both under MultiplicativeGroupElement. Also, note that no typechecking (or
coercion) is done for the __add__ and __sub__ commands, so if the left and
right operand are not the correct type (or, if both are abelian group
elements, but in different groups) then either an error or nonsense will
be returned.
For multiplication, do we really want {{{a * (1+5+O(5^2))}}} and {{{a *
"50"}}} to work for a group element a?
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/4739#comment:3>
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
-~----------~----~----~----~------~----~------~--~---
