#9102: Docstring improvements for strong generating systems of permutation
groups
---------------------------+------------------------------------------------
Reporter: rbeezer | Owner: AlexGhitza
Type: enhancement | Status: needs_review
Priority: blocker | Milestone: sage-4.4.4
Component: algebra | Keywords:
Author: Rob Beezer | Upstream: N/A
Reviewer: | Merged:
Work_issues: |
---------------------------+------------------------------------------------
Comment(by nthiery):
Replying to [comment:9 jasonbhill]:
> Thanks for your comments Nicolas! I have some comments and questions and
I will post those once I have things organized the domain work is done.
For now, can someone please explain (remember that I am relatively new to
Sage) where/why/how self.base() is obtaining "Integer Ring"? This seems
like an obvious and currently not helpful output. Why not simply ask GAP
for a base if one does not wish to input one?
This is a naming conflict. Permutation groups inherit from
ParentWithGens to handle its generators. This class itself inherits
from ParentWithBase. It should not be so: ParentWithBase are meant
for things like modules/algebras over a base ring, and there are
parents with generators but no sensible base "ring". However the class
hierarchy for parents was forced to be linear by the absence of
multiple inheritance in Cython, which produces a couple
glitches/abuses like this one. Those glitches should progressively be
fixed as the parents all get completely migrated to categories.
In short: the default implementation of base returning Integer Ring in
PermutationGroups is meaningless, and would be best overridden,
typically by asking GAP as you suggest.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/9102#comment:10>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
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.
