-
-
Notifications
You must be signed in to change notification settings - Fork 57
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 an assumptions mechanism for type-stable default help, and nonsquare #187
Conversation
alg = GenericFactorization() | ||
function defaultalg(A, b, ::OperatorAssumptions{nothing}) | ||
issquare = size(A, 1) == size(A, 2) | ||
defaultalg(A, b, OperatorAssumptions(Val(issquare))) |
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.
This seems type unstable. Is that intentional, or does Julia always union split here?
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.
We need to have some point where a type choice is made, because then it sets the algorithm type. Things like the ODE solver would just set the assumptions at the type level.
Codecov Report
@@ Coverage Diff @@
## main #187 +/- ##
==========================================
- Coverage 65.24% 63.92% -1.32%
==========================================
Files 9 9
Lines 656 621 -35
==========================================
- Hits 428 397 -31
+ Misses 228 224 -4
📣 We’re building smart automated test selection to slash your CI/CD build times. Learn more |
Fixes #177