Open nemothenoone opened 5 years ago
Wrong naming (supposed to be eval_barrett_reduce
).
The function eval_get_sign()
have to return 0 for zero number.
modular_adaptor
invariant suppose that base_data
contains only non-negative numbers. For that, constructors have to verify input.
Modular arithmetics is required for the further extension of library applicability.