Skip to content

Restrict round signature to avoid ambiguities, and add adhoc comparision for ZZRingElem and Rational{T}#1558

Merged
thofma merged 2 commits intoNemocas:masterfrom fingolfin:mh/round-ambiguityOct 20, 2023
+82-51

Commits

Commits on Oct 19, 2023