Function bostan_mori

Source
pub fn bostan_mori<const P: u32, const PR: u32>(
    a: Vec<ConstModInt<P>>,
    c: Vec<ConstModInt<P>>,
    k: u64,
    ntt: &NTT<P, PR>,
) -> ConstModInt<P>
Expand description

$a_i = \sum_{j = 1}^d c_j a_{i-j}$を満たす数列$a$の初め$d$項と係数$c$から、数列の第k項$a_k$を求める。