#11620: Bugs persist in graph_isom_equivalent_non_edge_labeled_graph
----------------------------+-----------------------------------------------
Reporter: rlm | Owner: jason, ncohen, rlm
Type: defect | Status: needs_review
Priority: major | Milestone: sage-4.7.2
Component: graph theory | Keywords:
Work_issues: | Upstream: N/A
Reviewer: | Author: Robert Miller
Merged: | Dependencies: #10549
----------------------------+-----------------------------------------------
Changes (by rlm):
* dependencies: => #10549
Old description:
> Fixes this:
>
> {{{
> sage: G1 = DiGraph(loops=True,multiedges=True)
> sage: G1.add_edges([(0, 0, 'c'), (0, 4, 'b'),
> (0, 5, 'c'), (0, 5, 't'), (1, 1, 'c'), (1, 3,'c'),
> (1, 3, 't'), (1, 5, 'b'), (2, 2, 'c'), (2, 3, 'b'),
> (2, 4, 'c'),(2, 4, 't'), (3, 1, 't'), (3, 2, 'b'),
> (3, 2, 'c'), (3, 4, 'c'), (4, 0,'b'), (4, 0, 'c'),
> (4, 2, 't'), (4, 5, 'c'), (5, 0, 't'), (5, 1, 'b'),
> (5, 1, 'c'), (5, 3, 'c')])
> sage: G2 = G1.relabel(perm={0:4, 1:5, 2:3, 3:2, 4:1,
> 5:0},inplace=False)
> sage: G1.canonical_label(edge_labels=True) ==
> G2.canonical_label(edge_labels=True)
> True
> sage: G1.is_isomorphic(G2,edge_labels=True)
> False
> sage: G2.is_isomorphic(G1,edge_labels=True)
> False
> }}}
>
> Depends on #11182
New description:
Fixes this:
{{{
sage: G1 = DiGraph(loops=True,multiedges=True)
sage: G1.add_edges([(0, 0, 'c'), (0, 4, 'b'),
(0, 5, 'c'), (0, 5, 't'), (1, 1, 'c'), (1, 3,'c'),
(1, 3, 't'), (1, 5, 'b'), (2, 2, 'c'), (2, 3, 'b'),
(2, 4, 'c'),(2, 4, 't'), (3, 1, 't'), (3, 2, 'b'),
(3, 2, 'c'), (3, 4, 'c'), (4, 0,'b'), (4, 0, 'c'),
(4, 2, 't'), (4, 5, 'c'), (5, 0, 't'), (5, 1, 'b'),
(5, 1, 'c'), (5, 3, 'c')])
sage: G2 = G1.relabel(perm={0:4, 1:5, 2:3, 3:2, 4:1,
5:0},inplace=False)
sage: G1.canonical_label(edge_labels=True) ==
G2.canonical_label(edge_labels=True)
True
sage: G1.is_isomorphic(G2,edge_labels=True)
False
sage: G2.is_isomorphic(G1,edge_labels=True)
False
}}}
--
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/11620#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 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.
