Results 55 issues of Frédéric Chapoton

found by the patchbot in some tickets ``` sage -t --long --warn-long 61.1 --random-seed=242205119125380898007386286571458929899 src/sage/functions/exp_integral.py ``` giving ``` File "src/sage/functions/exp_integral.py", line 1493, in sage.functions.exp_integral.exponential_integral_1 Failed example: for prec in [20..128]:...

p: major / 3
t: bug
c: numerical

instead of using the deprecated `ParentWithGens` ### :memo: Checklist - [x] The title is concise, informative, and self-explanatory. - [x] The description explains in detail what this PR is about.

t: refactoring
v: moderate

pep8 cleanup adding typing annotations, fixing some code details but more importantly, using properly the `_element_constructor_` ### :memo: Checklist - [x] The title is concise and informative. - [x] The...

s: needs review
c: combinatorics
c: group theory

Adding two new posets in our catalog : The Bubble lattices and the Shuffle lattices. ### :memo: Checklist - [x] The title is concise and informative. - [x] The description...

s: positive review
c: combinatorics

in order to avoid fixing them again at every release ### :memo: Checklist - [x] The title is concise and informative. - [x] The description explains in detail what this...

s: positive review

so that we know they return bool ### :memo: Checklist - [x] The title is concise and informative. - [x] The description explains in detail what this PR is about.

s: positive review

small pep8 cleanup, some typing annotation alos getting rid of the old `_cache_an_element` attribute ### :memo: Checklist - [ ] The title is concise and informative. - [ ] The...

s: positive review
c: number fields

namely, spaces around modulo symbol ### :memo: Checklist - [x] The title is concise and informative. - [x] The description explains in detail what this PR is about.

s: needs review

as suggested by `ruff check --select=C403,C410,C414,C416 src/` ### :memo: Checklist - [x] The title is concise and informative. - [x] The description explains in detail what this PR is about.

s: needs review