#18002: AutomaticMonoid
-------------------------------------+-------------------------------------
Reporter: virmaux | Owner:
Type: enhancement | Status: needs_info
Priority: major | Milestone: sage-6.6
Component: combinatorics | Resolution:
Keywords: monoids, days64 | Merged in:
Authors: Nicolas M. | Reviewers: Anne Schilling
Thiéry, Aladin Virmaux | Work issues:
Report Upstream: N/A | Commit:
Branch: public/automatic- | d9247d445705dc393b9ff4095963c47e0f5b0625
monoid/18002 | Stopgaps:
Dependencies: |
-------------------------------------+-------------------------------------
Changes (by virmaux):
* status: needs_review => needs_info
Comment:
Hello,
The commit I just made is stupid: I did not checked I correctly pulled
before so it merged pretty well with the last one you made. The second one
only corrects some typo in the documentation (mainly I replaced 'monoids'
by 'semigroups' to be accurate with the last commits).
The method one() is provided whether the constructed object is a monoid
(which is great) or is a semigroup (which is less great). Would not it be
better to define this method in the constructor only if the
`AutomaticSemigroup` is in `Monoids` ?
There is no real example where the ambient semigroup is actually a
semigroup (ie not a Monoid),
may we add and play with the following in the doc ?
{{{
sage: S = Semigroups().Finite().example()
sage: A = AutomaticSemigroup(Family({1: S('a'), 2: S('ca'), 3: S('bc')}))
sage: A in Semigroups() and A not in Monoids()
True
}}}
Cheers,
Aladin
--
Ticket URL: <http://trac.sagemath.org/ticket/18002#comment:34>
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.
