#17092: Quivers incorrectly assume labels are checked for equality of graphs
----------------------------+----------------------------
   Reporter:  emassop       |            Owner:
       Type:  defect        |           Status:  new
   Priority:  major         |        Milestone:  sage-6.4
  Component:  graph theory  |         Keywords:
  Merged in:                |          Authors:
  Reviewers:                |  Report Upstream:  N/A
Work issues:                |           Branch:
     Commit:                |     Dependencies:
   Stopgaps:                |
----------------------------+----------------------------
 Over at ticket #17086 the hash of `GenericGraph` was fixed to agree with
 equality of `GenericGraph`. This caused doctest failure in
 `src/sage/quivers/path_semigroup.py`.

 Equality of un-'weighted' `GenericGraph` ignores edge labels, which seems
 nonsensical to me for `/path_semigroup`. So each digraph used for path
 semigroups should be 'weighted'. Running `git grep path_semigroup` shows
 that this is certainly not done.

 I see these options:
 * change lots of code to make the appropriate digraphs weighted;
 * change equality of graphs to take edge labels into account, possibly
 breaking other code;
 * change `PathSemigroup` to check for weightedness, and perhaps set
 'weighted' in `.path_semigroup`.

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