#19586: Add is_cayley_graph
-------------------------------------+-------------------------------------
Reporter: jaanos | Owner:
Type: enhancement | Status: needs_info
Priority: major | Milestone: sage-7.1
Component: graph theory | Resolution:
Keywords: Cayley graphs | Merged in:
groups | Reviewers: Nathann Cohen
Authors: Janoš Vidali | Work issues:
Report Upstream: N/A | Commit:
Branch: | a58a7348bc022f39bf68383b70400e8b7f5b268b
u/jaanos/add_is_cayley_graph | Stopgaps:
Dependencies: |
-------------------------------------+-------------------------------------
Comment (by dimpase):
Replying to [comment:77 ncohen]:
> I don't get it: if what you say were true, it would mean that the action
of that regular subgroup upon the edges incident to a fixed vertex would
yield a disconnected 6-regular graph.
no, it would not, it would give the whole graph. But the subgroup will not
be generated by the
neighbours of the identity in the graph. Indeed, the minimal degree of a
[https://en.wikipedia.org/wiki/Cayley_graph Cayley graph] of this group is
10 (as one needs at least 10 generators). Thus this graph is not a Cayley
graph of this group.
--
Ticket URL: <http://trac.sagemath.org/ticket/19586#comment:79>
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 https://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
