#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:                     |  2e14f6959299bbcca913eef22822ae9c51b2fc84
  u/jaanos/add_is_cayley_graph       |     Stopgaps:
   Dependencies:                     |
-------------------------------------+-------------------------------------
Changes (by jaanos):

 * status:  needs_info => needs_review


Old description:

> This ticket adds a method `is_cayley_graph` to `GenericGraph`. This
> method checks whether a graph or digraph (which may or may not be
> connected) is a Cayley graph. If a certificate is requested, it also
> returns a permutation group and a generator set which generate this
> graph.

New description:

 This ticket adds a method `is_cayley` to `GenericGraph`. This method
 checks whether a graph or digraph (which may or may not be connected) is a
 Cayley graph. If a certificate is requested, it also returns a permutation
 group and a generator set which generate this graph.

 A method `has_transitive_subgroup` has also been added to
 `PermutationGroup_generic`. For a given order, it determines whether the
 group has a subgroup of this order, and returns it if requested. If no
 order is given, it is taken to be the order of the group itself (i.e., the
 method then simply tells whether the group is transitive).

--

Comment:

 OK, I think I have addressed all the issues. If this is OK, I guess we can
 also make more direct calls to GAP in the methods
 `conjugacy_classes_subgroups` and `subgroups` (in another ticket, of
 course).

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