The function simplify is capable of more than we thought. This PR makes sure that any developer is aware of the possibility to use it as a trade-off between precision and memory usage.
This PR implements...
[x] new constants for Q : Q::MAX62 (as this is the maximum number that we can instantiate as a constant and fmpz), INV_MAX62, INV_MAX32 as constants to use for a fair trade-off reg precision and memory-usage.
[x] explanations and an example of how to use simplify with these constants
[x] ensurance that the sign does not change using simplify
for Q.
Testing
[x] I added basic working examples (possibly in doc-comment)
[x] I included tests for all reasonable edge cases
Checklist:
[x] I have performed a self-review of my own code
[x] The code provides good readability and maintainability s.t. it fulfills best practices like talking code, modularity, ...
[x] The chosen implementation is not more complex than it has to be
[x] My code should work as intended and no side effects occur (e.g. memory leaks)
Description
The function
simplifyis capable of more than we thought. This PR makes sure that any developer is aware of the possibility to use it as a trade-off between precision and memory usage.This PR implements...
Q:Q::MAX62(as this is the maximum number that we can instantiate as a constant and fmpz),INV_MAX62,INV_MAX32as constants to use for a fair trade-off reg precision and memory-usage.simplifywith these constantssimplifyfor
Q.Testing
Checklist: