TODO 为 poly.cpp 添加更多模数的支持 半平面交 表达式解析 LCT 高斯消元 逆矩阵 平面最近点对 二维凸包 min25 筛 BCC SCC Miller-Rabin 素性测试 Pollard-Rho 算法 Z 函数 AC 自动机 Manacher 子序列自动机 平衡树 拉格朗日插值 莫比乌斯函数 欧拉回路 后缀数组 SAM AC 自动机 虚树 多项式取模 常系数齐次线性递推