verify yosupo-convolution (same ac ALPC F)

Author: toyboot4e

verify/app/yosupo-convolution.hs

@@ -0,0 +1,14 @@
+import AtCoder.Convolution qualified as C
+import Data.ByteString.Char8 qualified as BS
+import Data.Proxy (Proxy (..))
+import Data.Vector.Unboxed qualified as VU
+import Util
+
+-- verification-helper: PROBLEM https://judge.yosupo.jp/problem/convolution_mod
+main :: IO ()
+main = do
+  _ <- BS.getLine
+  a <- ints
+  b <- ints
+  let c = C.convolutionRaw (Proxy @998244353) a b
+  printBSB $ unwordsBSB $ VU.map fromIntegral c

verify/verify.cabal

@@ -162,6 +162,11 @@ executable yosupo-biconnected-components-util
   main-is:       yosupo-biconnected-components-util.hs
   build-depends: verify
 
+executable yosupo-convolution
+  import:        app-local
+  main-is:       yosupo-convolution.hs
+  build-depends: verify
+
 executable yosupo-cycle-detection
   import:        app-local
   main-is:       yosupo-cycle-detection.hs