Opened 12 years ago

Closed 12 years ago

#10904 closed defect (duplicate)

Certification of isomorphism of graphs

Reported by: Anne Schilling Owned by: jason, ncohen, rlm
Priority: major Milestone: sage-duplicate/invalid/wontfix
Component: graph theory Keywords: graphs
Cc: Merged in:
Authors: Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Status badges

Description

The output of the crystal isomorphism is currently different whether or not one specifies edge_labels = True. For example without edge_labels = True the result is a bijection between the vertices of the graph: 

    sage: D = digraphs.RandomDirectedGNP(6, .2)
    sage: D.is_isomorphic(D, certify = True)
    (True, {0: 0, 1: 1, 2: 2, 3: 3, 4: 4, 5: 5})

If in addition one specifies edge_labels=True this changes to some labeling of an extended digraph(?): 

    sage: D.is_isomorphic(D,edge_labels=True, certify = True)
    {0: 0, 1: 1, 2: 2, 3: 3, 4: 4, 5: 5, 6: 6, 7: 7, 8: 8, 9: 9, 10: 10}

Would it be possible to make the output with edge_labels = True consistent?

Change History (3)

comment:1 Changed 12 years ago by Robert Miller

Fixed by #10549.

comment:2 Changed 12 years ago by Robert Miller

Cc: Robert Miller removed
Component: PLEASE CHANGE → graph theory
Milestone: → sage-4.7
Owner: changed from tbd to jason, ncohen, rlm

PS - When CC'ing someone you need to use their track handle or an email address, otherwise they won't be notified.

comment:3 Changed 12 years ago by Robert Miller

Milestone: sage-4.7 → sage-duplicate/invalid/wontfix
Resolution: → duplicate
Status: new → closed

Since there is no code here and the issue is fixed by #10549, which has been merged, I'm closing this ticket.

Note: See TracTickets for help on using tickets.