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(probability/variance): introduce ℝ≥0∞
-valued variance
#16730
Conversation
Co-authored-by: Rémy Degenne <remydegenne@gmail.com>
Co-authored-by: Rémy Degenne <remydegenne@gmail.com>
…ib into JasonKYi/cheb
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.
Looks good to me, thanks!
bors d+
✌️ JasonKYi can now approve this pull request. To approve and merge a pull request, simply reply with |
Co-authored-by: Rémy Degenne <remydegenne@gmail.com>
Thanks for the reviews! |
This PR introduces `ℝ≥0∞`-valued variance and define the real-valued variance in terms of it.
Build failed (retrying...): |
This PR introduces `ℝ≥0∞`-valued variance and define the real-valued variance in terms of it.
Pull request successfully merged into master. Build succeeded: |
ℝ≥0∞
-valued varianceℝ≥0∞
-valued variance
This PR introduces
ℝ≥0∞
-valued variance and define the real-valued variance in terms of it.See here for Zulip discussion here.