Function zksnark::field::polynomial_division

pub fn polynomial_division<P, T>(poly: P, dividend: P) -> (P, P)where
    P: Polynomial<T>,
    T: Field,

The devision of two Polynomial

Examples

use zksnark::field::z251::Z251;
use zksnark::field::*;

let poly: Vec<Z251> = vec![1, 0, 3, 1].into_iter().map(Z251::from).collect();
let polyDividend: Vec<Z251> = vec![0, 0, 9, 1].into_iter().map(Z251::from).collect();

let num: Vec<Z251> = vec![1].into_iter().map(Z251::from).collect();
let den: Vec<Z251> = vec![1, 0, 245].into_iter().map(Z251::from).collect();

assert_eq!(polynomial_division(poly, polyDividend), (num, den));