#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 |
-------------------------------------+-------------------------------------
Description changed by tscrim:
Old description:
> In order to more quickly check if two simplicial complexes are not
> isomorphic, we should check that their (ordered) facet dimension
> sequences agree.
New description:
In order to more quickly check if two simplicial complexes are not
isomorphic, we should check that their (ordered) facet dimension sequences
agree.
We also check that edge labels are respected for the isomorphism, so
isomorphisms of the fake degree vertex is not part of the isomorphism.
--
--
Ticket URL: <http://trac.sagemath.org/ticket/20751#comment:5>
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.
