Small optimization -- use mul_add instead of mul + add (#137)

This commit is contained in:
Daniel Lubarov 2021-07-30 09:03:23 -07:00 committed by GitHub
parent 50b07f2ceb
commit 94b85b0806
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -183,8 +183,7 @@ pub(crate) fn reduce_with_powers_ext_recursive<F: Extendable<D>, const D: usize>
) -> ExtensionTarget<D> {
let mut sum = builder.zero_extension();
for &term in terms.iter().rev() {
sum = builder.scalar_mul_ext(alpha, sum);
sum = builder.add_extension(sum, term);
sum = builder.scalar_mul_add_extension(alpha, sum, term);
}
sum
}