[auto-verifier] docs commit 1ac45ab

NyaanNyaan · May 3, 2024 · 873ec8d · 873ec8d
1 parent 9a6f051
commit 873ec8d
Show file tree

Hide file tree

Showing 529 changed files with 20,347 additions and 11,730 deletions.
diff --git a/fps/fast-interpolate.hpp.md b/fps/fast-interpolate.hpp.md
diff --git a/fps/formal-power-series.hpp.md b/fps/formal-power-series.hpp.md
@@ -11,6 +11,9 @@ data:
   - icon: ':heavy_check_mark:'
     path: fps/differential-equation.hpp
     title: "\u5E38\u5FAE\u5206\u65B9\u7A0B\u5F0F"
+  - icon: ':heavy_check_mark:'
+    path: fps/fast-interpolate.hpp
+    title: fps/fast-interpolate.hpp
   - icon: ':heavy_check_mark:'
     path: fps/fast-multieval.hpp
     title: "Multipoint Evaluation(\u9AD8\u901F\u5316\u7248)"
@@ -73,6 +76,9 @@ data:
   - icon: ':heavy_check_mark:'
     path: fps/ntt-friendly-fps.hpp
     title: "NTT mod\u7528FPS\u30E9\u30A4\u30D6\u30E9\u30EA"
+  - icon: ':heavy_check_mark:'
+    path: fps/online-fps.hpp
+    title: fps/online-fps.hpp
   - icon: ':heavy_check_mark:'
     path: fps/partial-fraction-decomposition.hpp
     title: "\u90E8\u5206\u5206\u6570\u5206\u89E3(\u5206\u6BCD\u304C1\u6B21\u5F0F\u306E\
@@ -196,6 +202,9 @@ data:
   - icon: ':heavy_check_mark:'
     path: verify/verify-yosupo-fps/yosupo-exp-newton-method.test.cpp
     title: verify/verify-yosupo-fps/yosupo-exp-newton-method.test.cpp
+  - icon: ':heavy_check_mark:'
+    path: verify/verify-yosupo-fps/yosupo-exp-ofps.test.cpp
+    title: verify/verify-yosupo-fps/yosupo-exp-ofps.test.cpp
   - icon: ':heavy_check_mark:'
     path: verify/verify-yosupo-fps/yosupo-exp-relaxed-convolution.test.cpp
     title: verify/verify-yosupo-fps/yosupo-exp-relaxed-convolution.test.cpp
@@ -220,6 +229,9 @@ data:
   - icon: ':heavy_check_mark:'
     path: verify/verify-yosupo-fps/yosupo-inv-of-polynomials.test.cpp
     title: verify/verify-yosupo-fps/yosupo-inv-of-polynomials.test.cpp
+  - icon: ':heavy_check_mark:'
+    path: verify/verify-yosupo-fps/yosupo-inv-ofps.test.cpp
+    title: verify/verify-yosupo-fps/yosupo-inv-ofps.test.cpp
   - icon: ':heavy_check_mark:'
     path: verify/verify-yosupo-fps/yosupo-inv-relaxed-convolution.test.cpp
     title: verify/verify-yosupo-fps/yosupo-inv-relaxed-convolution.test.cpp
@@ -238,6 +250,9 @@ data:
   - icon: ':heavy_check_mark:'
     path: verify/verify-yosupo-fps/yosupo-multieval.test.cpp
     title: verify/verify-yosupo-fps/yosupo-multieval.test.cpp
+  - icon: ':heavy_check_mark:'
+    path: verify/verify-yosupo-fps/yosupo-polynomial-interpolation-fast.test.cpp
+    title: verify/verify-yosupo-fps/yosupo-polynomial-interpolation-fast.test.cpp
   - icon: ':heavy_check_mark:'
     path: verify/verify-yosupo-fps/yosupo-polynomial-root-finding.test.cpp
     title: verify/verify-yosupo-fps/yosupo-polynomial-root-finding.test.cpp
@@ -540,6 +555,7 @@ data:
   - fps/sparse-fps.hpp
   - fps/fps-sqrt.hpp
   - fps/find-p-recursive.hpp
+  - fps/fast-interpolate.hpp
   - fps/mod-pow.hpp
   - fps/fps-famous-series.hpp
   - fps/fft2d.hpp
@@ -552,6 +568,7 @@ data:
   - fps/fps-composition.hpp
   - fps/fps-composition-fast-old.hpp
   - fps/fps-circular.hpp
+  - fps/online-fps.hpp
   - fps/inversion-formula.hpp
   - fps/differential-equation.hpp
   - fps/fps-compositional-inverse.hpp
@@ -605,6 +622,7 @@ data:
   - verify/verify-yosupo-fps/yosupo-exp.test.cpp
   - verify/verify-yosupo-fps/yosupo-pow.test.cpp
   - verify/verify-yosupo-fps/yosupo-division-of-polynomials.test.cpp
+  - verify/verify-yosupo-fps/yosupo-polynomial-interpolation-fast.test.cpp
   - verify/verify-yosupo-fps/yosupo-factorial.test.cpp
   - verify/verify-yosupo-fps/yosupo-multieval.test.cpp
   - verify/verify-yosupo-fps/yosupo-sparse-exp.test.cpp
@@ -623,6 +641,8 @@ data:
   - verify/verify-yosupo-fps/yosupo-sqrt.test.cpp
   - verify/verify-yosupo-fps/yosupo-exp-arb.test.cpp
   - verify/verify-yosupo-fps/yosupo-multieval-fast.test.cpp
+  - verify/verify-yosupo-fps/yosupo-inv-ofps.test.cpp
+  - verify/verify-yosupo-fps/yosupo-exp-ofps.test.cpp
   - verify/verify-yosupo-fps/yosupo-sparse-pow.test.cpp
   - verify/verify-yosupo-fps/yosupo-stirling-1st-row.test.cpp
   - verify/verify-yosupo-fps/yosupo-exp-newton-method.test.cpp

diff --git a/fps/multivariate-fps.hpp.md b/fps/multivariate-fps.hpp.md
@@ -157,10 +157,10 @@ data:
     \ 1 == (int)rhs.f.size() ? \"\" : \", \");\n    }\n    return os << \" ]\";\n\
     \  }\n\n  long long _id(int) { return 0; }\n  template <typename Head, typename...\
     \ Tail>\n  long long _id(int i, Head&& head, Tail&&... tail) {\n    assert(i <\
-    \ (int)base.size() && (int)head < base[i]);\n    return head + _id(i + 1, forward<Tail>(tail)...)\
+    \ (int)base.size() && (int)head < base[i]);\n    return head + _id(i + 1, std::forward<Tail>(tail)...)\
     \ * base[i];\n  }\n  template <typename... Args>\n  long long id(Args&&... args)\
-    \ {\n    return _id(0, forward<Args>(args)...);\n  }\n  template <typename...\
-    \ Args>\n  mint& operator()(Args&&... args) {\n    return f[id(forward<Args>(args)...)];\n\
+    \ {\n    return _id(0, std::forward<Args>(args)...);\n  }\n  template <typename...\
+    \ Args>\n  mint& operator()(Args&&... args) {\n    return f[id(std::forward<Args>(args)...)];\n\
     \  }\n\n  mfps& operator+=(const mfps& rhs) {\n    assert(base == rhs.base &&\
     \ f.size() == rhs.f.size());\n    for (int i = 0; i < (int)f.size(); i++) f[i]\
     \ += rhs.f[i];\n    return *this;\n  }\n  mfps& operator-=(const mfps& rhs) {\n\
@@ -241,10 +241,10 @@ data:
     \ 1 == (int)rhs.f.size() ? \"\" : \", \");\n    }\n    return os << \" ]\";\n\
     \  }\n\n  long long _id(int) { return 0; }\n  template <typename Head, typename...\
     \ Tail>\n  long long _id(int i, Head&& head, Tail&&... tail) {\n    assert(i <\
-    \ (int)base.size() && (int)head < base[i]);\n    return head + _id(i + 1, forward<Tail>(tail)...)\
+    \ (int)base.size() && (int)head < base[i]);\n    return head + _id(i + 1, std::forward<Tail>(tail)...)\
     \ * base[i];\n  }\n  template <typename... Args>\n  long long id(Args&&... args)\
-    \ {\n    return _id(0, forward<Args>(args)...);\n  }\n  template <typename...\
-    \ Args>\n  mint& operator()(Args&&... args) {\n    return f[id(forward<Args>(args)...)];\n\
+    \ {\n    return _id(0, std::forward<Args>(args)...);\n  }\n  template <typename...\
+    \ Args>\n  mint& operator()(Args&&... args) {\n    return f[id(std::forward<Args>(args)...)];\n\
     \  }\n\n  mfps& operator+=(const mfps& rhs) {\n    assert(base == rhs.base &&\
     \ f.size() == rhs.f.size());\n    for (int i = 0; i < (int)f.size(); i++) f[i]\
     \ += rhs.f[i];\n    return *this;\n  }\n  mfps& operator-=(const mfps& rhs) {\n\
@@ -315,7 +315,7 @@ data:
   isVerificationFile: false
   path: fps/multivariate-fps.hpp
   requiredBy: []
-  timestamp: '2023-08-31 20:44:07+09:00'
+  timestamp: '2024-05-03 23:21:26+09:00'
   verificationStatus: LIBRARY_ALL_AC
   verifiedWith:
   - verify/verify-yuki/yuki-1783.test.cpp

diff --git a/fps/ntt-friendly-fps.hpp.md b/fps/ntt-friendly-fps.hpp.md
@@ -12,6 +12,9 @@ data:
   - icon: ':heavy_check_mark:'
     path: fps/fast-multieval.hpp
     title: "Multipoint Evaluation(\u9AD8\u901F\u5316\u7248)"
+  - icon: ':heavy_check_mark:'
+    path: fps/online-fps.hpp
+    title: fps/online-fps.hpp
   _extendedVerifiedWith:
   - icon: ':heavy_check_mark:'
     path: verify/verify-unit-test/composite-exp.test.cpp
@@ -79,6 +82,9 @@ data:
   - icon: ':heavy_check_mark:'
     path: verify/verify-yosupo-fps/yosupo-exp-newton-method.test.cpp
     title: verify/verify-yosupo-fps/yosupo-exp-newton-method.test.cpp
+  - icon: ':heavy_check_mark:'
+    path: verify/verify-yosupo-fps/yosupo-exp-ofps.test.cpp
+    title: verify/verify-yosupo-fps/yosupo-exp-ofps.test.cpp
   - icon: ':heavy_check_mark:'
     path: verify/verify-yosupo-fps/yosupo-exp-relaxed-convolution.test.cpp
     title: verify/verify-yosupo-fps/yosupo-exp-relaxed-convolution.test.cpp
@@ -100,6 +106,9 @@ data:
   - icon: ':heavy_check_mark:'
     path: verify/verify-yosupo-fps/yosupo-inv-of-polynomials.test.cpp
     title: verify/verify-yosupo-fps/yosupo-inv-of-polynomials.test.cpp
+  - icon: ':heavy_check_mark:'
+    path: verify/verify-yosupo-fps/yosupo-inv-ofps.test.cpp
+    title: verify/verify-yosupo-fps/yosupo-inv-ofps.test.cpp
   - icon: ':heavy_check_mark:'
     path: verify/verify-yosupo-fps/yosupo-inv-relaxed-convolution.test.cpp
     title: verify/verify-yosupo-fps/yosupo-inv-relaxed-convolution.test.cpp
@@ -115,6 +124,9 @@ data:
   - icon: ':heavy_check_mark:'
     path: verify/verify-yosupo-fps/yosupo-multieval.test.cpp
     title: verify/verify-yosupo-fps/yosupo-multieval.test.cpp
+  - icon: ':heavy_check_mark:'
+    path: verify/verify-yosupo-fps/yosupo-polynomial-interpolation-fast.test.cpp
+    title: verify/verify-yosupo-fps/yosupo-polynomial-interpolation-fast.test.cpp
   - icon: ':heavy_check_mark:'
     path: verify/verify-yosupo-fps/yosupo-polynomial-root-finding.test.cpp
     title: verify/verify-yosupo-fps/yosupo-polynomial-root-finding.test.cpp
@@ -479,6 +491,7 @@ data:
   isVerificationFile: false
   path: fps/ntt-friendly-fps.hpp
   requiredBy:
+  - fps/online-fps.hpp
   - fps/fast-multieval.hpp
   timestamp: '2023-08-31 20:44:07+09:00'
   verificationStatus: LIBRARY_ALL_AC
@@ -515,6 +528,7 @@ data:
   - verify/verify-yosupo-fps/yosupo-exp.test.cpp
   - verify/verify-yosupo-fps/yosupo-pow.test.cpp
   - verify/verify-yosupo-fps/yosupo-division-of-polynomials.test.cpp
+  - verify/verify-yosupo-fps/yosupo-polynomial-interpolation-fast.test.cpp
   - verify/verify-yosupo-fps/yosupo-factorial.test.cpp
   - verify/verify-yosupo-fps/yosupo-multieval.test.cpp
   - verify/verify-yosupo-fps/yosupo-sparse-exp.test.cpp
@@ -530,6 +544,8 @@ data:
   - verify/verify-yosupo-fps/yosupo-factorial-p-recursive.test.cpp
   - verify/verify-yosupo-fps/yosupo-sqrt.test.cpp
   - verify/verify-yosupo-fps/yosupo-multieval-fast.test.cpp
+  - verify/verify-yosupo-fps/yosupo-inv-ofps.test.cpp
+  - verify/verify-yosupo-fps/yosupo-exp-ofps.test.cpp
   - verify/verify-yosupo-fps/yosupo-sparse-pow.test.cpp
   - verify/verify-yosupo-fps/yosupo-stirling-1st-row.test.cpp
   - verify/verify-yosupo-fps/yosupo-exp-newton-method.test.cpp