#20751: Check easy invariants first for simplicial complex isomorphism
-------------------------------------+-------------------------------------
Reporter: tscrim | Owner: tscrim
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-7.3
Component: algebraic | Resolution:
topology | Merged in:
Keywords: days74 | Reviewers:
Authors: Travis Scrimshaw | Work issues:
Report Upstream: N/A | Commit:
Branch: | fbe4c3df5d54c56812bb09b01f76826b6d7a7226
public/simplicial_complex/check_easy_invariants-20751| Stopgaps:
Dependencies: #20720 |
-------------------------------------+-------------------------------------
Comment (by tscrim):
It is not the initial checks that are slowing it down, it is the
additional check(s) of edge labels for the graph isomorphism. The
additional checks are very small (< 1%) in comparison to the isomorphism
check (both with and without edge label checks), which you can see via
{{{
%lprun -f X.is_isomorphic X.is_isomorphic(X)
}}}
However, Jeremy found it necessary to check the edge labels, at least when
we want the certificate. Yet we don't have an example where there is not
an isomorphism but the graphs are isomorphic without preserving edge
labels. So it might be feasible that we don't need to check the edge
labels in that case...
--
Ticket URL: <http://trac.sagemath.org/ticket/20751#comment:7>
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.
