algebra
algebra copied to clipboard
Combination of Signed/TruncatedDivision/GCDRing/EuclideanRing
This merges #246 and #247, which can be reviewed separately; it also adds laws that combine both operations.
This merges #246 and #247, which can be reviewed separately; it also adds laws that combine both operations.