Skip to content

Commit f42db40

Browse files
committed
Add failing test case for incorrect multiplication
1 parent f1cf748 commit f42db40

File tree

1 file changed

+15
-1
lines changed

1 file changed

+15
-1
lines changed

src/algebraic_numbers.rs

Lines changed: 15 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -202,7 +202,7 @@ fn sign_changes_at(
202202
let degree = polynomial.degree().unwrap_or(0);
203203
let s = Sign::new(&polynomial.highest_power_coefficient());
204204
if degree.is_odd() {
205-
s.map(|| -s)
205+
s.map(|s| -s)
206206
} else {
207207
s
208208
}
@@ -1885,6 +1885,20 @@ mod tests {
18851885
make_sqrt(3, DyadicFractionInterval::from_int_range(bi(1), bi(2), 0)),
18861886
make_sqrt(6, DyadicFractionInterval::from_int_range(bi(1), bi(10), 0)),
18871887
);
1888+
test_case(
1889+
RealAlgebraicNumber::new_unchecked(
1890+
p(&[-1, 2, 4]),
1891+
DyadicFractionInterval::from_int_range(bi(-1), bi(3), 1),
1892+
),
1893+
RealAlgebraicNumber::new_unchecked(
1894+
p(&[-1, 2, 4]),
1895+
DyadicFractionInterval::from_int_range(bi(-1), bi(3), 1),
1896+
),
1897+
RealAlgebraicNumber::new_unchecked(
1898+
p(&[-1, -12, 16]),
1899+
DyadicFractionInterval::from_int_range(bi(5), bi(6), 3),
1900+
),
1901+
);
18881902
}
18891903

18901904
#[test]

0 commit comments

Comments
 (0)