問題案：2変数 FPS operations about library-checker-problems HOT 2 OPEN

• sqrt
  • $[x^0y^0]f\neq$ の場合について sqrt を定義しないことの方が一般的だと思われるし、そうでない場合を考える実用上の動機もないと思っているので、 $[x^0y^0]f=1$ を制約にしてしまいたい。（そもそも pow の特殊ケースだし、問題を作る優先度はかなり低そう）
• pow
  • こっちは $[x^0y^0]f=0$ のときも自然だし実用しうる。がこのときに繰り返し二乗法よりよくなるか不明
  • sparse は $O(NMK)$ でできると思う

from library-checker-problems.

あまり詳しくはないんですが検索した感じ "Bivariate Formal Power Series" という表現の方がよく使われているようです。

多変数 FPS を持っていれば確かに 2 変数に限定する必要は無いですが、

• 多変数 FPS を 2 変数以外で使った記憶がほとんど無い
• 2 変数に特化した高速化がありそう

などの理由から 2 変数で準備してよさそうに思いました。

from library-checker-problems.