v1.0.1
- A redundant
CommutativeRingconstraint was removed fromField, theEuclideanRingconstraint already impliesCommutativeRing.
CommutativeRing constraint was removed from Field, the EuclideanRing constraint already implies CommutativeRing.