#15963: finite_state_machine: New attribute FSMState.color to prohibit merging
in
simplification
-------------------------------------+-------------------------------------
Reporter: cheuberg | Owner:
Type: enhancement | Status: new
Priority: minor | Milestone: sage-6.2
Component: combinatorics | Keywords:
Merged in: | finite_state_machine
Reviewers: | Authors: Clemens Heuberger
Work issues: | Report Upstream: N/A
Commit: | Branch:
2031f53b78c88ec68b7ff2ffc252362174304601| u/cheuberg/fsm/state_color
Stopgaps: | Dependencies: #15841, #15847,
| #15848, #15849, #15850
-------------------------------------+-------------------------------------
In some circumstances, it might be desirable to prohibit merging of states
in finite state machine simplification, e.g., if there is some extra
distinction between states
that is not captured in outgoing transitions. Therefore, the notion of
"color" of a state
is introduced such that states of different colors are never merged.
--
Ticket URL: <http://trac.sagemath.org/ticket/15963>
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.
