Skip to content
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

generalize definitions introduced with Banach-Steinhaus PR #1310

Open
affeldt-aist opened this issue Sep 6, 2024 · 0 comments
Open

generalize definitions introduced with Banach-Steinhaus PR #1310

affeldt-aist opened this issue Sep 6, 2024 · 0 comments
Assignees
@mkerjean
Labels
enhancement ✨ This issue/PR is about adding new features enhancing the library
Milestone
1.8.0

Comments

@affeldt-aist
Copy link
Member

The formalization of Baire and Banach-Steinhaus theorems (PR #334) led to the introduction of the following definitions:

bounded_fun_norm
pointwise_bounded
uniform_bounded

See commit 3828a15
(note that it erroneously refers to PR #1107 that has been turned into PR #1300)

They should actually be generalized once the PR on Topological vector spaces
#1300 is completed

@Villetaneuse
@affeldt-aist affeldt-aist added the enhancement ✨ This issue/PR is about adding new features enhancing the library label Sep 6, 2024
@affeldt-aist affeldt-aist added this to the 1.5.0 milestone Sep 6, 2024
@affeldt-aist affeldt-aist modified the milestones: 1.5.0, 1.6.0 Oct 7, 2024
@affeldt-aist affeldt-aist modified the milestones: 1.6.0, 1.7.0 Oct 24, 2024
@affeldt-aist affeldt-aist modified the milestones: 1.7.0, 1.8.0 Nov 20, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@mkerjean mkerjean

Labels
enhancement ✨ This issue/PR is about adding new features enhancing the library
Projects
None yet
Milestone
1.8.0
Development

No branches or pull requests
2 participants
@affeldt-aist @mkerjean