Skip to content

Remove Zn#getInteger() and replace usage with RingElement#asInteger()#126

Merged
rheitjoh merged 2 commits intodevelopfrom
as-integer
Aug 2, 2021
Merged

Remove Zn#getInteger() and replace usage with RingElement#asInteger()#126
rheitjoh merged 2 commits intodevelopfrom
as-integer

Commits

Commits on Jul 30, 2021