Convolution のインターフェースを追加

[terry-u16]

#11 を踏まえ、Convolutionのインターフェースを追加しました。

[terry-u16]

#11 の方針で修正します。

[terry-u16]

少々オーバーロード数が多くなりましたが、#11 の通り修正しました。
publicなメソッドは大きく分けて以下の4種類です。

// 1-a. int[], uint[], long[], ulong[] を受け取り、mod 998244353で畳み込み（1-b. の mod 未指定版）
public static int[] Convolution(int[] a, int[] b) => Convolution<Mod998244353>(a, b);

// 1-b. int[], uint[], long[], ulong[] を受け取り、TMod で畳み込み
public static int[] Convolution<TMod>(int[] a, int[] b) 
    where TMod : struct, IStaticMod { }

// 2. ReadOnlySpan<StaticModInt<TMod>>を受け取り、TModで畳み込み
public static Span<StaticModInt<TMod>> Convolution<TMod>(ReadOnlySpan<StaticModInt<TMod>> a, ReadOnlySpan<StaticModInt<TMod>> b)
    where TMod : struct, IStaticMod { }

// 3. ReadOnlySpan<long> を受け取り、mod を取らず畳み込み
public static long[] ConvolutionLong(ReadOnlySpan<long> a, ReadOnlySpan<long> b) { }

基本的には #11 の通りですが、加えて2.の返り値をStaticModInt<TMod>[]からSpan<StaticModInt<TMod>>に変更しています。
畳み込み実施前に配列長を2のべき乗に拡張し、結果を返す前に再度配列長を|a|+|b|-1へとリサイズするのですが、後者の際に無駄なコピーが生じないようSpan<T>.Slice()したものを返すことを意図しています。

よろしくお願いします。

[key-moon]

ありがとうございます…!

変更点についてなのですが、Span を使うつもりがなくMInt[] a, MInt[] bを渡したのにSpanで帰ってきた場合に混乱すると思ったので、

StaticModInt<TMod>[] 
public static StaticModInt<TMod>[] Convolution<TMod>(StaticModInt<TMod>[] a, StaticModInt<TMod>[] b)
    where TMod : struct, IStaticMod { }

public static Span<StaticModInt<TMod>> Convolution<TMod>(ReadOnlySpan<StaticModInt<TMod>> a, ReadOnlySpan<StaticModInt<TMod>> b)
    where TMod : struct, IStaticMod { }

と分けたいなと個人的には感じました。（文字列系もこの挙動に従っています）

どう思いますか…?

[terry-u16]

確かにそうですね……賛成です！
追加しますので、少々お待ちください……！

[key-moon]

確認しました🙇