#19586: Add is_cayley_graph
-------------------------------------+-------------------------------------
       Reporter:  jaanos             |        Owner:
           Type:  enhancement        |       Status:  needs_review
       Priority:  major              |    Milestone:  sage-6.10
      Component:  graph theory       |   Resolution:
       Keywords:  Cayley graphs      |    Merged in:
  groups                             |    Reviewers:
        Authors:  Janoš Vidali       |  Work issues:
Report Upstream:  N/A                |       Commit:
         Branch:                     |  4aaf3014fee5bb08d861636908d6733047d4a869
  u/jaanos/add_is_cayley_graph       |     Stopgaps:
   Dependencies:                     |
-------------------------------------+-------------------------------------

Comment (by jaanos):

 > a part of interface issue is that we lack `(di)graphs.CayleyGraph()`; if
 it was there it would be most natural to return such a thing on success.

 So you're saying that we should return an isomorphic graph that is marked
 as a Cayley graph as a certificate? Interesting, although this is probably
 something the user should do by themselves given the group.

 Even if we don't have such a constructor, we can always relabel the
 vertices with group elements, and then set edge labels, just like the
 `cayley_graph` method on a group would do.

 Janoš

--
Ticket URL: <http://trac.sagemath.org/ticket/19586#comment:43>
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