New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Add .is_singular method to matrices #10454
Comments
comment:1
Do you think it might be better to add the positive phrasing, m.is_singular(), rather than the negative nonsingular version? |
comment:2
Replying to @jasongrout:
I had that thought. It would then no longer be an alias, which means (a) the documentation could be separate from invertibility, and (b) it would only need to be done once ( |
comment:3
My advisor (who was a very good writer) taught me that when you are talking about matrices with determinant zero, and that is the focus, you should use "singular", and when you are talking about matrices with nonzero determinant, and that is the focus, you should use "invertible". This was to avoid confusing the reader with too many negatives. So I think having m.is_singular() and m.is_invertible() is a nice combination. It's easy to say "to check if a matrix is nonsingular, see if m.is_singular() is false". Personally, I use "invertible" when talking about invertible matrices, so I guess it isn't that huge of a deal. I just thought things could be clearer by not putting a negatively-phrased is_* method in there. |
comment:4
Replying to @jasongrout: Sounds very good to me. I'll likely take this approach. |
comment:5
I guess the other philosophy at play here is that typically, is_* functions determine what an object is, not what it is not. There probably are exceptions, though... |
Attachment: trac_10454-matrix-is-singular.patch.gz |
comment:6
It is never what it seems. Over a commutative ring, the right thing to do is to define So this needs to be a new method, it is better stated as the positive version, and it is more than just a convenience. |
Author: Rob Beezer |
This comment has been minimized.
This comment has been minimized.
comment:8
Looks good to me. |
Reviewer: Robert Bradshaw |
Merged: sage-4.6.2.alpha3 |
Some approaches to teaching linear algebra define nonsingular matrices before broaching matrix invertibility. This will just add is_singular, with some changes to the associated documentation. thus making it a bit easier for Sage usage to follow one possible development of the topic.
Component: linear algebra
Author: Rob Beezer
Reviewer: Robert Bradshaw
Merged: sage-4.6.2.alpha3
Issue created by migration from https://trac.sagemath.org/ticket/10454
The text was updated successfully, but these errors were encountered: