#20660: Add Certificate to is_isomorphic() in the matroids package
-------------------------------------+-------------------------------------
Reporter: tara | Owner:
Type: enhancement | Status: new
Priority: major | Milestone: sage-7.3
Component: matroid theory | Resolution:
Keywords: matroid, | Merged in:
isomorphism | Reviewers:
Authors: | Work issues:
Report Upstream: N/A | Commit:
Branch: | 4ee8641a27d6ac2492f0233c057754af7acfc99f
public/ticket/20660 | Stopgaps:
Dependencies: |
-------------------------------------+-------------------------------------
Comment (by tara):
Right now, I'm happy with the code except for in basis_exchange_matroid,
`M1._is_isomorphic(M2, True)` yields the output `(True, True)` on line
2272, and similarly on line 2278. This doesn't seem to be something that I
caused directly, but might be due to the following code found in
`_isomorphism()` in basis_matroid.pyx (lines 980-981).
{{{
if not isinstance(other, BasisMatroid):
return BasisExchangeMatroid._is_isomorphic(self, other)
}}}
I'm not sure exactly how to tell what type of matroid a thing is when it
gets instigated. Regardless, is there any reason why we don't want to or
are unable to return an isomorphism in the above case?
--
Ticket URL: <http://trac.sagemath.org/ticket/20660#comment:4>
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.
