Closed johnynek closed 8 years ago
fixes #110
This uncovered one bug: CommutativeRig had AdditiveGroupFunctions but that would never have worked for any Rig because it is not a group.
CommutativeRig
AdditiveGroupFunctions
Rig
Also on a personal note: I prepared and submitted this PR over the state of Colorado on a flight to New Jersey.
:+1:
fixes #110
This uncovered one bug:
CommutativeRig
hadAdditiveGroupFunctions
but that would never have worked for anyRig
because it is not a group.Also on a personal note: I prepared and submitted this PR over the state of Colorado on a flight to New Jersey.