Closed ebi-fly13 closed 1 year ago
多項式/形式的冪級数ライブラリ の log の定義についてですが、 「 $e^f \equiv g \mod x^n$ を満たす $g$ 」ではなく、「 $f \equiv e^g \mod x^n$ を満たす $g$ 」 だと思います。
ありがとうございます、修正しました (慣れてない時期の文章だったので、これを機に色々と書き換えました)
Describe the bug
多項式/形式的冪級数ライブラリ の log の定義についてですが、 「 $e^f \equiv g \mod x^n$ を満たす $g$ 」ではなく、「 $f \equiv e^g \mod x^n$ を満たす $g$ 」 だと思います。
Additional context