#15289: Implement indexed monoids
-------------------------------------+-------------------------------------
Reporter: tscrim | Owner: sage-combinat
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-6.2
Component: algebra | Resolution:
Keywords: days54 | Merged in:
Authors: Travis Scrimshaw | Reviewers:
Report Upstream: N/A | Work issues:
Branch: | Commit:
public/monoids/15289-indexed | 8db8e0a07605c801a9a9974e043312061ee375c1
Dependencies: #15309 #15169 | Stopgaps:
-------------------------------------+-------------------------------------
Comment (by tscrim):
Hey Nicolas,
From your comments on #15726, I've made the appropriate changes here.
* All `Indexed*` now goes through `Free*`, but as a special case, I have
`IndexedFreeAbelianGroup` as `FreeGroup(index_set=X, abelian=True)`.
Should we do the same for `FreeMonoid`?
* I want to leave `__pow__` alone since they are more specialized for the
data structures.
* The `__contains__`, are you suggesting putting it into `Parent`? If so,
that might be a can of worms and should be done on another ticket.
* I'd like to keep `IndexedFreeAbelianGroup` as multiplicative since I
want to use them as a basis indexing set for polynomials.
* Similarly, the comparisons are using lex ordering, so it gives a nice
default order on terms when modeling polynomial rings with indexed
generators.
Thank you for looking at this (and #15726). As always, I appreciate your
wisdom and insight.
Best,[[BR]]
Travis
----
New commits:
||[http://git.sagemath.org/sage.git/commit/?id=8db8e0a07605c801a9a9974e043312061ee375c1
8db8e0a]||{{{Changed _an_element_ to indexed_monoid.py.}}}||
--
Ticket URL: <http://trac.sagemath.org/ticket/15289#comment:14>
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/groups/opt_out.
