obtain the c poly
(y: F)
| 970 | |
| 971 | /// obtain the c poly |
| 972 | fn c_poly<F: PrimeField>(y: F) -> Poly<F> { |
| 973 | let zero = F::zero(); |
| 974 | let one = F::one(); |
| 975 | Poly { |
| 976 | coeffs: vec![ |
| 977 | vec![one], |
| 978 | vec![y], |
| 979 | vec![y], |
| 980 | vec![y], |
| 981 | vec![y], |
| 982 | vec![y], |
| 983 | vec![y], |
| 984 | vec![y], |
| 985 | vec![zero], |
| 986 | ], |
| 987 | } |
| 988 | } |
| 989 | |
| 990 | /// Obtain the non-zero at i position |
| 991 | fn t_pow_in_c(i: usize) -> usize { |