#16725: Implement a general monoid_generators for groups
-------------------------------------+-------------------------------------
Reporter: tscrim | Owner: tscrim
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-6.3
Component: group theory | Resolution:
Keywords: | Merged in:
Authors: Travis Scrimshaw | Reviewers:
Report Upstream: N/A | Work issues:
Branch: | Commit:
public/groups/monoid_generators-16725|
796262d2ecb0d4aebc168e5107d5cd5ebb0d9d2d
Dependencies: | Stopgaps:
-------------------------------------+-------------------------------------
Comment (by ncohen):
Helloooooooooo !!
Thanks for your update !
> That's okay with me (although I've made it return a
`NotImplementedError`).
OKay ! Is there any technical reason why you prefered to not mention the
name of the function ? Do you believe that this message is sufficient for
group users to know what must be done ?
> `gens` is suppose to return a set of generators for this type of object.
However this causes some problems if the generating set becomes smaller in
a subcategory: #15381
I see. That's a rather unfortunate design choice.
> I agree, but this comes from old code in Sage and I don't have the time
and desire to go through and make the necessary changes.
Okay. It also helps me understand what you are fighting with when you
write code like that.
Hey. Now that I think of it, it is another reason to raise an exception
saying explicitly that `group_generators` should be implemented. Not let
them get away re-defining `gens()`.
Nathann
--
Ticket URL: <http://trac.sagemath.org/ticket/16725#comment:11>
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 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/sage-trac.
For more options, visit https://groups.google.com/d/optout.
