#13721: Additional tests for graph symmetries and an improvement of
is_vertex_transitive
----------------------------------+-----------------------------------------
Reporter: azi | Owner: jason, ncohen, rlm
Type: enhancement | Status: needs_work
Priority: major | Milestone: sage-5.6
Component: graph theory | Resolution:
Keywords: | Work issues:
Report Upstream: N/A | Reviewers:
Authors: Jernej Azarija | Merged in:
Dependencies: | Stopgaps:
----------------------------------+-----------------------------------------
Comment (by azi):
Hello Mr. Cohen!!!1
Thanks for the review! I have implemented the suggested changes (whoops
for the relabel thing :) ) except the one of "merging" is_eulerian() with
the other conditions for is_semi_symmetric (and other analogues of this.)
The reason being that by definition a graph is semi-symmetric if it is
edge/vertex-transitive and not arc-transitive. And this is one logical
condition. The other (being an Eulerian graph) is just an optimization
since a semi-symmetric graph is always Eulerian and is somehow a different
logical unit than the direct definition of a semi-symmetric graph. So I
much rather like it to be separate for clarity sake and in case some other
guys will add additional optimizations like that in the near future.
Let me know if you still think its better to mix all conditions together!
PS. I believe I have now fixed the documentation but I was not able to
test it (doing things on a remote shell and its a mess to copy the files
up and down). Hopefully its fine now.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/13721#comment:18>
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 post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/sage-trac?hl=en.
