github/powdr
1
1
Fork 0
mirror of https://github.com/powdr-labs/powdr.git synced 2026-05-13 03:00:26 -04:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #1056 from powdr-labs/ff-better-error-message

Browse Source 
Improve error message in `std::math::ff:inverse`
This commit is contained in:
chriseth
2024-02-14 13:57:16 +00:00
committed by GitHub
parent e8dd55c17b 076f7b5129
commit 0c2cb3fd83
1 changed files with 5 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
std/math/ff.asm
View File

@@ -2,7 +2,11 @@
/// Assumes that `modulus` is prime, but does not check it.
let inverse = |x, modulus|
if x <= 0 || x >= modulus {
std::check::panic("Tried to compute the inverse of zero, of a negative number or a number outside the field.")
if x == 0 {
std::check::panic("Tried to compute the inverse of zero.")
} else {
std::check::panic("Tried to compute the inverse of a negative number or a number outside the field.")
}
} else {
reduce(extended_gcd(x, modulus)[0], modulus)
};