-
Notifications
You must be signed in to change notification settings - Fork 63
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
Specify how to obtain all inverses #1835
Conversation
By the way, I see there is a discrepancy with spacing in Latex code. In this docstring it is written |
Codecov ReportAll modified and coverable lines are covered by tests ✅
Additional details and impacted files@@ Coverage Diff @@
## master #1835 +/- ##
==========================================
+ Coverage 88.12% 88.13% +0.01%
==========================================
Files 119 119
Lines 29982 29982
==========================================
+ Hits 26423 26426 +3
+ Misses 3559 3556 -3 ☔ View full report in Codecov by Sentry. |
@@ -3558,6 +3558,8 @@ If `side` is `:right` and `flag` is true, $B$ is the right inverse of $A$ | |||
i.e. $AB$ is the $n\times n$ unit matrix. If `side` is `:left` and `flag` is | |||
true, $B$ is the left inverse of $A$ i.e. $BA$ is the $m\times m$ unit matrix. | |||
If `flag` is false, no right or left inverse exists. | |||
|
|||
To get the space of all inverses, combine with [`nullspace`](@ref). | |||
""" | |||
function is_invertible_with_inverse(A::MatrixElem{T}; side::Symbol = :left) where {T <: RingElement} |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Not an issue of this PR, but for the record: I am surprised that this function can do strictly more (namely handle non-square matrices) than its is_invertible
sibling.
9ca1b3d
to
439502b
Compare
In docstring for `is_invertible_with_inverse`. Co-authored-by: Max Horn <max@quendi.de> Co-authored-by: Tommy Hofmann <thofma@gmail.com>
439502b
to
7298a3d
Compare
Should be ready to go! |
Solves oscar-system/Oscar.jl#4179