#18383: Coercion and comparison for alternating sign matrices
-------------------------+-------------------------------------------------
Reporter: | Owner:
vdelecroix | Status: needs_work
Type: | Milestone: sage-6.7
enhancement | Resolution:
Priority: major | Merged in:
Component: | Reviewers: Travis Scrimshaw
combinatorics | Work issues:
Keywords: | Commit:
Authors: | 807bc9c27622f1d5a8185626b39d327a1ec8d1eb
Vincent Delecroix | Stopgaps:
Report Upstream: N/A |
Branch: |
u/tscrim/18383 |
Dependencies: |
-------------------------+-------------------------------------------------
Changes (by jdemeyer):
* status: needs_review => needs_work
Comment:
I really don't like this solution because whether or not coercion is used
depends on the order of the arguments (`A < B` does something completely
different than `B > A`). You cannot say that you want coercion and then
''not'' use coercion for comparisons.
{{{
sage: A = AlternatingSignMatrices(3)[1]
sage: A < B
False
sage: B > A
True
}}}
I actually think that you don't want coercion for ASM's. You don't want to
consider them as matrices with extra structure, you want to consider them
as mathematical objects which happen to be written as a matrix.
--
Ticket URL: <http://trac.sagemath.org/ticket/18383#comment:26>
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/d/optout.
