You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Here are some tests with which the problem can be reproduced
/// Ensure that anything entered after the last coefficient results in an error
#[test]
fn information_beyond_last_coeff() {
assert!(PolyOverZ::from_str("2 24 1 15").is_err());
assert!(PolyOverZ::from_str("2 24 1 mod 15").is_err());
assert!(PolyOverZ::from_str("2 24 1 something else").is_err());
}
The Main Issue
Everything after the last coefficient is simply ignored by FLINT. The question is: Go for efficiency -> not check beforehand or go the safe round and preprocess the string?
Why is it possible to init a
PolyOverZ
with a string that containsmod
?Originally posted by @MoogSven in #255 (comment)
The text was updated successfully, but these errors were encountered: