algebra icon indicating copy to clipboard operation
algebra copied to clipboard

Published 20 hours ago • verified publisher icon typelevel

Combination of Signed/TruncatedDivision/GCDRing/EuclideanRing

Open denisrosset opened this issue 4 years ago • 0 comments

This merges #246 and #247, which can be reviewed separately; it also adds laws that combine both operations.

denisrosset avatar May 14 '21 15:05 denisrosset