#15289: Implement indexed monoids
-------------------------------------+-------------------------------------
Reporter: tscrim | Owner: sage-combinat
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-6.3
Component: algebra | Resolution:
Keywords: days54 | Merged in:
Authors: Travis Scrimshaw | Reviewers:
Report Upstream: N/A | Work issues:
Branch: | Commit:
public/monoids/15289-indexed | 909196eb2cd8311897437f7212c6470cba80ee84
Dependencies: #15309, #15169, | Stopgaps:
#16349 |
-------------------------------------+-------------------------------------
Comment (by nthiery):
Hi Travis,
Sorry for being slow once again. Unless I missed it, you haven't commented
on my suggestions for:
- Using `dict_addition` whenever meaningful
- Implementing `Groups().Commutative().free()` rather than
`Groups().free(commutative=True)` now that #10963 is in (I can do that if
you want)
- Putting index_set as first argument to the `free` methods to make the
following work properly:
{{{
sage: C.free([1,2,3])
Free monoid indexed by None
}}}
By the way, with no argument there should either be some reasonable
default, or an error:
{{{
sage: C.free()
Free monoid indexed by None
}}}
- Construction of the generators by `F(i)` (see [comment:37]).
- [comment:32]
Cheers,
Nicolas
--
Ticket URL: <http://trac.sagemath.org/ticket/15289#comment:55>
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.
