-
Notifications
You must be signed in to change notification settings - Fork 311
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
[Merged by Bors] - feat(Rat): Numerator and denominator of q ^ n
#12506
Closed
Commits on Apr 29, 2024
-
feat(Rat): Numerator and denominator of
q ^ n
Prove `(q ^ n).num = q.num ^ n` and `(q ^ n).den = q.den ^ n` by making those defeq. It is somewhat painful. `(q ^ n).den = q.den ^ n` is also defeq for `NNRat`, but not `(q ^ n).num = q.num ^ n` due to the `Int.natAbs` in the definition of `NNRat.num`.
Configuration menu - View commit details
-
Copy full SHA for 8f36fda - Browse repository at this point
Copy the full SHA 8f36fdaView commit details -
Configuration menu - View commit details
-
Copy full SHA for 0821c2c - Browse repository at this point
Copy the full SHA 0821c2cView commit details -
Configuration menu - View commit details
-
Copy full SHA for e09f61e - Browse repository at this point
Copy the full SHA e09f61eView commit details -
Configuration menu - View commit details
-
Copy full SHA for 944e267 - Browse repository at this point
Copy the full SHA 944e267View commit details -
Co-authored-by: Eric Wieser <wieser.eric@gmail.com>
Configuration menu - View commit details
-
Copy full SHA for 617308f - Browse repository at this point
Copy the full SHA 617308fView commit details
Commits on Apr 30, 2024
-
Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
Configuration menu - View commit details
-
Copy full SHA for 6c557b8 - Browse repository at this point
Copy the full SHA 6c557b8View commit details -
Configuration menu - View commit details
-
Copy full SHA for c3c5831 - Browse repository at this point
Copy the full SHA c3c5831View commit details -
Configuration menu - View commit details
-
Copy full SHA for 1f8ccf7 - Browse repository at this point
Copy the full SHA 1f8ccf7View commit details -
Configuration menu - View commit details
-
Copy full SHA for 7ab75d0 - Browse repository at this point
Copy the full SHA 7ab75d0View commit details
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.