src/cplib/fps/composition

  Source   Edit

Procs

proc compose[T: BarrettModint or MontgomeryModint](outer, inner: seq[T]): seq[T]
  Source   Edit
proc compose[T: BarrettModint or MontgomeryModint](outer, inner: seq[T]; n: int): seq[
    T]
outer(inner(x)) mod x^n を O(n log^2 n) で求める。 innerの定数項が0であることを仮定する。   Source   Edit
proc compositionalInverse[T: BarrettModint or MontgomeryModint](f: seq[T]): seq[
    T]
  Source   Edit
proc compositionalInverse[T: BarrettModint or MontgomeryModint](f: seq[T];
    n: int): seq[T]
Newton法により f(g(x)) = x (mod x^n) を満たすgを求める。   Source   Edit