#18989: Incorrect input_alphabet in FiniteStateMachine.disjoint_union
-------------------------------------+-------------------------------------
   Reporter:  cheuberg               |            Owner:
       Type:  defect                 |           Status:  new
   Priority:  major                  |        Milestone:  sage-6.9
  Component:  finite state machines  |         Keywords:
  Merged in:                         |          Authors:  Clemens Heuberger
  Reviewers:                         |  Report Upstream:  N/A
Work issues:                         |           Branch:
     Commit:                         |     Dependencies:  #18557
   Stopgaps:                         |
-------------------------------------+-------------------------------------
 The following behaviour is a bug:
 {{{
 sage: A = Automaton([(0, 0, 0)])
 sage: B = Automaton([(0, 0, 1)])
 sage: A.input_alphabet
 [0]
 sage: B.input_alphabet
 [1]
 sage: (A + B).input_alphabet
 [0]
 }}}
 The resulting input alphabet should be `[0, 1]`.

--
Ticket URL: <http://trac.sagemath.org/ticket/18989>
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.

Reply via email to