#15294: LinearMatroid.is_field_equivalent is unsafe when self is other
------------------------------+-----------------------------
Reporter: Stefan | Owner:
Type: defect | Status: new
Priority: trivial | Milestone: sage-5.13
Component: matroid theory | Keywords:
Merged in: | Authors:
Reviewers: | Report Upstream: N/A
Work issues: | Branch:
Commit: | Dependencies:
Stopgaps: |
------------------------------+-----------------------------
The code for {{{LinearMatroid.is_field_equivalent}}} will call
{{{LinearMatroid._is_field_isomorphism}}} without ensuring that {{{self}}}
and {{{other}}} are different objects. The latter function assumes (by
design) that they are. The current implementation happens to give the
right answer, but this could change when
{{{LinearMatroid._is_field_isomorphism}}} changes its algorithm.
Solution: if {{{self is other}}}, just return True.
--
Ticket URL: <http://trac.sagemath.org/ticket/15294>
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 http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/groups/opt_out.
