We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent ca2ed0d commit 6d37120Copy full SHA for 6d37120
src/polynomial/gcd.rs
@@ -142,7 +142,8 @@ impl<T: PolynomialCoefficient + for<'a> ExactDiv<&'a T, Output = T>> Polynomial<
142
T::make_one_coefficient_from_element(Cow::Borrowed(&v.elements[0]));
143
psi = -one.clone();
144
beta = if delta.is_odd() { -one } else { one };
145
- } else if i > 1 {
+ } else {
146
+ assert!(i > 1);
147
let f = u
148
.nonzero_highest_power_coefficient()
149
.expect("known to be non-zero");
@@ -155,8 +156,6 @@ impl<T: PolynomialCoefficient + for<'a> ExactDiv<&'a T, Output = T>> Polynomial<
155
156
beta = f
157
.neg()
158
.mul(T::coefficient_pow_usize(psi.clone(), delta - 1));
- } else {
159
- unreachable!()
160
}
161
let r = r.exact_div(&beta);
162
let l = v
0 commit comments