Skip to content

finite transition kernels #1444

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.

Sign up for GitHub

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

Jump to bottom
Merged
affeldt-aist merged 9 commits into from
Apr 17, 2025
Merged

finite transition kernels #1444

affeldt-aist merged 9 commits into from
Apr 17, 2025

Conversation

@affeldt-aist
Copy link
Member

@affeldt-aist affeldt-aist commented Dec 29, 2024 •
edited
Loading

Motivation for this change

proof of stability of composition of subprobability kernels @CohenCyril

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

Reference: How to document

Reminder to reviewers

@affeldt-aist affeldt-aist added the enhancement ✨ This issue/PR is about adding new features enhancing the library label Dec 29, 2024
@affeldt-aist affeldt-aist added this to the 1.9.0 milestone Dec 29, 2024
@affeldt-aist affeldt-aist changed the title transition finite kernels finite transition kernels Dec 29, 2024
@affeldt-aist affeldt-aist mentioned this pull request Dec 31, 2024
Draft
@affeldt-aist affeldt-aist force-pushed the finite_transition_kernel branch from e7fd379 to 320a976 Compare December 31, 2024 18:08
@affeldt-aist affeldt-aist modified the milestones: 1.9.0, 1.10.0 Feb 12, 2025
@affeldt-aist affeldt-aist force-pushed the finite_transition_kernel branch from fbb88ac to 3d4a7fa Compare February 21, 2025 09:28
@affeldt-aist affeldt-aist force-pushed the finite_transition_kernel branch from 3d4a7fa to 7e72514 Compare March 12, 2025 08:00
@affeldt-aist affeldt-aist force-pushed the finite_transition_kernel branch from 7e72514 to 49c3241 Compare March 24, 2025 23:59
@affeldt-aist affeldt-aist force-pushed the finite_transition_kernel branch from 49c3241 to 5cd08b2 Compare April 15, 2025 04:13
@affeldt-aist
Copy link
Member Author

affeldt-aist commented Apr 15, 2025

@CohenCyril Changelog added

hoheinzollern
hoheinzollern approved these changes Apr 15, 2025
View reviewed changes
Copy link
Member

@hoheinzollern hoheinzollern left a 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

@affeldt-aist
Copy link
Member Author

affeldt-aist commented Apr 16, 2025

@hoheinzollern comments applied, they made the main proof a bit more readable, thank you!

@affeldt-aist affeldt-aist force-pushed the finite_transition_kernel branch from 9bdc580 to 323eec4 Compare April 16, 2025 14:53
@affeldt-aist affeldt-aist merged commit 72c509b into math-comp:master Apr 17, 2025
42 of 45 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

1 more reviewer

@hoheinzollern hoheinzollern hoheinzollern approved these changes

Reviewers whose approvals may not affect merge requirements

Assignees

No one assigned

Labels

enhancement ✨ This issue/PR is about adding new features enhancing the library

Projects

None yet

Milestone

1.10.0

Development

Successfully merging this pull request may close these issues.

3 participants

@affeldt-aist @hoheinzollern @CohenCyril