Skip to content

Add "log_of_set_power_series" to "Set Power Series" category#1389

Closed
NotLeonian wants to merge 2 commits into
yosupo06:masterfrom
NotLeonian:chore/add-log-to-SPS-category
Closed

Add "log_of_set_power_series" to "Set Power Series" category#1389
NotLeonian wants to merge 2 commits into
yosupo06:masterfrom
NotLeonian:chore/add-log-to-SPS-category

Conversation

@NotLeonian
Copy link
Copy Markdown
Contributor

#1388 で categories.toml を変更していなかったため、Log of Set Power Series が Set Power Series カテゴリに含まれていないのを修正する PR です。
log_of_formal_power_series 等に倣って、exp_of_set_power_series の次に記述しています。

ついでに一部の行にのみ入っていた末尾の空白を全て削除しています。

@maspypy
Copy link
Copy Markdown
Collaborator

maspypy commented Feb 19, 2026

これは categories にないものは New に出る
(自動で New から消えるとかではなく)手作業で categories に入れることで分類される
という運用になっているので、categories に書かないでも ok です。
(逆に New から消えてしまうということになってしまうと思います。)

@NotLeonian
Copy link
Copy Markdown
Contributor Author

あ〜、承知しました。
categories.toml の過去のコミットも確認し、運用方法を理解したのでこの PR はクローズします。

@NotLeonian NotLeonian closed this Feb 19, 2026
@NotLeonian NotLeonian deleted the chore/add-log-to-SPS-category branch February 19, 2026 06:57
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.

2 participants