Skip to content

Distribution have a sub probability measures - #2116

Draft
lyonel2017 wants to merge 8 commits into
math-comp:masterfrom
lyonel2017:distr_measure_prob
Draft

lyonel2017 wants to merge 8 commits into
math-comp:masterfrom
lyonel2017:distr_measure_prob

Conversation

@lyonel2017

Copy link
Copy Markdown
Contributor
Motivation for this change

Requires #2063 and #2064

Checklist
  • added corresponding entries in CHANGELOG_UNRELEASED.md
  • added corresponding documentation in the headers

Reference: How to document

Merge policy

As a rule of thumb:

  • PRs with several commits that make sense individually and that
    all compile are preferentially merged into master.
  • PRs with disorganized commits are very likely to be squash-rebased.
Reminder to reviewers

@lyonel2017 lyonel2017 mentioned this pull request Oct 1, 2026
2 tasks
@affeldt-aist affeldt-aist mentioned this pull request Oct 2, 2026
1 of 2 tasks

This branch has not been deployed

No deployments
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant