Skip to content

[Merged by Bors] - fix: ∑' precedence#5615

Closed
fpvandoorn wants to merge 13 commits intomasterfrom
sum_parens
Closed

[Merged by Bors] - fix: ∑' precedence#5615
fpvandoorn wants to merge 13 commits intomasterfrom
sum_parens

Conversation

@fpvandoorn
Copy link
Copy Markdown
Member

@fpvandoorn fpvandoorn commented Jun 30, 2023 •
edited
Loading

  • Also remove most superfluous parentheses around big operators (∑, ∏ and variants).
  • roughly the used regex: ([^a-zA-Zα-ωΑ-Ω'𝓝ℳ₀𝕂ₛ)]) \(([∑∏][^()∑∏]*,[^()∑∏:]*)\) ([⊂⊆=<≤]) replaced by $1 $2 $3

Open in Gitpod

@fpvandoorn fpvandoorn changed the title remove most superfluous parentheses around big operators (∑, ∏ and variants) fix: ∑' precedence Jun 30, 2023
@fpvandoorn fpvandoorn added awaiting-review awaiting-CI This PR does not pass CI yet. This label is automatically removed once it does. labels Jun 30, 2023
@github-actions github-actions bot removed the awaiting-CI This PR does not pass CI yet. This label is automatically removed once it does. label Jun 30, 2023
@kim-em kim-em added the merge-conflict The PR has a merge conflict with master, and needs manual merging. (this label is managed by a bot) label Jul 1, 2023
@kim-em kim-em removed the merge-conflict The PR has a merge conflict with master, and needs manual merging. (this label is managed by a bot) label Jul 1, 2023
@ocfnash
Copy link
Copy Markdown
Contributor

ocfnash commented Jul 2, 2023

Thank you very much for doing this!

bors merge

@github-actions github-actions bot added ready-to-merge This PR has been sent to bors. and removed awaiting-review labels Jul 2, 2023
bors bot pushed a commit that referenced this pull request Jul 2, 2023
@fpvandoorn
fix: ∑' precedence (#5615)
03fc68a 
* Also remove most superfluous parentheses around big operators (`∑`, `∏` and variants).
* roughly the used regex: `([^a-zA-Zα-ωΑ-Ω'𝓝ℳ₀𝕂ₛ)]) \(([∑∏][^()∑∏]*,[^()∑∏:]*)\) ([⊂⊆=<≤])` replaced by `$1 $2 $3`
@bors
Copy link
Copy Markdown

bors bot commented Jul 2, 2023

Pull request successfully merged into master.

Build succeeded!

The publicly hosted instance of bors-ng is deprecated and will go away soon.

If you want to self-host your own instance, instructions are here.
For more help, visit the forum.

If you want to switch to GitHub's built-in merge queue, visit their help page.

@bors bors bot changed the title fix: ∑' precedence [Merged by Bors] - fix: ∑' precedence Jul 2, 2023
@bors bors bot closed this Jul 2, 2023
@bors bors bot deleted the sum_parens branch July 2, 2023 11:08
kbuzzard pushed a commit that referenced this pull request Jul 6, 2023
@fpvandoorn @kbuzzard
fix: ∑' precedence (#5615)
a3eb099 
* Also remove most superfluous parentheses around big operators (`∑`, `∏` and variants).
* roughly the used regex: `([^a-zA-Zα-ωΑ-Ω'𝓝ℳ₀𝕂ₛ)]) \(([∑∏][^()∑∏]*,[^()∑∏:]*)\) ([⊂⊆=<≤])` replaced by `$1 $2 $3`
kim-em pushed a commit that referenced this pull request Aug 14, 2023
@fpvandoorn @kim-em
fix: ∑' precedence (#5615)
e234e64 
* Also remove most superfluous parentheses around big operators (`∑`, `∏` and variants).
* roughly the used regex: `([^a-zA-Zα-ωΑ-Ω'𝓝ℳ₀𝕂ₛ)]) \(([∑∏][^()∑∏]*,[^()∑∏:]*)\) ([⊂⊆=<≤])` replaced by `$1 $2 $3`
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

ready-to-merge This PR has been sent to bors.

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

3 participants

@fpvandoorn @ocfnash @kim-em