#14777: is_isomorphic fails on empty graph
------------------------------------------------+---------------------------
Reporter: ajroberts | Owner: jason,
ncohen, rlm
Type: defect | Status: needs_work
Priority: major | Milestone: sage-5.11
Component: graph theory | Resolution:
Keywords: Graphs, Isomorphisms, days49 | Work issues:
Report Upstream: N/A | Reviewers: Travis
Scrimshaw
Authors: Austin Roberts | Merged in:
Dependencies: | Stopgaps:
------------------------------------------------+---------------------------
Changes (by {'newvalue': u'Austin Roberts', 'oldvalue': ''}):
* keywords: Graphs, Isomorphisms => Graphs, Isomorphisms, days49
* reviewer: => Travis Scrimshaw
* status: needs_review => needs_work
* author: => Austin Roberts
Old description:
> G=Graph()
> H=Graph()
>
> G.is_isomorphic(H) returns False
>
> It should return True.
>
> The same problem occurs in the Digraph case.
New description:
G=Graph()
H=Graph()
G.is_isomorphic(H) returns False
It should return True.
The same problem occurs in the Digraph case.
----
Apply:
* [attachment:is_isomorphic.patch]
--
Comment:
Hey Austin,
There are two minor things I see:
- Line 16803 should be:
{{{
Ensure that :trac:`14777` is is fixed::
}}}
in order for the autolinking to work.
- Line 16812 should be:
{{{
if self.num_verts() == 0 and other.num_verts() == 0:
}}}
there was a second `=` missing from the second part.
Once these are fixed, this should be a positive review.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/14777#comment:3>
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/groups/opt_out.
