#16725: Implement a general monoid_generators for groups
-------------------------------------+-------------------------------------
Reporter: tscrim | Owner: tscrim
Type: enhancement | Status: positive_review
Priority: major | Milestone: sage-6.3
Component: group theory | Resolution:
Keywords: | Merged in:
Authors: Travis Scrimshaw | Reviewers: Nathann Cohen
Report Upstream: N/A | Work issues:
Branch: | Commit:
public/groups/monoid_generators-16725|
796262d2ecb0d4aebc168e5107d5cd5ebb0d9d2d
Dependencies: | Stopgaps:
-------------------------------------+-------------------------------------
Comment (by ncohen):
> That's 2 tickets you've reviewed with categories, pretty soon you might
actually be writing some. `:P`
Already did in #16269 `:-P`
My problem with categories is that I totally, deeply, wholeheartedly hate
them. To me, categories are on-the-fly class inheritance, written in a
non-compiled and non-typed language. It's like a disaster before the very
first line is written. It can *ONLY* be slow, broken, and disappointing.
If the language were compiled and typed, well.. It may work. But that is
not the case, and in the end most of the computations are spent on the
category infrastructure rather than on what the user wants.
I had the problem recently because of very slow addition in the product of
additive groups: it was solved by using the group product Sage object to
obtain the addition law in the group, which is then translated to a
matrix, then all the work is done with the matrix itself. Thank you
categories !
> Thanks for doing the review.
My pleasure. Add me in Cc when you have tickets like that, that are
somehow local and understandable. But as I do not know much about
categories in general, I do not feel secure touching anything that might
have a global impact `^^;`
Nathann
--
Ticket URL: <http://trac.sagemath.org/ticket/16725#comment:16>
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.
