F4 finite field fix

[codecov-commenter]

Codecov Report

Patch coverage: 100.00% and project coverage change: -0.02% :warning:

Comparison is base (174ba9f) 94.87% compared to head (da30f6d) 94.85%.

:exclamation: Your organization is not using the GitHub App Integration. As a result you may experience degraded service beginning May 15th. Please install the Github App Integration for your organization. Read more.

Additional details and impacted files

```diff @@ Coverage Diff @@ ## main #17 +/- ## ========================================== - Coverage 94.87% 94.85% -0.02% ========================================== Files 6 6 Lines 273 272 -1 ========================================== - Hits 259 258 -1 Misses 14 14 ``` | [Files Changed](https://app.codecov.io/gh/algebraic-solving/AlgebraicSolving.jl/pull/17?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=None) | Coverage Δ | | |---|---|---| | [src/algorithms/groebner-bases.jl](https://app.codecov.io/gh/algebraic-solving/AlgebraicSolving.jl/pull/17?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=None#diff-c3JjL2FsZ29yaXRobXMvZ3JvZWJuZXItYmFzZXMuamw=) | `100.00% <ø> (ø)` | | | [src/algorithms/solvers.jl](https://app.codecov.io/gh/algebraic-solving/AlgebraicSolving.jl/pull/17?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=None#diff-c3JjL2FsZ29yaXRobXMvc29sdmVycy5qbA==) | `92.18% <ø> (ø)` | | | [src/examples/katsura.jl](https://app.codecov.io/gh/algebraic-solving/AlgebraicSolving.jl/pull/17?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=None#diff-c3JjL2V4YW1wbGVzL2thdHN1cmEuamw=) | `97.43% <ø> (ø)` | | | [src/interfaces/nemo.jl](https://app.codecov.io/gh/algebraic-solving/AlgebraicSolving.jl/pull/17?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=None#diff-c3JjL2ludGVyZmFjZXMvbmVtby5qbA==) | `98.14% <100.00%> (ø)` | | ... and [1 file with indirect coverage changes](https://app.codecov.io/gh/algebraic-solving/AlgebraicSolving.jl/pull/17/indirect-changes?src=pr&el=tree-more&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=None)

:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.