#19204: Implement Automaton.is_equivalent
-------------------------------------+-------------------------------------
Reporter: cheuberg | Owner:
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-6.9
Component: finite state | Resolution:
machines | Merged in:
Keywords: | Reviewers:
Authors: Clemens Heuberger | Work issues:
Report Upstream: N/A | Commit:
Branch: | 985b4561a2269493dc0a0004911274cb97c52870
u/cheuberg/fsm/is_equivalent | Stopgaps:
Dependencies: #18966 |
-------------------------------------+-------------------------------------
Changes (by cheuberg):
* status: new => needs_review
* commit: => 985b4561a2269493dc0a0004911274cb97c52870
* dependencies: => #18966
Comment:
New commits:
||[http://git.sagemath.org/sage.git/commit/?id=23c9573172d4014984a56606fbcc075de9bda536
23c9573]||{{{Trac #18966: Merge #18964 (Kleene star), #18981 (completion),
#18965 (concatenation)}}}||
||[http://git.sagemath.org/sage.git/commit/?id=5dceb30c12626feb3509490ccb50d06d1b48f7e7
5dceb30]||{{{Trac #18966: Implement Automaton.complement}}}||
||[http://git.sagemath.org/sage.git/commit/?id=c67540a6f2e01badd023957b37ce560c059b9d60
c67540a]||{{{Fix doctests}}}||
||[http://git.sagemath.org/sage.git/commit/?id=b1a6b604b8ed5c98eb5499446958eca68b5323a2
b1a6b60]||{{{Trac #18966: Fix doctests}}}||
||[http://git.sagemath.org/sage.git/commit/?id=985b4561a2269493dc0a0004911274cb97c52870
985b456]||{{{Trac #19204: Implement Automaton.is_equivalent}}}||
--
Ticket URL: <http://trac.sagemath.org/ticket/19204#comment:2>
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.
